title: Scatting theory for reflective Fourier ptychographic diffraction tomography

abstract: A forward model is presented to an inverse scattering problem that arises in the application of reflective Fourier ptychographic microscopy. The model allows us to determine the 3D distributions of refractive index for weakly scattering semi-transparent objects using Fourier ptychographic tomography. The derivation results show that both transmission types reported previously and reflective type present in this article are corresponding to a specific application in Wolf's work (Emil Wolf, Opt. Commun. 1969 1(4) pp. 153-156). The transmission type measures the forward scattering field while the reflective type measures the backward scattering field. This model is also available for holographic method


title: LC-NAS: Latency Constrained Neural Architecture Search for Point Cloud Networks

abstract: Point cloud architecture design has become a crucial problem for 3D deep learning. Several efforts exist to manually design architectures with high accuracy in point cloud tasks such as classification, segmentation, and detection. Recent progress in automatic Neural Architecture Search (NAS) minimizes the human effort in network design and optimizes high performing architectures. However, these efforts fail to consider important factors such as latency during inference. Latency is of high importance in time critical applications like self-driving cars, robot navigation, and mobile applications, that are generally bound by the available hardware. In this paper, we introduce a new NAS framework, dubbed LC-NAS, where we search for point cloud architectures that are constrained to a target latency. We implement a novel latency constraint formulation to trade-off between accuracy and latency in our architecture search. Contrary to previous works, our latency loss guarantees that the final network achieves latency under a specified target value. This is crucial when the end task is to be deployed in a limited hardware setting. Extensive experiments show that LC-NAS is able to find state-of-the-art architectures for point cloud classification in ModelNet40 with minimal computational cost. We also show how our searched architectures achieve any desired latency with a reasonably low drop in accuracy. Finally, we show how our searched architectures easily transfer to a different task, part segmentation on PartNet, where we achieve state-of-the-art results while lowering latency by a factor of 10.


title: Classical Iwasawa theory and infinite descent on a family of abelian varieties

abstract: For primes $q \equiv 7 \mod 16$, the present manuscript shows that elementary methods enable one to prove surprisingly strong results about the Iwasawa theory of the Gross family of elliptic curves with complex multiplication by the ring of integers of the field $K = \mathbb{Q}(\sqrt{-q})$, which are in perfect accord with the predictions of the conjecture of Birch and Swinnerton-Dyer. We also prove some interesting phenomena related to a classical conjecture of Greenberg, and give a new proof of an old theorem of Hasse.


title: ImarisWriter: Open Source Software for Storage of Large Images in Blockwise Multi-Resolution Format

abstract: We publish as open source a high performance file writer library to store large images in the IMS format for high performance visualization and analysis. The library is capable of writing images at high speed. In just over 1 minute it can write a 100GB image to disk. The library takes care of all the details of multi-resolution resampling, chunking, compression, and multi-threading. It makes high performance writing of images in a useful format very easy.


title: Self-Supervised Learning for Large-Scale Unsupervised Image Clustering

abstract: Unsupervised learning has always been appealing to machine learning researchers and practitioners, allowing them to avoid an expensive and complicated process of labeling the data. However, unsupervised learning of complex data is challenging, and even the best approaches show much weaker performance than their supervised counterparts. Self-supervised deep learning has become a strong instrument for representation learning in computer vision. However, those methods have not been evaluated in a fully unsupervised setting. In this paper, we propose a simple scheme for unsupervised classification based on self-supervised representations. We evaluate the proposed approach with several recent self-supervised methods showing that it achieves competitive results for ImageNet classification (39% accuracy on ImageNet with 1000 clusters and 46% with overclustering). We suggest adding the unsupervised evaluation to a set of standard benchmarks for self-supervised learning. The code is available at https://github.com/Randl/kmeans_selfsuper


title: Improved Mutual Mean-Teaching for Unsupervised Domain Adaptive Re-ID

abstract: In this technical report, we present our submission to the VisDA Challenge in ECCV 2020 and we achieved one of the top-performing results on the leaderboard. Our solution is based on Structured Domain Adaptation (SDA) and Mutual Mean-Teaching (MMT) frameworks. SDA, a domain-translation-based framework, focuses on carefully translating the source-domain images to the target domain. MMT, a pseudo-label-based framework, focuses on conducting pseudo label refinery with robust soft labels. Specifically, there are three main steps in our training pipeline. (i) We adopt SDA to generate source-to-target translated images, and (ii) such images serve as informative training samples to pre-train the network. (iii) The pre-trained network is further fine-tuned by MMT on the target domain. Note that we design an improved MMT (dubbed MMT+) to further mitigate the label noise by modeling inter-sample relations across two domains and maintaining the instance discrimination. Our proposed method achieved 74.78% accuracies in terms of mAP, ranked the 2nd place out of 153 teams.


title: Fidelity-Controllable Extreme Image Compression with Generative Adversarial Networks

abstract: We propose a GAN-based image compression method working at extremely low bitrates below 0.1bpp. Most existing learned image compression methods suffer from blur at extremely low bitrates. Although GAN can help to reconstruct sharp images, there are two drawbacks. First, GAN makes training unstable. Second, the reconstructions often contain unpleasing noise or artifacts. To address both of the drawbacks, our method adopts two-stage training and network interpolation. The two-stage training is effective to stabilize the training. Moreover, the network interpolation utilizes the models in both stages and reduces undesirable noise and artifacts, while maintaining important edges. Hence, we can control the trade-off between perceptual quality and fidelity without re-training models. The experimental results show that our model can reconstruct high quality images. Furthermore, our user study confirms that our reconstructions are preferable to state-of-the-art GAN-based image compression model. The code will be available.


title: Dimensions of faces of Gram spectrahedra

abstract: Let $f\in\Sigma_{n,2d}$ be a sum of squares. The Gram spectrahedron of $f$ is a compact, convex set that parametrizes all sum of squares representations of $f$. Let $F\subseteq\mathrm{Gram}(f)$ be a face of its Gram spectrahedron. We are interested in upper bounds for the dimension of $F$. We show that this upper bound can be determined combinatorially. As it turns out, if the degree is large enough, a face realizing this bound, is a face of a Gram spectrahedron such that the form $f$ is singular. Thus we are also interested in finding better bounds whenever the form $f$ is smooth.


title: A Strategic Routing Framework and Algorithms for Computing Alternative Paths

abstract: Traditional navigation services find the fastest route for a single driver. Though always using the fastest route seems desirable for every individual, selfish behavior can have undesirable effects such as higher energy consumption and avoidable congestion, even leading to higher overall and individual travel times. In contrast, strategic routing aims at optimizing the traffic for all agents regarding a global optimization goal. We introduce a framework to formalize real-world strategic routing scenarios as algorithmic problems and study one of them, which we call Single Alternative Path (SAP), in detail. There, we are given an original route between a single origin--destination pair. The goal is to suggest an alternative route to all agents that optimizes the overall travel time under the assumption that the agents distribute among both routes according to a psychological model, for which we introduce the concept of Pareto-conformity. We show that the SAP problem is NP-complete, even for such models. Nonetheless, assuming Pareto-conformity, we give multiple algorithms for different variants of SAP, using multi-criteria shortest path algorithms as subroutines. Moreover, we prove that several natural models are in fact Pareto-conform. The implementation of our algorithms serves as a proof of concept, showing that SAP can be solved in reasonable time even though the algorithms have exponential running time in the worst case.


title: The compatibility dimension of quantum measurements

abstract: We introduce the notion of compatibility dimension for a set of quantum measurements: it is the largest dimension of a Hilbert space on which the given measurements are compatible. In the Schr\"odinger picture, this notion corresponds to testing compatibility with ensembles of quantum states supported on a subspace, using the incompatibility witnesses of Carmeli, Heinosaari, and Toigo. We provide several bounds for the compatibility dimension, using approximate quantum cloning or algebraic techniques inspired by quantum error correction. We analyze in detail the case of two orthonormal bases, and, in particular, that of mutually unbiased bases.


title: On the equivalence of pathwise mild and weak solutions for quasilinear SPDEs

abstract: The main goal of this work is to relate weak and pathwise mild solutions for parabolic quasilinear stochastic partial differential equations (SPDEs). Extending in a suitable way techniques from the theory of nonautonomous semilinear SPDEs to the quasilinear case, we prove the equivalence of these two solution concepts.


title: Massless spin-2 fields via lower spins

abstract: Solutions of massless spin-2 field equations are written in terms of massless spin-$\frac{3}{2}$ Rarita-Schwinger fields and twistor spinors. It is shown that the proposed massless spin-2 fields satisfy the tracelessness and divergencelessness conditions and are in the kernel of the Laplace-Beltrami operator. A spin lowering procedure for special cases and a symmetry operator for massless spin-2 fields are also obtained. Description of massless spin-2 fields in terms of lower spin fields are found.


title: A Single Frame and Multi-Frame Joint Network for 360-degree Panorama Video Super-Resolution

abstract: Spherical videos, also known as \ang{360} (panorama) videos, can be viewed with various virtual reality devices such as computers and head-mounted displays. They attract large amount of interest since awesome immersion can be experienced when watching spherical videos. However, capturing, storing and transmitting high-resolution spherical videos are extremely expensive. In this paper, we propose a novel single frame and multi-frame joint network (SMFN) for recovering high-resolution spherical videos from low-resolution inputs. To take advantage of pixel-level inter-frame consistency, deformable convolutions are used to eliminate the motion difference between feature maps of the target frame and its neighboring frames. A mixed attention mechanism is devised to enhance the feature representation capability. The dual learning strategy is exerted to constrain the space of solution so that a better solution can be found. A novel loss function based on the weighted mean square error is proposed to emphasize on the super-resolution of the equatorial regions. This is the first attempt to settle the super-resolution of spherical videos, and we collect a novel dataset from the Internet, MiG Panorama Video, which includes 204 videos. Experimental results on 4 representative video clips demonstrate the efficacy of the proposed method. The dataset and code are available at https://github.com/lovepiano/SMFN_For_360VSR.


title: k-Contraction: Theory and Applications

abstract: A dynamical system is called contractive if any two solutions approach one another at an exponential rate. More precisely, the dynamics contracts lines at an exponential rate. This property implies highly ordered asymptotic behavior including entrainment to time-varying periodic vector fields and, in particular, global asymptotic stability for time-invariant vector fields. Contraction theory has found numerous applications in systems and control theory because there exist easy to verify sufficient conditions, based on matrix measures, guaranteeing contraction. Here, we provide a geometric generalization of contraction theory called k-order contraction. A dynamical system is called k-order contractive if the dynamics contracts k-parallelotopes at an exponential rate. For k=1 this reduces to standard contraction. We describe easy to verify sufficient conditions for k-order contractivity based on matrix measures and the kth additive compound of the Jacobian of the vector field. We also describe applications of the seminal work of Muldowney and Li, that can be interpreted in the framework of 2-order contraction, to systems and control theory.


title: Real- and imaginary-time evolution with compressed quantum circuits

abstract: The current generation of noisy intermediate scale quantum computers introduces new opportunities to study quantum many-body systems. In this paper, we show that quantum circuits can provide a dramatically more efficient representation than current classical numerics of the quantum states generated under non-equilibrium quantum dynamics. For quantum circuits, we perform both real- and imaginary-time evolution using an optimization algorithm that is feasible on near-term quantum computers. We benchmark the algorithms by finding the ground state and simulating a global quench of the transverse field Ising model with a longitudinal field on a classical computer. Furthermore, we implement (classically optimized) gates on a quantum processing unit and demonstrate that our algorithm effectively captures real time evolution.


title: Experimental Verification of Stability Theory for a Planar Rigid Body with Two Unilateral Frictional Contacts

abstract: Stability of equilibrium states in mechanical systems with multiple unilateral frictional contacts is an important practical requirement, with high relevance for robotic applications. In our previous work, we theoretically analyzed finite-time Lyapunov stability for a minimal model of planar rigid body with two frictional point contacts. Assuming inelastic impacts and Coulomb friction, conditions for stability and instability of an equilibrium configuration have been derived. In this work, we present for the first time an experimental demonstration of this stability theory, using a variable-structure rigid ''biped'' with frictional footpads on an inclined plane. By changing the biped's center-of-mass location, we attain different equilibrium states, which respond to small perturbations by divergence or convergence, showing remarkable agreement with the predictions of the stability theory. Using high-speed recording of video movies, good quantitative agreement between experiments and numerical simulations is obtained, and limitations of the rigid-body model and inelastic impact assumptions are also studied. The results prove the utility and practical value of our stability theory.


title: Propositional union closed team logics

abstract: In this paper, we study several propositional team logics that are closed under unions, including propositional inclusion logic. We prove that all these logics are expressively complete, and we introduce sound and complete systems of natural deduction for these logics. We also discuss the locality property and its connection with interpolation in these logics.


title: LCA-Net: Light Convolutional Autoencoder for Image Dehazing

abstract: Image dehazing is a crucial image pre-processing task aimed at removing the incoherent noise generated by haze to improve the visual appeal of the image. The existing models use sophisticated networks and custom loss functions which are computationally inefficient and requires heavy hardware to run. Time is of the essence in image pre-processing since real time outputs can be obtained instantly. To overcome these problems, our proposed generic model uses a very light convolutional encoder-decoder network which does not depend on any atmospheric models. The network complexity-image quality trade off is handled well in this neural network and the performance of this network is not limited by low-spec systems. This network achieves optimum dehazing performance at a much faster rate, on several standard datasets, comparable to the state-of-the-art methods in terms of image quality.


title: An Incentive-Compatible Smart Contract for Decentralized Commerce

abstract: We propose a smart contract that allows two mutually distrusting parties to transact any non-digital good or service by deploying a smart contract on a blockchain to act as escrow. The contract settles disputes by letting parties wager that they can convince an arbiter that they were the honest party. We analyse the contract as an extensive-form game and prove that the honest strategy is secure in a strong game-theoretic sense if and only if the arbiter is biased in favor of honest parties. By relaxing the security notion, we can replace the arbiter by a random coin toss. Finally, we show how to generalize the contract to multiparty transactions in a way that amortizes the transaction fees.


title: Knowledge-Empowered Representation Learning for Chinese Medical Reading Comprehension: Task, Model and Resources

abstract: Machine Reading Comprehension (MRC) aims to extract answers to questions given a passage. It has been widely studied recently, especially in open domains. However, few efforts have been made on closed-domain MRC, mainly due to the lack of large-scale training data. In this paper, we introduce a multi-target MRC task for the medical domain, whose goal is to predict answers to medical questions and the corresponding support sentences from medical information sources simultaneously, in order to ensure the high reliability of medical knowledge serving. A high-quality dataset is manually constructed for the purpose, named Multi-task Chinese Medical MRC dataset (CMedMRC), with detailed analysis conducted. We further propose the Chinese medical BERT model for the task (CMedBERT), which fuses medical knowledge into pre-trained language models by the dynamic fusion mechanism of heterogeneous features and the multi-task learning strategy. Experiments show that CMedBERT consistently outperforms strong baselines by fusing context-aware and knowledge-aware token representations.


title: Integral zeros of a polynomial with linear recurrences as coefficients

abstract: Let $ K $ be a number field, $ S $ a finite set of places of $ K $, and $ \mathcal{O}_S $ be the ring of $ S $-integers. Moreover, let $$ G_n^{(0)} Z^d + \cdots + G_n^{(d-1)} Z + G_n^{(d)} $$ be a polynomial in $ Z $ having simple linear recurrences of integers evaluated at $ n $ as coefficients. Assuming some technical conditions we give a description of the zeros $ (n,z) \in \mathbb{N} \times \mathcal{O}_S $ of the above polynomial. We also give a result in the spirit of Hilbert irreducibility for such polynomials.


title: Cascade Convolutional Neural Network for Image Super-Resolution

abstract: With the development of the super-resolution convolutional neural network (SRCNN), deep learning technique has been widely applied in the field of image super-resolution. Previous works mainly focus on optimizing the structure of SRCNN, which have been achieved well performance in speed and restoration quality for image super-resolution. However, most of these approaches only consider a specific scale image during the training process, while ignoring the relationship between different scales of images. Motivated by this concern, in this paper, we propose a cascaded convolution neural network for image super-resolution (CSRCNN), which includes three cascaded Fast SRCNNs and each Fast SRCNN can process a specific scale image. Images of different scales can be trained simultaneously and the learned network can make full use of the information resided in different scales of images. Extensive experiments show that our network can achieve well performance for image SR.


title: Low-Complexity Geometric Shaping

abstract: Approaching Shannon's capacity via geometric shaping has usually been regarded as challenging due to modulation and demodulation complexity, requiring look-up tables to store the constellation points and constellation bit labeling. To overcome these challenges, in this paper, we study lattice-based geometrically shaped modulation formats in multidimensional Euclidean space. We describe and evaluate fast and low complexity modulation and demodulation algorithms that make these modulation formats practical, even with extremely high constellation sizes with more than $10^{28}$ points. The uncoded bit error rate performance of these constellations is compared with the conventional QAM formats in the additive white Gaussian noise and nonlinear fiber channels. At a spectral efficiency of 2 bits/sym/polarization, compared with 4-QAM format, transmission reach improvement of more than 38% is shown at the hard-decision forward error correction threshold of $2.26\times 10^{-4}$.


title: Computing the Real Isolated Points of an Algebraic Hypersurface

abstract: Let $\mathbb{R}$ be the field of real numbers. We consider the problem of computing the real isolated points of a real algebraic set in $\mathbb{R}^n$ given as the vanishing set of a polynomial system. This problem plays an important role for studying rigidity properties of mechanism in material designs. In this paper, we design an algorithm which solves this problem. It is based on the computations of critical points as well as roadmaps for answering connectivity queries in real algebraic sets. This leads to a probabilistic algorithm of complexity $(nd)^{O(n\log(n))}$ for computing the real isolated points of real algebraic hypersurfaces of degree $d$. It allows us to solve in practice instances which are out of reach of the state-of-the-art.


title: The TianQin project: current progress on science and technology

abstract: TianQin is a planned space-based gravitational wave (GW) observatory consisting of three earth orbiting satellites with an orbital radius of about $10^5~{\rm km}$. The satellites will form a equilateral triangle constellation the plane of which is nearly perpendicular to the ecliptic plane. TianQin aims to detect GWs between $10^{-4}~{\rm Hz}$ and $1~{\rm Hz}$ that can be generated by a wide variety of important astrophysical and cosmological sources, including the inspiral of Galactic ultra-compact binaries, the inspiral of stellar-mass black hole binaries, extreme mass ratio inspirals, the merger of massive black hole binaries, and possibly the energetic processes in the very early universe or exotic sources such as cosmic strings. In order to start science operations around 2035, a roadmap called the 0123 plan is being used to bring the key technologies of TianQin to maturity, supported by the construction of a series of research facilities on the ground. Two major projects of the 0123 plan are being carried out. In this process, the team has created a new generation $17~{\rm cm}$ single-body hollow corner-cube retro-reflector which has been launched with the QueQiao satellite on 21 May 2018; a new laser ranging station equipped with a $1.2~{\rm m}$ telescope has been constructed and the station has successfully ranged to all the five retro-reflectors on the Moon; and the TianQin-1 experimental satellite has been launched on 20 December 2019 and the first round result shows that the satellite has exceeded all of its mission requirements.


title: Local energy-momentum conservation and initial conditions for quark-gluon plasma evolution in nucleus-nucleus collisions at SPS and RHIC BES energies

abstract: We investigate consequences of local energy-momentum conservation for initial eccentricity coefficients in heavy ion collisions at not too high energies relevant for CERN SPS and RHIC BES. Different models of energy density available for pion production are considered. We study dependence of eccentricity coefficients on space-time rapidity for different impact parameters. The naive formula how to define eccentricities breaks with our initial conditions and must be corrected. We predict considerable eccentricities for $\epsilon_{1,2,3,4}$ and specific dependence on space-time rapidity as well as on impact parameter for lower energies. The effect becomes smaller at larger energies when restricting to narrow rapidity interval arround zero. Our predictions are in principle input for further hydrodynamical evolution but it is not clear whether they can be easily used. Our initial condition suggest a strong preequilibrium phase which is difficult for modelling.


title: Planck 2018 constraints on anisotropic birefringence and its cross-correlation with CMB anisotropy

abstract: Parity-violating extensions of standard electromagnetism produce cosmic birefringence, the in vacuo rotation of the linear polarisation direction of a photon during propagation. We employ {\it Planck} 2018 CMB polarised data to constrain anisotropic birefringence, modeled by its angular power spectrum $C_{\ell}^{\alpha \alpha}$, and the cross-correlation with CMB temperature maps, $C_{\ell}^{\alpha T}$, at scales larger than $\sim$15 degrees. We present joint limits on the scale invariant quantity, $A^{\alpha \alpha} \equiv \ell (\ell +1) \, C_{\ell}^{\alpha \alpha} / 2 \pi$, and on the analogous amplitude for the cross-correlation, $A^{\alpha T} \equiv \ell (\ell +1) \, C_{\ell}^{\alpha T} / 2 \pi$. We find no evidence of birefringence within the error budget and obtain $A^{\alpha \alpha} < 0.104 \, \mbox{[deg$^2$]}$ and $A^{\alpha T}=1.50^{+2.41}_{-4.10} \, \mbox{[$\mu$K$\cdot$deg] both at } 95 \% \mbox{ C.L.}$. The latter bound appears competitive in constraining a few early dark energy models recently proposed to alleviate the $H_{0}$ tension. Slicing the joint likelihood at $A^{\alpha T}=0$, the bound on $A^{\alpha \alpha}$ becomes tighter at $A^{\alpha \alpha} < 0.085 \, \mbox{[deg$^2$]}$ at 95$\% \mbox{ C.L.}$. In addition we recast the constraints on $A^{\alpha \alpha}$ as a bound on the amplitude of primordial magnetic fields responsible for Faraday rotation, finding $B_{1 {\tiny \mbox{Mpc}}} < 26.9$ nG and $B_{1 {\tiny \mbox{Mpc}}} < 24.3$ nG at 95$\%$ C.L. for the marginalised and sliced case respectively.


title: Computing singular elements modulo squares

abstract: The group of singular elements was first introduced by Helmut Hasse and later it has been studied by numerous authors including such well known mathematicians as: Cassels, Furtw\"{a}ngler, Hecke, Knebusch, Takagi and of course Hasse himself; to name just a few. The aim of the present paper is to present algorithms that explicitly construct groups of singular and $S$-singular elements (modulo squares) in a global function field.


title: Lazy Queue Layouts of Posets

abstract: We investigate the queue number of posets in terms of their width, that is, the maximum number of pairwise incomparable elements. A long-standing conjecture of Heath and Pemmaraju asserts that every poset of width w has queue number at most w. The conjecture has been confirmed for posets of width w=2 via so-called lazy linear extension. We extend and thoroughly analyze lazy linear extensions for posets of width w > 2. Our analysis implies an upper bound of $(w-1)^2 +1$ on the queue number of width-w posets, which is tight for the strategy and yields an improvement over the previously best-known bound. Further, we provide an example of a poset that requires at least w+1 queues in every linear extension, thereby disproving the conjecture for posets of width w > 2.


title: Evolution of the Earth's Polar Outflow From Mid-Archean to Present

abstract: The development of habitable conditions on Earth is tightly connected to the evolution of its atmosphere which is strongly influenced by atmospheric escape. We investigate the evolution of the polar ion outflow from the open field line bundle which is the dominant escape mechanism for the modern Earth. We perform Direct Simulation Monte Carlo (DSMC) simulations and estimate the upper limits on escape rates from the Earth's open field line bundle starting from three gigayears ago (Ga) to present assuming the present-day composition of the atmosphere. We perform two additional simulations with lower mixing ratios of oxygen of 1% and 15% to account for the conditions shortly after the Great Oxydation Event (GOE). We estimate the maximum loss rates due to polar outflow three gigayears ago of $3.3 \times10^{27}$ s$^{-1}$ and $2.4 \times 10^{27}$ s$^{-1}$ for oxygen and nitrogen, respectively. The total integrated mass loss equals to 39% and 10% of the modern atmosphere's mass, for oxygen and nitrogen, respectively. According to our results, the main factors that governed the polar outflow in the considered time period are the evolution of the XUV radiation of the Sun and the atmosphere's composition. The evolution of the Earth's magnetic field plays a less important role. We conclude that although the atmosphere with the present-day composition can survive the escape due to polar outflow, a higher level of CO$_2$ between 3.0 and 2.0~Ga is likely necessary to reduce the escape.


title: Probability propagation rules for Aristotelian syllogisms

abstract: We present a coherence-based probability semantics and probability propagation rules for (categorical) Aristotelian syllogisms. For framing the Aristotelian syllogisms as probabilistic inferences, we interpret basic syllogistic sentence types A, E, I, O by suitable precise and imprecise conditional probability assessments. Then, we define validity of probabilistic inferences and probabilistic notions of the existential import which is required, for the validity of the syllogisms. Based on a generalization of de Finetti's fundamental theorem to conditional probability, we investigate the coherent probability propagation rules of argument forms of the syllogistic Figures I, II, and III, respectively. These results allow to show, for all three figures, that each traditionally valid syllogism is also valid in our coherence-based probability semantics. Moreover, we interpret the basic syllogistic sentence types by suitable defaults and negated defaults. Thereby, we build a bridge from our probability semantics of Aristotelian syllogisms to nonmonotonic reasoning. Then we show that reductio by conversion does not work while reductio ad impossibile can be applied in our approach. Finally, we show how the proposed probability propagation rules can be used to analyze syllogisms involving generalized quantifiers (like Most).


title: A function field variant of Pillai's problem

abstract: In this paper, we consider a variant of Pillai's problem over function fields $ F $ in one variable over $ \mathbb{C} $. For given simple linear recurrence sequences $ G_n $ and $ H_m $, defined over $ F $ and satisfying some weak conditions, we will prove that the equation $ G_n - H_m = f $ has only finitely many solutions $ (n,m) \in \mathbb{N}^2 $ for any non-zero $ f \in F $, which can be effectively bounded. Furthermore, we prove that under suitable assumptions there are only finitely many effectively computable $ f $ with more than one representation of the form $ G_n - H_m $.


title: Metric Fourier approximation of set-valued functions of bounded variation

abstract: We introduce and investigate an adaptation of Fourier series to set-valued functions (multifunctions, SVFs) of bounded variation. In our approach we define an analogue of the partial sums of the Fourier series with the help of the Dirichlet kernel using the newly defined weighted metric integral. We derive error bounds for these approximants. As a consequence, we prove that the sequence of the partial sums converges pointwisely in the Hausdorff metric to the values of the approximated set-valued function at its points of continuity, or to a certain set described in terms of the metric selections of the approximated multifunction at a point of discontinuity. Our error bounds are obtained with the help of the new notions of one-sided local moduli and quasi-moduli of continuity which we discuss more generally for functions with values in metric spaces.


title: A Context Aware Framework for IoT Based Healthcare Monitoring Systems

abstract: This paper introduces an investigation of the healthcare monitoring systems and their provisioning in the IoT platform. The different roles that exist in healthcare systems are specified and modeled here. This paper also attempts to introduce and propose a generic framework for the design and development of context aware healthcare monitoring systems in the IoT platform. In such a framework, the fundamental components of the healthcare monitoring systems are identified and modelled as well as the relationship between these components. The paper also stresses on the crucial role played by the AI field in addressing resilient context aware healthcare monitoring systems. Architecturally, this framework is based on a distributed layered architecture where the different components are deployed over the physical layer, fog platform and the cloud platform.


title: Diophantine equations in separated variables and polynomial power sums

abstract: We consider Diophantine equations of the shape $ f(x) = g(y) $, where the polynomials $ f $ and $ g $ are elements of power sums. Using a finiteness criterion of Bilu and Tichy, we will prove that under suitable assumptions infinitely many rational solutions $ (x,y) $ with a bounded denominator are only possible in trivial cases.


title: Electron-phonon scattering and thermoelectric transport in $p$-type PbTe from first principles

abstract: We present a first principles based model of electron-phonon scattering mechanisms and thermoelectric transport at the L and $\Sigma$ valleys in <200b>$p$-type PbTe, accounting for their thermally induced shifts. Our calculated values of all thermoelectric transport parameters at room temperature are in very good agreement with experiments for a wide range of doping concentrations. Scattering due to longitudinal optical phonons is the main scattering mechanism in $p$-type PbTe, while scattering due to transverse optical modes is the weakest. The L valleys contribute most to thermoelectric transport at 300 K due to the sizeable energy difference between the L and $\Sigma$ valleys. We show that both scattering between the L and $\Sigma$ valleys and additional transport channels of the $\Sigma$ valleys are beneficial for the overall thermoelectric performance of $p$-type PbTe at 300 K. Our findings thus support the idea that materials with high valley degeneracy may be good thermoelectrics.


title: Power laws in the Roman Empire: a survival analysis

abstract: The Roman Empire shaped Western civilization, and many Roman principles are embodied in modern institutions. Although its political institutions proved both resilient and adaptable, allowing it to incorporate diverse populations, the Empire suffered from many internal conflicts. Indeed, most emperors died violently, from assassination, suicide, or in battle. These internal conflicts produced patterns in the length of time that can be identified by statistical analysis. In this paper, we study the underlying patterns associated with the reign of the Roman emperors by using statistical tools of survival data analysis. We consider all the 175 Roman emperors and propose a new power-law model with change points to predict the time-to-violent-death of the Roman emperors. This model encompasses data in the presence of censoring and long-term survivors, providing more accurate predictions than previous models. Our results show that power-law distributions can also occur in survival data, as verified in other data types from natural and artificial systems, reinforcing the ubiquity of power law distributions. The generality of our approach paves the way to further related investigations not only in other ancient civilizations but also in applications in engineering and medicine.


title: Minimal exponents of hyperplane sections: a conjecture of Teissier

abstract: We prove a conjecture of Teissier asserting that if $f$ has an isolated singularity at $P$ and $H$ is a smooth hypersurface through $P$, then $\widetilde{\alpha}_P(f)\geq \widetilde{\alpha}_P(f\vert_H)+\frac{1}{\theta_P(f)+1}$, where $\widetilde{\alpha}_P(f)$ and $\widetilde{\alpha}_P(f\vert_H)$ are the minimal exponents at $P$ of $f$ and $f\vert_H$, respectively, and $\theta_P(f)$ is an invariant obtained by comparing the integral closures of the powers of the Jacobian ideal of $f$ and of the ideal defining $P$. The proof builds on the approaches of Loeser and Elduque-Mustata. The new ingredients are a result concerning the behavior of Hodge ideals with respect to finite maps and a result about the behavior of certain Hodge ideals for families of isolated singularities with constant Milnor number. In the opposite direction, we show that for every $f$, if $H$ is a general hypersurface through $P$, then $\widetilde{\alpha}_P(f)\leq \widetilde{\alpha}_P(f\vert_H)+\frac{1}{{\rm mult}_P(f)}$, extending a result of Loeser from the case of isolated singularities.


title: Atomic subgraphs and the statistical mechanics of networks

abstract: We develop random graph models where graphs are generated by connecting not only pairs of vertices by edges but also larger subsets of vertices by copies of small atomic subgraphs of arbitrary topology. This allows the for the generation of graphs with extensive numbers of triangles and other network motifs commonly observed in many real world networks. More specifically we focus on maximum entropy ensembles under constraints placed on the counts and distributions of atomic subgraphs and derive general expressions for the entropy of such models. We also present a procedure for combining distributions of multiple atomic subgraphs that enables the construction of models with fewer parameters. Expanding the model to include atoms with edge and vertex labels we obtain a general class of models that can be parametrized in terms of basic building blocks and their distributions that includes many widely used models as special cases. These models include random graphs with arbitrary distributions of subgraphs, random hypergraphs, bipartite models, stochastic block models, models of multilayer networks and their degree corrected and directed versions. We show that the entropy for all these models can be derived from a single expression that is characterized by the symmetry groups of atomic subgraphs.

categories: math.ST cs.SI physics.data-an physics.soc-ph stat.TH


title: Generalizing Korchm\'aros--Mazzocca arcs

abstract: In this paper, we generalize the so called Korchm\'aros--Mazzocca arcs, that is, point sets of size $q+t$ intersecting each line in $0, 2$ or $t$ points in a finite projective plane of order $q$. For $t\neq 2$, this means that each point of the point set is incident with exactly one line meeting the point set in $t$ points. In $\mathrm{PG}(2,p^n)$, we change $2$ in the definition above to any integer $m$ and describe all examples when $m$ or $t$ is not divisible by $p$. We also study mod $p$ variants of these objects, give examples and under some conditions we prove the existence of a nucleus.


title: Transaction Costs: Economies of Scale, Optimum, Equilibrium and Efficiency

abstract: The aim of this article is to propose a core game theory model of transaction costs wherein it is indicated how direct costs determine the probability of loss and subsequent transaction costs. The existence of optimum is proven, and the way in which exposure influences the location of the optimum is demonstrated. The decisions are described as a two-player game and it is discussed how the transaction cost sharing rule determines whether the optimum point of transaction costs is the same as the equilibrium of the game. A game modelling dispute between actors regarding changing the share of transaction costs to be paid by each party is also presented. Requirements of efficient transaction cost sharing rules are defined, and it is posited that a solution exists which is not unique. Policy conclusions are also devised based on principles of design of institutions to influence the nature of transaction costs.


title: The Case for Learned Spatial Indexes

abstract: Spatial data is ubiquitous. Massive amounts of data are generated every day from billions of GPS-enabled devices such as cell phones, cars, sensors, and various consumer-based applications such as Uber, Tinder, location-tagged posts in Facebook, Twitter, Instagram, etc. This exponential growth in spatial data has led the research community to focus on building systems and applications that can process spatial data efficiently. In the meantime, recent research has introduced learned index structures. In this work, we use techniques proposed from a state-of-the art learned multi-dimensional index structure (namely, Flood) and apply them to five classical multi-dimensional indexes to be able to answer spatial range queries. By tuning each partitioning technique for optimal performance, we show that (i) machine learned search within a partition is faster by 11.79\% to 39.51\% than binary search when using filtering on one dimension, (ii) the bottleneck for tree structures is index lookup, which could potentially be improved by linearizing the indexed partitions (iii) filtering on one dimension and refining using machine learned indexes is 1.23x to 1.83x times faster than closest competitor which filters on two dimensions, and (iv) learned indexes can have a significant impact on the performance of low selectivity queries while being less effective under higher selectivities.


title: Non-equilibrium Fluctuations of the Weakly Asymmetric Normalized Binary Contact Path Process

abstract: This paper is a further investigation of the problem studied in \cite{xue2020hydrodynamics}, where the authors proved a law of large numbers for the empirical measure of the weakly asymmetric normalized binary contact path process on $\mathbb{Z}^d,\, d \geq 3$, and then conjectured that a central limit theorem should hold under a non-equilibrium initial condition. We prove that the aforesaid conjecture is true when the dimension $d$ of the underlying lattice and the infection rate $\lambda$ of the process are sufficiently large.


title: Model Generalization in Deep Learning Applications for Land Cover Mapping

abstract: Recent work has shown that deep learning models can be used to classify land-use data from geospatial satellite imagery. We show that when these deep learning models are trained on data from specific continents/seasons, there is a high degree of variability in model performance on out-of-sample continents/seasons. This suggests that just because a model accurately predicts land-use classes in one continent or season does not mean that the model will accurately predict land-use classes in a different continent or season. We then use clustering techniques on satellite imagery from different continents to visualize the differences in landscapes that make geospatial generalization particularly difficult, and summarize our takeaways for future satellite imagery-related applications.


title: One-dimensional topological quasiperiodic chain for directional wireless power transfer

abstract: As an important class of systems with unique topological effects beyond the periodic lattices, quasiperiodic topological structures have attracted much attention in recent years. Due to the quasiperiodic modulation, the topological states in the quasiperiodic topological structures have the characteristics of self-similarity, which can be used to observe the charming Hofstadter butterfly. In addition, because of the asymmetric distribution, the edge states in quasiperiodic chain can be used to realize the adiabatic pumping. When the topological parameters in quasiperiodic topological lattices are considered as synthetic dimensions, they can also be used to study the topological properties with higher dimensions. Here, by using ultra-subwavelength resonators, we design and fabricate a type of one-dimensional quasiperiodic Harper chain with asymmetric topological edge states for the directional wireless power transfer (WPT). By further introducing a power source into the system, we selectively light up two Chinese characters which is composed of LED lamps at both ends of the chain. Moreover, the directional WPT implemented by the topological quasiperiodic chain has the property of topological protection, which is immune to the internal disorder perturbation of the structure. Not only do we apply the asymmetric edge state for directional WPT, but also may further actively control the directional WPT by using the external voltage. In addition, this work provides a flexible platform for designing new WPT devices, such as using the corner states in high-order topological structures or the skin effect in the non-Hermitian topological lattices.


title: Wireless power transfer via topological modes in dimer chains

abstract: The topological characteristics, including invariant topological orders, band inversion, and the topological edge mode (TEM) in the photonic insulators, have been widely studied. Whether people can take advantage of intriguing topological modes in simple one-dimensional systems to implement some practical applications is an issue which people are increasingly concerned about. In this work, based on a photonic dimer chain composed of ultra-subwavelength resonators, we verify experimentally that the TEM in the effective second-order parity-time (PT) system is immune to the inner disorder perturbation, and can be used to realize the long-range wireless power transfer (WPT) with high transmission efficiency. To intuitively show the TEM can be used for WPT, a power signal source is used to excite the TEM. It can be clearly seen that two LED lamps with 0.5-W at both ends of the structure are lighted up with the aid of TEMs. In addition, in order to solve the special technical problems of standby power loss and frequency tracking, we further propose that a WPT system with effective third-order PT symmetry can be constructed by using one topological interface mode and two TEMs. Inspired by the long-range WPT with TEMs in this work, it is expected to use more complex topological structures to achieve energy transmission with more functions, such as the WPT devices whose direction can be selected flexibly in the quasiperiodic or trimer topological chains.


title: Numerical Analysis of a Highly Sensitive Surface Plasmon Resonance Sensor for SARS-CoV-2 Detection

abstract: In this paper, we propose a surface plasmon resonance (SPR) structure based on Kretschmann configuration incorporating layers of Silicon and BaTiO$_3$ on top of Ag for real-time detection of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) using thiol tethered DNA as a ligand. Extensive numerical analysis based on transfer matrix theory as well as finite-difference time-domain (FDTD) technique has been performed to characterize the sensor response considering sensitivity, full width at half maxima, and minimum reflection. About 7.6 times enhanced sensitivity has been obtained using the proposed architecture for SARS-CoV-2 detection, compared to the basic Kretschmann configuration. Notably, the structure provides consistent enhancement over other competitive SPR structures for both angular and wavelength interrogations with a figure-of-merit of 692.28. Additionally, we repeated simulations for various ligate-ligand pairs to assess the range of applicability and robust performance improvement has been observed. As a result, the proposed sensor design provides a suitable configuration for highly sensitive, rapid, non-invasive biosensing which can be useful if adopted in experimental sensing protocols.


title: Pixelated Chemical Displays

abstract: An increasing number of applications in biology, chemistry, and material sciences require fluid manipulation beyond what is possible with current automated pipette handlers, such as gradient generation, interface reactions, reagent streaming, and reconfigurability. In this article, we introduce the pixelated chemical display (PCD), a new scalable strategy to highly parallel, reconfigurable liquid handling on open surfaces. Microfluidic pixels are created when a fluid stream injected above a surface is confined by neighboring identical fluid streams, forming a repeatable flow unit that can be used to tesselate a surface. PCDs generating up to 144 pixels are fabricated and used to project chemical moving pictures made of several reagents over both immersed and dry surfaces, without any physical barrier or wall. Overall, this article sets the foundation for massively parallel surface processing using continuous flow streams and showcases new possibilities in both wet and dry surface patterning and roll-to-roll processes.


title: Visual Attack and Defense on Text

abstract: Modifying characters of a piece of text to their visual similar ones often ap-pear in spam in order to fool inspection systems and other conditions, which we regard as a kind of adversarial attack to neural models. We pro-pose a way of generating such visual text attack and show that the attacked text are readable by humans but mislead a neural classifier greatly. We ap-ply a vision-based model and adversarial training to defense the attack without losing the ability to understand normal text. Our results also show that visual attack is extremely sophisticated and diverse, more work needs to be done to solve this.


title: QoE-aware cross-layer architecture for video traffic over Internet

abstract: The emergence of video applications and video capable devices have contributed substantially to the increase of video traffic on Internet. New mechanisms recommending video rate adaptation towards delivering enhanced Quality of Experience (QoE) at the same time making room for more sessions. This paper introduces a cross-layer QoE-aware architecture for video traffic over the Internet. It proposes that video sources at the application layer adapt their rate to the network environment by controlling their transmitted bit rate dynamically; and the edge of network at the network layer protects the quality of the active video sessions by controlling the acceptance of new session through a video-aware admission control. In particular, it will seek the most efficient way of accepting new video session and adapting transmission rates to free up resources for more session while maintaining the QoE of active sessions. The proposed framework will contribute to the preparation for the extreme growth of video traffic in the foreseeable future. Simulation results show that the proposed cross-layer architecture guarantees the QoE for the admitted sessions and utilizes the link more efficiently comparing to the rate adaptation only architecture.


title: Swept Source Lidar: simultaneous FMCW ranging and nonmechanical beam steering with a wideband swept source

abstract: Light detection and ranging (lidar) has long been used in various applications. Solid-state beam steering mechanisms are needed for robust lidar systems. Here we propose and demonstrate a lidar scheme called "Swept Source Lidar" that allows us to perform frequency-modulated continuous-wave (FMCW) ranging and nonmechanical beam steering simultaneously. Wavelength dispersive elements provide angular beam steering, while a laser frequency is continuously swept by a wideband swept source over its whole tuning bandwidth. Employing a tunable vertical-cavity surface-emitting laser and a 1-axis mechanical beam scanner, three-dimensional point cloud data has been obtained. Swept Source Lidar systems can be flexibly combined with various beam steering elements to realize full solid-state FMCW lidar systems.


title: SkyMapper Southern Survey: Second Data Release (DR2)

abstract: We present the second data release (DR2) of the SkyMapper Southern Survey, a hemispheric survey carried out with the SkyMapper Telescope at Siding Spring Observatory in Australia, using six optical filters: $u,v,g,r,i,z$. DR2 is the first release to go beyond the $\sim$18mag (10${\sigma}$) limit of the Shallow Survey released in DR1, and includes portions of the sky at full survey depth that reach >21mag in $g$ and $r$ filters. The DR2 photometry has a precision as measured by internal reproducibility of 1% in $u$ and $v$, and 0.7% in $griz$. More than 21 000 deg$^2$ have data in some filters (at either Shallow or Main Survey depth) and over 7 000 deg$^2$ have deep Main Survey coverage in all six filters. Finally, about 18 000 deg$^2$ have Main Survey data in $i$ and $z$ filters, albeit not yet at full depth. The release contains over 120 000 images, as well as catalogues with over 500 million unique astrophysical objects and nearly 5 billion individual detections. It also contains cross-matches with a range of external catalogues such as Gaia DR2, Pan-STARRS1 DR1, GALEX GUVcat, 2MASS, and AllWISE, as well as spectroscopic surveys such as 2MRS, GALAH, 6dFGS, and 2dFLenS.


title: Mathematical and Computer Modeling of COVID-19 Transmission Dynamics in Bulgaria by Time-depended Inverse SEIR Model

abstract: In this paper we explore a time-depended SEIR model, in which the dynamics of the infection in four groups from a selected target group (population), divided according to the infection, are modeled by a system of nonlinear ordinary differential equations. Several basic parameters are involved in the model: coefficients of infection rate, incubation rate, recovery rate. The coefficients are adaptable to each specific infection, for each individual country, and depend on the measures to limit the spread of the infection and the effectiveness of the methods of treatment of the infected people in the respective country. If such coefficients are known, solving the nonlinear system is possible to be able to make some hypotheses for the development of the epidemic. This is the reason for using Bulgarian COVID-19 data to first of all, solve the so-called "inverse problem" and to find the parameters of the current situation. Reverse logic is initially used to determine the parameters of the model as a function of time, followed by computer solution of the problem. Namely, this means predicting the future behavior of these parameters, and finding (and as a consequence applying mass-scale measures, e.g., distancing, disinfection, limitation of public events), a suitable scenario for the change in the proportion of the numbers of the four studied groups in the future. In fact, based on these results we model the COVID-19 transmission dynamics in Bulgaria and make a two-week forecast for the numbers of new cases per day, active cases and recovered individuals. Such model, as we show, has been successful for prediction analysis in the Bulgarian situation. We also provide multiple examples of numerical experiments with visualization of the results.


title: Generation of Coherent Phonons via a Cavity Enhanced Photonic Lambda Scheme

abstract: We demonstrate the generation of coherent phonons in a quartz Bulk Acoustic Wave (BAW) resonator through the photoelastic properties of the crystal, via the coupling to a microwave cavity enhanced by a photonic lambda scheme. This is achieved by imbedding a single crystal BAW resonator between the post and the adjacent wall of a microwave reentrant cavity resonator. This 3D photonic lumped LC resonator at the same time acts as the electrodes of a BAW phonon resonator, and allows the direct readout of coherent phonons via the linear piezoelectric response of the quartz. A microwave pump, $\omega_p$ is tuned to the cavity resonance $\omega_0$, while a probe frequency, $\omega_{probe}$, is detuned and varied around the red and blue detuned values with respect to the BAW phonon frequency, $\Omega_m$. The pump and probe power dependence of the generated phonons unequivocally determines the process to be electrostrictive, with the phonons produced at the difference frequency between pump and probe, with no back action effects involved. Thus, the phonons are created without threshold and can be considered analogous to a Coherent Population Trapped (CPT) maser scheme.


title: Fast Approximate Dynamic Programming for Input-Affine Dynamics

abstract: We propose two novel numerical schemes for approximate implementation of the dynamic programming~(DP) operation concerned with finite-horizon, optimal control of discrete-time systems with input-affine dynamics. The proposed algorithms involve discretization of the state and input spaces and are based on an alternative path that solves the dual problem corresponding to the DP operation. We provide error bounds for the proposed algorithms, along with a detailed analysis of their computational complexity. In particular, for a specific class of problems with separable data in the state and input variables, the proposed approach can reduce the typical time complexity of the DP operation from $O(XU)$ to $O (X+U)$, where $X$ and $U$ denote the size of the discrete state and input spaces, respectively. This reduction is achieved by an algorithmic transformation of the minimization in the DP operation to an addition via discrete conjugation.


title: Stochastic Variations in Nanoscale HZO based Ferroelectric finFETs: A Synergistic Approach of READ Optimization and Hybrid Precision Mixed Signal WRITE Operation to Mitigate the Implications on DNN Applications

abstract: This paper reports a synergistic approach of READ and WRITE optimization by deploying a high-precision digital computation unit along with a low-precision ferroelectric finFET (Fe-finFETs) based analog vector-matrix multiplication block for mitigating the impact of stochastic device variations in hafnium zirconium oxide (HZO) based Fe-finFETs.


title: Seed-packed dielectric barrier device for plasma agriculture: understanding its electrical properties through an equivalent electrical model

abstract: Seeds have been packed in a dielectric barrier device where cold atmospheric plasma has been generated to improve their germinative properties. A special attention has been paid on understanding the resulting plasma electrical properties through an equivalent electrical model whose experimental validity has been demonstrated here. In this model, the interelectrode gap is subdivided into 4 types of elementary domains, according to whether they contain electric charges (or not) and according to their type of medium (gas, seed or insulator). The model enables to study the influence of seeds on the plasma electrical properties by measuring and deducing several parameters (charge per filament, gas capacitance, plasma power, ...) either in no-bed configuration (i.e. no seed in the reactor) or in packed-bed configuration (seeds in the reactor). In that second case, we have investigated how seeds can influence the plasma electrical parameters considering six specimens of seeds (beans, radishes, corianders, lentils, sunflowers and corns). The influence of molecular oxygen (0-100 sccm) mixed with a continuous flow rate of helium (2 slm) is also investigated, especially through filaments breakdown voltages, charge per filament and plasma power. It is demonstrated that such bed-packing drives to an increase in the gas capacitance, to a decrease in the beta-parameter and to variations of the filaments' breakdown voltages in a seed-dependent manner. Finally, we show how the equivalent electrical model can be used to assess the total volume of the contact points, the capacitance of the seeds in the packed-bed configuration and we demonstrate that germinative effects can be induced by plasma on four of the six agronomical specimens.


title: ATM Cash demand forecasting in an Indian Bank with chaos and deep learning

abstract: This paper proposes to model chaos in the ATM cash withdrawal time series of a big Indian bank and forecast the withdrawals using deep learning methods. It also considers the importance of day-of-the-week and includes it as a dummy exogenous variable. We first modelled the chaos present in the withdrawal time series by reconstructing the state space of each series using the lag, and embedding dimension found using an auto-correlation function and Cao's method. This process converts the uni-variate time series into multi variate time series. The "day-of-the-week" is converted into seven features with the help of one-hot encoding. Then these seven features are augmented to the multivariate time series. For forecasting the future cash withdrawals, using algorithms namely ARIMA, random forest (RF), support vector regressor (SVR), multi-layer perceptron (MLP), group method of data handling (GMDH), general regression neural network (GRNN), long short term memory neural network and 1-dimensional convolutional neural network. We considered a daily cash withdrawals data set from an Indian commercial bank. After modelling chaos and adding exogenous features to the data set, we observed improvements in the forecasting for all models. Even though the random forest (RF) yielded better Symmetric Mean Absolute Percentage Error (SMAPE) value, deep learning algorithms, namely LSTM and 1D CNN, showed similar performance compared to RF, based on t-test.


title: Acoustic Willis metamaterials beyond the passivity bound

abstract: Acoustic bianisotropy, also known as the Willis parameter, expands the field of acoustics by providing nonconventional couplings between momentum and strain in constitutive relations. Sharing the common ground with electromagnetics, the realization of acoustic bianisotropy enables the exotic manipulation of acoustic waves in cooperation with a properly designed inverse bulk modulus and mass density. While the control of entire constitutive parameters substantiates intriguing theoretical and practical applications, a Willis metamaterial that enables independently and precisely designed polarizabilities has yet to be developed to overcome the present restrictions of the maximum Willis bound and the nonreciprocity inherent to the passivity of metamaterials. Here, by extending the recently developed concept of virtualized metamaterials, we propose acoustic Willis metamaterials that break the passivity and reciprocity limit while also achieving decoupled control of all constitutive parameters with designed frequency responses. By instituting basis convolution kernels based on parity symmetry for each polarization response, we experimentally demonstrate bianisotropy beyond the limit of passive media. Furthermore, based on the notion of inverse design of the frequency dispersion by means of digital convolution, purely nonreciprocal media and media with a broadband, flat-response Willis coupling are also demonstrated. Our approach offers all possible independently programmable extreme constitutive parameters and frequency dispersion tunability accessible within the causality condition and provides a flexible platform for realizing the full capabilities of acoustic metamaterials.


title: Normal and starlike tilings in separable Banach spaces

abstract: In this note, we provide a starlike and normal tiling in any separable Banach space. That means, there are positive constants r and R (not depending on the separable Banach space) such that every tile of this tiling is starlike, contains a ball of radius r and is contained in a ball of radius R.


title: Frequency dependence of dielectrophoresis fabrication of single-walled carbon nanotube field-effect transistor

abstract: In this paper, we present a new theoretical model for the dielectrophoresis (DEP) process of the single-walled carbon nanotubes (SWCNT). We obtain a different frequency interval for the alignment of wide energy gap semiconductor SWCNTs which shows a considerable difference with the prevalent model. For this, we study two specific models namely, the spherical model and the ellipsoid model to estimate the frequency interval. Then, we perform the DEP process and use the obtained frequencies (of spherical and ellipsoid models) for the alignment of the SWCNTs. Our empirical results declare the theoretical prediction, i.e., a crucial step toward the realization of carbon nanotube field-effect transistor (CNT-FET) with the DEP process based on the ellipsoid model.


title: Verniered Optical Phased Arrays for Grating Lobe Suppression and Extended FOV

abstract: Optical phased arrays (OPAs) which beam-steer in 2D have so far been unable to pack emitting elements at $\lambda/2$ spacing, leading to grating lobes which limit the field-of-view, introduce signal ambiguity, and reduce optical efficiency. Vernier schemes, which use paired transmitter and receiver phased arrays with different periodicity, deliberately misalign the transmission and receive patterns so that only a single pairing of transmit/receive lobes permit a signal to be detected. A pair of OPAs designed to exploit this effect thereby effectively suppress the effects of grating lobes and recover the system's field-of-view, avoid potential ambiguities, and reduce excess noise. Here we analytically evaluate Vernier schemes with arbitrary phase control to find optimal configurations, as well as elucidate the manner in which a Vernier scheme can recover the full field-of-view. We present the first experimental implementation of a Vernier scheme and demonstrate grating lobe suppression using a pair of 2D wavelength-steered OPAs. These results present a route forward for addressing the pervasive issue of grating lobes, significantly alleviating the need for dense emitter pitches.


title: Optical Isolation with Microring Modulators

abstract: Optical isolators, while commonplace in bulk- and fiber-optic systems, remain a key missing component in integrated photonic systems. Isolation using magneto-optic effects has been difficult to implement due to fabrication restraints, motivating use of other non-reciprocal effects such as temporal modulation. We demonstrate a non-reciprocal modulator comprising a pair of microring modulators and a microring phase shifter in an active silicon photonic process which, in combination with standard frequency filters, facilitates isolation. Isolation up to 13 dB is measured with a 3 dB bandwidth of 2 GHz and insertion loss of 18 dB. As one potential application is cross-talk suppression in bi-directional communication links, we also show transmission of a 4 Gbps data signal through the isolator while retaining a wide-open eye diagram. This compact design, in combination with increased modulation efficiency, could enable modulator-based isolators to become a standard `black-box' component in integrated photonics foundry platform component library.


title: On the second homology of planar graph braid groups

abstract: We show that the second homology of the configuration spaces of a planar graph is generated under the operations of embedding, disjoint union, and edge stabilization by three atomic graphs: the cycle graph with one edge, the star graph with three edges, and the theta graph with four edges. We give an example of a non-planar graph for which this statement is false.


title: Identifying the Bottleneck for Heat Transport in Metal-Organic Frameworks

abstract: Controlling the transport of thermal energy is key to most applications of metal-organic frameworks. Analyzing the evolution of the effective local temperature, the interfaces between the metal nodes and the organic linkers are identified as the primary bottlenecks for heat conduction. Consequently, changing the bonding strength at that node-linker interface and the mass of the metal atoms can be exploited to tune the thermal conductivity. This insight is generated employing molecular dynamics simulations in conjunction with advanced, ab initio parametrized force fields. The focus of the present study is on MOF-5 as a prototypical example of an isoreticular MOF. Still, the key findings prevail for different node structures and node-linker bonding chemistries. The presented results lay the foundation for developing detailed structure-to-property relationships for thermal transport in MOFs with the goal of devising strategies for the application-specific optimization of heat conduction.


title: An Integer-Linear Program for Bend-Minimization in Ortho-Radial Drawings

abstract: An ortho-radial grid is described by concentric circles and straight-line spokes emanating from the circles' center. An ortho-radial drawing is the analog of an orthogonal drawing on an ortho-radial grid. Such a drawing has an unbounded outer face and a central face that contains the origin. Building on the notion of an ortho-radial representation (Barth et al., SoCG, 2017), we describe an integer-linear program (ILP) for computing bend-free ortho-radial representations with a given embedding and fixed outer and central face. Using the ILP as a building block, we introduce a pruning technique to compute bend-optimal ortho-radial drawings with a given embedding and a fixed outer face, but freely choosable central face. Our experiments show that, in comparison with orthogonal drawings using the same embedding and the same outer face, the use of ortho-radial drawings reduces the number of bends by 43.8% on average. Further, our approach allows us to compute ortho-radial drawings of embedded graphs such as the metro system of Beijing or London within seconds.


title: The move from Fujita to Kato type exponent for a class of semilinear evolution equations with time-dependent damping

abstract: In this paper, we derive suitable optimal $L^p-L^q$ decay estimates, $1\leq p\leq 2\leq q\leq \infty$, for the solutions to the $\sigma$-evolution equation, $\sigma>1$, with scale-invariant time-dependent damping and power nonlinearity~$|u|^p$, \[ u_{tt}+(-\Delta)^\sigma u + \frac{\mu}{1+t} u_t= |u|^{p}, \] where $\mu>0$, $p>1$. The critical exponent $p=p_c$ for the global (in time) existence of small data solutions to the Cauchy problem is related to the long time behavior of solutions, which changes accordingly $\mu \in (0, 1)$ or $\mu>1$. Under the assumption of small initial data in $L^1\cap L^2$, we find the critical exponent \[ p_c=1+ \max \left\{\frac{2\sigma}{[n-\sigma+\sigma\mu]_+}, \frac{2\sigma}{n} \right\} =\begin{cases} 1+ \frac{2\sigma}{[n-\sigma+\sigma\mu]_+}, \quad \mu \in (0, 1)\\ 1+ \frac{2\sigma}{n}, \quad \mu>1. \end{cases} \] For $\mu>1$ it is well known as Fujita type exponent, whereas for $\mu \in (0, 1)$ one can read it as a shift of Kato exponent.


title: Community-Aware Graph Signal Processing

abstract: The emerging field of graph signal processing (GSP) allows to transpose classical signal processing operations (e.g., filtering) to signals on graphs. The GSP framework is generally built upon the graph Laplacian, which plays a crucial role to study graph properties and measure graph signal smoothness. Here instead, we propose the graph modularity matrix as the centerpiece of GSP, in order to incorporate knowledge about graph community structure when processing signals on the graph, but without the need for community detection. We study this approach in several generic settings such as filtering, optimal sampling and reconstruction, surrogate data generation, and denoising. Feasibility is illustrated by a small-scale example and a transportation network dataset, as well as one application in human neuroimaging where community-aware GSP reveals relationships between behavior and brain features that are not shown by Laplacian-based GSP. This work demonstrates how concepts from network science can lead to new meaningful operations on graph signals.


title: Stochastic Gradient Descent Works Really Well for Stress Minimization

abstract: Stress minimization is among the best studied force-directed graph layout methods because it reliably yields high-quality layouts. It thus comes as a surprise that a novel approach based on stochastic gradient descent (Zheng, Pawar and Goodman, TVCG 2019) is claimed to improve on state-of-the-art approaches based on majorization. We present experimental evidence that the new approach does not actually yield better layouts, but that it is still to be preferred because it is simpler and robust against poor initialization.


title: The role of FUV Pumping in exciting the [Oi] lines in Protostellar Disks and Winds

abstract: We use Cloudy to re-examine excitation of [Oi] 6300 A and [Oi] 5577 A in the X-ray driven photo-evaporative wind models of Owen and collaborators, and in more recent magnetothermal models by Wang et al. We find that, at the measured accretion luminosities, the FUV radiation would populate the upper levels of the oxygen atom which would eventually contribute to the [Oi] lines. FUV pumping competes with collisions as an excitation mechanism of the [Oi] lines, and they each originate from a distinct region in the protostellar disk environment depending on the specifics of the hydrodynamical model that the simulation was based on. Consequently, the line strengths and shapes of [Oi] 6300 A and[Oi] 5577 A would be affected by the inclusion of FUV pumping in the radiation transport simulations.


title: Photovoltaic Self-Powered Gas Sensing: A Review

abstract: The self-powered sensing system could harness ambient energy to power the sensor without the need for external electrical energy. Recently, the concept of photovoltaic (PV) self-powered gas sensing has aroused wider attentions due to room-temperature operation, low power consumption, small size and potential applications. The PV self-powered gas sensors integrate the photovoltaic effects and the gas sensing function into a single chip, which could truly achieve the goal of zero power consumption for an independent gas sensing device. As an emerging concept, the PV self-powered gas sensing has been achieved by using different strategies, including integrated gas sensor and solar cell, integrated light filter and solar cell, gas-sensitive heterojunction photovoltaics, and gas-sensitive lateral photovoltaics, respectively. The purpose of this review is to summarize recent advances of PV self-powered gas sensing and also remark on the directions for future research in this topic.


title: Fractal Interpretation of Bacterial Light Harvesters

abstract: Bacteria light harvesters are interpreted as Vicsek fractal, based upon their morphology, even though such fractals contain only one, or perhaps two, generations. After using fractal dimensions to describe the geometry, we progress to use connectivity matrices to make an improved description of the light harvesters and make connections with our previous studies.

categories: physics.optics nlin.PS physics.bio-ph q-bio.BM


title: KCoreMotif: An Efficient Graph Clustering Algorithm for Large Networks by Exploiting k-core Decomposition and Motifs

abstract: Clustering analysis has been widely used in trust evaluation on various complex networks such as wireless sensors networks and online social networks. Spectral clustering is one of the most commonly used algorithms for graph-structured data (networks). However, the conventional spectral clustering is inherently difficult to work with large-scale networks due to the fact that it needs computationally expensive matrix manipulations. To deal with large networks, in this paper, we propose an efficient graph clustering algorithm, KCoreMotif, specifically for large networks by exploiting k-core decomposition and motifs. The essential idea behind the proposed clustering algorithm is to perform the efficient motif-based spectral clustering algorithm on k-core subgraphs, rather than on the entire graph. More specifically, (1) we first conduct the k-core decomposition of the large input network; (2) we then perform the motif-based spectral clustering for the top k-core subgraphs; (3) we group the remaining vertices in the rest (k-1)-core subgraphs into previously found clusters; and finally obtain the desired clusters of the large input network. To evaluate the performance of the proposed graph clustering algorithm KCoreMotif, we use both the conventional and the motif-based spectral clustering algorithms as the baselines and compare our algorithm with them for 18 groups of real-world datasets. Comparative results demonstrate that the proposed graph clustering algorithm is accurate yet efficient for large networks, which also means that it can be further used to evaluate the intra-cluster and inter-cluster trusts on large networks.


title: Is the local Lorentz invariance of general relativity implemented by gauge bosons that have their own Yang-Mills-like action?

abstract: General relativity with fermions has two independent symmetries: general coordinate invariance and local Lorentz invariance. General coordinate invariance is implemented by the Levi-Civita connection and by Cartan's tetrads both of which have as their action the Einstein-Hilbert action. It is suggested here that local Lorentz invariance is implemented not by a combination of the Levi-Civita connection and Cartan's tetrads known as the spin connection, but by independent Lorentz bosons L_i that gauge the Lorentz group, that couple to fermions like Yang-Mills fields, and that have their own Yang-Mills-like action. A nonsingular 4 x 4 hermitian scalar field h is needed to make the action of the Lorentz bosons invariant under local Lorentz transformations. Lorentz bosons couple to fermion number and generate a spin-dependent static potential that violates the weak equivalence principle. If a Higgs mechanism makes them massive, then the static potential also violates the inverse-square law. Experiments put upper bounds on the strength of such a potential for masses m_L < 20 eV. These upper limits imply that Lorentz bosons, if they exist, are nearly stable and contribute to dark matter.


title: Prevalence and incidence of postpartum depression and environmental factors: the IGEDEPP cohort

abstract: Background: IGEDEPP (Interaction of Gene and Environment of Depression during PostPartum) is a prospective multicenter cohort study of 3,310 Caucasian women who gave birth between 2011 and 2016, with follow-up until one year postpartum. The aim of the current study is to describe the cohort and estimate the prevalence and cumulative incidence of early and late postpartum depression (PPD). Methods: Socio-demographic data, personal and family psychiatric history, as well as stressful life events during childhood and pregnancy were evaluated at baseline. Early and late PPD were assessed at 8 weeks and 1 year postpartum respectively, using DSM-5 criteria. Results: The prevalence of early PPD was 8.3% (95%CI 7.3-9.3), and late PPD 12.9% (95%CI 11.5-14.2), resulting in an 8-week cumulative incidence of 8.5% (95%CI 7.4-9.6) and a one-year cumulative incidence of PPD of 18.1% (95%CI: 17.1-19.2). Nearly half of the cohort (N=1571, 47.5%) had a history of at least one psychiatric or addictive disorder, primarily depressive disorder (35%). Almost 300 women in the cohort (9.0%) reported childhood trauma. During pregnancy, 47.7% women experienced a stressful event, 30.2% in the first 8 weeks and 43.9% between 8 weeks and one year postpartum. Nearly one in five women reported at least one stressful postpartum event at 8 weeks. Conclusion: Incident depressive episodes affected nearly one in five women during the first year postpartum. Most women had stressful perinatal events. Further IGEDEPP studies will aim to disentangle the impact of childhood and pregnancy-related stressful events on postpartum mental disorders.


title: The Homophily Principle in Social Network Analysis

abstract: In recent years, social media has become a ubiquitous and integral part of social networking. One of the major attentions made by social researchers is the tendency of like-minded people to interact with one another in social groups, a concept which is known as Homophily. The study of homophily can provide eminent insights into the flow of information and behaviors within a society and this has been extremely useful in analyzing the formations of online communities. In this paper, we review and survey the effect of homophily in social networks and summarize the state of art methods that has been proposed in the past years to identify and measure the effect of homophily in multiple types of social networks and we conclude with a critical discussion of open challenges and directions for future research.


title: An Incentive-compatible Energy Trading Framework for Neighborhood Area Networks with Shared Energy Storage

abstract: Here, a novel energy trading system is proposed for demand-side management of a neighborhood area network (NAN) consisting of a shared energy storage (SES) provider, users with non-dispatchable energy generation, and an electricity retailer. In a leader-follower Stackelberg game, the SES provider first maximizes their revenue by setting a price signal and trading energy with the grid. Then, by following the SES provider's actions, the retailer minimizes social cost for the users, i.e., the sum of the total users' cost when they interact with the SES and the total cost for supplying grid energy to the users. A pricing strategy, which incorporates mechanism design, is proposed to make the system incentive-compatible by rewarding users who disclose true energy usage information. A unique Stackelberg equilibrium is achieved where the SES provider's revenue is maximized and the user-level social cost is minimized, which also rewards the retailer. A case study with realistic energy demand and generation data demonstrates 28\%~-~45\% peak demand reduction of the NAN, depending on the number of participating users, compared to a system without SES. Simulation results confirm that the retailer can also benefit financially, in addition to the SES provider and the users.


title: Network-Aware Demand-side Management Framework with A Community Energy Storage System Considering Voltage Constraints

abstract: This paper studies the feasibility of integrating a community energy storage (CES) system with rooftop photovoltaic (PV) power generation for demand-side management of a neighbourhood while maintaining the distribution network voltages within allowed limits. To this end, we develop a decentralized energy trading system between a CES provider and users with rooftop PV systems. By leveraging a linearized branch flow model for radial distribution networks, a voltage-constrained leader-follower Stackelberg game is developed wherein the CES provider maximizes revenue and the users minimize their personal energy costs by trading energy with the CES system and the grid. The Stackelberg game has a unique equilibrium at which the CES provider maximizes revenue and the users minimize energy costs at a unique Nash equilibrium. A case study, with realistic PV power generation and demand data, confirms that the energy trading system can reduce peak energy demand and prevent network voltage excursions, while delivering financial benefits to the users and the CES provider. Further, simulations highlight that, in comparison with a centralized system, the decentralized energy trading system provides greater economic benefits to the users with less energy storage capacity.


title: Compact Belief State Representation for Task Planning

abstract: Task planning in a probabilistic belief state domains allows generating complex and robust execution policies in those domains affected by state uncertainty. The performance of a task planner relies on the belief state representation. However, current belief state representation becomes easily intractable as the number of variables and execution time grows. To address this problem, we developed a novel belief state representation based on cartesian product and union operations over belief substates. These two operations and single variable assignment nodes form And-Or directed acyclic graph of Belief State (AOBS). We show how to apply actions with probabilistic outcomes and measure the probability of conditions holding over belief state. We evaluated AOBS performance in simulated forward state space exploration. We compared the size of AOBS with the size of Binary Decision Diagrams (BDD) that were previously used to represent belief state. We show that AOBS representation is not only much more compact than a full belief state but it also scales better than BDD for most of the cases.


title: Mass testing and proactiveness affect epidemic spreading

abstract: The detection and management of diseases become quite complicated when pathogens contain asymptomatic phenotypes amongst their ranks, as evident during the recent COVID-19 pandemic. Spreading of diseases has been studied extensively under the paradigm of Susceptible - Infected - Recovered - Deceased (SIRD) dynamics. Various game-theoretic approaches have also addressed disease spread, many of which consider S, I, R, and D as strategies rather than as states. Remarkably, most studies from the above approaches do not account for the distinction between the symptomatic or asymptomatic aspect of the disease. It is well-known that precautionary measures like washing hands, wearing masks and social distancing significantly mitigate the spread of many contagious diseases. Herein, we consider the adoption of such precautions as strategies and treat S, I, R, and D as states. We also attempt to capture the differences in epidemic spreading arising from symptomatic and asymptomatic diseases on various network topologies. Through extensive computer simulations, we examine that the cost of maintaining precautionary measures as well as the extent of mass testing in a population affects the final fraction of socially responsible individuals. We observe that the lack of mass testing could potentially lead to a pandemic in case of asymptomatic diseases. Network topology also seems to play an important role. We further observe that the final fraction of proactive individuals depends on the initial fraction of both infected as well as proactive individuals. Additionally, edge density can significantly influence the overall outcome. Our findings are in broad agreement with the lessons learnt from the ongoing COVID-19 pandemic.


title: Metasurface Sensing Difference in Waveforms at the Same Frequency with Reduced Power Level

abstract: We numerically demonstrate a new type of waveform-selective metasurface that senses the difference in incoming waveforms or pulse widths at the same frequency. Importantly, the proposed structure contains precise rectifier circuits that, compared to ordinary schottky diodes used within old types of structures, rectify induced electric charges at a markedly reduced input power level depending on several design parameters but mostly on the gain of operational amplifiers. As a result, a waveform-selective absorbing mechanism related to this turn-on voltage appears even with a limited signal strength that is comparable to realistic wireless signal levels. In addition, the proposed structure exhibits a noticeably wide dynamic range from -30 to 6 dBm, compared to a conventional structure that operated only around 0 dBm. Thus, our study opens up the door to apply the concept of waveform selectivity to a more practical field of wireless communications to control different small signals at the same frequency.


title: Outliers in the LIGO Black Hole Mass Function from Coagulation in Dense Clusters

abstract: The advanced LIGO O3a run catalog has been recently published, and it includes several events with unexpected mass properties, including mergers with individual masses in the lower and upper mass gaps, as well as mergers with unusually small mass ratios between the binary components. Here we entertain the possibility that these outliers are the outcome of hierarchical mergers of black holes or neutron stars in the dense environments of globular clusters. We use the coagulation equation to study the evolution of the black hole mass function within a typical cluster. Our prescription allows us to monitor how various global quantities change with time, such as the total mass and number of compact objects in the cluster, its overall merger rate, and the probability to form intermediate-mass black holes via a runaway process. By accounting for the LIGO observational bias, we predict the merger event distributions with respect to various variables such as the individual masses M1 and M2, their ratio q, and redshift z, and we compare our predictions with the published O3a data. We study how these distributions depend on the merger-rate and ejections parameters and produce forecasts for the (tight) constraints that can be placed on our model parameters using the future dataset of the O5 run. Finally, we also consider the presence of a static channel with no coagulation producing merger events alongside the dynamic channel, finding that the two can be distinguished based solely on the merger mass distribution with future O5 data.


title: Short-Packet Communications for MIMO NOMA Systems over Nakagami-m Fading: BLER and Minimum Blocklength Analysis

abstract: Recently, ultra-reliable and low-latency communications (URLLC) using short-packets has been proposed to fulfill the stringent requirements regarding reliability and latency of emerging applications in 5G and beyond networks. In addition, multiple-input multiple-output non-orthogonal multiple access (MIMO NOMA) is a potential candidate to improve the spectral efficiency, reliability, latency, and connectivity of wireless systems. In this paper, we investigate short-packet communications (SPC) in a multiuser downlink MIMO NOMA system over Nakagami-m fading, and propose two antenna-user selection methods considering two clusters of users having different priority levels. In contrast to the widely-used long data-packet assumption, the SPC analysis requires the redesign of the communication protocols and novel performance metrics. Given this context, we analyze the SPC performance of MIMO NOMA systems using the average block error rate (BLER) and minimum blocklength, instead of the conventional metrics such as ergodic capacity and outage capacity. More specifically, to characterize the system performance regarding SPC, asymptotic (in the high signal-to-noise ratio regime) and approximate closed-form expressions of the average BLER at the users are derived. Based on the asymptotic behavior of the average BLER, an analysis of the diversity order, minimum blocklength, and optimal power allocation is carried out. The achieved results show that MIMO NOMA can serve multiple users simultaneously using a smaller blocklength compared with MIMO OMA, thus demonstrating the benefits of MIMO NOMA for SPC in minimizing the transmission latency. Furthermore, our results indicate that the proposed methods not only improve the BLER performance but also guarantee full diversity gains for the respective users.


title: A generalized $q$ growth model based on nonadditive entropy

abstract: We present a general growth model based on non-extensive statistical physics is presented. The obtained equation is expressed in terms of nonadditive $q$ entropy. We show that the most common unidimensional growth laws such as power law, exponential, logistic, Richards, Von Bertalanffy, Gompertz can be obtained. This model belongs as a particular case reported in (Physica A 369, 645 (2006)). The new evolution equation resembles the "universality" revealed by West for ontogenetic growth (Nature 413, 628 (2001)). We show that for early times the model follows a power law growth as $ N(t) \approx t ^ D $, where the exponent $D \equiv \frac{1}{1-q}$ classifies different types of growth. Several examples are given and discussed.


title: End to End Dialogue Transformer

abstract: Dialogue systems attempt to facilitate conversations between humans and computers, for purposes as diverse as small talk to booking a vacation. We are here inspired by the performance of the recurrent neural network-based model Sequicity, which when conducting a dialogue uses a sequence-to-sequence architecture to first produce a textual representation of what is going on in the dialogue, and in a further step use this along with database findings to produce a reply to the user. We here propose a dialogue system based on the Transformer architecture instead of Sequicity's RNN-based architecture, that works similarly in an end-to-end, sequence-to-sequence fashion.


title: HOLISMOKES -- III. Achromatic Phase of Strongly Lensed Type Ia Supernovae

abstract: To use strongly lensed Type Ia supernovae (LSNe Ia) for cosmology, a time-delay measurement between the multiple supernova (SN) images is necessary. The sharp rise and decline of SN Ia light curves make them promising for measuring time delays, but microlensing can distort these light curves and therefore add large uncertainties to the measurements. An alternative approach is to use color curves where uncertainties due to microlensing are significantly reduced for a certain period of time known as the achromatic phase. In this work, we investigate in detail the achromatic phase, testing four different SN Ia models with various microlensing configurations. We find on average an achromatic phase of around three rest-frame weeks or longer for most color curves but the spread in the duration of the achromatic phase (due to different microlensing maps and filter combinations) is quite large and an achromatic phase of just a few days is also possible. Furthermore, the achromatic phase is longer for smoother microlensing maps, lower macro-magnifications and larger mean Einstein radii of microlenses. From our investigations, we do not find a strong dependency on the model or on asymmetries in the SN ejecta. Further, we find that three independent LSST color curves exhibit features such as extreme points or turning points within the achromatic phase, which make them promising for time-delay measurements. These curves contain combinations of rest-frame bands $u$, $g$, $r$, and $i$ and to observe them for typical LSN Ia redshifts, it would be ideal to cover (observer-frame) filters $r$, $i$, $z$, $y$, $J$, and $H$.


title: Geometric Inequalities for Anti-Blocking Bodies

abstract: We study the class of (locally) anti-blocking bodies as well as some associated classes of convex bodies. For these bodies, we prove geometric inequalities regarding volumes and mixed volumes, including Godberson's conjecture, near-optimal bounds on Mahler volumes, Saint-Raymond-type inequalities on mixed volumes, and reverse Kleitman inequalities for mixed volumes. We apply our results to the combinatorics of posets and prove Sidorenko-type inequalities for linear extensions of pairs of 2-dimensional posets. The results rely on some elegant decompositions of differences of anti-blocking bodies, which turn out to hold for anti-blocking bodies with respect to general polyhedral cones.


title: Weighing massive neutron star with screening gravity: A look on PSR J0740+6620 and GW190814 secondary component

abstract: Neutron stars (NSs) are excellent natural laboratories to constrain gravity on strong field regime and nuclear matter in extreme conditions. Motivated by the recent discovery of a compact object with $2.59^{+0.08}_{-0.09} M_\odot$ in the binary merger GW190814, if this object was a NS, it serves as a strong constraint on the NS equation of state (EoS), ruling out several soft EoSs favored by GW170817 event. In this work, we revisit the question of the maximum mass of NSs considering a chameleon screening (thin-shell effect) on the NS mass-radius relation, where the microscopic physics inside the NS is given by realistic soft EoSs. We find that from appropriate and reasonable combination of modified gravity, rotation effects and realistic soft EoSs, that it is possible to achieve high masses and explain GW190814 secondary component, and in return also NSs like PSR J0740+6620 (the most NS massive confirmed to date). It is shown that gravity can play an important role in estimating maximum mass of NSs, and even with soft EoSs, it is possible to generate very high masses. Therefore, in this competition on the hydrostatic equilibrium between gravity and EoS, some soft EoSs, in principle, cannot be completely be ruled out without first taking into account gravitational effects.


title: Design and Implementation of a Maxi-Sized Mobile Robot (Karo) for Rescue Missions

abstract: Rescue robots are expected to carry out reconnaissance and dexterity operations in unknown environments comprising unstructured obstacles. Although a wide variety of designs and implementations have been presented within the field of rescue robotics, embedding all mobility, dexterity, and reconnaissance capabilities in a single robot remains a challenging problem. This paper explains the design and implementation of Karo, a mobile robot that exhibits a high degree of mobility at the side of maintaining required dexterity and exploration capabilities for urban search and rescue (USAR) missions. We first elicit the system requirements of a standard rescue robot from the frameworks of Rescue Robot League (RRL) of RoboCup and then, propose the conceptual design of Karo by drafting a locomotion and manipulation system. Considering that, this work presents comprehensive design processes along with detail mechanical design of the robot's platform and its 7-DOF manipulator. Further, we present the design and implementation of the command and control system by discussing the robot's power system, sensors, and hardware systems. In conjunction with this, we elucidate the way that Karo's software system and human-robot interface are implemented and employed. Furthermore, we undertake extensive evaluations of Karo's field performance to investigate whether the principal objective of this work has been satisfied. We demonstrate that Karo has effectively accomplished assigned standardized rescue operations by evaluating all aspects of its capabilities in both RRL's test suites and training suites of a fire department. Finally, the comprehensiveness of Karo's capabilities has been verified by drawing quantitative comparisons between Karo's performance and other leading robots participating in RRL.