title: Centre Symmetric Quadruple Pattern: A Novel Descriptor for Facial Image Recognition and Retrieval

abstract: Facial features are defined as the local relationships that exist amongst the pixels of a facial image. Hand-crafted descriptors identify the relationships of the pixels in the local neighbourhood defined by the kernel. Kernel is a two dimensional matrix which is moved across the facial image. Distinctive information captured by the kernel with limited number of pixel achieves satisfactory recognition and retrieval accuracies on facial images taken under constrained environment (controlled variations in light, pose, expressions, and background). To achieve similar accuracies under unconstrained environment local neighbourhood has to be increased, in order to encode more pixels. Increasing local neighbourhood also increases the feature length of the descriptor. In this paper we propose a hand-crafted descriptor namely Centre Symmetric Quadruple Pattern (CSQP), which is structurally symmetric and encodes the facial asymmetry in quadruple space. The proposed descriptor efficiently encodes larger neighbourhood with optimal number of binary bits. It has been shown using average entropy, computed over feature images encoded with the proposed descriptor, that the CSQP captures more meaningful information as compared to state of the art descriptors. The retrieval and recognition accuracies of the proposed descriptor has been compared with state of the art hand-crafted descriptors (CSLBP, CSLTP, LDP, LBP, SLBP and LDGP) on bench mark databases namely; LFW, Colour-FERET, and CASIA-face-v5. Result analysis shows that the proposed descriptor performs well under controlled as well as uncontrolled variations in pose, illumination, background and expressions.


title: The Accretion flow in M87 is really MAD

abstract: The supermassive black holes in most galaxies in the universe are powered by hot accretion flows. Both theoretical analysis and numerical simulations have indicated that, depending on the degree of magnetization, black hole hot accretion flow is divided into two modes, namely SANE (standard and normal evolution) and MAD (magnetically arrested disk). It has been an important question which mode the hot accretion flows in individual sources should belong to in reality, SANE or MAD. This issue has been investigated in some previous works but they all suffer from various uncertainties. By using the measured rotation measure values in the prototype low-luminosity active galactic nuclei in {M87} at 2, 5, and 8 GHz along the jet at various distances from the black hole, combined with three dimensional general relativity magnetohydrodynamical numerical simulations of SANE and MAD, we show in this paper that the predicted rotation measure values by MAD are well consistent with observations, while the SANE model overestimates the rotation measure by over two orders of magnitude thus is ruled out.


title: Affine Iterations and Wrapping Effect: Various Approaches

abstract: Affine iterations of the form x(n+1) = Ax(n) + b converge, using real arithmetic, if the spectral radius of the matrix A is less than 1. However, substituting interval arithmetic to real arithmetic may lead to divergence of these iterations, in particular if the spectral radius of the absolute value of A is greater than 1. We will review different approaches to limit the overestimation of the iterates, when the components of the initial vector x(0) and b are intervals. We will compare, both theoretically and experimentally, the widths of the iterates computed by these different methods: the naive iteration, methods based on the QR-and SVD-factorization of A, and Lohner's QR-factorization method. The method based on the SVD-factorization is computationally less demanding and gives good results when the matrix is poorly scaled, it is superseded either by the naive iteration or by Lohner's method otherwise.


title: Parallel adaptive weakly-compressible SPH for complex moving geometries

abstract: The use of adaptive spatial resolution to simulate flows of practical interest using Smoothed Particle Hydrodynamics (SPH) is of considerable importance. Recently, Muta and Ramachandran [1] have proposed an efficient adaptive SPH method which is capable of handling large changes in particle resolution. This allows the authors to simulate problems with much fewer particles than was possible earlier. The method was not demonstrated or tested with moving bodies or multiple bodies. In addition, the original method employed a large number of background particles to determine the spatial resolution of the fluid particles. In the present work we establish the formulation's effectiveness for simulating flow around stationary and moving geometries. We eliminate the need for the background particles in order to specify the geometry-based or solution-based adaptivity and we discuss the algorithms employed in detail. We consider a variety of benchmark problems, including the flow past two stationary cylinders, flow past different NACA airfoils at a range of Reynolds numbers, a moving square at various Reynolds numbers, and the flow past an oscillating cylinder. We also demonstrate different types of motions using single and multiple bodies. The source code is made available under an open source license, and our results are reproducible.


title: On the decay property of the cubic fourth-order Schr\"odinger equation

abstract: In this short paper, we prove that the solution of the cubic fourth-order Schr\"odinger equation (4NLS) on $\mathbb{R}^d$ ($5 \leq d \leq 8$) enjoys the same (pointwise) decay property as its linear solution does. This result is proved via a bootstrap argument based on the corresponding global result Pausader \cite{Pau1}. This result can be extended to more general dispersive equations (including some more 4NLS models) with scattering asymptotics.


title: Deep-potential enabled multiscale simulation of gallium nitride devices on boron arsenide cooling substrates

abstract: High-efficient heat dissipation plays critical role for high-power-density electronics. Experimental synthesis of ultrahigh thermal conductivity boron arsenide (BAs, 1300 W m-1K-1) cooling substrates into the wide-bandgap semiconductor of gallium nitride (GaN) devices has been realized. However, the lack of systematic analysis on the heat transfer across the BAs-GaN interface hampers the practical applications. In this study, by constructing the accurate and high-efficient machine learning interatomic potentials, we performed multiscale simulations of the BAs-GaN heterostructures. Ultrahigh interfacial thermal conductance (ITC) of 265 MW m-2K-1 is achieved, which lies in the well-matched lattice vibrations of BAs and GaN. Moreover, the competition between grain size and boundary resistance was revealed with size increasing from 1 nm to 100 {\mu}m. Such deep-potential equipped multiscale simulations not only promote the practical applications of BAs cooling substrates in electronics, but also offer new approach for designing advanced thermal management systems.


title: The study of lepton EDMs in $U(1)_X$ SSM

abstract: The minimal supersymmetric extension of the standard model (MSSM) is extended to the $U(1)_X$SSM, whose local gauge group is $SU(3)_C \times SU(2)_L \times U(1)_Y \times U(1)_X$. To obtain the $U(1)_X$SSM, we add the new superfields to the MSSM, namely: three Higgs singlets $\hat{\eta},~\hat{\bar{\eta}},~\hat{S}$ and right-handed neutrinos $\hat{\nu}_i$. The CP violating effects are considered to study the lepton electric dipole moment(EDM) in $U(1)_X$SSM. The CP violating phases in $U(1)_X$SSM are more than those in the standard model(SM). In this model, some new parameters $(\theta_S, \theta_{BB^{\prime}}, \theta_{BL})$ as CP violating phases are considered, so there are new contributions to lepton EDMs. It is conducive to exploring the source of CP violation and probing new physical beyond SM.


title: Cascaded Asymmetric Local Pattern: A Novel Descriptor for Unconstrained Facial Image Recognition and Retrieval

abstract: Feature description is one of the most frequently studied areas in the expert systems and machine learning. Effective encoding of the images is an essential requirement for accurate matching. These encoding schemes play a significant role in recognition and retrieval systems. Facial recognition systems should be effective enough to accurately recognize individuals under intrinsic and extrinsic variations of the system. The templates or descriptors used in these systems encode spatial relationships of the pixels in the local neighbourhood of an image. Features encoded using these hand crafted descriptors should be robust against variations such as; illumination, background, poses, and expressions. In this paper a novel hand crafted cascaded asymmetric local pattern (CALP) is proposed for retrieval and recognition facial image. The proposed descriptor uniquely encodes relationship amongst the neighbouring pixels in horizontal and vertical directions. The proposed encoding scheme has optimum feature length and shows significant improvement in accuracy under environmental and physiological changes in a facial image. State of the art hand crafted descriptors namely; LBP, LDGP, CSLBP, SLBP and CSLTP are compared with the proposed descriptor on most challenging datasets namely; Caltech-face, LFW, and CASIA-face-v5. Result analysis shows that, the proposed descriptor outperforms state of the art under uncontrolled variations in expressions, background, pose and illumination.


title: Stochastic Weight Averaging Revisited

abstract: Averaging neural network weights sampled by a backbone stochastic gradient descent (SGD) is a simple yet effective approach to assist the backbone SGD in finding better optima, in terms of generalization. From a statistical perspective, weight averaging (WA) contributes to variance reduction. Recently, a well-established stochastic weight averaging (SWA) method is proposed, which is featured by the application of a cyclical or high constant (CHC) learning rate schedule (LRS) in generating weight samples for WA. Then a new insight on WA appears, which states that WA helps to discover wider optima and then leads to better generalization. We conduct extensive experimental studies for SWA, involving a dozen modern DNN model structures and a dozen benchmark open-source image, graph, and text datasets. We disentangle contributions of the WA operation and the CHC LRS for SWA, showing that the WA operation in SWA still contributes to variance reduction but does not always lead to wide optima. The experimental results indicate that there are global scale geometric structures in the DNN loss landscape. We then present an algorithm termed periodic SWA (PSWA) which makes use of a series of WA operations to discover the global geometric structures. PSWA outperforms its backbone SGD remarkably, providing experimental evidences for the existence of global geometric structures. Codes for reproducing the experimental results are available at https://github.com/ZJLAB-AMMI/PSWA.


title: Vision Transformer with Deformable Attention

abstract: Transformers have recently shown superior performances on various vision tasks. The large, sometimes even global, receptive field endows Transformer models with higher representation power over their CNN counterparts. Nevertheless, simply enlarging receptive field also gives rise to several concerns. On the one hand, using dense attention e.g., in ViT, leads to excessive memory and computational cost, and features can be influenced by irrelevant parts which are beyond the region of interests. On the other hand, the sparse attention adopted in PVT or Swin Transformer is data agnostic and may limit the ability to model long range relations. To mitigate these issues, we propose a novel deformable self-attention module, where the positions of key and value pairs in self-attention are selected in a data-dependent way. This flexible scheme enables the self-attention module to focus on relevant regions and capture more informative features. On this basis, we present Deformable Attention Transformer, a general backbone model with deformable attention for both image classification and dense prediction tasks. Extensive experiments show that our models achieve consistently improved results on comprehensive benchmarks. Code is available at https://github.com/LeapLabTHU/DAT.


title: Thermodynamics for higher dimensional rotating black holes with variable Newton constant

abstract: The extensivity for the thermodynamics of general $D$-dimensional rotating black holes with or without a cosmological constant can be proved analytically, provided the effective number of microscopic degrees of freedom and the chemical potential are given respectively as $N=L^{D-2}/G, \mu= GTI_D/L^{D-2}$, where $G$ is the variable Newton constant, $I_D$ is the Euclidean action and $L$ is a constant length scale. In the cases without a cosmological constant, i.e. the Myers-Perry black holes, the physical mass and the intensive variables can be expressed as explicit macro state functions in the extensive variables in a simple and compact form, which allows for an analytical calculation for the heat capacity. The results indicate that the Myers-Perry black holes with zero, one and $k$ equal rotation parameters are all thermodynamically unstable.


title: Generalized Coverage Criteria for Combinatorial Sequence Testing

abstract: We present a new model-based approach for testing systems that use sequences of actions and assertions as test vectors. Our solution includes a method for quantifying testing quality, a tool for generating high-quality test suites based on the coverage criteria we propose, and a framework for assessing risks. For testing quality, we propose a method that specifies generalized coverage criteria over sequences of actions, which extends previous approaches. Our publicly available tool demonstrates how to extract effective test suites from test plans based on these criteria. We also present a Bayesian approach for measuring the probabilities of bugs or risks, and show how this quantification can help achieve an informed balance between exploitation and exploration in testing. Finally, we provide an empirical evaluation demonstrating the effectiveness of our tool in finding bugs, assessing risks, and achieving coverage.


title: Benchmark Functions for CEC 2022 Competition on Seeking Multiple Optima in Dynamic Environments

abstract: Dynamic and multimodal features are two important properties and widely existed in many real-world optimization problems. The former illustrates that the objectives and/or constraints of the problems change over time, while the latter means there is more than one optimal solution (sometimes including the accepted local solutions) in each environment. The dynamic multimodal optimization problems (DMMOPs) have both of these characteristics, which have been studied in the field of evolutionary computation and swarm intelligence for years, and attract more and more attention. Solving such problems requires optimization algorithms to simultaneously track multiple optima in the changing environments. So that the decision makers can pick out one optimal solution in each environment according to their experiences and preferences, or quickly turn to other solutions when the current one cannot work well. This is very helpful for the decision makers, especially when facing changing environments. In this competition, a test suit about DMMOPs is given, which models the real-world applications. Specifically, this test suit adopts 8 multimodal functions and 8 change modes to construct 24 typical dynamic multimodal optimization problems. Meanwhile, the metric is also given to measure the algorithm performance, which considers the average number of optimal solutions found in all environments. This competition will be very helpful to promote the development of dynamic multimodal optimization algorithms.


title: Waldspurger formulas in higher cohomology

abstract: The classical Waldspurger formula, which computes periods of quaternionic automorphic forms in maximal torus, has been used in a wide variety of arithmetic applications, such as the Birch and Swinnerton-Dyer conjecture in rank 0 situations. This is why this formula is considered the rank 0 analogue of the celebrated Gross-Zagier formula. On the other hand, Eichler-Shimura correspondence allows us to interpret this quaternionic automorphic form as a cocycle in higher cohomology spaces of certain arithmetic groups. In this way we can realize the corresponding automorphic representation in the etale cohomology of certain Shimura varieties. In this work we find a formula, analogous to that of Waldspurger, which relates cap-products of this cocycle and fundamental classes associated with maximal torus with special values of Rankin-Selberg L-functions.


title: The gravitational potential energy of the Great Pyramid

abstract: The calculation of the energy required to raise a constituent block of the Khufu pyramid and the knowledge of the mechanical energy that a worker in charge of the lifting of the blocks can produce per working day allows an estimate of the minimum number of workers. necessary for the establishment of a base of the pyramid. It emerges that this number is limited to a maximum of less than 2,000 workers over a working season, ie less than 200 present each day simultaneously on the site. In addition, the calculation of the flow of blocks leads to the ineluctable conclusion that the construction could only be done in a massively parallel working mode, undermining the hypothesis very often put forward of the use of ramps to convey the blocks to their final destination.


title: On coherence of quantum operations by using Choi-Jamio{\l}kowski isomorphism

abstract: In quantum information, most information processing processes involve quantum channels. One manifestation of a quantum channel is quantum operation acting on quantum states. The coherence of quantum operations can be considered as a quantum resource, which can be exploited to perform certain quantum tasks. From the viewpoint of Choi-Jamio{\l}kowski isomorphism, we study the coherence of quantum operations in the framework of resource theory. We define the phase-out superoperation and give the operation which transforms the Choi-Jamio{\l}kowski state of a quantum operation to the Choi-Jamio{\l}kowski state of the another quantum operation obtained by using the phase-out superoperation to act on the quantum operation. The set of maximally incoherent superoperations, the set of nonactivating coherent superoperations and the set of de-phase incoherent superoperations are defined and we prove that these sets are closed to compound operation and convex combination of quantum superoperations. Further, we introduce the fidelity coherence measure of quantum operations and obtain the exact form of the fidelity coherence measure of the unitary operations on the single qubit.


title: Stability of variable-step BDF2 and BDF3 methods

abstract: We prove that the two-step backward differentiation formula (BDF2) method is stable on arbitrary time grids; while the variable-step BDF3 scheme is stable if almost all adjacent step ratios are less than 2.553. These results relax the severe mesh restrictions in the literature and provide a new understanding of variable-step BDF methods. Our main tools include the discrete orthogonal convolution kernels and an elliptic-type matrix norm.


title: Vortex pairs and dipoles on closed surfaces

abstract: We set up general equations of motion for point vortex systems on closed Riemannian surfaces, allowing for the case that the sum of vorticities is not zero and there hence must be counter-vorticity present. The dynamics of global circulations which is coupled to the dynamics of the vortices is carefully taken into account. Much emphasis is put to the study of vortex pairs, having the Kimura conjecture in focus. This says that vortex pairs move, in the dipole limit, along geodesic curves, and proofs for it have previously been given by S.~Boatto and J.~Koiller by using Gaussian geodesic coordinates. In the present paper we reach the same conclusion by following a slightly different route, leading directly to the geodesic equation with a reparametrized time variable. In a final section we explain how vortex motion in planar domains can be seen as a special case of vortex motion on closed surfaces, and in two appendices we give some necessary background on affine and projective connections.


title: Cosmic rays from massive star clusters : A close look at Westerlund 1

abstract: We study the effect of cosmic ray (CR) acceleration in the massive compact star cluster Westerlund 1 in light of its recent detection in $\gamma$-rays. Recent observations reveal a $1/r$ radial distribution of the CR energy density. Here we theoretically investigate whether or not this profile can help to distinguish between (1) continuous CR acceleration in the star cluster stellar wind-driven shocks and (2) discrete CR acceleration in multiple supernovae shocks -- which are often debated in the literature. Using idealized two-fluid simulations and exploring different acceleration sites and diffusion coefficients, we obtain the CR energy density profile and luminosity to find the best match for the $\gamma$-ray observations. We find that the inferred CR energy density profiles from observations of $\gamma$-ray luminosity and mass can be much different from the true radial profile. CR acceleration at either the cluster core region or the wind termination shock can explain the observations, if the diffusion coefficient is $\kappa_{\rm cr}\sim 10^{27}$ cm$^2$ s$^{-1}$ and a fraction of $\approx 10\%-20\%$ of the shock power/post-shock pressure is deposited into the CR component. We also study the possibility of discrete supernovae (SN) explosions being responsible for CR acceleration and find that with an injection rate of 1 SN in every $\sim 0.03$ Myr, one can explain the observed $\gamma$-ray profile. This multiple SN scenario is consistent with X-ray observations only if the thermal conductivity is close to the Spitzer value.


title: Non-equilibrium Ensembles for the three-dimensional Navier-Stokes Equations

abstract: At the molecular level fluid motions are, by first principles, described by time reversible laws. On the other hand, the coarse grained macroscopic evolution is suitably described by the Navier-Stokes equations, which are inherently irreversible, due to the dissipation term. Here, a reversible version of three-dimensional Navier-Stokes is studied, by introducing a fluctuating viscosity constructed in such a way that enstrophy is conserved, along the lines of the paradigm of microcanonical versus canonical treatment in equilibrium statistical mechanics. Through systematic simulations we attack two important questions: (a) What are the conditions that must be satisfied in order to have a statistical equivalence between the two non-equilibrium ensembles? (b) What is the empirical distribution of the fluctuating viscosity observed by changing the Reynolds number and the number of modes used in the discretization of the evolution equation? The latter point is important also to establish regularity conditions for the reversible equations. We find that the probability to observe negative values of the fluctuating viscosity becomes very quickly extremely small when increasing the effective Reynolds number of the flow in the fully resolved hydro dynamical regime, at difference from what was observed previously.


title: Novelty-based Generalization Evaluation for Traffic Light Detection

abstract: The advent of Convolutional Neural Networks (CNNs) has led to their application in several domains. One noteworthy application is the perception system for autonomous driving that relies on the predictions from CNNs. Practitioners evaluate the generalization ability of such CNNs by calculating various metrics on an independent test dataset. A test dataset is often chosen based on only one precondition, i.e., its elements are not a part of the training data. Such a dataset may contain objects that are both similar and novel w.r.t. the training dataset. Nevertheless, existing works do not reckon the novelty of the test samples and treat them all equally for evaluating generalization. Such novelty-based evaluations are of significance to validate the fitness of a CNN in autonomous driving applications. Hence, we propose a CNN generalization scoring framework that considers novelty of objects in the test dataset. We begin with the representation learning technique to reduce the image data into a low-dimensional space. It is on this space we estimate the novelty of the test samples. Finally, we calculate the generalization score as a combination of the test data prediction performance and novelty. We perform an experimental study of the same for our traffic light detection application. In addition, we systematically visualize the results for an interpretable notion of novelty.


title: Abundance of beryllium in the Sun and stars: The role of non-local thermodynamic equilibrium effects

abstract: Earlier studies have suggested that deviations from the local thermodynamic equilibrium (LTE) play a minor role in the formation of Be II 313 nm resonance lines in solar and stellar atmospheres. Recent improvements in the atomic data allow a more complete model atom of Be to be constructed and the validity of these claims to be reassessed using more up-to-date atomic physics. The main goal of this study therefore is to refocus on the role of non-local thermodynamic equilibrium (NLTE) effects in the formation of Be II 313.04 and 313.11 nm resonance lines in solar and stellar atmospheres. For this, we constructed a model atom of Be using new atomic data that recently became available. The model atom contains 98 levels and 383 radiative transitions of Be I and Be II and uses the most up-to-date collision rates with electrons and hydrogen. This makes it the most complete model atom used to determine 1D NLTE solar Be abundance and to study the role of NLTE effects in the formation of Be II 313 nm resonance lines. We find that deviations from LTE have a significant influence on the strength of the Be II 313 nm line in solar and stellar atmospheres. For the Sun, we obtained the 1D NLTE Be abundance of A(Be)_NLTE = 1.32+/-0.05, which is in excellent agreement with the meteoritic value of A(Be)=1.31+/-0.04. Importantly, we find that NLTE effects become significant in FGK stars. Moreover, there is a pronounced variation in 1D NLTE-LTE abundance corrections with the effective temperature and metallicity. Therefore, contrary to our previous understanding, the obtained results indicate that NLTE effects play an important role in Be line formation in stellar atmospheres and have to be properly taken into account in Be abundance studies, especially in metal-poor stars.


title: Realizations of Rigid Graphs

abstract: A minimally rigid graph, also called Laman graph, models a planar framework which is rigid for a general choice of distances between its vertices. In other words, there are finitely many ways, up to isometries, to realize such a graph in the plane. Using ideas from algebraic and tropical geometry, we derive a recursive formula for the number of such realizations. Combining computational results with the construction of new rigid graphs via gluing techniques, we can give a new lower bound on the maximal possible number of realizations for graphs with a given number of vertices.


title: On Automating Triangle Constructions in Absolute and Hyperbolic Geometry

abstract: We describe first steps towards a system for automated triangle constructions in absolute and hyperbolic geometry. We discuss key differences between constructions in Euclidean, absolute and hyperbolic geometry, compile a list of primitive constructions and lemmas used for constructions in absolute and hyperbolic geometry, build an automated system for solving construction problems and test it on a corpus of triangle-construction problems. We also provide an online compendium containing construction descriptions and illustrations.


title: Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere

abstract: In this paper, we prove a geometrical inequality which states that for any four points on a hemisphere with the unit radius, the largest sum of distances between the points is 4+4*sqrt(2). In our method, we have constructed a rectangular neighborhood of the local maximum point in the feasible set, which size is explicitly determined, and proved that (1): the objective function is bounded by a quadratic polynomial which takes the local maximum point as the unique critical point in the neighborhood, and (2): the rest part of the feasible set can be partitioned into a finite union of a large number of very small cubes so that on each small cube the conjecture can be verified by estimating the objective function with exact numerical computation.


title: A New Modeling of Classical Folds in Computational Origami

abstract: This paper shows a cut along a crease on an origami sheet makes simple modeling of popular traditional basic folds such as a squash fold in computational origami. The cut operation can be applied to other classical folds and significantly simplify their modeling and subsequent implementation in the context of computational origami.


title: Physical Properties of Brane-World Black Hole Solutions via a Confining Potential

abstract: In this paper, we consider two brane-world black holes whose solutions are obtained via a confining potential and study their thermodynamical properties. The modified entropies by taking account of the generalized uncertainty principle (GUP) are obtained. We also determine the scalar effective potentials in order to compute the greybody factors of zero-spin particles (bosons) for both geometries. Finally, using the sixth-order WKB approach, quasi-normal modes (QNMs), which are also known as black hole fingerprints, are derived concerning the brane-world black hole parameters. The results obtained are graphically depicted, tabulated, and interpreted.


title: The Area Method in the Wolfram Language

abstract: The area method is a decision procedure for geometry developed by Chou et al. in the 1990's. The method aims to reduce the specified hypothesis to an algebraically verifiable form by applying elimination lemmas. The order in which the lemmas are applied is determined by the stated conjecture and the underlying geometric construction. In this paper we present our implementation of the area method for Euclidean geometry as a stand-alone Mathematica package.


title: Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach

abstract: Several tools have been developed to enhance automation of theorem proving in the 2D plane. However, in 3D, only a few approaches have been studied, and to our knowledge, nothing has been done in higher dimensions. In this paper, we present a few examples of incidence geometry theorems in dimensions 3, 4, and 5. We then prove them with the help of a combinatorial prover based on matroid theory applied to geometry.


title: Automated Generation of Illustrations for Synthetic Geometry Proofs

abstract: We report on a new, simple, modular, and flexible approach for automated generation of illustrations for (readable) synthetic geometry proofs. The underlying proofs are generated using the Larus automated prover for coherent logic, and corresponding illustrations are generated in the GCLC language. Animated illustrations are also supported.


title: Spreads and Packings of PG(3,2), Formally!

abstract: We study how to formalize in the Coq proof assistant the smallest projective space PG(3,2). We then describe formally the spreads and packings of PG(3,2), as well as some of their properties. The formalization is rather straightforward, however as the number of objects at stake increases rapidly, we need to exploit some symmetry arguments as well as smart proof techniques to make proof search and verification faster and thus tractable using the Coq proof assistant. This work can be viewed as a first step towards formalizing projective spaces of higher dimension, e.g. PG(4,2), or larger order, e.g. PG(3,3).


title: Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems

abstract: This contribution reports on the continued formalisation of an axiomatic system for Minkowski spacetime (as used in the study of Special Relativity) which is closer in spirit to Hilbert's axiomatic approach to Euclidean geometry than to the vector space approach employed by Minkowski. We present a brief overview of the axioms as well as of a formalisation of theorems relating to linear order. Proofs and excerpts of Isabelle/Isar scripts are discussed, with a focus on the use of symmetry and reasoning "without loss of generality".


title: A Method for the Automated Discovery of Angle Theorems

abstract: The Naive Angle Method, used by Geometry Expressions for solving problems which involve only angle constraints, represents a geometrical configuration as a sparse linear system. Linear systems with the same underlying matrix structure underpin a number of different geometrical theorems. We use a graph theoretical approach to define a generalization of the matrix structure.


title: Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski

abstract: We introduce a system of software tools that can automatically prove or discover geometric inequalities. The system, called GeoGebra Discovery, consisting of an extended version of GeoGebra, a controller web service realgeom, and the computational tool Tarski (with the extensive help of the QEPCAD B system) successfully solves several non-trivial problems in Euclidean planar geometry related to inequalities.


title: Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra

abstract: We introduced the package/subsystem GeoGebra Discovery to GeoGebra which supports the automated proving or discovering of elementary geometry inequalities. In this case study, for inequality exploration problems related to isosceles and right angle triangle subclasses, we demonstrate how our general real quantifier elimination (RQE) approach could be replaced by a parametric root finding (PRF) algorithm. The general RQE requires the full cell decomposition of a high dimensional space, while the new method can avoid this expensive computation and can lead to practical speedups. To obtain a solution for a 1D-exploration problem, we compute a Groebner basis for the discriminant variety of the 1-dimensional parametric system and solve finitely many nonlinear real (NRA) satisfiability (SAT) problems. We illustrate the needed computations by examples. Since Groebner basis algorithms are available in Giac (the underlying free computer algebra system in GeoGebra) and freely available efficient NRA-SAT solvers (SMT-RAT, Tarski, Z3, etc.) can be linked to GeoGebra, we hope that the method could be easily added to the existing reasoning tool set for educational purposes.


title: SMART: a Technology Readiness Methodology in the Frame of the NIS Directive

abstract: An ever shorter technology lifecycle engendered the need for assessing new technologies w.r.t. their market readiness. Knowing the Technology readiness level (TRL) of a given target technology proved to be useful to mitigate risks such as cost overrun, product roll out delays, or early launch failures. Originally developed for space programmes by NASA, TRL became a de facto standard among technology and manufacturing companies and even among research funding agencies. However, while TRL assessments provide a systematic evaluation process resulting in meaningful metric, they are one dimensional: they only answer the question if a technology can go into production. Hence they leave an inherent gap, i.e., if a technology fulfils requirements with a certain quality. This gap becomes intolerable when this metric is applied software such as technological cybersecurity measures. With legislation such as the General Data Protection Regulation4 (GDPR) and the Network and Information Systems Directive5 (NIS-D) making reference to state of the art when requiring appropriate protection measures, software designers are faced with the question how to measure if a technology is suitable to use. We argue that there is a potential mismatch of legal aim and technological reality which not only leads to a risk of non-compliance, but also might lead to weaker protected systems than possible. In that regard, we aim to address the gaps identified with existing Technology Readiness Assessment (TRA)s and aim to overcome these by developing standardised method which is suitable for assessing software w.r.t. its market readiness and quality (in sum maturity).


title: Progress on Local Properties Problems of Difference Sets

abstract: We derive several new bounds for the problem of difference sets with local properties, such as establishing the super-linear threshold of the problem. For our proofs, we develop several new tools, including a variant of higher moment energies and a Ramsey-theoretic approach for the problem.


title: Hybrid intelligence for dynamic job-shop scheduling with deep reinforcement learning and attention mechanism

abstract: The dynamic job-shop scheduling problem (DJSP) is a class of scheduling tasks that specifically consider the inherent uncertainties such as changing order requirements and possible machine breakdown in realistic smart manufacturing settings. Since traditional methods cannot dynamically generate effective scheduling strategies in face of the disturbance of environments, we formulate the DJSP as a Markov decision process (MDP) to be tackled by reinforcement learning (RL). For this purpose, we propose a flexible hybrid framework that takes disjunctive graphs as states and a set of general dispatching rules as the action space with minimum prior domain knowledge. The attention mechanism is used as the graph representation learning (GRL) module for the feature extraction of states, and the double dueling deep Q-network with prioritized replay and noisy networks (D3QPN) is employed to map each state to the most appropriate dispatching rule. Furthermore, we present Gymjsp, a public benchmark based on the well-known OR-Library, to provide a standardized off-the-shelf facility for RL and DJSP research communities. Comprehensive experiments on various DJSP instances confirm that our proposed framework is superior to baseline algorithms with smaller makespan across all instances and provide empirical justification for the validity of the various components in the hybrid framework.


title: Efficient Enumeration Algorithms for Annotated Grammars

abstract: We introduce annotated grammars, an extension of context-free grammars which allows annotations on terminals. Our model extends the standard notion of regular spanners, and is more expressive than the extraction grammars recently introduced by Peterfreund. We study the enumeration problem for annotated grammars: fixing a grammar, and given a string as input, enumerate all annotations of the string that form a word derivable from the grammar. Our first result is an algorithm for unambiguous annotated grammars, which preprocesses the input string in cubic time and enumerates all annotations with output-linear delay. This improves over Peterfreund's result, which needs quintic time preprocessing to achieve this delay bound. We then study how we can reduce the preprocessing time while keeping the same delay bound, by making additional assumptions on the grammar. Specifically, we present a class of grammars which only have one derivation shape for all outputs, for which we can enumerate with quadratic time preprocessing. We also give classes that generalize regular spanners for which linear time preprocessing suffices.


title: On the proportion of vanishing elements in finite groups

abstract: We prove that the function $\mathrm{P}_{\mathrm{v}}(G)$, measuring the proportion of the elements of a finite group $G$ that are zeros of irreducible characters of $G$, takes very sparse values in a large segment of the $[0,1]$ interval.


title: Bootstrapping the deuteron

abstract: Bootstrap is a novel and ambitious paradigm for quantum physics. It aims to solve the target problems by exploiting theoretical constraints from general physical principles and self-consistency conditions. The bootstrap philosophy dates back to the 1960s. Its real power has been recognized only recently in, e.g., conformal field theories and relativistic scattering amplitudes. Inspired by [X. Han, S. A. Hartnoll, and J. Kruthoff, Phys. Rev. Lett. 125, 041601 (2020)], we report the first bootstrap results in low-energy nuclear physics, where deuteron, with its Hamiltonian given by pionless effective field theory in harmonic oscillator space, is solved by directly exploiting the most fundamental quantum mechanical requirement that probability should never be negative. Our study shows that the bootstrap method can be helpful in studying realistic nuclear systems.


title: Canonical interpretation of the $D_{s0}(2590)^{+}$ resonance

abstract: The $D_{s0}(2590)^{+}$ resonance observed by LHCb Collaboration is a strong candidate of the $D_{s}(2^1S_0)$ state according to its spin parity and strong decay mode. However, the measured mass seems relatively lower than the previous theoretical predictions, which interests the coupled channel interpretations in the literature. In this work, we adopt an alternate approach, taking into account the screening effects in the potential model, to describe the $D_{s0}(2590)^{+}$ resonance. The mass spectrum and strong decays of the excited charmed-strange mesons are investigated within the modified relativized quark model and $^3P_0$ model. The calculated mass and width of the $D_{s0}(2590)^{+}$ are consistent with the experimental observations, which indicate that it can be reasonably interpreted as the $D_{s}(2^{1}S_{0})$ state.


title: Nonlocal pseudospin dynamics in a quantum Ising chain

abstract: The existence of topological zero modes in nontrivial phase of quantum Ising chain results in not only the Kramers-like degeneracy spectrum, but also dynamic response for non-Hermitian perturbation in the ordered phase (2021 Phys. Rev. Lett. 126 116401). In this work, we investigate the possible response of the degeneracy spectrum for Hermitian perturbations. We provide a single-particle description of the model in the ordered phase, associating with an internal degree of freedom characterized as a pseudospin. The effective magnetic field, arising from both local and nonlocal perturbations in terms of string operators, acts on the pseudospin. We show that the action of string operator can be realized via a quench under the local perturbations. As an application, any ground states and excited states for the Hamiltonian with perturbation can be selected to identify the quantum phase, by adding the other perturbations to trigger a quench and measuring the Loschmidt echo.


title: Efficient Steering Mechanism for Mobile Network-enabled UAVs

abstract: HTTP Adaptive Streaming (HAS) is becoming the de-facto video delivery technology over best-effort networks nowadays, thanks to the myriad advantages it brings. However, many studies have shown that HAS suffers from many Quality of Experience (QoE)-related issues in the presence of competing players. This is mainly caused by the selfishness of the players resulting from the decentralized intelligence given to the player. Another limitation is the bottleneck link that could happen at any time during the streaming session and anywhere in the network. These issues may result in wobbling bandwidth perception by the players and could lead to missing the deadline for chunk downloads, which result in the most annoying issue consisting of rebuffering events. In this paper, we leverage the SoftwareDefined Networking paradigm to take advantage of the global view of the network and its powerful intelligence that allows reacting to the network changing conditions. Ultimately, we aim at preventing the re-buffering events, resulting from deadline misses, and ensuring high QoE for the accepted clients in the system. To this end, we use Deterministic Network Calculus (DNC) to guarantee a maximum delay for the download of the video chunks while maximizing the perceived video quality. Simulation results show that the proposed solution ensures high efficiency for the accepted clients without any rebuffering events which result in high user QoE. Consequently, it might be highly useful for scenarios where video chunks should be strictly downloaded on-time or ensuring low delay with high user QoE such as serving video premium subscribers or remote control/driving of an autonomous vehicle in future 5G mobile networks.


title: Deterministic Service Function Chaining over Beyond 5G Edge Fabric

abstract: Along with the increasing demand for latencysensitive services and applications, Deterministic Network (DetNet) concept has been recently proposed to investigate deterministic latency assurance for services featured with bounded latency requirements in 5G edge networks. The Network Function Virtualization (NFV) technology enables Internet Service Providers (ISPs) to flexibly place Virtual Network Functions (VNFs) achieving performance and cost benefits. Then, Service Function Chains (SFC) are formed by steering traffic through a series of VNF instances in a predefined order. Moreover, the required network resources and placement of VNF instances along SFC should be optimized to meet the deterministic latency requirements. Therefore, it is significant for ISPs to determine an optimal SFC deployment strategy to ensure network performance while improving the network revenue. In this paper, we jointly investigate the resource allocation and SFC placement in 5G edge networks for deterministic latency assurance. We formulate this problem as a mathematic programming model with the objective of maximizing the overall network profit for ISP. Furthermore, a novel Deterministic SFC deployment (Det-SFCD) algorithm is proposed to efficiently embed SFC requests with deterministic latency assurance. The performance evaluation results show that the proposed algorithm can provide better performance in terms of SFC request acceptance rate, network cost reduction, and network resource efficiency compared with benchmark strategy.


title: Topological order in random interacting Ising-Majorana chains stabilized by many-body localization

abstract: We numerically explore $\mathbb Z_2$-symmetric random interacting Ising-Majorana chains at high energy. A very rich phase diagram emerges with two topologically distinct many-body localization (MBL) regimes separated by a much broader thermal phase than previously found. This is a striking consequence of the avalanche theory. We further find MBL spin-glass order always associated to a many-body spectral pairing, presumably signaling a strong zero mode operator which opens fascinating perspectives for MBL-protected topological qubits.


title: Scattering of a plane wave by an inhomogeneous 1D dielectric layer with gradient refractive index

abstract: We propose a new method for calculating reflection and transmission coefficients for an arbitrarily polarized electromagnetic plane wave incident on a one-dimensional dielectric medium of finite thickness and with dielectric permittivity being an arbitrary continuous function of the coordinate. We have shown that the problem of plane wave scattering by an inhomogeneous layer is reduced to a system of first order differential equations that contain the derivative of the refractive index or dielectric permittivity of the layer, which can be used, for example, when searching for an analytical solution. This method also makes it easy to obtain the distribution of the field strength within the layer. The reflection spectra and field distribution obtained using this method were compared with the analytical solution based on Mathieu functions.


title: Which Student is Best? A Comprehensive Knowledge Distillation Exam for Task-Specific BERT Models

abstract: We perform knowledge distillation (KD) benchmark from task-specific BERT-base teacher models to various student models: BiLSTM, CNN, BERT-Tiny, BERT-Mini, and BERT-Small. Our experiment involves 12 datasets grouped in two tasks: text classification and sequence labeling in the Indonesian language. We also compare various aspects of distillations including the usage of word embeddings and unlabeled data augmentation. Our experiments show that, despite the rising popularity of Transformer-based models, using BiLSTM and CNN student models provide the best trade-off between performance and computational resource (CPU, RAM, and storage) compared to pruned BERT models. We further propose some quick wins on performing KD to produce small NLP models via efficient KD training mechanisms involving simple choices of loss functions, word embeddings, and unlabeled data preparation.


title: Hida theory for special orders

abstract: This note is devoted to the study of families of quaternionic modular forms arising from orders defined by Pizer. In this situation, the Hecke-eigenspaces are 2-dimensional contrary to the classical case of Eichler orders. The main result is a Control Theorem in the spirit of Hida, interpolating these 2-dimensional Hecke-eigenspaces. We restrict our attention to a definite rational quaternion algebra ramified at a single odd prime $\ell$.


title: Cosmology of Supercooled Universe

abstract: First-order phase transitions (FOPTs) are ubiquitous in physics beyond the Standard Model (SM). Recently, models with no dimensionful parameters in the tree-level action have been attracting much attention because they can predict a very strong FOPT with ultra-supercooling. In this paper, we study the cosmological signatures of such a supercooling model. As a concrete model, we consider the SM with two additional real scalars $\phi$ and $S$, which can realize the electroweak symmetry breaking via Coleman-Weinberg mechanism. One of the additional scalars $S$ can naturally become a Dark Matter (DM) candidate due to the $Z_2^{}$ symmetry of the action. We study the FOPT of this model and calculate the Gravitational Wave (GW) signals and the thermal relic abundance of $S$ taking the filtered effects into account. Within the envelope approximation, we find that the GW peak amplitude can reach $\sim 10^{-10}$ around the frequency $f\sim 10^{-3}~$Hz for model parameters $(v_\phi^{},\lambda_{\phi S}^{})\sim (200~{\rm TeV},1.6)$ where $v_\phi^{}$ is the vacuum expectation value of $\phi$ and $\lambda_{\phi S}^{}$ is the scalar mixing coupling. On the other hand, the filtered DM mechanism only works for $0.8\lesssim \lambda_{\phi S}^{}\lesssim 1$, where the GW peak amplitude is found to be quite small $\lesssim 10^{-17}$.


title: Zero-Shot Cost Models for Out-of-the-box Learned Cost Prediction

abstract: In this paper, we introduce zero-shot cost models which enable learned cost estimation that generalizes to unseen databases. In contrast to state-of-the-art workload-driven approaches which require to execute a large set of training queries on every new database, zero-shot cost models thus allow to instantiate a learned cost model out-of-the-box without expensive training data collection. To enable such zero-shot cost models, we suggest a new learning paradigm based on pre-trained cost models. As core contributions to support the transfer of such a pre-trained cost model to unseen databases, we introduce a new model architecture and representation technique for encoding query workloads as input to those models. As we will show in our evaluation, zero-shot cost estimation can provide more accurate cost estimates than state-of-the-art models for a wide range of (real-world) databases without requiring any query executions on unseen databases. Furthermore, we show that zero-shot cost models can be used in a few-shot mode that further improves their quality by retraining them just with a small number of additional training queries on the unseen database.


title: Q-curvature and Path Integral Complexity

abstract: We discuss the interpretation of path integral optimization as a uniformization problem in even dimensions. This perspective allows for a systematical construction of the higher-dimensional path integral complexity in holographic conformal field theories in terms of Q-curvature actions. We explore the properties and consequences of these actions from the perspective of the optimization programme, tensor networks and penalty factors. Moreover, in the context of recently proposed holographic path integral optimization, we consider higher curvature contributions on the Hartle-Hawking bulk slice and study their impact on the optimization as well as their relation to Q-curvature actions and finite cut-off holography.


title: Using Fitness Dependent Optimizer for Training Multi-layer Perceptron

abstract: This study presents a novel training algorithm depending upon the recently proposed Fitness Dependent Optimizer (FDO). The stability of this algorithm has been verified and performance-proofed in both the exploration and exploitation stages using some standard measurements. This influenced our target to gauge the performance of the algorithm in training multilayer perceptron neural networks (MLP). This study combines FDO with MLP (codename FDO-MLP) for optimizing weights and biases to predict outcomes of students. This study can improve the learning system in terms of the educational background of students besides increasing their achievements. The experimental results of this approach are affirmed by comparing with the Back-Propagation algorithm (BP) and some evolutionary models such as FDO with cascade MLP (FDO-CMLP), Grey Wolf Optimizer (GWO) combined with MLP (GWO-MLP), modified GWO combined with MLP (MGWO-MLP), GWO with cascade MLP (GWO-CMLP), and modified GWO with cascade MLP (MGWO-CMLP). The qualitative and quantitative results prove that the proposed approach using FDO as a trainer can outperform the other approaches using different trainers on the dataset in terms of convergence speed and local optima avoidance. The proposed FDO-MLP approach classifies with a rate of 0.97.


title: Hausdorff dimension bounds for the ABC sum-product problem

abstract: The purpose of this paper is to complete the proof of the following result. Let $0 < \beta \leq \alpha < 1$ and $\kappa > 0$. Then, there exists $\eta > 0$ such that whenever $A,B \subset \mathbb{R}$ are Borel sets with $\dim_{\mathrm{H}} A = \alpha$ and $\dim_{\mathrm{H}} B = \beta$, then $$\dim_{\mathrm{H}} \{c \in \mathbb{R} : \dim_{\mathrm{H}} (A + cB) \leq \alpha + \eta\} \leq \tfrac{\alpha - \beta}{1 - \beta} + \kappa.$$ This extends a result of Bourgain from 2010, which contained the case $\alpha = \beta$. This paper is a sequel to the author's previous work from 2021 which, roughly speaking, established the same result with $\dim_{\mathrm{H}} (A + cB)$ replaced by $\dim_{\mathrm{B}}(A + cB)$, the box dimension of $A + cB$. It turns out that, at the level of $\delta$-discretised statements, the superficially weaker box dimension result formally implies the Hausdorff dimension result.


title: Swift and Sure: Hardness-aware Contrastive Learning for Low-dimensional Knowledge Graph Embeddings

abstract: Knowledge graph embedding (KGE) has shown great potential in automatic knowledge graph (KG) completion and knowledge-driven tasks. However, recent KGE models suffer from high training cost and large storage space, thus limiting their practicality in real-world applications. To address this challenge, based on the latest findings in the field of Contrastive Learning, we propose a novel KGE training framework called Hardness-aware Low-dimensional Embedding (HaLE). Instead of the traditional Negative Sampling, we design a new loss function based on query sampling that can balance two important training targets, Alignment and Uniformity. Furthermore, we analyze the hardness-aware ability of recent low-dimensional hyperbolic models and propose a lightweight hardness-aware activation mechanism. The experimental results show that in the limited training time, HaLE can effectively improve the performance and training speed of KGE models on five commonly-used datasets. After training just a few minutes, the HaLE-trained models are competitive compared to the state-of-the-art models in both low- and high-dimensional conditions.


title: The multifarious ionization sources and disturbed kinematics of extraplanar gas in five low-mass galaxies

abstract: We investigate the origin of the extraplanar diffuse ionized gas (eDIG) and its predominant ionization mechanisms in five nearby (17-46 Mpc) low-mass ($10^9\text{-}10^{10}$ $M_{\odot}$) edge-on disk galaxies: ESO 157-49, ESO 469-15, ESO 544-27, IC 217, and IC 1553. We acquired Multi Unit Spectroscopic Explorer (MUSE) integral field spectroscopy and deep narrowband H$\alpha$ imaging of our sample galaxies. To investigate the connection between in-plane star formation and eDIG, we perform a photometric analysis of our narrowband H$\alpha$ imaging. We measure eDIG scale heights of $h_{z\text{eDIG}} = 0.59 \text{-} 1.39$ kpc and find a positive correlation between them and specific star formation rates. In all galaxies, we also find a strong correlation between extraplanar and midplane radial H$\alpha$ profiles. Using our MUSE data, we investigate the origin of eDIG via kinematics. We find ionized gas rotation velocity lags above the midplane with values between 10 and 27 km s$^{-1}$ kpc$^{-1}$. While we do find hints of an accretion origin for the ionized gas in ESO 157-49, IC 217, and IC 1553, overall the ionized gas kinematics of our galaxies do not match a steady galaxy model or any simplistic model of accretion or internal origin for the gas. We also construct standard diagnostic diagrams and emission-line maps (EW(H$\alpha$), [NII]/H$\alpha$, [SII]//H$\alpha$, [OIII]/H$\beta$) and find regions consistent with mixed OB star and hot low-mass evolved stars (HOLMES) ionization, and mixed OB-shock ionization. Our results suggest that OB stars are the primary driver of eDIG ionization, while both HOLMES and shocks may locally contribute to the ionization of eDIG to a significant degree. Despite our galaxies' similar structures and masses, we find a surprisingly composite image of ionization mechanisms and a multifarious origin for the eDIG.


title: Ant colonization processed algorithm for design of a toroidal shaped mobile 5G antenna

abstract: There is great potential if we understand how nature functions, particularly the animals taking down from the ant to the larger animals. In this paper we will make an attempt to learn about ants colonization processing by studying their behaviour. Earlier there was particle swarm optimization which helped to solve many scientific problems. Ants communication with each other, their peculiar behaviour of working, colonization, their movements from one place to another, there is large potential in understanding their entire life to design a better 5G antenna.


title: Deep Learning for GPS Spoofing Detection in Cellular Enabled Unmanned Aerial Vehicle Systems

abstract: Cellular-based Unmanned Aerial Vehicle (UAV) systems are a promising paradigm to provide reliable and fast Beyond Visual Line of Sight (BVLoS) communication services for UAV operations. However, such systems are facing a serious GPS spoofing threat for UAV's position. To enable safe and secure UAV navigation BVLoS, this paper proposes a cellular network assisted UAV position monitoring and anti-GPS spoofing system, where deep learning approach is used to live detect spoofed GPS positions. Specifically, the proposed system introduces a MultiLayer Perceptron (MLP) model which is trained on the statistical properties of path loss measurements collected from nearby base stations to decide the authenticity of the GPS position. Experiment results indicate the accuracy rate of detecting GPS spoofing under our proposed approach is more than 93% with three base stations and it can also reach 80% with only one base station.


title: Simulating the gravity in S11 parameters and friis transmission equation

abstract: Antennas are taking design shapes by the orientation of its material and the final structural design they take. Irrespective of the shape, the function and efficiency they produce does not change and vary to much extent. We are trying to simulate a design of antenna which is using the artificial intelligence model to Specific absorption rate minimization. We have successfully used antenna magus and CST suite to produce our improved simulation results. Motion models such as optical flow is used to smartly detect communicating devices inorder to connect and link the devices. The algorithm used by us is closest neighbour algorithm which is connected with antenna to apply it in object detection of mobile devices and antennas. We are trying to have a six second break in which the antenna will operate at minimum frequency but at the same time operating in its functioning. After every six seconds the antenna will radiate its frequency of vibration to detect if there is any new object or mobile device in sight.


title: 3DPG: Distributed Deep Deterministic Policy Gradient Algorithms for Networked Multi-Agent Systems

abstract: We present Distributed Deep Deterministic Policy Gradient (3DPG), a multi-agent actor-critic (MAAC) algorithm for Markov games. Unlike previous MAAC algorithms, 3DPG is fully distributed during both training and deployment. 3DPG agents calculate local policy gradients based on the most recently available local data (states, actions) and local policies of other agents. During training, this information is exchanged using a potentially lossy and delaying communication network. The network therefore induces Age of Information (AoI) for data and policies. We prove the asymptotic convergence of 3DPG even in the presence of potentially unbounded Age of Information (AoI). This provides an important step towards practical online and distributed multi-agent learning since 3DPG does not assume information to be available deterministically. We analyze 3DPG in the presence of policy and data transfer under mild practical assumptions. Our analysis shows that 3DPG agents converge to a local Nash equilibrium of Markov games in terms of utility functions expressed as the expected value of the agents local approximate action-value functions (Q-functions). The expectations of the local Q-functions are with respect to limiting distributions over the global state-action space shaped by the agents' accumulated local experiences. Our results also shed light on the policies obtained by general MAAC algorithms. We show through a heuristic argument and numerical experiments that 3DPG improves convergence over previous MAAC algorithms that use old actions instead of old policies during training. Further, we show that 3DPG is robust to AoI; it learns competitive policies even with large AoI and low data availability.


title: Powers of monomial ideals with characteristic-dependent Betti numbers

abstract: We explore the dependence of the Betti numbers of monomial ideals on the characteristic of the field. A first observation is that for a fixed prime $p$ either the $i$-th Betti number of all high enough powers of a monomial ideal differs in characteristic $0$ and in characteristic $p$ or it is the same for all high enough powers. In our main results we provide constructions and explicit examples of monomial ideals all of whose powers have some characteristic-dependent Betti numbers or whose asymptotic regularity depends on the field. We prove that, adding a monomial on new variables to a monomial ideal, allows to spread the characteristic dependence to all powers. For any given prime $p$, this produces an edge ideal such that the Betti numbers of all its powers over $\mathbb{Q}$ and over $\mathbb{Z}_p$ are different. Moreover, we show that, for every $r \geq 0$ and $i \geq 3$ there is a monomial ideal $I$ such that some coefficient in a degree $\geq r$ of the Kodiyalam polynomials $\mathfrak P_3(I),\ldots,\mathfrak P_{i+r}(I)$ depends on the characteristic. We also provide a summary of related results and speculate about the behaviour of other combinatorially defined ideals.


title: Enabling Verification of Deep Neural Networks in Perception Tasks Using Fuzzy Logic and Concept Embeddings

abstract: One major drawback of deep convolutional neural networks (CNNs) for use in safety critical applications is their black-box nature. This makes it hard to verify or monitor complex, symbolic requirements on already trained computer vision CNNs. In this work, we present a simple, yet effective, approach to verify that a CNN complies with symbolic predicate logic rules which relate visual concepts. It is the first that (1) does not modify the CNN, (2) may use visual concepts that are no CNN in- or output feature, and (3) can leverage continuous CNN confidence outputs. To achieve this, we newly combine methods from explainable artificial intelligence and logic: First, using supervised concept embedding analysis, the output of a CNN is post-hoc enriched by concept outputs. Second, rules from prior knowledge are modelled as truth functions that accept the CNN outputs, and can be evaluated with little computational overhead. We here investigate the use of fuzzy logic, i.e., continuous truth values, and of proper output calibration, which both theoretically and practically show slight benefits. Applicability is demonstrated on state-of-the-art object detectors for three verification use-cases, where monitoring of rule breaches can reveal detection errors.


title: Antenna parameterization for effectiveness in horn shaped antenna for 5G communication

abstract: Horn antenna is well documented in our research in this paper. We are trying our latent method of radiation by antennas which we suppose to reduce to a significant extent. Why we chose horn antenna is it resonates the sound to explosion as done by horn shaped matter. Horn by its shape makes the sent signals to maximum capability by its shape which is required by the receiver due to the distance separation from sender and receiver. Our research will contain various implementations leading to improvement of previous designs. We will use the traditional methods of Bergen to make the antenna behave smartly in its functioning.


title: Theoretical aspects of $D^0-\bar{D}^0$ mixing

abstract: Observables in the $D^0-\bar{D}^0$ mixing can be theoretically analyzed by the operator product expansion (OPE), in which $1/m_c$ is regarded as an expansion parameter. Since the contributions of four-quark operators are strongly suppressed by the Glashow-Iliopoulos-Maiani (GIM) mechanism, the order of magnitude of the width difference is still not reproduced in the OPE analysis. In view of this issue, quark-hadron duality, an assumption that is tacitly made in the OPE, is studied for the $D^0-\bar{D}^0$ mixing. In particular, the exclusive width difference and the inclusive counterpart can be compared within the 't Hooft model, two-dimensional QCD in the large-$N_c$ limit. It is shown that the order of magnitude of the exclusive width difference is enhanced relative to the 4D-like inclusive contributions of the four-quark operators, that is qualitatively consistent with the realistic observation of the $D^0-\bar{D}^0$ mixing.


title: A Queuing based Dynamic Auto Scaling Algorithm for the LTE EPC Control Plane

abstract: Network Slicing (NS) is expected to be a key functionality of the upcoming 5G systems. Coupled with Software Defined Networking (SDN) and Network Function Virtualization (NFV),NS will enable a flexible deployment of Network Functions belonging to multiple Service Function Chains (SFC) over a shared infrastructure. To address the complexities that arise from this new environment, we formulate a MILP optimization model that enables a cost-optimal deployment of network slices, allowing a Mobile Network Operator to efficiently allocate the underlying layer resources according to the users' requirements. For each network slice, the proposed solution guarantees the required delay and the bandwidth, while efficiently handling the usage of underlying nodes, which leads to reduced cost. The obtained results show the efficiency of the proposed solution in terms of cost and execution time for small-scale networks, while it shows an interesting behavior in the large-scale topologies.


title: An accelerator experiment for junior and senior high school students to improve students' involvement in fundamental physics

abstract: In Japan, research activities by junior and senior high school students show an upward trend. However, there are limited examples of research activities in the field of elementary particles and atoms. This is due to the difficulty associated with procuring research tools such as accelerators or particle detectors. Therefore, we hosted the "Accel Kitchen" in 2018 and 2019 at Cyclotron and Radioisotope Center (CYRIC) in Tohoku University where junior and senior high school students could participate in ongoing research of particle and atomic physics. At each workshop, 12 junior and senior high school students participated in the beam experiment, including the production of francium atoms (Fr) by the fusion reaction of oxygen and gold, optimizing the transport of the ion beam and identifying the alpha decay nuclei, and laser trapping of Fr for two days. Each group that was involved in the experiment was supported by researchers and university students who acted as mentors. This was the first opportunity for junior and senior high school students to know about the particle beam experiment in Japan.

categories: physics.ed-ph nucl-ex physics.acc-ph physics.atom-ph


title: Semantically Grounded Visual Embeddings for Zero-Shot Learning

abstract: Zero-shot learning methods rely on fixed visual and semantic embeddings, extracted from independent vision and language models, both pre-trained for other large-scale tasks. This is a weakness of current zero-shot learning frameworks as such disjoint embeddings fail to adequately associate visual and textual information to their shared semantic content. Therefore, we propose to learn semantically grounded and enriched visual information by computing a joint image and text model with a two-stream network on a proxy task. To improve this alignment between image and textual representations, provided by attributes, we leverage ancillary captions to provide grounded semantic information. Our method, dubbed joint embeddings for zero-shot learning is evaluated on several benchmark datasets, improving the performance of existing state-of-the-art methods in both standard ($+1.6$\% on aPY, $+2.6\%$ on FLO) and generalized ($+2.1\%$ on AWA$2$, $+2.2\%$ on CUB) zero-shot recognition.


title: 'Moving On' -- Investigating Inventors' Ethnic Origins Using Supervised Learning

abstract: Patent data provides rich information about technical inventions, but does not disclose the ethnic origin of inventors. In this paper, I use supervised learning techniques to infer this information. To do so, I construct a dataset of 95'202 labeled names and train an artificial recurrent neural network with long-short-term memory (LSTM) to predict ethnic origins based on names. The trained network achieves an overall performance of 91% across 17 ethnic origins. I use this model to classify and investigate the ethnic origins of 2.68 million inventors and provide novel descriptive evidence regarding their ethnic origin composition over time and across countries and technological fields. The global ethnic origin composition has become more diverse over the last decades, which was mostly due to a relative increase of Asian origin inventors. Furthermore, the prevalence of foreign-origin inventors is especially high in the USA, but has also increased in other high-income economies. This increase was mainly driven by an inflow of non-western inventors into emerging high-technology fields for the USA, but not for other high-income countries.


title: European Aerosol Phenomenology -- 8: Harmonised Source Apportionment of Organic Aerosol using 22 Year-long ACSM/AMS Datasets

abstract: Organic aerosol (OA) is a key component to total submicron particulate matter (PM1), and comprehensive knowledge of OA sources across Europe is crucial to mitigate PM1 levels. Europe has a well-established air quality research infrastructure from which yearlong datasets using 21 aerosol chemical speciation monitors (ACSMs) and 1 aerosol mass spectrometer (AMS) were gathered during 2013-2019. It includes 9 non-urban and 13 urban sites. This study developed a state-of-the-art source apportionment protocol to analyse long-term OA mass spectrum data by applying the most advanced source apportionment strategies (i.e., rolling PMF, ME-2, and bootstrap). This harmonised protocol enables the quantifications of the most common OA components such as hydrocarbon-like OA (HOA), biomass burning OA (BBOA), cooking-like OA (COA), more oxidised-oxygenated OA (MO-OOA), and less oxidised-oxygenated OA (LO-OOA). Other components such as coal combustion OA (CCOA), solid fuel OA (SFOA: mainly mixture of coal and peat combustion), cigarette smoke OA (CSOA), sea salt (mostly inorganic but part of the OA mass spectrum), coffee OA, and ship industry OA could also be separated at a few specific sites. Oxygenated OA (OOA) components make up most of the submicron OA mass (average = 71.1%, a range of 43.7-100%). Solid fuel combustion-related OA components (i.e., BBOA, CCOA, and SFOA) are still considerable with in total 16.0% yearly contribution to the OA, yet mainly during winter months (21.4%). Overall, this comprehensive protocol works effectively across all sites governed by different sources and generates robust and consistent source apportionment results. Our work presents a comprehensive overview of OA sources in Europe with a unique combination of high time resolution and long-term data coverage (9-36 months), providing essential information to improve/validate air quality, health impact, and climate models.


title: Identification of source terms in wave equation with dynamic boundary conditions

abstract: This paper studies an inverse hyperbolic problem for the wave equation with dynamic boundary conditions. It consists of determining some forcing terms from the final overdetermination of the displacement. First, the Fr\'echet differentiability of the Tikhonov functional is studied, and a gradient formula is obtained via the solution of an associated adjoint problem. Then, the Lipschitz continuity of the gradient is proved. Furthermore, the existence and the uniqueness for the minimization problem are discussed. Finally, some numerical experiments for the reconstruction of an internal wave force are implemented via a conjugate gradient algorithm.


title: Casimir interactions from infinite range and dilation symmetry

abstract: The Casimir interaction energy for a class of discrete self-similar configuration of parallel plates is evaluated using existing methods. The similarities to characteristics of an attractive Casimir force is deduced only at infinite range of configuration. Further, the emergence of Casimir-like energy is qualitatively described for a Gaussian model of Landau-Ginzburg scalar field. Its relevance to self-similarity in the statistical field is shown at infinite range of fluctuations.


title: Graph-combinatorial approach for large deviations of Markov chains

abstract: We consider discrete-time Markov chains and study large deviations of the pair empirical occupation measure, which is useful to compute fluctuations of pure-additive and jump-type observables. We provide an exact expression for the finite-time moment generating function, which is split in cycles and paths contributions, and scaled cumulant generating function of the pair empirical occupation measure via a graph-combinatorial approach. The expression obtained allows us to give a physical interpretation of interaction and entropic terms, and of the Lagrange multipliers, and may serve as a starting point for sub-leading asymptotics. We illustrate the use of the method for a simple two-state Markov chain.


title: Evaluation and comparison of SEA torque controllers in a unified framework

abstract: Series elastic actuators (SEA) with their inherent compliance offer a safe torque source for robots that are interacting with various environments, including humans. These applications have high requirements for the SEA torque controllers, both in the torque response as well as interaction behavior with its the environment. To differentiate state of the art torque controllers, this work is introducing a unifying theoretical and experimental framework that compares controllers based on their torque transfer behavior, their apparent impedance behavior, and especially the passivity of the apparent impedance, i.e. their interaction stability, as well as their sensitivity to sensor noise. We compare classical SEA control approaches such as cascaded PID controllers and full state feedback controllers with advanced controllers using disturbance observers, acceleration feedback and adaptation rules. Simulations and experiments demonstrate the trade-off between stable interactions, high bandwidths and low noise levels. Based on these tradeoffs, an application specific controller can be designed and tuned, based on desired interaction with the respective environment.


title: Feature Selection-based Intrusion Detection System Using Genetic Whale Optimization Algorithm and Sample-based Classification

abstract: Preventing and detecting intrusions and attacks on wireless networks has become an important and serious challenge. On the other hand, due to the limited resources of wireless nodes, the use of monitoring nodes for permanent monitoring in wireless sensor networks in order to prevent and detect intrusion and attacks in this type of network is practically non-existent. Therefore, the solution to overcome this problem today is the discussion of remote-control systems and has become one of the topics of interest in various fields. Remote monitoring of node performance and behavior in wireless sensor networks, in addition to detecting malicious nodes within the network, can also predict malicious node behavior in future. In present research, a network intrusion detection system using feature selection based on a combination of Whale optimization algorithm (WOA) and genetic algorithm (GA) and sample-based classification is proposed. In this research, the standard data set KDDCUP1999 has been used in which the characteristics related to healthy nodes and types of malicious nodes are stored based on the type of attacks in the network. The proposed method is based on the combination of feature selection based on Whale optimization algorithm and genetic algorithm with KNN classification in terms of accuracy criteria, has better results than other previous methods. Based on this, it can be said that the Whale optimization algorithm and the genetic algorithm have extracted the features related to the class label well, and the KNN method has been able to well detect the misconduct nodes in the intrusion detection data set in wireless networks.


title: Multiplicative Properties of Hilbert Cubes

abstract: We obtain upper bounds on the cardinality of Hilbert cubes in finite fields, which avoid large product sets and reciprocals of sum sets. In particular, our results replace recent estimates of N. Hegyv\'ari and P. P. Pach (2020), which appear to be void for all admissible parameters. Our approach is different from that of N. Hegyv\'ari and P. P. Pach and is based on some well-known bounds of double character and exponential sums over arbitrary sets, due to A. A. Karatsuba (1991) and N. G. Moshchevitin (2007), respectively.


title: Diffuse flux of PeV neutrinos from centrifugally accelerated protons in active galactic nuclei

abstract: Evidence for high-energy astrophysical PeV neutrinos has been found in the IceCube experiment from an analysis with a 7.5 year (2010 - 2017) data. Active galactic nuclei (AGN) are among the most prominent objects in the universe, and are widely speculated to be emitters of ultra-high-energy (UHE) cosmic rays with proton domination. Based on the standard two-step LLCD mechanism of particle acceleration, a transformation of energy occurs from AGN's central super-massive black hole (SMBH) rotation to high-energy protons. Protons can be accelerated up to $\sim 0.1$ EeV energies and above, and might generate PeV neutrinos in the energy range $1$--$10$~ PeV through plausible hadronic interactions. The theoretically estimated revised extragalactic diffuse muon neutrino flux employing the "luminosity-dependent density evolution (LDDE)" model for the AGN luminosity function (LF) is found consistent with the IceCube level if only a fraction, $6.56\%$ of the total bolometric luminosity (BL) of AGN is being realizable to power the PeV neutrinos. In the $\Lambda$~CDM cosmological framework with the LDDE modeled LF and photon index distribution, about $5.18\%$ of the total BL is enough to power the IceCube neutrinos.


title: A New Algorithm for Pyramidal Clipping of Line Segments in E3

abstract: A new algorithm for clipping a line segment against a pyramid in E3 is presented. This algorithm avoids computation of intersection points which are not end-points of the output line segment. It also allows solving all cases more effectively. The performance of this algorithm is shown to be consistently better than existing algorithms, including the Cohen-Sutherland, Liang-Barsky and Cyrus-Beck algorithms.


title: Background independence of effective actions at critical dimension

abstract: Recently, by explicit calculations at orders $\alpha',\alpha'^2,\alpha'^3$, it has been observed that the effective action of string theory at the critical dimension is independent of the background for the closed spacetime manifolds. In this paper we speculate that for the open spacetime manifolds, the effective action is even independent of the character of the boundary, \ie the boundary couplings for timelike and spacelike boundaries are the same. We support this proposal by calculating the boundary couplings in the bosonic string theory at order $\alpha'$ for the spacelike boundary and show that they are the same as the couplings for the timelike boundary that have been recently found.


title: Secure Time-Sensitive Software-Defined Networking in Vehicles

abstract: Current designs of future In-Vehicle Networks (IVN) prepare for switched Ethernet backbones, which can host advanced LAN technologies such as IEEE Time-Sensitive Networking (TSN) and Software-Defined Networking (SDN). In this paper, we present an integrated Time-Sensitive Software-Defined Networking (TSSDN) architecture that simultaneously enables control of synchronous and asynchronous real-time and best-effort communication for all IVN traffic classes. Despite the central SDN controller, we can validate that control can operate without a delay penalty for TSN traffic, provided protocols are properly mapped. We demonstrate how TSSDN adaptably and reliably enhances network security for in-vehicle communication. A systematic investigation of the possible control flow integrations with switched Ether-networks reveals that these strategies allow for shaping the attack surface of a software-defined IVN. We discuss embeddings of control flow identifiers on different layers, covering the range from a fully exposed mapping to deep encapsulation. We experimentally evaluate these strategies in a production vehicle, which we map to a modern Ethernet topology. Our findings indicate that visibility of automotive control flows on lower network layers enables isolation and access control throughout the network infrastructure. Such a TSSDN backbone can establish and survey trust zones within the IVN and reduce the attack surface of connected cars in various attack scenarios.


title: Two New Algorithms for Line Clipping in E2 and Their Comparison

abstract: Many algorithms for clipping a line by a rectangular area or a convex polygon in E2 or by a non-convex or convex polyhedron in E3 have been published. The line segment clipping by the rectangular window in E2 is often restricted to the use of the Cohen-Sutherland (CS) algorithm or its modifications based on some presumptions like small clipping window or more sophisticated coding technique, etc. The line clipping problem solution is a bottleneck of many packages and applications and, therefore, it would be desirable to use the fastest algorithm even though it is more complex.


title: Observational constraints on nonlinear matter extensions of general relativity

abstract: We present a phenomenological analysis of current observational constraints on classes of FLRW cosmological models in which the matter side of Einstein's equations includes, in addition to the canonical term, a term proportional to some function of the energy-momentum tensor ($T^2=T_{\alpha\beta}T^{\alpha\beta}=\rho^2+3p^2$), or of its trace ($T=\rho-3p$). Qualitatively, one may think of these models as extensions of general relativity with a nonlinear matter Lagrangian. As such they are somewhat different from the usual dynamical dark energy or modified gravity models: in the former class of models one adds further dynamical degrees of freedom to the Lagrangian (often in the form of scalar fields), while in the latter the gravitational part of the Lagrangian is changed. We study both of these models under two different scenarios: (1) as phenomenological two-parameter or three-parameter extensions of the standard $\Lambda$CDM, in which case the model still has a cosmological constant but the nonlinear matter Lagrangian leads to additional terms in Einstein's equations, which cosmological observations tightly constrain, and (2) as alternatives to $\Lambda$CDM, where there is no cosmological constant, and the nonlinear matter term would have to provide the acceleration (which would be somewhat closer in spirit to the usual modified gravity models). A comparative analysis of the observational constraints obtained in the various cases provides some insight on the level of robustness of the $\Lambda$ model and on the parameter space still available for phenomenological alternatives.


title: Line Clipping in E3 with Expected Complexity O(1)

abstract: A new line clipping algorithm against convex polyhedron in E3 with an expected complexity O(1) is presented. The suggested approach is based on two orthogonal projections to E2 co-ordinate system and on pre-processing of the given polyhedron. The pre-processing enables to speed up solution significantly. The proposed method is convenient for those applications when many lines are clipped against constant convex polyhedron. Theoretical considerations and experimental results are also presented.


title: Gas distribution from clusters to filaments in IllustrisTNG

abstract: Matter distribution in the environment of galaxy clusters, from their cores to their connected cosmic filaments, must be in principle related to the underlying cluster physics and it evolutionary state. We aim to investigate how radial and azimuthal distribution of gas is affected by cluster environments, and how it can be related to cluster mass assembly history. Radial physical properties of gas (velocity, temperature, and density) is first analysed around 415 galaxy cluster environments from IllustrisTNG simulation at z = 0 (TNG300-1). Whereas hot plasma is virialised inside clusters (< R200), the dynamics of warm hot inter-galactic medium (WHIM) can be separated in two regimes: accumulating and slowly infalling gas at cluster peripheries and fast infalling motions outside clusters (> 1.5R200). The azimuthal distribution of dark matter (DM), hot and warm gas phases is secondly statistically probed by decomposing their 2-D distribution in harmonic space. Inside clusters, the azimuthal symmetries of DM and hot gas are well tracing cluster structural properties, such as their center offsets, substructure fractions and elliptical shapes. Beyond cluster virialised regions, we find that WHIM gas follows the azimuthal distribution of DM thus tracing cosmic filament patterns. Azimuthal symmetries of hot and warm gas distribution are finally shown to be imprints of cluster mass assembly history, strongly correlated with the formation time, mass accretion rate, and dynamical state of clusters. Azimuthal mode decomposition of 2-D gas distribution is a promising probe to assess the 3-D physical and dynamical cluster properties up to their connected cosmic filaments.


title: A Priority-Aware Multiqueue NIC Design

abstract: Low-level embedded systems are used to control cyber-phyiscal systems in industrial and autonomous applications. They need to meet hard real-time requirements as unanticipated controller delays on moving machines can have devastating effects. Modern developments such as the industrial Internet of Things and autonomous machines require these devices to connect to large IP networks. Since Network Interface Controllers (NICs) trigger interrupts for incoming packets, real-time embedded systems are subject to unpredictable preemptions when connected to such networks. In this work, we propose a priority-aware NIC design to moderate network-generated interrupts by mapping IP flows to processes and based on that, consolidates their packets into different queues. These queues apply priority-dependent interrupt moderation. First experimental evaluations show that 93% of interrupts can be saved leading to an 80% decrease of processing delay of critical tasks in the configurations investigated.


title: From the lattice of torsion classes to the posets of wide subcategories and ICE-closed subcategories

abstract: In this paper, we compute the posets of wide subcategories and ICE-closed subcategories from the lattice of torsion classes in an abelian length category in a purely lattice-theoretical way, by using the kappa map in a completely semidistributive lattice. As for the poset of wide subcategories, we give two more simple constructions via a bijection between wide subcategories and torsion classes with canonical join representations. More precisely, for a completely semidistributive lattice, we give two poset structures on the set of elements with canonical join representations: the kappa order (defined using the extended kappa map of Barnard--Todorov--Zhu), and the core label order (generalizing the shard intersection order for congruence-uniform lattices). Then we show that these posets for the lattice of torsion classes coincide and are isomorphic to the poset of wide subcategories. As a byproduct, we give a simple description of the shard intersection order on a finite Coxeter group using the extended kappa map.


title: LiDAR Point--to--point Correspondences for Rigorous Registration of Kinematic Scanning in Dynamic Networks

abstract: With the objective of improving the registration of LiDAR point clouds produced by kinematic scanning systems, we propose a novel trajectory adjustment procedure that leverages on the automated extraction of selected reliable 3D point--to--point correspondences between overlapping point clouds and their joint integration (adjustment) together with all raw inertial and GNSS observations. This is performed in a tightly coupled fashion using a Dynamic Network approach that results in an optimally compensated trajectory through modeling of errors at the sensor, rather than the trajectory, level. The 3D correspondences are formulated as static conditions within this network and the registered point cloud is generated with higher accuracy utilizing the corrected trajectory and possibly other parameters determined within the adjustment. We first describe the method for selecting correspondences and how they are inserted into the Dynamic Network as new observation models. We then describe the experiments conducted to evaluate the performance of the proposed framework in practical airborne laser scanning scenarios with low-cost MEMS inertial sensors. In the conducted experiments, the method proposed to establish 3D correspondences is effective in determining point--to--point matches across a wide range of geometries such as trees, buildings and cars. Our results demonstrate that the method improves the point cloud registration accuracy, that is otherwise strongly affected by errors in the determined platform attitude or position (in nominal and emulated GNSS outage conditions), and possibly determine unknown boresight angles using only a fraction of the total number of 3D correspondences that are established.


title: Do blue galaxy-clusters have hot intracluster gas?

abstract: We present herein a systematic X-ray analysis of blue galaxy-clusters at $z=0.84$ discovered by the Subaru telescope. The sample consisted of 43 clusters identified by combining red-sequence and blue-cloud surveys, covering a wide range of emitter fractions (i.e., 0.3--0.8). The spatial extent of the over-density region of emitter galaxies was approximately 1~Mpc in radius. The average cluster mass was estimated as $0.6 (<1.5)\times10^{14}~{\rm M_\odot}$ from the stacked weak-lensing measurement. We analyzed the XMM-Newton archival data, and measured the X-ray luminosity of the hot intracluster medium. As a result, diffuse X-ray emission was marginally detected in 14 clusters, yielding an average luminosity of $5\times 10^{42}~{\rm erg\,s^{-1}}$. On the contrary, it was not significant in 29 clusters. The blue clusters were significantly fainter than the red-dominated clusters, and the X-ray luminosity did not show any meaningful correlation either with emitter fraction or richness. The X-ray surface brightness was low, but the amount of gas mass was estimated to be comparable to that observed in the $10^{13-14}~{\rm M_{\odot}}$ cluster. Based on the results, we suggest that the blue clusters are at the early formation stage, and the gas is yet to be compressed and heated up to produce appreciable X-rays. Follow-up spectroscopic measurements are essential to clarify the dynamical status and co-evolution of galaxies and hot gas in the blue clusters.


title: Toxicity Detection for Indic Multilingual Social Media Content

abstract: Toxic content is one of the most critical issues for social media platforms today. India alone had 518 million social media users in 2020. In order to provide a good experience to content creators and their audience, it is crucial to flag toxic comments and the users who post that. But the big challenge is identifying toxicity in low resource Indic languages because of the presence of multiple representations of the same text. Moreover, the posts/comments on social media do not adhere to a particular format, grammar or sentence structure; this makes the task of abuse detection even more challenging for multilingual social media platforms. This paper describes the system proposed by team 'Moj Masti' using the data provided by ShareChat/Moj in \emph{IIIT-D Multilingual Abusive Comment Identification} challenge. We focus on how we can leverage multilingual transformer based pre-trained and fine-tuned models to approach code-mixed/code-switched classification tasks. Our best performing system was an ensemble of XLM-RoBERTa and MuRIL which achieved a Mean F-1 score of 0.9 on the test data/leaderboard. We also observed an increase in the performance by adding transliterated data. Furthermore, using weak metadata, ensembling and some post-processing techniques boosted the performance of our system, thereby placing us 1st on the leaderboard.


title: The effect of quantum correction on Hawking radiation for Schwarzschild black holes

abstract: We investigate the effect of quantum correction on Hawking radiation for Schwarzschild black holes. We consider Hawking temperature and entropy to order G^2 and find that the area law of black holes should be modified. We think of Hawking radiation as tunneling and find that at certain frequency {\omega} the radiation spectrum of black holes can be pure blackbody spectrum. Therefore, it is possible to break down information conservation. In order to ensure information conservation at any energy scales, we suggest that black holes cannot release all information they have. We briefly discuss the bound on greybody factors for Schwarzschild black holes as well. Since the modification of horizon is very tiny, the bound on greybody factors has a very small difference between classical metric and quantum corrected metric.


title: Higgs-Sector Predictions from Maximally Symmetric multi-Higgs Doublet Models

abstract: Maximally Symmetric $n$-Higgs Doublet Models (MS-$n$HDMs)define very economic settings that enable sharp Higgs-sector predictions beyond the Standard Model (SM) potentially testable at high-energy colliders. The scalar potential of a MS-$n$HDM obeys an $\mathrm{Sp(2}n)$ symmetry, which is softly broken by bilinear scalar masses and explicitly by hypercharge and Yukawa couplings through renormalisation-group effects. The $\mathrm{Sp(2}n)$ also ensures natural SM alignment and allows for quartic coupling unification up to the Planck scale. As typical examples, we consider maximally symmetric realisations of the Type-II 2HDM and the Type-V 3HDM. We show how in terms of a few input parameters, definite predictions for the entire scalar mass spectrum of the MS-2HDM and MS-3HDM are obtained, including the SM-like Higgs-boson couplings to the gauge bosons and fermions.


title: Generative adversarial network for super-resolution imaging through a fiber

abstract: A multimode fiber represents the ultimate limit in miniaturization of imaging endoscopes. Here we propose a fiber imaging approach employing compressive sensing with a data-driven machine learning framework. We implement a generative adversarial network for image reconstruction without relying on a sample sparsity constraint. The proposed method outperforms the conventional compressive imaging algorithms in terms of image quality and noise robustness. We experimentally demonstrate speckle-based imaging below the diffraction limit at a sub-Nyquist speed through a multimode fiber.