title: Vacuum-formed 3D printed electronics: fabrication of thin, rigid and free-form interactive surfaces

abstract: Vacuum-forming is a common manufacturing technique for constructing thin plastic shell products by pressing heated plastic sheets onto a mold using atmospheric pressure. Vacuum-forming is ubiquitous in packaging and casing products in industry spanning fast moving consumer goods to connected devices. Integrating advanced functionality, which may include sensing, computation and communication, within thin structures is desirable for various next-generation interactive devices. Hybrid additive manufacturing techniques like thermoforming are becoming popular for prototyping freeform electronics given its design flexibility, speed and cost-effectiveness. In this paper, we present a new hybrid method for constructing thin, rigid and free-form interconnected surfaces via fused deposition modelling (FDM) 3D printing and vacuum-forming. While 3D printing a mold for vacuum-forming has been explored by many, utilising 3D printing to construct sheet materials has remains unexplored. 3D printing the sheet material allows embedding conductive traces within thin layers of the substrate, which can be vacuum-formed but remain conductive and insulated. We characterise the behaviour of the vacuum-formed 3D printed sheet, analyse the electrical performance of 3D printed traces after vacuum-forming, and showcase a range of examples constructed using the technique. We demonstrate a new design interface specifically for designing conformal interconnects, which allows designers to draw conductive patterns in 3D and export pre-distorted sheet models ready to be 3D printed.


title: Improving Botnet Detection with Recurrent Neural Network and Transfer Learning

abstract: Botnet detection is a critical step in stopping the spread of botnets and preventing malicious activities. However, reliable detection is still a challenging task, due to a wide variety of botnets involving ever-increasing types of devices and attack vectors. Recent approaches employing machine learning (ML) showed improved performance than earlier ones, but these ML- based approaches still have significant limitations. For example, most ML approaches can not incorporate sequential pattern analysis techniques key to detect some classes of botnets. Another common shortcoming of ML-based approaches is the need to retrain neural networks in order to detect the evolving botnets; however, the training process is time-consuming and requires significant efforts to label the training data. For fast-evolving botnets, it might take too long to create sufficient training samples before the botnets have changed again. To address these challenges, we propose a novel botnet detection method, built upon Recurrent Variational Autoencoder (RVAE) that effectively captures sequential characteristics of botnet activities. In the experiment, this semi-supervised learning method achieves better detection accuracy than similar learning methods, especially on hard to detect classes. Additionally, we devise a transfer learning framework to learn from a well-curated source data set and transfer the knowledge to a target problem domain not seen before. Tests show that the true-positive rate (TPR) with transfer learning is higher than the RVAE semi-supervised learning method trained using the target data set (91.8% vs. 68.3%).


title: Quantum groups and functional relations for arbitrary rank

abstract: The quantum integrable systems associated with the quantum loop algebras $\mathrm U_q(\mathcal L(\mathfrak{sl}_{\, l + 1}))$ are considered. The factorized form of the transfer operators related to the infinite dimensional evaluation representations is found and the determinant form of the transfer operators related to the finite dimensional evaluation representations is obtained. The master $TQ$- and $TT$-relations are derived. The operatorial $T$- and $Q$-systems are found. The nested Bethe equations are obtained.


title: Goodwillie Calculus and Geometric Stacks

abstract: We show Goodwillie's calculus of functors and $n$-geometric $D^{-}$-stacks share similar features by starting to focus on the convergence of Taylor towers for homotopy functors and the fact that $\mathbb{R} F(A) \cong \text{holim} \mathbb{R} F(A_{\leq n})$ for geometric stacks, where $\{ A_{\leq n} \}$ provides a Postnikov tower of some given $A \in s \text{k-Alg}$. From there we show parallel results, such as similar homotopy fibers of connecting maps in towers, as well as polynomial approximations, pointwise approximations and reconstruction theorems for towers.


title: Fatigue Life Estimation of Structures under Statistically and Spectrally Similar Variable Amplitude Loading

abstract: Engineering fatigue is a very prevalent and dangerous phenomenon that limits the useful life span of mechanical structures. It can be found in most engineered structures and machinery that are made from metallic or composite materials. The life prediction methodology under variable amplitude loading (VAL), however, has not reached maturity due to the complexity of the loading. This complexity results in load sequence effects, which significantly alter the fatigue life. Since most of the realistic loading experienced by engineered structures is of variable amplitude nature, and the corresponding responses at the defect site are highly irregular, characterization of the VAL and its resulting damage is paramount. Fatigue life estimation under VAL conventionally uses methods based on the Miner's Rule or the cumulative damage rule (CDR) in conjunction with the rainflow counting method. However, CDR does not account for the load interaction/sequence effects induced by local residual stress (or crack opening stress) variations.


title: Weak and ultrastrong coupling limits of the quantum mean force Gibbs state

abstract: The Gibbs state is widely taken to be the equilibrium state of a system in contact with an environment at temperature $T$. However, non-negligible interactions between system and environment can give rise to an altered state. Here we derive general expressions for this mean force Gibbs state, valid for any system that interacts with a bosonic reservoir. First, we derive the state in the weak coupling limit and find that, in general, it maintains coherences with respect to the bare system Hamiltonian. Second, we develop a new expansion method suited to investigate the ultrastrong coupling regime. This allows us to derive the explicit form for the mean force Gibbs state, and we find that it becomes diagonal in the basis set by the system-reservoir interaction instead of the system Hamiltonian. Several examples are discussed including a single qubit, a three-level V-system and two coupled qubits all interacting with bosonic reservoirs. The results shed light on the presence of coherences in the strong coupling regime, and provide key tools for nanoscale thermodynamics investigations.


title: Asymptotic Properties of Discrete Minimal $s,log^t$-Energy Constants and Configurations

abstract: Combining the ideas of Riesz $s$-energy and $\log$-energy, we introduce the so-called $s,\log^t$-energy. In this paper, we investigate the asymptotic behaviors for $N,t$ fixed and $s$ varying of minimal $N$-point $s,\log^t$-energy constants and configurations of an infinite compact metric space of diameter less than $1$. In particular, we study certain continuity and differentiability properties of minimal $N$-point $s,\log^t$-energy constants in the variable $s$ and we show that in the limits as $s\rightarrow \infty$ and as $s\rightarrow s_0>0,$ minimal $N$-point $s,\log^t$-energy configurations tend to an $N$-point best-packing configuration and a minimal $N$-point $s_0,\log^t$-energy configuration, respectively. Furthermore, the optimality of $N$ distinct equally spaced points on circles in $\mathbb{R}^2$ for some certain $s,\log^t$ energy problems was proved.


title: Generalized ADMM in Distributed Learning via Variational Inequality

abstract: Due to the explosion in size and complexity of modern data sets and privacy concerns of data holders, it is increasingly important to be able to solve machine learning problems in distributed manners. The Alternating Direction Method of Multipliers (ADMM) through the concept of consensus variables is a practical algorithm in this context where its diverse variations and its performance have been studied in different application areas. In this paper, we study the effect of the local data sets of users in the distributed learning of ADMM. Our aim is to deploy variational inequality (VI) to attain an unified view of ADMM variations. Through the simulation results, we demonstrate how more general definitions of consensus parameters and introducing the uncertain parameters in distribute approach can help to get the better results in learning processes.


title: PatchGuard++: Efficient Provable Attack Detection against Adversarial Patches

abstract: An adversarial patch can arbitrarily manipulate image pixels within a restricted region to induce model misclassification. The threat of this localized attack has gained significant attention because the adversary can mount a physically-realizable attack by attaching patches to the victim object. Recent provably robust defenses generally follow the PatchGuard framework by using CNNs with small receptive fields and secure feature aggregation for robust model predictions. In this paper, we extend PatchGuard to PatchGuard++ for provably detecting the adversarial patch attack to boost both provable robust accuracy and clean accuracy. In PatchGuard++, we first use a CNN with small receptive fields for feature extraction so that the number of features corrupted by the adversarial patch is bounded. Next, we apply masks in the feature space and evaluate predictions on all possible masked feature maps. Finally, we extract a pattern from all masked predictions to catch the adversarial patch attack. We evaluate PatchGuard++ on ImageNette (a 10-class subset of ImageNet), ImageNet, and CIFAR-10 and demonstrate that PatchGuard++ significantly improves the provable robustness and clean performance.


title: Fractional-order derivatives in cosmological models of accelerated expansion

abstract: In this brief review, we present the results of the fractional differential approach in cosmology in the context of the exact models of cosmological accelerated expansion obtained by several authors to date. Most of these studies are devoted to the problem of introducing fractional derivatives or fractional integrals into the classical General Relativity (GR). There are several observational and theoretical motivations to investigate the modified or alternative theories of GR. Among other things, we cover General Relativity modified by a phenomenological approach dealing with fractional calculus. At the same time, a sufficiently large number of exact solutions of the cosmological equations modified by this approach were obtained. Some of these models may be especially relevant in the light of solving the problem of late accelerated expansion of the universe. These studies are largely motivated by rapid progress in the field of observational cosmology that now allows, for the first time, precision tests of fundamental physics on the scale of the observable Universe. The purpose of this review is to provide a reference tool for researchers and students in cosmology and gravitational physics, as well as a self-contained, comprehensive, and up-to-date introduction to the subject as a whole.


title: Entropy of quantum states

abstract: Given the algebra of observables of a quantum system subject to selection rules, a state can be represented by different density matrices. As a result, different von Neumann entropies can be associated with the same state. Motivated by a minimality property of the von Neumann entropy of a density matrix with respect to its possible decompositions into pure states, we give a purely algebraic definition of entropy for states of an algebra of observables, thus solving the above ambiguity. The entropy so defined satisfies all the desirable thermodynamic properties, and reduces to the von Neumann entropy in the quantum mechanical case. Moreover, it can be shown to be equal to the von Neumann entropy of the unique representative density matrix belonging to the operator algebra of a multiplicity-free Hilbert-space representation.


title: Low emittance muon beam in the 2 to 40 GeV energy range for muon and neutrino experiments

abstract: I present a scheme to obtain a 2 to 40 GeV low emittance muon beam, not requiring cooling and within today's technological resources, to be used for early commissioning of muon accelerator projects, or alternatively dedicated muon and neutrino parameter measurements. In particular, a muon rate of 5x10^4 mu/s in a normalized transverse emittance of 5 um at 22 GeV, and energy spread of 1 GeV obtained from O(10^11) e+/s on target at 44 GeV. This emittance is below the expected results of advanced emittance cooling techniques for muons produced from protons-on-target, and represents an alternative for the duration of complete muon cooling studies. The scheme has beam designed to adjust the muon beam energy in the GeV energy range to the needs for precise parameter measurements of muons and neutrinos. Although the rate is small compared to other muon sources, it does not seem to represent a big limitation for its usage. Furthermore, the muon rate could be in principle increased proportionally to the availability of higher positron rates, already foreseen for future collider projects.


title: On propagation of waves in pressurized fiber-reinforced hyperelastic tubes based on a reduced model

abstract: A refined dynamic finite-strain shell theory for incompressible hyperelastic materials was developed by the authors recently. In this paper, we first derive the associated linearized incremental theory, and then use it to investigate wave propagation in a fiber-reinforced hyperelastic tube that is subjected to an axial pre-stretch and internal pressure. We obtain the dispersion relations for both axisymmetric and non-axisymmetric waves and discuss their accuracy by comparing them with the exact dispersion relations. The bending effect is also examined by comparing the dispersion curves based on the present theory and membrane theory. It is shown that the present theory is more accurate than the membrane theory in studying wave propagation and the bending effect plays an important role in some wave modes for relatively large wavenumbers. The effects of the pressure, axial pre-stretch and fiber angle on the dispersion relations are displayed. These results provide the necessary validation for using the refined dynamic finite-strain shell theory and wave propagation to determine arterial properties.


title: Ultrafast Fluorescence Depolarization in Conjugated Polymers

abstract: We report on large-scale simulations of intrachain exciton dynamics in poly(para-phenylene vinylene). Our coarse-grained model describes Frenkel exciton coupling to both fast, quantized C-C bond vibrations and slow, classical torsional modes. We also incorporate system-bath interactions. The dynamics are simulated using the Time Evolution Block Decimation method, which avoids the failures of the Ehrenfest approximation to describe decoherence processes and nonadiabatic interstate conversion. System-bath interactions are modeled using quantum trajectories and Lindblad quantum jump operators. We find that following photoexcitation, the quantum mechanical entanglement of the exciton and C-C bond phonons causes exciton-site decoherence. Next, system-bath interactions cause the stochastic collapse of high-energy delocalized excitons onto chromophores. Finally, torsional relaxation causes additional exciton-density localization. We relate these dynamical processes to the predicted fluorescence depolarization and extract the timescales corresponding to them.


title: Evaluating Query Languages and Systems for High-Energy Physics Data [Extended Version]

abstract: In the domain of high-energy physics (HEP), query languages in general and SQL in particular have found limited acceptance. This is surprising since HEP data analysis matches the SQL model well: the data is fully structured and queried using mostly standard operators. To gain insights on why this is the case, we perform a comprehensive analysis of six diverse, general-purpose data processing platforms using an HEP benchmark. The result of the evaluation is an interesting and rather complex picture of existing solutions: Their query languages vary greatly in how natural and concise HEP query patterns can be expressed. Furthermore, most of them are also between one and two orders of magnitude slower than the domain-specific system used by particle physicists today. These observations suggest that, while database systems and their query languages are in principle viable tools for HEP, significant work remains to make them relevant to HEP researchers.


title: Erosion of volatiles by micro-meteoroid bombardment on Ceres, and comparison to the Moon and Mercury

abstract: (1) Ceres, the largest reservoir of water in the main-belt, was recently visited by the Dawn spacecraft that revealed several areas bearing H$_2$O-ice features. Independent telescopic observations showed a water exosphere of currently unknown origin. We explore the effects of meteoroid impacts on Ceres considering the topography obtained from the Dawn mission using a widely-used micro-meteoroid model and ray-tracing techniques. Meteoroid populations with $0.01-2$ mm diameters are considered. We analyze the short-term effects Ceres experiences during its current orbit as well as long-term effects over the entire precession cycle. We find the entire surface is subject to meteoroid bombardment leaving no areas in permanent shadow with respect to meteoroid influx. The equatorial parts of Ceres produce $80\%$ more ejecta than the polar regions due to the large impact velocity of long-period comets. Mass flux, energy flux, and ejecta production vary seasonally by a factor of $3-7$ due to the inclined eccentric orbit. Compared to Mercury and the Moon, Ceres experiences significantly smaller effects of micro-meteoroid bombardment, with a total mass flux of $4.5\pm1.2\times10^{-17}$ kg m$^{-2}$ s$^{-1}$. On average Mercury is subjected to a $50\times$ larger mass flux and generates $700\times$ more ejecta than Ceres, while the lunar mass flux is $10\times$ larger, and the ejecta generation is $30\times$ larger than on Ceres. For these reasons, we find that meteoroid impacts are an unlikely candidate for the production of a water exosphere or significant excavation of surface features. The surface turnover rate from the micro-meteoroid populations considered is estimated to be $1.25$ Myr on Ceres.


title: Phase Structures and Transitions of Quintessence Surrounding RN Black Holes in a Grand Canonical Ensemble

abstract: Considering a grand canonical ensemble, we study the phase structures and transitions of RN black holes surrounded by quintessence dark energy on two different boundary conditions, namely AdS space and a Dirichlet wall. For AdS space, under the condition of fixed temperature and potential, as the temperature increases for lower potential, the black hole undergoes a first-order phase transition, while for higher potential, no phase transition occurs. There are two different regions in the parameter space. For the Dirichlet wall, on which the temperature and potential are fixed and the state parameter of quintessence $\omega=-2/3$ is analyzed in detail. Then, three different physically allowed regions in the parameter space of the black hole are well studied. As the temperature rises, a first-order phase transition and a second-order phase transition may occur. In this case, there are nine regions in the parameter space, which is obviously distinct from the case of AdS space.


title: Decorated sheaves and morphisms in tilted hearts

abstract: We identify limit stable pairs and stable framed sheaves as epimorphisms and monomorphisms, respectively, in tilts of the standard heart, under suitable conditions. We then identify the moduli spaces with the corresponding Quot spaces, obtaining the projectivity of the Quot spaces in these cases. We also prove a formula in a motivic Hall algebra relating the Quot spaces under a tilt.


title: Multidimensional cluster states using a single spin-photon interface coupled strongly to an intrinsic nuclear register

abstract: Photonic cluster states are a powerful resource for measurement-based quantum computing and loss-tolerant quantum communication. Proposals to generate multi-dimensional lattice cluster states have identified coupled spin-photon interfaces, spin-ancilla systems, and optical feedback mechanisms as potential schemes. Following these, we propose the generation of multi-dimensional lattice cluster states using a single, efficient spin-photon interface coupled strongly to a nuclear register. Our scheme makes use of the contact hyperfine interaction to enable universal quantum gates between the interface spin and a local nuclear register and funnels the resulting entanglement to photons via the spin-photon interface. Among several quantum emitters, we identify the silicon-29 vacancy centre in diamond, coupled to a nanophotonic structure, as possessing the right combination of optical quality and spin coherence for this scheme. We show numerically that using this system a 2x5-sized cluster state with a lower-bound fidelity of 0.5 and repetition rate of 65 kHz is achievable under currently realised experimental performances and with feasible technical overhead. Realistic gate improvements put 100-photon cluster states within experimental reach.


title: An Algorithm to Effect Prompt Termination of Myopic Local Search on Kauffman-s NK Landscape

abstract: In Kauffman-s NK model, myopic local search involves flipping one randomly-chosen bit of an N-bit decision string in every time step and accepting the new configuration if that has higher fitness. One issue is that, this algorithm consumes the full extent of computational resources allocated - given by the number of alternative configurations inspected - even though search is expected to terminate the moment there are no neighbors having higher fitness. Otherwise, the algorithm must compute the fitness of all N neighbors in every time step, consuming a high amount of resources. In order to get around this problem, I describe an algorithm that allows search to logically terminate relatively early, without having to evaluate fitness of all N neighbors at every time step. I further suggest that when the efficacy of two algorithms need to be compared head to head, imposing a common limit on the number of alternatives evaluated - metering - provides the necessary level field.


title: Entropic dynamics yields reciprocal relations

abstract: Entropic dynamics is a framework for defining dynamical systems that is aligned with the principles of information theory. In an entropic dynamics model for motion on a statistical manifold, we find that the rate of changes for expected values is linear to the gradient of entropy with reciprocal (symmetric) coefficients. Reciprocity principles have been useful in physics since Onsager. Here we show how the entropic dynamics reciprocity is a consequence of the information geometric structure of the exponential family, hence it is a general property that can be extended to a broader class of dynamical models.


title: Towards Knowledge Graphs Validation through Weighted Knowledge Sources

abstract: The performance of applications, such as personal assistants and search engines, relies on high-quality knowledge bases, a.k.a. Knowledge Graphs (KGs). To ensure their quality one important task is knowledge validation, which measures the degree to which statements or triples of KGs are semantically correct. KGs inevitably contain incorrect and incomplete statements, which may hinder their adoption in business applications as they are not trustworthy. In this paper, we propose and implement a Validator that computes a confidence score for every triple and instance in KGs. The computed score is based on finding the same instances across different weighted knowledge sources and comparing their features. We evaluate our approach by comparing its results against a baseline validation. Our results suggest that we can validate KGs with an f-measure of at least 75%. Time-wise, the Validator, performed a validation of 2530 instances in 15 minutes approximately. Furthermore, we give insights and directions toward a better architecture to tackle KG validation.


title: Good Artists Copy, Great Artists Steal: Model Extraction Attacks Against Image Translation Models

abstract: Machine learning models are typically made available to potential client users via inference APIs. Model extraction attacks occur when a malicious client uses information gleaned from queries to the inference API of a victim model $F_V$ to build a surrogate model $F_A$ with comparable functionality. Recent research has shown successful model extraction of image classification, and natural language processing models. In this paper, we show the first model extraction attack against real-world generative adversarial network (GAN) image translation models. We present a framework for conducting such attacks, and show that an adversary can successfully extract functional surrogate models by querying $F_V$ using data from the same domain as the training data for $F_V$. The adversary need not know $F_V$'s architecture or any other information about it beyond its intended task. We evaluate the effectiveness of our attacks using three different instances of two popular categories of image translation: (1) Selfie-to-Anime and (2) Monet-to-Photo (image style transfer), and (3) Super-Resolution (super resolution). Using standard performance metrics for GANs, we show that our attacks are effective. Furthermore, we conducted a large scale (125 participants) user study on Selfie-to-Anime and Monet-to-Photo to show that human perception of the images produced by $F_V$ and $F_A$ can be considered equivalent, within an equivalence bound of Cohen's d = 0.3. Finally, we show that existing defenses against model extraction attacks (watermarking, adversarial examples, poisoning) do not extend to image translation models.


title: Search for $B^{+}\to K^{+}\nu\bar{\nu}$ decays using an inclusive tagging method at Belle II

abstract: A search for the flavor-changing neutral-current decay $B^{+}\to K^{+}\nu\bar{\nu}$ is performed at the Belle II experiment at the SuperKEKB asymmetric energy electron-positron collider. The results are based on a data sample corresponding to an integrated luminosity of $63\,\mbox{fb}^{-1}$ collected at the $\Upsilon{(4S)}$ resonance and a sample of $9\,\mbox{fb}^{-1}$ collected at an energy $60\mathrm{\,Me\kern -0.1em V}$ below the resonance. A novel measurement method is employed, which exploits topological properties of the $B^{+}\to K^{+}\nu\bar{\nu}$ decay that differ from both generic bottom-meson decays and light-quark pair production. This inclusive tagging approach offers a higher signal efficiency compared to previous searches. No significant signal is observed. An upper limit on the branching fraction of $B^{+}\to K^{+}\nu\bar{\nu}$ of $4.1 \times 10^{-5}$ is set at the 90% confidence level.


title: BPS Wilson loop in $\mathcal N=2$ superconformal $SU(N)$ "orientifold" gauge theory and weak-strong coupling interpolation

abstract: We consider the expectation value $\langle \cal W \rangle$ of the circular BPS Wilson loop in ${\cal N}=2$ superconformal $SU(N)$ gauge theory containing a vector multiplet coupled to two hypermultiplets in rank-2 symmetric and antisymmetric representations. This model admits a regular large $N$ expansion, is planar-equivalent to ${\cal N}=4$ SYM theory and is expected to be dual to a certain orbifold/orientifold projection of AdS$_5\times S^5$ superstring theory. On the string theory side $\langle\cal W \rangle $ is represented by the path integral expanded near the same AdS$_2$ minimal surface as in the maximally supersymmetric case. Following the string theory argument in arXiv:2007.08512, we suggest that as in the ${\cal N}=4$ SYM case and in the ${\cal N}=2$ $SU(N) \times SU(N)$ superconformal quiver theory discussed in arXiv:2102.07696, the coefficient of the leading non-planar $1/N^2$ correction in $\langle\cal W \rangle $ should have the universal $\lambda^{3/2}$ scaling at large 't Hooft coupling. We confirm this prediction by starting with the localization matrix model representation for $\langle\cal W \rangle $. We complement the analytic derivation of the $\lambda^{3/2}$ scaling by a numerical high-precision resummation and extrapolation of the weak-coupling expansion using conformal mapping improved Pad\'e analysis.


title: Physical modelling of the slow voltage relaxation phenomenon in lithium-ion batteries

abstract: In the lithium-ion battery literature, discharges followed by a relaxation to equilibrium are frequently used to validate models and their parametrizations. Good agreement with experiment during discharge is easily attained with a pseudo-two-dimensional model such as the Doyle-Fuller-Newman (DFN) model. The relaxation portion, however, is typically not well-reproduced, with the relaxation in experiments occurring much more slowly than in models. In this study, using a model that includes a size distribution of the active material particles, we give a physical explanation for the slow relaxation phenomenon. This model, the Many-Particle-DFN (MP-DFN), is compared against discharge and relaxation data from the literature, and optimal fits of the size distribution parameters (mean and variance), as well as solid-state diffusivities, are found using numerical optimization. The voltage after relaxation is captured by careful choice of the current cut-off time, allowing a single set of physical parameters to be used for all C-rates, in contrast to previous studies. We find that the MP-DFN can accurately reproduce the slow relaxation, across a range of C-rates, whereas the DFN cannot. Size distributions allow for greater internal heterogeneities, giving a natural origin of slower relaxation timescales that may be relevant in other, as yet explained, battery behavior.


title: Analyzing Green View Index and Green View Index best path using Google Street View and deep learning

abstract: As an important part of urban landscape research, analyzing and studying street-level greenery can increase the understanding of a city's greenery, contributing to better urban living environment planning and design. Planning the best path of urban greenery is a means to effectively maximize the use of urban greenery, which plays a positive role in the physical and mental health of urban residents and the path planning of visitors. In this paper, we used Google Street View (GSV) to obtain street view images of Osaka City. The semantic segmentation model is adopted to segment the street view images and analyze the Green View Index (GVI) of Osaka City. Based on the GVI, we take advantage of the adjacency matrix and Floyd-Warshall Algorithm to calculate Green View Index best path, solving the limitations of ArcGIS software. Our analysis not only allows the calculation of specific routes for the GVI best paths but also realizes the visualization and integration of neighborhood urban greenery. By summarizing all the data, we can conduct an intuitive feeling and objective analysis of the street-level greenery in the research area. Based on this, such as urban residents and visitors can maximize the available natural resources for a better life. The dataset and code are available at https://github.com/Jackieam/GVI-Best-Path.


title: Thermodefect voltage in graphene nanoribbon junctions

abstract: Thermoelectric junctions are often made of components of different materials characterized by distinct transport properties. Single material junctions, with the same type of charge carriers, have also been considered to investigate various classical and quantum effects on the thermoelectric properties of nanostructured materials. We here introduce the concept of defect-induced thermoelectric voltage, namely, {\it thermodefect voltage}, in graphene nanoribbon (GNR) junctions under a temperature gradient. Our thermodefect junction is formed by two GNRs with identical properties except the existence of defects in one of the nanoribbons. At room temperature the thermodefect voltage is highly sensitive to the types of defects, their locations, as well as the width and edge configurations of the GNRs. We demonstrate that the thermodefect voltage can be as high as $1.7\,$mV/K for $555$-$777$ defects in semiconducting armchair GNRs. We further investigate the Seebeck coefficient, electrical conductance, and electronic thermal conductance, and also the power factor of the individual junction components to explain the thermodefect effect. Taken together, our study presents a new pathway to enhance the thermoelectric properties of nanomaterials.


title: Entropy formula for systems with inducing schemes

abstract: We obtain entropy formulas for SRB measures with finite entropy given by inducing schemes. In the first part of the work, we obtain Pesin entropy formula for the class of noninvertible systems whose SRB measures are given by Gibbs-Markov induced maps. In the second part, we obtain Pesin entropy formula for invertible maps whose SRB measures given by Young sets, taking into account a classical compression technique along the stable direction that allows a reduction of the return map associated with a Young set to a Gibbs-Markov map. In both cases, we give applications of our main results to several classes of dynamical systems with singular sets, where the classical results by Ruelle and Pesin cannot be applied. We also present examples of systems with SRB measures given by inducing schemes for which Ruelle inequality does not hold.


title: A Generative Variational Model for Inverse Problems in Imaging

abstract: This paper is concerned with the development, analysis and numerical realization of a novel variational model for the regularization of inverse problems in imaging. The proposed model is inspired by the architecture of generative convolutional neural networks; it aims to generate the unknown from variables in a latent space via multi-layer convolutions and non-linear penalties, and penalizes an associated cost. In contrast to conventional neural-network-based approaches, however, the convolution kernels are learned directly from the measured data such that no training is required. The present work provides a mathematical analysis of the proposed model in a function space setting, including proofs for regularity and existence/stability of solutions, and convergence for vanishing noise. Moreover, in a discretized setting, a numerical algorithm for solving various types of inverse problems with the proposed model is derived. Numerical results are provided for applications in inpainting, denoising, deblurring under noise, super-resolution and JPEG decompression with multiple test images.


title: Head-synchronous Decoding for Transformer-based Streaming ASR

abstract: Online Transformer-based automatic speech recognition (ASR) systems have been extensively studied due to the increasing demand for streaming applications. Recently proposed Decoder-end Adaptive Computation Steps (DACS) algorithm for online Transformer ASR was shown to achieve state-of-the-art performance and outperform other existing methods. However, like any other online approach, the DACS-based attention heads in each of the Transformer decoder layers operate independently (or asynchronously) and lead to diverged attending positions. Since DACS employs a truncation threshold to determine the halting position, some of the attention weights are cut off untimely and might impact the stability and precision of decoding. To overcome these issues, here we propose a head-synchronous (HS) version of the DACS algorithm, where the boundary of attention is jointly detected by all the DACS heads in each decoder layer. ASR experiments on Wall Street Journal (WSJ), AIShell-1 and Librispeech show that the proposed method consistently outperforms vanilla DACS and achieves state-of-the-art performance. We will also demonstrate that HS-DACS has reduced decoding cost when compared to vanilla DACS.


title: Pancharatnam-Berry phase in neutrino mixing

abstract: The Pancharatnam - Berry phase (PBP) of purely geometric origin appears as a reparametrization invariant quantity of ray Space. In this article, we investigate the properties exhibited by PBP in neutrino mixing. We map the neutrino flavour modes to independent flavour vacuum states and compute PBP using Bargmann invariant. We derive the exact formula for PBP in two flavour approximation using the kinematic approach. Our result reproduces previous results of Blasone et al. under cyclic condition. Inspired by the work of Mukunda and Simon, we investigate the total and dynamical phases separately. This method leads us to identify the existence of nodal points in the mixing parameter space. At nodal points, PBP changes by a value $\pi$, and it originates from the total phase. We report the direct relation between nodal points and MSW resonance, giving physical meaning to nodal points. Our analysis shows the ability of PBP to differentiate between different mass hierarchies and set numerical bounds to $\Delta m^2$ by changing total energy. We extend our studies to three flavour model and found that PBP is sensitive to the Dirac $CP$ phase ($\delta_{CP}$). Using our $N$-qubit architecture of the $N$-flavour neutrino model, one can immediately study the dynamical characteristics like mode entanglement between neutrino flavour modes.


title: On the Temperature of Gravitation in the de Sitter Space-Time

abstract: The temperature associated with gravitation as presented in the Unruh effect and Hawking temperature serves to link different areas of physics, such as gravity, statistical mechanics, and quantum physics. In this paper, teleparallel gravity is considered to study temperature effects on the de Sitter space-time. The effects of temperature are introduced using the Thermo Field Dynamics (TFD) formalism. The gravitational Stefan-Boltzmann law is obtained. Then the temperature of gravitation in the de Sitter space-time is calculated. Here an Unruh-type effect is discussed. This effect relates the temperature and the acceleration of a particle in the de Sitter space-time. The gravitational Casimir effect is calculated. The result shows that there is a transition between an attractive and a repulsive Casimir effect.


title: Gruson-Serganova character formulas and the Duflo-Serganova cohomology functor

abstract: We establish an explicit formula for the character of an irreducible finite-dimensional representation of $\mathfrak{gl}(m|n)$. The formula is a finite sum with integer coefficients in terms of a basis $\mathcal{E}_{\mu}$ (Euler characters) of the character ring. We prove a simple formula for the behaviour of the ``superversion'' of $\mathcal{E}_{\mu}$ in the $\mathfrak{gl}(m|n)$ and $\mathfrak{osp}(m|2n)$-case under the map $ds$ on the supercharacter ring induced by the Duflo-Serganova cohomology functor $DS$. As an application we get combinatorial formulas for superdimensions, dimensions and $\mathfrak{g}_0$-decompositions for $\mathfrak{gl}(m|n)$ and $\mathfrak{osp}(m|2n)$.


title: Stochastic behavior of outcome of Schur-Weyl duality measurement

abstract: We focus on the measurement defined by the decomposition based on Schur-Weyl duality on $n$ qubits. As the first setting, we discuss the asymptotic behavior of the measurement outcome when the state is given as the permutation mixture $\rho_{mix,n,l}$ of the state $| 1^{l} \, 0^{n-l} \rangle := | 1 \rangle^{\otimes l} \otimes |0\rangle^{\otimes (n-l)}$. In contrast, when the state is given as the Dicke state $|\Xi_{n,l}\rangle$, the measurement outcome takes one deterministic value. These two cases have completely different behaviors. As the second setting, we study the case when the state is given as the tensor product of the permutation mixture $\rho_{mix,k,l}$ and the Dicke state $| \Xi_{n-k,m-l} \rangle$. We derive various types of asymptotic distribution including a kind of central limit theorem when $n$ goes to infinity.

categories: math-ph math.CA math.MP math.PR math.RT quant-ph


title: Adaptive variational quantum eigensolvers for highly excited states

abstract: Highly excited states of quantum many-body systems are central objects in the study of quantum dynamics and thermalization that challenge classical computational methods due to their volume-law entanglement content. In this work, we explore the potential of variational quantum algorithms to approximate such states. We propose an adaptive variational algorithm, adaptive VQE-X, that self-generates a variational ansatz for arbitrary eigenstates of a many-body Hamiltonian $H$ by attempting to minimize the energy variance with respect to $H$. We benchmark the method by applying it to an Ising spin chain with integrable and nonintegrable regimes, where we calculate various quantities of interest, including the total energy, magnetization density, and entanglement entropy. We also compare the performance of adaptive VQE-X to an adaptive variant of the folded-spectrum method. For both methods, we find a strong dependence of the algorithm's performance on the choice of operator pool used for the adaptive construction of the ansatz. In particular, an operator pool including long-range two-body gates accelerates the convergence of both algorithms in the nonintegrable regime. We also study the scaling of the number of variational parameters with system size, finding that an exponentially large number of parameters may be necessary to approximate individual highly excited states. Nevertheless, we argue that these methods lay a foundation for the use of quantum algorithms to study finite-energy-density properties of many-body systems.


title: Hyperbolic Brunnian links

abstract: We present practical methods to show a Brunnian link is hyperbolic. The methods, belonging to geometric topology, are based on observation, worked by hand and generally applicable. Typical examples illustrate their efficiency. We thus determine hyperbolicity for all of the known Brunnian links in literatures except two series. Especially, we discover 6 infinite series of hyperbolic Brunnian links.


title: Minimizing the Probability of Lifetime Exponential Parisian Ruin

abstract: We find the optimal investment strategy in a Black-Scholes market to minimize the probability of so-called {\it lifetime exponential Parisian ruin}, that is, the probability that wealth exhibits an excursion below zero of an exponentially distributed time before the individual dies. We find that leveraging the risky asset is worse for negative wealth when minimizing the probability of lifetime exponential Parisian ruin than when minimizing the probability of lifetime ruin. Moreover, when wealth is negative, the optimal amount invested in the risky asset increases as the hazard rate of the exponential ``excursion clock'' increases. In view of the heavy leveraging when wealth is negative, we also compute the minimum probability of lifetime exponential Parisian ruin under a constraint on investment. Finally, we derive an asymptotic expansion of the minimum probability of lifetime exponential Parisian ruin for small values of the hazard rate of the excursion clock. It is interesting to find that, for small values of this hazard rate, the minimum probability of lifetime exponential Parisian ruin is proportional to the minimum occupation time studied in Bayraktar and Young, and the proportion equals the hazard rate. To the best of our knowledge, our work is the first to {\it control} the probability of Parisian ruin.


title: Generalizing treatment effects with incomplete covariates: identifying assumptions and multiple imputation algorithms

abstract: We focus on the problem of generalizing a causal effect estimated on a randomized controlled trial (RCT) to a target population described by a set of covariates from observational data. Available methods such as inverse propensity sampling weighting are not designed to handle missing values, which are however common in both data sources. In addition to coupling the assumptions for causal effect identifiability and for the missing values mechanism and to defining appropriate estimation strategies, one difficulty is to consider the specific structure of the data with two sources and treatment and outcome only available in the RCT. We propose three multiple imputation strategies to handle missing values when generalizing treatment effects, each handling the multi-source structure of the problem differently (separate imputation, joint imputation with fixed effect, joint imputation ignoring source information). As an alternative to multiple imputation, we also propose a direct estimation approach that treats incomplete covariates as semi-discrete variables. The multiple imputation strategies and the latter alternative rely on different sets of assumptions concerning the impact of missing values on identifiability. We discuss these assumptions and assess the methods through an extensive simulation study. This work is motivated by the analysis of a large registry of over 20,000 major trauma patients and an RCT studying the effect of tranexamic acid administration on mortality in major trauma patients admitted to ICU. The analysis illustrates how the missing values handling can impact the conclusion about the effect generalized from the RCT to the target population.


title: Combining incentives for pollination with collective action to provide a bundle of ecosystem services in farmland

abstract: A polycentric approach to ecosystem service (ES) governance that combines individual incentives for interdependent ES providers with collective action is a promising lever to overcome the decline in ES and generate win-win solutions in agricultural landscapes. In this study, we explored the effectiveness of such an approach by focusing on incentives for managed pollination targeting either beekeepers or farmers who were either in communication with each other or not. We used a stylized bioeconomic model to simulate (i) the mutual interdependency through pollination in intensive agricultural landscapes and (ii) the economic and ecological impacts of introducing two beekeeping subsidies and one pesticide tax. The findings showed that incentives generated a spillover effect, affecting not only targeted stakeholders but non-targeted stakeholders as well as the landscape, and that this effect was amplified by communication. However, none of the simulated types of polycentric ES governance proved sustainable overall: subsidies showed excellent economic but low environmental performance, while the tax led to economic losses but was beneficial for the landscape. Based on these results, we identified three conditions for sustainable ES governance based on communication between stakeholders and incentives: (i) strong mutual interdependency (i.e. few alternatives exist for stakeholders), (ii) the benefits of communication outweigh the costs, and (iii) the incentivized ES drivers are not detrimental to other ES. Further research is needed to systematize which combination of individual payments and collaboration are sustainable in which conditions.


title: Efficient Formulation of Collision Avoidance Constraints in Optimization Based Trajectory Planning and Control

abstract: To be applicable to real world scenarios trajectory planning schemes for mobile autonomous systems must be able to efficiently deal with obstacles in the area of operation. In the context of optimization based trajectory planning and control a number of different approaches to formulate collision avoidance constraints can be found in the literature. Here the contribution of the present work is twofold. First, the most popular methods to represent obstacles are summarized, namely the simple ellipsoidal representation, the constructive solid geometry (CSG) method as well as a direct and an indirect implementation of a signed distance based approach. The formulations are characterized with respect to the impact on the complexity of the optimization problem, as well as the ability to meet different problem requirements. Second, this work presents a novel variant of the CSG method to describe collision avoidance constraints. It is highly efficient due to a very low number of nonlinear inequality constraints required for a given number of obstacles and sample points and in contrast to the original CSG formulation allows to consider the controlled system's shape. The good performance of the proposed formulation is demonstrated by a comparison to the previously mentioned alternatives. To this end optimal trajectory planning for marine surface vessels formulated as a nonlinear programming problem is used as a benchmark example where the scenario is designed based on the maritime test field in Kiel, Germany.


title: CompOFA: Compound Once-For-All Networks for Faster Multi-Platform Deployment

abstract: The emergence of CNNs in mainstream deployment has necessitated methods to design and train efficient architectures tailored to maximize the accuracy under diverse hardware & latency constraints. To scale these resource-intensive tasks with an increasing number of deployment targets, Once-For-All (OFA) proposed an approach to jointly train several models at once with a constant training cost. However, this cost remains as high as 40-50 GPU days and also suffers from a combinatorial explosion of sub-optimal model configurations. We seek to reduce this search space -- and hence the training budget -- by constraining search to models close to the accuracy-latency Pareto frontier. We incorporate insights of compound relationships between model dimensions to build CompOFA, a design space smaller by several orders of magnitude. Through experiments on ImageNet, we demonstrate that even with simple heuristics we can achieve a 2x reduction in training time and 216x speedup in model search/extraction time compared to the state of the art, without loss of Pareto optimality! We also show that this smaller design space is dense enough to support equally accurate models for a similar diversity of hardware and latency targets, while also reducing the complexity of the training and subsequent extraction algorithms.


title: Exploring Bayesian Deep Learning for Urgent Instructor Intervention Need in MOOC Forums

abstract: Massive Open Online Courses (MOOCs) have become a popular choice for e-learning thanks to their great flexibility. However, due to large numbers of learners and their diverse backgrounds, it is taxing to offer real-time support. Learners may post their feelings of confusion and struggle in the respective MOOC forums, but with the large volume of posts and high workloads for MOOC instructors, it is unlikely that the instructors can identify all learners requiring intervention. This problem has been studied as a Natural Language Processing (NLP) problem recently, and is known to be challenging, due to the imbalance of the data and the complex nature of the task. In this paper, we explore for the first time Bayesian deep learning on learner-based text posts with two methods: Monte Carlo Dropout and Variational Inference, as a new solution to assessing the need of instructor interventions for a learner's post. We compare models based on our proposed methods with probabilistic modelling to its baseline non-Bayesian models under similar circumstances, for different cases of applying prediction. The results suggest that Bayesian deep learning offers a critical uncertainty measure that is not supplied by traditional neural networks. This adds more explainability, trust and robustness to AI, which is crucial in education-based applications. Additionally, it can achieve similar or better performance compared to non-probabilistic neural networks, as well as grant lower variance.


title: Impact of field heterogeneity on the dynamics of the forced Kuramoto model

abstract: We studied the impact of field heterogeneity on entrainment in a system of uniformly interacting phase oscillators. Field heterogeneity is shown to induce dynamical heterogeneity in the system. In effect, the heterogeneous field partitions the system into interacting groups of oscillators that feel the same local field strength and phase. Based on numerical and analytical analysis of the explicit dynamical equations derived from the periodically forced Kuramoto model, we found that the heterogeneous field can disrupt entrainment at different field frequencies when compared to the homogeneous field. This transition occurs when the phase- and frequency-locked synchronization between groups of oscillators is broken at a critical field frequency, causing each group to enter a new dynamical state (disrupted state). Strikingly, it is shown that disrupted dynamics can differ between groups.


title: Cohomological Descent for Faltings' $p$-adic Hodge Theory and Applications

abstract: Faltings' approach in $p$-adic Hodge theory can be schematically divided into two main steps: firstly, a local reduction of the computation of the $p$-adic \'etale cohomology of a smooth variety over a $p$-adic local field to a Galois cohomology computation and then, the establishment of a link between the latter and differential forms. These relations are organized through Faltings ringed topos whose definition relies on the choice of an integral model of the variety, and whose good properties depend on the (logarithmic) smoothness of this model. Scholze's generalization for rigid analytic varieties has the advantage of depending only on the variety (i.e. the generic fibre). Inspired by Deligne's approach to classical Hodge theory for singular varieties, we establish a cohomological descent result for the structural sheaf of Faltings topos, which makes it possible to extend Faltings' approach to any integral model, i.e. without any smoothness assumption. An essential ingredient of our proof is a descent result of perfectoid algebras in the arc-topology due to Bhatt and Scholze. As an application of our cohomological descent, using a variant of de Jong's alteration theorem for morphisms of schemes due to Gabber-Illusie-Temkin, we generalize Faltings' main $p$-adic comparison theorem to any proper and finitely presented morphism of coherent schemes over an absolute integral closure of $\mathbb{Z}_p$ (without any assumption of smoothness) for torsion \'etale sheaves (not necessarily finite locally constant). As a second application, we prove a local version of the relative Hodge-Tate filtration as a consequence of the global version constructed by Abbes-Gros.


title: Effect of data gaps on the detectability and parameter estimation of massive black hole binaries with LISA

abstract: Massive black hole binaries are expected to provide the strongest gravitational wave signals for the Laser Interferometer Space Antenna (LISA), a space mission targeting $\sim\,$mHz frequencies. As a result of the technological challenges inherent in the mission's design, implementation and long duration (4 yr nominal), the LISA data stream is expected to be affected by relatively long gaps where no data is collected (either because of hardware failures, or because of scheduled maintenance operations, such as re-pointing of the antennas toward the Earth). Depending on their mass, massive black hole binary signals may range from quasi-transient to very long lived, and it is unclear how data gaps will impact detection and parameter estimation of these sources. Here, we will explore this question by using state-of-the-art astrophysical models for the population of massive black hole binaries. We will investigate the potential detectability of MBHB signals by observing the effect of gaps on their signal-to-noise ratios. We will also assess the effect of the gaps on parameter estimation for these sources, using the Fisher Information Matrix formalism as well as full Bayesian analyses. Overall, we find that the effect of data gaps due to regular maintenance of the spacecraft is negligible, except for systems that coalesce within such a gap. The effect of unscheduled gaps, however, will probably be more significant than that of scheduled ones.


title: A Survey Of Regression Algorithms And Connections With Deep Learning

abstract: Regression has attracted immense interest lately due to its effectiveness in tasks like predicting values. And Regression is of widespread use in multiple fields such as Economics, Finance, Business, Biology and so on. While considerable studies have proposed some impressive models, few of them have provided a whole picture regarding how and to what extent Regression has developed. With the aim of aiding beginners in understanding the relationships among different Regression algorithms, this paper characterizes a broad and thoughtful selection of recent regression algorithms, providing an organized and comprehensive overview of existing work and models utilized frequently. In this paper, the relationship between Regression and Deep Learning is also discussed and a conclusion can be drawn that Deep Learning can be more powerful as an combination with Regression models in the future.


title: Bath mediated decay of density waves in a disordered Bose lattice gas

abstract: Motivated by a recent experiment, we study the dynamics of bosons in a disordered optical lattice, interacting with a variably sized bath of disorder free atoms. As the number of particles in the bath is increased, there is a transition between "localized" and "ergodic" behavior, which are characterized by the long-time behavior of an initial density wave. We model the dynamics with a stochastic mean field theory, reproducing the central observations of the experiment. A key conclusion from our study is that particle loss plays an important role.


title: Connective Models for Topological Modular Forms of Level $n$

abstract: The goal of this article is to construct and study connective versions of topological modular forms of higher level like $\mathrm{tmf}_1(n)$. In particular, we use them to realize Hirzebruch's level-$n$ genus as a map of ring spectra.


title: Inversion of simulated and experimental light scattering data for characterization of two-dimensional randomly rough metal surfaces

abstract: An approach is presented for the inversion of simulated and experimental in-plane, co-polarized light scattering data in p and s polarization to obtain the normalized surface-height autocorrelation function and the rms-roughness of a two-dimensional randomly rough metal surface. The approach is based on an expression, obtained on the basis of second-order phase perturbation theory, for the contribution to the mean differential reflection coefficient from the light scattered diffusely by the rough surface. The inversion scheme is validated by using several sets of computer generated scattering data for rough silver surfaces defined by Gaussian surface height correlation functions. The reconstructions obtained by this approach are found to be rather accurate for weakly rough surfaces illuminated by p- and s-polarized incident light; this is also true in cases where the contributions to the input data from multiple scattering of surface plasmon polaritons is not insignificant. Finally, the inversion scheme is applied to experimental scattering data obtained for characterized two-dimensional randomly rough gold surfaces, and the results obtained in this way, compare favorably to what is obtained by directly analyzing the surface morphology. Such results testify to the attractiveness of the computationally efficient inversion scheme that we propose.


title: Hole-induced anomaly in the thermodynamic behavior of a one-dimensional Bose gas

abstract: We reveal an intriguing anomaly in the temperature dependence of the specific heat of a one-dimensional Bose gas. The observed peak holds for arbitrary interaction and remembers a superfluid-to-normal phase transition in higher dimensions, but phase transitions are not allowed in one dimension. The presence of the anomaly signals a region of unpopulated states which behaves as an energy gap and is located below the hole branch in the excitation spectrum. The anomaly temperature is found to be of the same order of the energy of the maximum of the hole branch. We rely on the Bethe Ansatz to obtain the specific heat exactly and provide interpretations of the analytically tractable limits. The dynamic structure factor is computed with the Path Integral Monte Carlo method for the first time. We notice that at temperatures similar to the anomaly threshold, the energy of the thermal fluctuations become comparable with the maximal hole energy, leading to a qualitative change in the structure of excitations. This excitation pattern experiences the breakdown of the quasi-particle description for any value of the interaction strength at the anomaly, similarly to any superfluid phase transition at the critical temperature. We provide indications for future observations and how the hole anomaly can be employed for in-situ thermometry, identifying different collisional regimes and understanding other anomalies in atomic, solid-state, electronic, spin-chain and ladder systems.

categories: cond-mat.quant-gas cond-mat.mtrl-sci cond-mat.other cond-mat.str-el physics.comp-ph


title: Mixed properties of slow magnetoacoustic and entropy waves in a plasma with heating/cooling misbalance

abstract: The processes of the coronal plasma heating and cooling were previously shown to significantly affect the dynamics of slow magnetoacoustic (MA) waves, causing amplification or attenuation, and also dispersion. However, the entropy mode is also excited in such a thermodynamically active plasma and is affected by the heating/cooling misbalance too. This mode is usually associated with the phenomenon of coronal rain and formation of prominences. Unlike the adiabatic plasmas, the properties and evolution of slow MA and entropy waves in continuously heated and cooling plasmas get mixed. Different regimes of the misbalance lead to a variety of scenarios for the initial perturbation to evolve. In order to describe properties and evolution of slow MA and entropy waves in various regimes of the misbalance, we obtained an exact analytical solution of the linear evolutionary equation. Using the characteristic timescales and the obtained exact solution, we identified regimes with qualitatively different behaviour of slow MA and entropy modes. For some of those regimes, the spatio-temporal evolution of the initial Gaussian pulse is shown. In particular, it is shown that slow MA modes may have a range of non-propagating harmonics. In this regime, perturbations caused by slow MA and entropy modes in a low-$\beta$ plasma would look identically in observations, as non-propagating disturbances of the plasma density (and temperature) either growing or decaying with time. We also showed that the partition of the initial energy between slow MA and entropy modes depends on the properties of the heating and cooling processes involved. The obtained exact analytical solution could be further applied to the interpretation of observations and results of numerical modelling of slow MA waves in the corona and the formation and evolution of coronal rain.


title: I am Definitely Manipulated, Even When I am Aware of it. It s Ridiculous! -- Dark Patterns from the End-User Perspective

abstract: Online services pervasively employ manipulative designs (i.e., dark patterns) to influence users to purchase goods and subscriptions, spend more time on-site, or mindlessly accept the harvesting of their personal data. To protect users from the lure of such designs, we asked: are users aware of the presence of dark patterns? If so, are they able to resist them? By surveying 406 individuals, we found that they are generally aware of the influence that manipulative designs can exert on their online behaviour. However, being aware does not equip users with the ability to oppose such influence. We further find that respondents, especially younger ones, often recognise the "darkness" of certain designs, but remain unsure of the actual harm they may suffer. Finally, we discuss a set of interventions (e.g., bright patterns, design frictions, training games, applications to expedite legal enforcement) in the light of our findings.


title: Stronger Bounds for Weak Epsilon-Nets in Higher Dimensions

abstract: Given a finite point set $P$ in ${\mathbb R}^d$, and $\epsilon>0$ we say that $N\subseteq{ \mathbb R}^d$ is a weak $\epsilon$-net if it pierces every convex set $K$ with $|K\cap P|\geq \epsilon |P|$. We show that for any finite point set in dimension $d\geq 3$, and any $\epsilon>0$, one can construct a weak $\epsilon$-net whose cardinality is $\displaystyle O^*\left(\frac{1}{\epsilon^{2.558}}\right)$ in dimension $d=3$, and $\displaystyle o\left(\frac{1}{\epsilon^{d-1/2}}\right)$ in all dimensions $d\geq 4$. To be precise, our weak $\epsilon$-net has cardinality $\displaystyle O\left(\frac{1}{\epsilon^{\alpha_d+\gamma}}\right)$ for any $\gamma>0$, with $$ \alpha_d= \left\{ \begin{array}{l} 2.558 & \text{if} \ d=3 \\3.48 & \text{if} \ d=4 \\\left(d+\sqrt{d^2-2d}\right)/2 & \text{if} \ d\geq 5. \end{array}\right\} $$ This is the first significant improvement of the bound of $\displaystyle \tilde{O}\left(\frac{1}{\epsilon^d}\right)$ that was obtained in 1993 by Chazelle, Edelsbrunner, Grigni, Guibas, Sharir, and Welzl for general point sets in dimension $d\geq 3$.


title: The homology of the lamplighter Lie algebra

abstract: We show that the associated Lie algebra of the Malcev $\mathbb{Q}$-completion of the lamplighter group is the pronilpotent completion of the lamplighter Lie algebra. We also prove that the homology of this completed Lie algebra is of uncountable dimension on each degree.


title: An explicit calculation of pseudo-goldstino mass at the leading three-loop level

abstract: Pseudo-goldstinos appear in the scenario of multi-sector SUSY breaking. Unlike the true goldstino which is massless and absorbed by the gravitino, pseudo-goldstinos could obtain mass from radiative effects. In this note, working in the scenario of two-sector SUSY breaking with gauge mediation, we explicitly calculate the pseudo-goldstino mass at the leading three-loop level and provide the analytical results. In our calculation we consider the general case of messenger masses (not necessarily equal) and include the higher order terms of SUSY breaking scales. Our results can reproduce the numerical value estimated previously at the leading order of SUSY breaking scales with the assumption of equal messenger masses. It turns out that the results are very sensitive to the ratio of messenger masses, while the higher order terms of SUSY breaking scales are rather small in magnitude. Depending on the ratio of messenger masses, the pseudo-goldstino mass can be as low as ${{\cal O} (0.1)}$ GeV.


title: tsrobprep - an R package for robust preprocessing of time series data

abstract: Data cleaning is a crucial part of every data analysis exercise. Yet, the currently available R packages do not provide fast and robust methods for cleaning and preparation of time series data. The open source package tsrobprep introduces efficient methods for handling missing values and outliers using model based approaches. For data imputation a probabilistic replacement model is proposed, which may consist of autoregressive components and external inputs. For outlier detection a clustering algorithm based on finite mixture modelling is introduced, which considers time series properties in terms of the gradient and the underlying seasonality as features. The procedure allows to return a probability for each observation being outlying data as well as a specific cause for an outlier assignment in terms of the provided feature space. The methods work robust and are fully tunable. Moreover, by providing the auto_data_cleaning function the data preprocessing can be carried out in one cast, without comprehensive tuning and providing suitable results. The primary motivation of the package is the preprocessing of energy system data. We present application for electricity load, wind and solar power data.


title: Cyclic forms on DG-Lie algebroids and semiregularity

abstract: Given a transitive DG-Lie algebroid $(\mathcal{A}, \rho)$ over a smooth separated scheme $X$ of finite type over a field $\mathbb{K}$ of characteristic $0$ we define a notion of connection $\nabla \colon \mathbf{R}\Gamma(X,\mathrm{Ker} \rho) \to \mathbf{R}\Gamma (X,\Omega_X^1[-1]\otimes \mathrm{Ker} \rho)$ and construct an $L_\infty$ morphism between DG-Lie algebras $f \colon \mathbf{R}\Gamma(X, \mathrm{Ker} \rho) \rightsquigarrow\mathbf{R}\Gamma(X, \Omega_X^{\leq 1} [2])$ associated to a connection and to a cyclic form on the DG-Lie algebroid. In this way, we obtain a lifting of the first component of the modified Buchweitz-Flenner semiregularity map in the algebraic context, which has an application to the deformation theory of coherent sheaves on $X$ admitting a finite locally free resolution. Another application is to the deformations of (Zariski) principal bundles on $X$.


title: Public disorder and transport networks in the Latin American Context

abstract: We propose an extension of the Davies et al. model, used to describe the London riots of 2011. This addition allows us to consider long travel distances in a city for potential rioting population. This is achieved by introducing public transport networks, which modifies the perceived travel distance between the population and likely targets. Using this more general formulation, we applied the model to the typical Griffin and Ford pattern for population distribution to describe the general features of most large Latin American cities. The possibility of long-range traveling by part of the general population has, for an immediate consequence, the existence of isolated spots more prone to suffer from rioting activity, as they are easier to reach than the rest of the city. These areas finally made it easier to control the eventual disorder by part of police forces. The reason for this outcome is that transport networks turn riots into highly localized and intense events. They are attracting a large police contingent, which will later extinguish the remaining disorder activity on the rest of the city. Therefore, working transport networks in a city effectively reduces the number of police force contingent required to control public disorder. This result, we must remark, is valid only if the model requisites for order forces are satisfied: extra police contingent can be added swiftly as required, and these forces can move around the city with total freedom.


title: An inequality on polarized endomorphisms

abstract: We show that assuming the standard conjectures, for any smooth projective variety $X$ of dimension $n$ over an algebraically closed field, there is a constant $C>0$ such that for any positive rational number $r$ and for any polarized endomorphism $f$ of $X$, we have \[ \| G_r \circ f \| \le C \, \mathrm{deg}(G_r \circ f), \] where $G_r$ is a correspondence of $X$ so that for each $0\le i\le 2n$ its pullback action on the $i$-th Weil cohomology group is the multiplication-by-$r^i$ map. This inequality has been conjectured by the authors to hold in a more general setting, which - in the special case of polarized endomorphisms - confirms the validity of the analog of a well known result by Serre in the K\"ahler setting.


title: On the Existence of the Coleman Instantons

abstract: We identify infinite classes of potentials for which the Coleman instantons do not exist. For these potentials, the decay of a false vacuum must be described by the new instantons introduced in [7,8].

categories: hep-th gr-qc hep-ph math-ph math.MP quant-ph


title: Homology of strict $\omega$-categories

abstract: In this dissertation, we compare the "classical" homology of an $\omega$-category (defined as the homology of its Street nerve) with its polygraphic homology. More precisely, we prove that both homologies generally do not coincide and call homologically coherent the particular strict $\omega$-categories for which polygraphic homology and homology of the nerve do coincide. The goal pursued is to find abstract and concrete criteria to detect homologically coherent $\omega$-categories. For example, we prove that all (small) categories, considered as strict $\omega$-categories with unit cells above dimension 1, are homologically coherent. We also introduce the notion of bubble-free 2-category and conjecture that a cofibrant 2-category is homologically coherent if and only if it is bubble-free. We also prove important results concerning free strict $\omega$-categories on polygraphs (also known as computads), such as the fact that if F is a discrete Conduch\'e $\omega$-functor from C to D and if D is a free strict $\omega$-category on a polygraph, then so is C. Overall, this thesis achieves to build a general framework in which to study the homology of strict $\omega$-categories using tools of abstract homotopical algebra such as Quillen's theory of model categories or Grothendieck's theory of derivators.


title: CAGAN: Text-To-Image Generation with Combined Attention GANs

abstract: Generating images according to natural language descriptions is a challenging task. Prior research has mainly focused to enhance the quality of generation by investigating the use of spatial attention and/or textual attention thereby neglecting the relationship between channels. In this work, we propose the Combined Attention Generative Adversarial Network (CAGAN) to generate photo-realistic images according to textual descriptions. The proposed CAGAN utilises two attention models: word attention to draw different sub-regions conditioned on related words; and squeeze-and-excitation attention to capture non-linear interaction among channels. With spectral normalisation to stabilise training, our proposed CAGAN improves the state of the art on the IS and FID on the CUB dataset and the FID on the more challenging COCO dataset. Furthermore, we demonstrate that judging a model by a single evaluation metric can be misleading by developing an additional model adding local self-attention which scores a higher IS, outperforming the state of the art on the CUB dataset, but generates unrealistic images through feature repetition.


title: Pattern-restricted permutations composed of 3-cycles

abstract: In this paper, we characterize and enumerate pattern-avoiding permutations composed of only 3-cycles. In particular, we answer the question for the six patterns of length 3. We find that the number of permutations composed of $n$ 3-cycles that avoid the pattern 231 (equivalently 312) is given by $3^{n-1}$, while the generating function for the number of those that avoid the pattern 132 (equivalently 213) is given by a formula involving the generating functions for the well-known Motzkin numbers and Catalan numbers. The number of permutations composed of $n$ 3-cycles that avoid the pattern 321 is characterized by a weighted sum involving statistics on Dyck paths of semilength~$n$.


title: Clean Images are Hard to Reblur: Exploiting the Ill-Posed Inverse Task for Dynamic Scene Deblurring

abstract: The goal of dynamic scene deblurring is to remove the motion blur in a given image. Typical learning-based approaches implement their solutions by minimizing the L1 or L2 distance between the output and the reference sharp image. Recent attempts adopt visual recognition features in training to improve the perceptual quality. However, those features are primarily designed to capture high-level contexts rather than low-level structures such as blurriness. Instead, we propose a more direct way to make images sharper by exploiting the inverse task of deblurring, namely, reblurring. Reblurring amplifies the remaining blur to rebuild the original blur, however, a well-deblurred clean image with zero-magnitude blur is hard to reblur. Thus, we design two types of reblurring loss functions for better deblurring. The supervised reblurring loss at training stage compares the amplified blur between the deblurred and the sharp images. The self-supervised reblurring loss at inference stage inspects if there noticeable blur remains in the deblurred. Our experimental results on large-scale benchmarks and real images demonstrate the effectiveness of the reblurring losses in improving the perceptual quality of the deblurred images in terms of NIQE and LPIPS scores as well as visual sharpness.


title: Predicting the self-lensing population in optical surveys

abstract: The vast majority of binaries containing a compact object and a regular star spend most of their time in a quiescent state where no strong interactions occur between components. Detection of these binaries is extremely challenging and only few candidates have been detected through optical spectroscopy. Self-lensing represents a new means of detecting compact objects in binaries, where gravitational lensing of the light from the visible component by the compact object produces periodic optical flares. Here we show that current and planned large-area optical surveys can detect a significant number ($\sim 100$-$10,000$s) of these self-lensing binaries and provide insights into the properties of the compact lenses. We show that many of the predicted population of observable self-lensing binaries will be observed with multiple self-lensing flares; this both improves the chances of detection and also immediately distinguishes them from chance-alignment micro-lensing events. Through self-lensing we can investigate long - but previously hidden - stages of binary evolution and consequently provide new constraints on evolutionary models which impact on the number and nature of double compact object mergers.


title: A Low-Complexity MIMO Channel Estimator with Implicit Structure of a Convolutional Neural Network

abstract: A low-complexity convolutional neural network estimator which learns the minimum mean squared error channel estimator for single-antenna users was recently proposed. We generalize the architecture to the estimation of MIMO channels with multiple-antenna users and incorporate complexity-reducing assumptions based on the channel model. Learning is used in this context to combat the mismatch between the assumptions and real scenarios where the assumptions may not hold. We derive a high-level description of the estimator for arbitrary choices of the pilot sequence. It turns out that the proposed estimator has the implicit structure of a two-layered convolutional neural network, where the derived quantities can be relaxed to learnable parameters. We show that by using discrete Fourier transform based pilots the number of learnable network parameters decreases significantly and the online run time of the estimator is reduced considerably, where we can achieve linearithmic order of complexity in the number of antennas. Numerical results demonstrate performance gains compared to state-of-the-art algorithms from the field of compressive sensing or covariance estimation of the same or even higher computational complexity. The simulation code is available online.


title: Appearance-based Gaze Estimation With Deep Learning: A Review and Benchmark

abstract: Human gaze provides valuable information on human focus and intentions, making it a crucial area of research. Recently, deep learning has revolutionized appearance-based gaze estimation. However, due to the unique features of gaze estimation research, such as the unfair comparison between 2D gaze positions and 3D gaze vectors and the different pre-processing and post-processing methods, there is a lack of a definitive guideline for developing deep learning-based gaze estimation algorithms. In this paper, we present a systematic review of the appearance-based gaze estimation methods using deep learning. Firstly, we survey the existing gaze estimation algorithms along the typical gaze estimation pipeline: deep feature extraction, deep learning model design, personal calibration and platforms. Secondly, to fairly compare the performance of different approaches, we summarize the data pre-processing and post-processing methods, including face/eye detection, data rectification, 2D/3D gaze conversion and gaze origin conversion. Finally, we set up a comprehensive benchmark for deep learning-based gaze estimation. We characterize all the public datasets and provide the source code of typical gaze estimation algorithms. This paper serves not only as a reference to develop deep learning-based gaze estimation methods, but also a guideline for future gaze estimation research. The project web page can be found at https://phi-ai.buaa.edu.cn/Gazehub.


title: Exploiting Explanations for Model Inversion Attacks

abstract: The successful deployment of artificial intelligence (AI) in many domains from healthcare to hiring requires their responsible use, particularly in model explanations and privacy. Explainable artificial intelligence (XAI) provides more information to help users to understand model decisions, yet this additional knowledge exposes additional risks for privacy attacks. Hence, providing explanation harms privacy. We study this risk for image-based model inversion attacks and identified several attack architectures with increasing performance to reconstruct private image data from model explanations. We have developed several multi-modal transposed CNN architectures that achieve significantly higher inversion performance than using the target model prediction only. These XAI-aware inversion models were designed to exploit the spatial knowledge in image explanations. To understand which explanations have higher privacy risk, we analyzed how various explanation types and factors influence inversion performance. In spite of some models not providing explanations, we further demonstrate increased inversion performance even for non-explainable target models by exploiting explanations of surrogate models through attention transfer. This method first inverts an explanation from the target prediction, then reconstructs the target image. These threats highlight the urgent and significant privacy risks of explanations and calls attention for new privacy preservation techniques that balance the dual-requirement for AI explainability and privacy.


title: Maxwell-Modified Metric Affine Gravity

abstract: We present a gauge formulation of the special affine algebra extended to include an antisymmetric tensorial generator belonging to the tensor representation of the special linear group. We then obtain a Maxwell modified metric affine gravity action with a cosmological constant term. We find the field equations of the theory and show that the theory reduces to an Einstein-like equation for metric affine gravity with the source added to the gravity equations with cosmological constant \mu contains linear contributions from the new gauge fields. The reduction of the Maxwell metric affine gravity to Riemann-Cartan one is discussed and the shear curvature tensor corresponding to the symmetric part of the special linear connection is identified with the dark energy. Furthermore, the new gauge fields interpreted as geometrical inflaton vector fields which drive accelerated expansion.


title: Multimodal Clustering Networks for Self-supervised Learning from Unlabeled Videos

abstract: Multimodal self-supervised learning is getting more and more attention as it allows not only to train large networks without human supervision but also to search and retrieve data across various modalities. In this context, this paper proposes a self-supervised training framework that learns a common multimodal embedding space that, in addition to sharing representations across different modalities, enforces a grouping of semantically similar instances. To this end, we extend the concept of instance-level contrastive learning with a multimodal clustering step in the training pipeline to capture semantic similarities across modalities. The resulting embedding space enables retrieval of samples across all modalities, even from unseen datasets and different domains. To evaluate our approach, we train our model on the HowTo100M dataset and evaluate its zero-shot retrieval capabilities in two challenging domains, namely text-to-video retrieval, and temporal action localization, showing state-of-the-art results on four different datasets.


title: A Novel Interaction-based Methodology Towards Explainable AI with Better Understanding of Pneumonia Chest X-ray Images

abstract: In the field of eXplainable AI (XAI), robust "blackbox" algorithms such as Convolutional Neural Networks (CNNs) are known for making high prediction performance. However, the ability to explain and interpret these algorithms still require innovation in the understanding of influential and, more importantly, explainable features that directly or indirectly impact the performance of predictivity. A number of methods existing in literature focus on visualization techniques but the concepts of explainability and interpretability still require rigorous definition. In view of the above needs, this paper proposes an interaction-based methodology -- Influence Score (I-score) -- to screen out the noisy and non-informative variables in the images hence it nourishes an environment with explainable and interpretable features that are directly associated to feature predictivity. We apply the proposed method on a real world application in Pneumonia Chest X-ray Image data set and produced state-of-the-art results. We demonstrate how to apply the proposed approach for more general big data problems by improving the explainability and interpretability without sacrificing the prediction performance. The contribution of this paper opens a novel angle that moves the community closer to the future pipelines of XAI problems.


title: Joint Representation Learning and Novel Category Discovery on Single- and Multi-modal Data

abstract: This paper studies the problem of novel category discovery on single- and multi-modal data with labels from different but relevant categories. We present a generic, end-to-end framework to jointly learn a reliable representation and assign clusters to unlabelled data. To avoid over-fitting the learnt embedding to labelled data, we take inspiration from self-supervised representation learning by noise-contrastive estimation and extend it to jointly handle labelled and unlabelled data. In particular, we propose using category discrimination on labelled data and cross-modal discrimination on multi-modal data to augment instance discrimination used in conventional contrastive learning approaches. We further employ Winner-Take-All (WTA) hashing algorithm on the shared representation space to generate pairwise pseudo labels for unlabelled data to better predict cluster assignments. We thoroughly evaluate our framework on large-scale multi-modal video benchmarks Kinetics-400 and VGG-Sound, and image benchmarks CIFAR10, CIFAR100 and ImageNet, obtaining state-of-the-art results.


title: The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle/ZF

abstract: The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF. The proof builds upon a previous mechanization of the reflection theorem. The heavy reliance on metatheory in the original proof makes the formalization unusually long, and not entirely satisfactory: two parts of the proof do not fit together. It seems impossible to solve these problems without formalizing the metatheory. However, the present development follows a standard textbook, Kunen's Set Theory, and could support the formalization of further material from that book. It also serves as an example of what to expect when deep mathematics is formalized.


title: Daily Turking: Designing Longitudinal Daily-task Studies on Mechanical Turk

abstract: In this paper, we present our system design for conducting longitudinal daily-task studies with the same workers throughout on Amazon Mechanical Turk. We implement this system to conduct a study into touch dynamics, and present our experiences, challenges and lessons learned from doing so. Study participants installed our application on their Apple iOS phones and completed two tasks daily for 31 days. Each task involves performing a series of scrolling or swiping gestures, from which behavioral information such as movement speed or pressure is extracted. The completion of the daily tasks did not require extra interaction with the Mechanical Turk platform, yet paid workers through it. This differs somewhat from the typical rapid completion of one-off tasks that workers are used to on Amazon Mechanical Turk. This atypical use of the platform prompted us to evaluate aspects related to long-term worker retention and engagement over the study period, in particular the impacts of payment schedule (amount and structure over time) and reminder notifications. We also investigate the specific concern of reconciling informed consent with workers' desire to complete tasks quickly. We find that using the Mechanical Turk platform for conducting longitudinal daily task studies is a viable method to augment or replace traditional lab studies.


title: Solving a class of non-convex min-max games using adaptive momentum methods

abstract: Adaptive momentum methods have recently attracted a lot of attention for training of deep neural networks. They use an exponential moving average of past gradients of the objective function to update both search directions and learning rates. However, these methods are not suited for solving min-max optimization problems that arise in training generative adversarial networks. In this paper, we propose an adaptive momentum min-max algorithm that generalizes adaptive momentum methods to the non-convex min-max regime. Further, we establish non-asymptotic rates of convergence for the proposed algorithm when used in a reasonably broad class of non-convex min-max optimization problems. Experimental results illustrate its superior performance vis-a-vis benchmark methods for solving such problems.


title: Non-Parametric Few-Shot Learning for Word Sense Disambiguation

abstract: Word sense disambiguation (WSD) is a long-standing problem in natural language processing. One significant challenge in supervised all-words WSD is to classify among senses for a majority of words that lie in the long-tail distribution. For instance, 84% of the annotated words have less than 10 examples in the SemCor training data. This issue is more pronounced as the imbalance occurs in both word and sense distributions. In this work, we propose MetricWSD, a non-parametric few-shot learning approach to mitigate this data imbalance issue. By learning to compute distances among the senses of a given word through episodic training, MetricWSD transfers knowledge (a learned metric space) from high-frequency words to infrequent ones. MetricWSD constructs the training episodes tailored to word frequencies and explicitly addresses the problem of the skewed distribution, as opposed to mixing all the words trained with parametric models in previous work. Without resorting to any lexical resources, MetricWSD obtains strong performance against parametric alternatives, achieving a 75.1 F1 score on the unified WSD evaluation benchmark (Raganato et al., 2017b). Our analysis further validates that infrequent words and senses enjoy significant improvement.


title: Semi-Decentralized Federated Edge Learning for Fast Convergence on Non-IID Data

abstract: Federated edge learning (FEEL) has emerged as an effective approach to reduce the large communication latency in Cloud-based machine learning solutions, while preserving data privacy. Unfortunately, the learning performance of FEEL may be compromised due to limited training data in a single edge cluster. In this paper, we investigate a novel framework of FEEL, namely semi-decentralized federated edge learning (SD-FEEL). By allowing model aggregation across different edge clusters, SD-FEEL enjoys the benefit of FEEL in reducing the training latency, while improving the learning performance by accessing richer training data from multiple edge clusters. A training algorithm for SD-FEEL with three main procedures in each round is presented, including local model updates, intra-cluster and inter-cluster model aggregations, which is proved to converge on non-independent and identically distributed (non-IID) data. We also characterize the interplay between the network topology of the edge servers and the communication overhead of inter-cluster model aggregation on the training performance. Experiment results corroborate our analysis and demonstrate the effectiveness of SD-FFEL in achieving faster convergence than traditional federated learning architectures. Besides, guidelines on choosing critical hyper-parameters of the training algorithm are also provided.


title: Impact of Spatial Frequency Based Constraints on Adversarial Robustness

abstract: Adversarial examples mainly exploit changes to input pixels to which humans are not sensitive to, and arise from the fact that models make decisions based on uninterpretable features. Interestingly, cognitive science reports that the process of interpretability for human classification decision relies predominantly on low spatial frequency components. In this paper, we investigate the robustness to adversarial perturbations of models enforced during training to leverage information corresponding to different spatial frequency ranges. We show that it is tightly linked to the spatial frequency characteristics of the data at stake. Indeed, depending on the data set, the same constraint may results in very different level of robustness (up to 0.41 adversarial accuracy difference). To explain this phenomenon, we conduct several experiments to enlighten influential factors such as the level of sensitivity to high frequencies, and the transferability of adversarial perturbations between original and low-pass filtered inputs.


title: Complete solutions of a Lebesgue-Ramanujan-Nagell type equation

abstract: We consider the Lebesgue-Ramanujan-Nagell type equation $x^2+5^a13^b17^c=2^m y^n$, where $a,b,c, m\geq 0, n \geq 3$ and $x, y\geq 1$ are unknown integers with $\gcd(x,y)=1$. We determine all integer solutions to the above equation. The proof depends on the classical results of Bilu, Hanrot and Voutier on primitive divisors in Lehmer sequences, and finding all $S$-integral points on a class of elliptic curves.


title: The ObsMode 2020 Process

abstract: ObsMode is a yearly process which aims at preparing capabilities for future ALMA Observing cycles. The process has been running for a number of years tied to each ALMA observing cycle, with various leaderships. This document specifically summarizes the ObsMode2020 process (April- October 2020) with a new scheme led by the Joint ALMA Observatory. In the ObsMode2020 process, seven capabilities are identified as high priority items, for which it was originally aimed to be ready for Cycle 9. However, because of the observatory shutdown due to the covid-19 pandemic, we were forced to delay the test plan by one year. While no new data sets were obtained during the observatory shutdown, verifications using the existing data allowed us to offer the 7m-array polarization capability (in ACA standalone mode, single field) for Cycle 8 starting from October, 2021. In addition, subsystem readiness and policy-side preparations for the phased array observing mode were improved for Cycle 8. Other high priority items were decided to be carried over to the ObsMode2021 process.


title: Bounds on set exit times of affine systems, using Linear Matrix Inequalities

abstract: Efficient computation of trajectories of switched affine systems becomes possible, if for any such hybrid system, we can manage to efficiently compute the sequence of switching times. Once the switching times have been computed, we can easily compute the trajectories between two successive switches as the solution of an affine ODE. Each switching time can be seen as a positive real root of an analytic function, thereby allowing for efficient computation by using root finding algorithms. These algorithms require a finite interval, within which to search for the switching time. In this paper, we study the problem of computing upper bounds on such switching times, and we restrict our attention to stable time-invariant affine systems. We provide semi-definite programming models to compute upper bounds on the time taken by the trajectories of an affine ODE to exit a set described as the intersection of a few generalized ellipsoids. Through numerical experiments, we show that the resulting bounds are tighter than bounds reported before, while requiring only a modest increase in computation time.


title: Collective Spontaneous Emission in Random Media

abstract: We consider the theory of spontaneous emission for a random medium of stationary two-level atoms. We investigate the dynamics of the field and atomic probability amplitudes for a one-photon state of the system. At long times and large distances, weshow that the corresponding average probability densities can be determined from the solutions to a pair of kinetic equations.


title: MIMO Ambiguity Functions and Harmonic Analysis

abstract: Multi input multi output (MIMO) systems\' capability of using seperate signals brings many advantages to radar signal processing and time frequency analysis. In this paper, a variety of properties of MIMO ambiguity functions related with representations of Heisenberg group are given. Some of the existing results for SIMO ambiguity functions are generalized to MIMO case. Combined effect of seperate signals is investigated.


title: BV operators of the Gerstenhaber algebras of holomorphic polyvector fields on toric varieties

abstract: The vector space of holomorphic polyvector fields on any complex manifold has a natural Gerstenhaber algebra structure. In this paper, we study BV operators of the Gerstenhaber algebras of holomorphic polyvector fields on smooth compact toric varieties. We give a necessary and sufficient condition for the existence of BV operators of the Gerstenhaber algebra of holomorphic polyvector fields on any smooth compact toric variety.