title: Combinatorial Gap Theorem and Reductions between Promise CSPs

abstract: A value of a CSP instance is typically defined as a fraction of constraints that can be simultaneously met. We propose an alternative definition of a value of an instance and show that, for purely combinatorial reasons, a value of an unsolvable instance is bounded away from one; we call this fact a gap theorem. We show that the gap theorem implies NP-hardness of a gap version of the Layered Label Cover Problem. The same result can be derived from the PCP Theorem, but a full, self-contained proof of our reduction is quite short and the result can still provide PCP-free NP-hardness proofs for numerous problems. The simplicity of our reasoning also suggests that weaker versions of Unique-Games-type conjectures, e.g., the d-to-1 conjecture, might be accessible and serve as an intermediate step for proving these conjectures in their full strength. As the second, main application we provide a sufficient condition under which a fixed template Promise Constraint Satisfaction Problem (PCSP) reduces to another PCSP. The correctness of the reduction hinges on the gap theorem, but the reduction itself is very simple. As a consequence, we obtain that every CSP can be canonically reduced to most of the known NP-hard PCSPs, such as the approximate hypergraph coloring problem.


title: Circle actions on oriented manifolds with 3 fixed points

abstract: Let the circle group act on a compact oriented manifold $M$ with a non-empty discrete fixed point set. Then the dimension of $M$ is even. If $M$ has one fixed point, $M$ is the point. In any even dimension, such a manifold $M$ with two fixed points exists, a rotation of an even dimensional sphere. Suppose that $M$ has three fixed points. Then the dimension of $M$ is a multiple of 4. Under the assumption that each isotropy submanifold is orientable, we show that if $\dim M=8$, then the weights at the fixed points agree with those of an action on the quaternionic projective space $\mathbb{HP}^2$, and show that there is no such 12-dimensional manifold $M$.


title: Field Theory of the Correlation Function of Mass Density Fluctuations for Self-Gravitating Systems

abstract: The mass density distribution of Newtonian self-gravitating systems is studied analytically in field theoretical method. Modeling the system as a fluid in hydrostatical equilibrium, we apply Schwinger's functional derivative on the average of the field equation of mass density, and obtain the field equation of 2-point correlation function $\xi(r)$ of the mass density fluctuation, which includes the next order of nonlinearity beyond the Gaussian approximation. The 3-point correlation occurs hierarchically in the equation, and is cut off by the Groth-Peebles anzats, making it closed. We perform renormalization, and write the equation with three nonlinear coefficients. The equation tells that $\xi $ depends on the point mass $m$ and the Jeans wavelength scale $\lambda_{0}$, which are different for galaxies and clusters. Applying to large scale structure, it predicts that the profile of $\xi_{cc} $ of clusters is similar to $\xi_{gg}$ of galaxies but with a higher amplitude, and that the correlation length increases with the mean separation between clusters, i.e, a scaling behavior $r_0\simeq 0.4d$. The solution yields the galaxy correlation $\xi_{gg}(r) \simeq (r_0/r)^{1.7}$ valid only in a range $1<r<10 \,h^{-1}$Mpc. At larger scales the solution $\xi_{gg} $ deviates below the power law and goes to zero around $\sim 50 \, h^{-1}$Mpc, just as the observations show. We also derive the field equation of 3-point correlation function in Gaussian approximation and its analytical solution, for which the Groth-Peebles ansatz with $Q= 1$ holds.


title: Adjoint based methods to compute higher order topological derivatives with an application to elasticity

abstract: The goal of this paper is to give a comprehensive and short review on how to compute the first and second order topological derivative and potentially higher order topological derivatives for PDE constrained shape functionals. We employ the adjoint and averaged adjoint variable within the Lagrangian framework and compare three different adjoint based methods to compute higher order topological derivatives. To illustrate the methodology proposed in this paper, we then apply the methods to a linear elasticity model. We compute the first and second order topological derivative of the linear elasticity model for various shape functionals in dimension $2$ and $3$ using Amstutz' method, the averaged adjoint method and Delfour's method. In contrast to other contributions regarding this subject, we not only compute the first and second order topological derivative, but additionally give some insight on various methods and compared their applicability and efficiency with respect to the underlying problem formulation.


title: RankSRGAN: Super Resolution Generative Adversarial Networks with Learning to Rank

abstract: Generative Adversarial Networks (GAN) have demonstrated the potential to recover realistic details for single image super-resolution (SISR). To further improve the visual quality of super-resolved results, PIRM2018-SR Challenge employed perceptual metrics to assess the perceptual quality, such as PI, NIQE, and Ma. However, existing methods cannot directly optimize these indifferentiable perceptual metrics, which are shown to be highly correlated with human ratings. To address the problem, we propose Super-Resolution Generative Adversarial Networks with Ranker (RankSRGAN) to optimize generator in the direction of different perceptual metrics. Specifically, we first train a Ranker which can learn the behaviour of perceptual metrics and then introduce a novel rank-content loss to optimize the perceptual quality. The most appealing part is that the proposed method can combine the strengths of different SR methods to generate better results. Furthermore, we extend our method to multiple Rankers to provide multi-dimension constraints for the generator. Extensive experiments show that RankSRGAN achieves visually pleasing results and reaches state-of-the-art performance in perceptual metrics and quality. Project page: https://wenlongzhang0517.github.io/Projects/RankSRGAN


title: Streaming End-to-End ASR based on Blockwise Non-Autoregressive Models

abstract: Non-autoregressive (NAR) modeling has gained more and more attention in speech processing. With recent state-of-the-art attention-based automatic speech recognition (ASR) structure, NAR can realize promising real-time factor (RTF) improvement with only small degradation of accuracy compared to the autoregressive (AR) models. However, the recognition inference needs to wait for the completion of a full speech utterance, which limits their applications on low latency scenarios. To address this issue, we propose a novel end-to-end streaming NAR speech recognition system by combining blockwise-attention and connectionist temporal classification with mask-predict (Mask-CTC) NAR. During inference, the input audio is separated into small blocks and then processed in a blockwise streaming way. To address the insertion and deletion error at the edge of the output of each block, we apply an overlapping decoding strategy with a dynamic mapping trick that can produce more coherent sentences. Experimental results show that the proposed method improves online ASR recognition in low latency conditions compared to vanilla Mask-CTC. Moreover, it can achieve a much faster inference speed compared to the AR attention-based models. All of our codes will be publicly available at https://github.com/espnet/espnet.


title: BoningKnife: Joint Entity Mention Detection and Typing for Nested NER via prior Boundary Knowledge

abstract: While named entity recognition (NER) is a key task in natural language processing, most approaches only target flat entities, ignoring nested structures which are common in many scenarios. Most existing nested NER methods traverse all sub-sequences which is both expensive and inefficient, and also don't well consider boundary knowledge which is significant for nested entities. In this paper, we propose a joint entity mention detection and typing model via prior boundary knowledge (BoningKnife) to better handle nested NER extraction and recognition tasks. BoningKnife consists of two modules, MentionTagger and TypeClassifier. MentionTagger better leverages boundary knowledge beyond just entity start/end to improve the handling of nesting levels and longer spans, while generating high quality mention candidates. TypeClassifier utilizes a two-level attention mechanism to decouple different nested level representations and better distinguish entity types. We jointly train both modules sharing a common representation and a new dual-info attention layer, which leads to improved representation focus on entity-related information. Experiments over different datasets show that our approach outperforms previous state of the art methods and achieves 86.41, 85.46, and 94.2 F1 scores on ACE2004, ACE2005, and NNE, respectively.


title: Some Recent Developments on the Geometry of Random Spherical Eigenfunctions

abstract: A lot of efforts have been devoted in the last decade to the investigation of the high-frequency behaviour of geometric functionals for the excursion sets of random spherical harmonics, i.e., Gaussian eigenfunctions for the spherical Laplacian $\Delta_{\mathbf{S}^2}$. In this survey we shall review some of these results, with particular reference to the asymptotic behaviour of variances, phase transitions in the nodal case (the \emph{Berry's Cancellation Phenomenon}), the distribution of the fluctuations around the expected values, and the asymptotic correlation among different functionals. We shall also discuss some connections with the Gaussian Kinematic Formula, with Wiener-Chaos expansions and with recent developments in the derivation of Quantitative Central Limit Theorems (the so-called Stein-Malliavin approach).


title: New semi-norm of semi-Hilbertian space operators and its application

abstract: In this paper, we introduce a new semi-norm of operators on a semi-Hilbertian space, which generalizes the A-numerical radius and A-operator semi-norm. We study the basic properties of this semi-norm, including upper and lower bounds for it. As an application of this new semi-norm, we obtain upper bounds for the A-numerical radius of semi-Hilbertian space operators, which are sharper than the earlier ones.


title: A polytopal generalization of Apollonian packings and Descartes' theorem

abstract: We present a generalization of Descartes' theorem for the family of polytopal sphere packings arising from uniform polytopes. The corresponding quadratic equation is expressed in terms of geometric invariants of uniform polytopes which are closely connected to canonical realizations of edge-scribable polytopes. We use our generalization to construct integral Apollonian packings based on the Platonic solids. Additionally, we also introduce and discuss a new spectral invariant for edge-scribable polytopes.


title: Seed Words Based Data Selection for Language Model Adaptation

abstract: We address the problem of language model customization in applications where the ASR component needs to manage domain-specific terminology; although current state-of-the-art speech recognition technology provides excellent results for generic domains, the adaptation to specialized dictionaries or glossaries is still an open issue. In this work we present an approach for automatically selecting sentences, from a text corpus, that match, both semantically and morphologically, a glossary of terms (words or composite words) furnished by the user. The final goal is to rapidly adapt the language model of an hybrid ASR system with a limited amount of in-domain text data in order to successfully cope with the linguistic domain at hand; the vocabulary of the baseline model is expanded and tailored, reducing the resulting OOV rate. Data selection strategies based on shallow morphological seeds and semantic similarity viaword2vec are introduced and discussed; the experimental setting consists in a simultaneous interpreting scenario, where ASRs in three languages are designed to recognize the domain-specific terms (i.e. dentistry). Results using different metrics (OOV rate, WER, precision and recall) show the effectiveness of the proposed techniques.


title: Photon indistinguishability measurements under pulsed and continuous excitation

abstract: The indistinguishability of successively generated photons from a single quantum emitter is most commonly measured using two-photon interference at a beam splitter. Whilst for sources excited in the pulsed regime the measured bunching of photons reflects the full wavepacket indistinguishability of the emitted photons, for continuous wave (cw) excitation the inevitable dependence on detector timing resolution and driving strength obscures the underlying photon interference process. Here we derive a method to extract the photon indistinguishability from cw measurements by considering the relevant correlation functions. The equivalence of both methods is experimentally verified through comparison of cw and pulsed excitation of an archetypal source of photons, a single molecule.


title: Cavity-mediated electron hopping in disordered quantum Hall systems

abstract: We investigate the emergence of long-range electron hopping mediated by cavity vacuum fields in disordered quantum Hall systems. We show that the counter-rotating (anti-resonant) light-matter interaction produces an effective hopping between disordered eigenstates within the last occupied Landau band. The process involves a number of intermediate states equal to the Landau degeneracy: each of these states consists of a virtual cavity photon and an electron excited in the next Landau band with the same spin. We study such a cavity-mediated hopping mechanism in the dual presence of a random disordered potential and a wall potential near the edges, accounting for both paramagnetic coupling and diamagnetic renormalization. We determine the cavity-mediated scattering rates, showing the impact on both bulk and edge states. The effect for edge states is shown to increase when their energy approaches the disordered bulk band, while for higher energy the edge states become asymptotically free. We determine the scaling properties while increasing the Landau band degeneracy. Consequences on the quantum Hall physics and future perspectives are discussed.


title: Large scale chemical functionalization of graphene with nanometer resolution

abstract: Anchoring various functional groups to graphene is the most versatile approach for tailoring its functional properties. To date, one must use a special tunneling microscope for attaching a molecule at a specific position on the graphene with resolution better than several hundred nanometers, however, achieving this resolution is impossible on a large scale. We demonstrate for the first time that chemical functionalization can be achieved with nanometer resolution by introducing strain with nanometer scale modulation into a graphene layer. The spatial distribution of the strain has been achieved by transferring a single-layer graphene (SLG) onto a substrate decorated by a few nm large nanoparticles (NPs). By changing the number of NPs on the substrate, the amount of locally strained SLG increases, as confirmed by atomic force microscopy (AFM) and Raman spectroscopy investigations. We further carried out hydrogenation and fluorination on the SLG with increasing amount of nanoscale corrugations. Raman spectroscopy, AFM and X-ray photoelectron spectroscopy revealed unambiguously that the level of functionalization increases proportionally with the number of NPs, which means an increasing number of the locally strained SLG. Our approach thus enables control of the amount and the position of functional groups on graphene with nanometer resolution.


title: Edge of chaos as a guiding principle for modern neural network training

abstract: The success of deep neural networks in real-world problems has prompted many attempts to explain their training dynamics and generalization performance, but more guiding principles for the training of neural networks are still needed. Motivated by the edge of chaos principle behind the optimal performance of neural networks, we study the role of various hyperparameters in modern neural network training algorithms in terms of the order-chaos phase diagram. In particular, we study a fully analytical feedforward neural network trained on the widely adopted Fashion-MNIST dataset, and study the dynamics associated with the hyperparameters in back-propagation during the training process. We find that for the basic algorithm of stochastic gradient descent with momentum, in the range around the commonly used hyperparameter values, clear scaling relations are present with respect to the training time during the ordered phase in the phase diagram, and the model's optimal generalization power at the edge of chaos is similar across different training parameter combinations. In the chaotic phase, the same scaling no longer exists. The scaling allows us to choose the training parameters to achieve faster training without sacrificing performance. In addition, we find that the commonly used model regularization method - weight decay - effectively pushes the model towards the ordered phase to achieve better performance. Leveraging on this fact and the scaling relations in the other hyperparameters, we derived a principled guideline for hyperparameter determination, such that the model can achieve optimal performance by saturating it at the edge of chaos. Demonstrated on this simple neural network model and training algorithm, our work improves the understanding of neural network training dynamics, and can potentially be extended to guiding principles of more complex model architectures and algorithms.


title: Effective maximum principles for spectral methods

abstract: Many physical problems such as Allen-Cahn flows have natural maximum principles which yield strong point-wise control of the physical solutions in terms of the boundary data, the initial conditions and the operator coefficients. Sharp/strict maximum principles insomuch of fundamental importance for the continuous problem often do not persist under numerical discretization. A lot of past research concentrates on designing fine numerical schemes which preserves the sharp maximum principles especially for nonlinear problems. However these sharp principles not only sometimes introduce unwanted stringent conditions on the numerical schemes but also completely leaves many powerful frequency-based methods unattended and rarely analyzed directly in the sharp maximum norm topology. A prominent example is the spectral methods in the family of weighted residual methods. In this work we introduce and develop a new framework of almost sharp maximum principles which allow the numerical solutions to deviate from the sharp bound by a controllable discretization error: we call them effective maximum principles. We showcase the analysis for the classical Fourier spectral methods including Fourier Galerkin and Fourier collocation in space with forward Euler in time or second order Strang splitting. The model equations include the Allen-Cahn equations with double well potential, the Burgers equation and the Navier-Stokes equations. We give a comprehensive proof of the effective maximum principles under very general parametric conditions.


title: Performance of a fast timing micro-pattern gaseous detector for future collider experiments

abstract: The fast timing MPGD is a micro-pattern gaseous detector conceived for achieving sub-nanosecond time resolution while maintaining the ability to instrument large areas in high-rate environments; applications of such technology are perspected in high-energy physics experiments at future colliders and medical diagnostics with time-of-flight methods. This work shows the systematic studies carried on an FTM prototype on the performance of GEM foils coated with resistive DLC films, whose development is essential for the FTM operation. The resistive foil performance has been tested with several gas mixtures and compared with the results obtained on conductive foils. The results show that the performance of the FTM is presently limited by the technology of manufacturing of DLC-coated GEM foils, with high gains reachable exclusively in isobuthane-based mixtures.


title: Banach Intermediate Spaces for Gaussian Fr\'{e}chet Spaces

abstract: In this article, we show that every centered Gaussian measure on an infinite dimensional separable Fr\'{e}chet space $X$ over $\mathbb R$ admits some full measure Banach intermediate space between $X$ and its Cameron-Martin space. We provide a way of generating such spaces and, by showing a partial converse, give a characterization of Banach intermediate spaces. Finally, we show an example of constructing an $\alpha$-H\"older intermediate space in the space of continuous functions, $\mathcal C_0[0, 1]$ with the classical Wiener measure.


title: The role of etching anisotropy in the fabrication of freestanding oxide microstructures on SrTiO3(100), SrTiO3(110), and SrTiO3(111) substrates

abstract: The release process for the fabrication of freestanding oxide microstructures relies on appropriate, controllable and repeatable wet etching procedures. SrTiO3 is among the most employed substrates for oxide thin films growth and can be decomposed in HF:water solution. Such process is strongly anisotropic and is affected by local defects and substrate cut-plane. We analyze the etching behavior of SrTiO3 substrates having (100), (110), and (111) cut-planes during immersion in a 5% HF:water solution. The etching process over the three substrates is compared in terms of pitting, anisotropy, macroscopic etch rate and underetching effects around HF-resistant (La,Sr)MnO3 thin film micropatterns. The release of targeted structures, such as the reported (La,Sr)MnO3 freestanding microbridges, depends on the substrate crystallographic symmetry and on the in-plane orientation of the structures themselves along the planar directions. By comparing the etching evolution at two different length scales, we distinguish two regimes for the propagation of the etching front: an intrinsic one, owning to a specific lattice direction, and a macroscopic one, resulting from the mixing of different etching fronts. We report the morphologies of the etched SrTiO3 surfaces and the geometries of the underetched regions as well as of the microbridge clamping zones. The reported analysis will enable the design of complex MEMS devices by allowing to model the evolution of the etching process required for the release of arbitrary structures made of oxide thin films deposited on top of STO.


title: Automated Segmentation and Volume Measurement of Intracranial Carotid Artery Calcification on Non-Contrast CT

abstract: Purpose: To evaluate a fully-automated deep-learning-based method for assessment of intracranial carotid artery calcification (ICAC). Methods: Two observers manually delineated ICAC in non-contrast CT scans of 2,319 participants (mean age 69 (SD 7) years; 1154 women) of the Rotterdam Study, prospectively collected between 2003 and 2006. These data were used to retrospectively develop and validate a deep-learning-based method for automated ICAC delineation and volume measurement. To evaluate the method, we compared manual and automatic assessment (computed using ten-fold cross-validation) with respect to 1) the agreement with an independent observer's assessment (available in a random subset of 47 scans); 2) the accuracy in delineating ICAC as judged via blinded visual comparison by an expert; 3) the association with first stroke incidence from the scan date until 2012. All method performance metrics were computed using 10-fold cross-validation. Results: The automated delineation of ICAC reached sensitivity of 83.8% and positive predictive value (PPV) of 88%. The intraclass correlation between automatic and manual ICAC volume measures was 0.98 (95% CI: 0.97, 0.98; computed in the entire dataset). Measured between the assessments of independent observers, sensitivity was 73.9%, PPV was 89.5%, and intraclass correlation was 0.91 (95% CI: 0.84, 0.95; computed in the 47-scan subset). In the blinded visual comparisons, automatic delineations were more accurate than manual ones (p-value = 0.01). The association of ICAC volume with incident stroke was similarly strong for both automated (hazard ratio, 1.38 (95% CI: 1.12, 1.75) and manually measured volumes (hazard ratio, 1.48 (95% CI: 1.20, 1.87)). Conclusions: The developed model was capable of automated segmentation and volume quantification of ICAC with accuracy comparable to human experts.


title: NeuralPDE: Automating Physics-Informed Neural Networks (PINNs) with Error Approximations

abstract: Physics-informed neural networks (PINNs) are an increasingly powerful way to solve partial differential equations, generate digital twins, and create neural surrogates of physical models. In this manuscript we detail the inner workings of NeuralPDE.jl and show how a formulation structured around numerical quadrature gives rise to new loss functions which allow for adaptivity towards bounded error tolerances. We describe the various ways one can use the tool, detailing mathematical techniques like using extended loss functions for parameter estimation and operator discovery, to help potential users adopt these PINN-based techniques into their workflow. We showcase how NeuralPDE uses a purely symbolic formulation so that all of the underlying training code is generated from an abstract formulation, and show how to make use of GPUs and solve systems of PDEs. Afterwards we give a detailed performance analysis which showcases the trade-off between training techniques on a large set of PDEs. We end by focusing on a complex multiphysics example, the Doyle-Fuller-Newman (DFN) Model, and showcase how this PDE can be formulated and solved with NeuralPDE. Together this manuscript is meant to be a detailed and approachable technical report to help potential users of the technique quickly get a sense of the real-world performance trade-offs and use cases of the PINN techniques.


title: Fast-response silicon photonic microheater induced by parity-time symmetry breaking

abstract: Thermo-optic microheater is indispensable in silicon photonic devices for smart and reconfigurable photonic networks. Much efforts have been made to improve the metallic microheater performance in the past decades. However, because of the metallic nature of light absorption, placing the metallic microheater very close to the waveguide for fast response is impractical and has not been done experimentally. Here, we experimentally demonstrate a metallic microheater placed very close to the waveguide based on parity-time (PT) symmetry breaking. The intrinsic high loss of metallic heater ensures the system will operate in the PT-symmetry-broken region, which guarantee the low loss of light in the silicon waveguide. Moreover, heating at a close range significantly reduces the response time. A fast response time of ~1 us is achieved without introducing extra loss. The insertion loss is only 0.1 dB for the long heater. The modulation bandwidth is 280 kHz, which is an order of magnitude improvement when compared with that of the mainstream thermo-optic phase shifters. To verify the capability of large-scale integration, a 1*8 phased array for beam steering is also demonstrated experimentally with the PT-symmetry-broken metallic heaters. Our work provides a novel design concept for low-loss fast-response optical switches with dissipative materials and offers a new approach to enhance the performance of thermo-optic phase shifters.


title: Absence of bursts between 4-8 GHz from FRB20200120E located in an M81 Globular Cluster

abstract: We report the non-detection of dispersed bursts between 4 - 8 GHz from 2.5 hours of observations of FRB20200120E at 6 GHz using the Robert C. Byrd Green Bank Telescope. Our fluence limits are several times lower than the average burst fluences reported at 600 and 1400 MHz. We conclude that these non-detections are either due to high-frequency bursts being weaker and/or scintillation-induced modulated. It is also likely that our observations were non-concurrent with any activity window of FRB20200120E.


title: Numerical investigation of reversed gas feed configurations for Hall thrusters

abstract: A reversed gas feed configuration for Hall thrusters is proposed and studied numerically. As an alternative to standard direct injection, we investigate the effect of injecting the propellant near the channel exit and directing it backwards, towards the anode. The resulting neutral density and average velocity fields are studied with the Direct Simulation Monte Carlo method for both cold and warm anode conditions. The residence time of neutral particles inside the channel and in the ionization region is computed using a test-particle Monte Carlo method. The computations indicate that the reversed injection allows for increasing the mass utilization efficiency of a standard feed configuration from 2-5% to a maximum of 20-30% depending on the initial efficiency.


title: A Miniaturized Programmable Multi-Fluidic Pneumatic System for precise control of Sample Preparation Environment

abstract: High-density microfluidics is becoming an important experimental platform for studying complex biological systems such as synthetic gene regulatory networks, molecular biocomputating of engineered cells, distributing rapid point-of-care diagnosis, and monitoring pathological environment. Imaging transient bio-chemical reactions happening in these systems at a single particle or cellular level requires precise time-dependent control of sample reaction and imaging conditions at the desired fluidic momentum. In this study, we showed our novel miniaturized and programmable electronic-based pneumatic system to meet the requirement. We demonstrated its capability to control reaction parameters such as concentrations and injection rates in a liposome production system.


title: DNN is not all you need: Parallelizing Non-Neural ML Algorithms on Ultra-Low-Power IoT Processors

abstract: Machine Learning (ML) functions are becoming ubiquitous in latency- and privacy-sensitive IoT applications, prompting a shift toward near-sensor processing at the extreme edge and the consequent increasing adoption of Parallel Ultra-Low Power (PULP) IoT processors. These compute- and memory-constrained parallel architectures need to run efficiently a wide range of algorithms, including key Non-Neural ML kernels that compete favorably with Deep Neural Networks (DNNs) in terms of accuracy under severe resource constraints. In this paper, we focus on enabling efficient parallel execution of Non-Neural ML algorithms on two RISCV-based PULP platforms, namely GAP8, a commercial chip, and PULP-OPEN, a research platform running on an FPGA emulator. We optimized the parallel algorithms through a fine-grained analysis and intensive optimization to maximize the speedup, considering two alternative Floating-Point (FP) emulation libraries on GAP8 and the native FPU support on PULP-OPEN. Experimental results show that a target-optimized emulation library can lead to an average 1.61x runtime improvement and 37% energy reduction compared to a standard emulation library, while the native FPU support reaches up to 32.09x and 99%, respectively. In terms of parallel speedup, our design improves the sequential execution by 7.04x on average on the targeted octa-core platforms leading to energy and latency decrease up to 87%. Lastly, we present a comparison with the ARM Cortex-M4 microcontroller (MCU), a widely adopted commercial solution for edge deployments, which is 12.87x slower and 98% less energy-efficient than PULP-OPEN.


title: A class of graphs with distinguishing index $\bf D' \leq 3$

abstract: An edge-coloring of a graph is called asymmetric if the only automorphism which preserves it is the identity. Lehner, Pil\'{s}niak, and Stawiski proved that all connected regular graphs except $K_2$ admit an asymmetric edge-coloring with three colors. We generalize this result for graphs whose minimal degree $\delta$ and the maximal degree $\Delta$ satisfy $\delta \geq \Delta/2$.


title: Monochromatic Edges in Complete Multipartite Hypergraphs

abstract: Consider the following problem. In a school with three classes containing $n$ students each, given that their genders are unknown, find the minimum possible number of triples of same-gender students not all of which are from the same class. Muaengwaeng asked this question and conjectured that the minimum scenario occurs when the classes are all boy, all girl and half-and-half. In this paper, we solve many generalizations of the problem including when the school has more than three classes, when triples are replaced by groups of larger sizes, when the classes are of different sizes, and when gender is replaced by other non-binary attributes.


title: Hindrance in heavy-ion fusion for lighter systems of astrophysical interest

abstract: The hindrance in fusion of heavy-ion reactions crops up in the region of extreme sub-barrier energies. This phenomenon can be effectively analyzed using a simple diffused barrier formula derived assuming a Gaussian distribution of fusion barrier heights. Folding the Gaussian barrier distribution with the classical expression for the fusion cross section for a fixed barrier, the fusion cross section is obtained. The energy dependence of the fusion cross section provides good description to the existing data on sub-barrier heavy-ion fusion for lighter systems of astrophysical interest. Using this simple formula, an analysis has been presented from $^{16}$O + $^{18}$O to $^{12}$C + $^{198}$Pt, all of which were measured down to $<$ 10 $\mu$b. The agreement of the present analysis with the measured values is better than those calculated even from the sophisticated coupled channels calculations. The relatively smooth variation of the three parameters of this formula implies that it may be exploited to estimate the excitation function or to extrapolate cross sections for pairs of interacting nuclei which are yet to be measured. Possible extensions of the present methodology and its limitations have also been discussed.


title: Asymmetric edge-coloring of graphs with simple automorphism group

abstract: The distinguishing index $D'(\Gamma)$ of a graph $\Gamma$ is the least number $k$ such that $\Gamma$ has an edge-coloring with $k$ colors preserved only by the trivial automorphism. In this paper we prove that if the automorphism group of a finite graph $\Gamma$ is simple, then its distinguishing index $D'(\Gamma)=2$.


title: Flow dynamics of wormlike micellar solutions through a model porous media

abstract: The flow of viscoelastic wormlike micellar solutions (WLMs) in porous media is encountered in many practical applications like enhanced oil recovery or groundwater remediation. To understand the flow dynamics of these complex fluids in porous media, a model porous media consisting of a straight microchannel with micropore throats present in it, is very often used. In this study, we perform an extensive numerical investigation to understand the flow dynamics of wormlike micellar solutions based on the two-species Vasquez-Cook-McKinley (VCM) model for micelles through such model porous media. We find the existence of an elastic instability once the Weissenberg number exceeds a critical value; likewise, it was seen in many prior experimental and numerical studies dealing with polymer solutions. However, for the present case of a WLM solution, we observe that this elastic instability is greatly influenced by the breakage and reformation mechanisms of the wormlike micelles. In particular, we notice that the intensity of this instability (characterized by the fluctuating flow fields) increases as the Weissenberg number increases; however, beyond a critical value of it, this elastic instability and/or the flow field fluctuation is suppressed because of the breakage of long micelles. This is in contrast to the polymer solutions for which the flow field gradually transits to a more chaotic and turbulent-like state (or the so-called elastic turbulence state) as the Weissenberg number gradually increases. Additionally, we observe that the flow dynamics of these WLM solutions are strongly dependent on the type of micropore throat, the number of pore throats, and the spacing between two consecutive pore throats. An extensive discussion on the pressure drop and apparent viscosity is also presented in the present study.


title: On Birkhoff angles in normed spaces

abstract: Associated to Birkhoff orthogonality, we study Birkhoff angles in a normed space and present some of their basic properties. We also discuss how to decide whether an angle is more acute or more obtuse than another. In addition, given two vectors $x$ and $y$ in a normed space, we study the formula for Birkhoff `cosine' of the angle from $x$ to $y$ from which we can, in principal, compute the angle. Some examples will be presented.


title: The Stefan-Boltzmann constant re-visited for photons thermally generated within matter

abstract: The Stefan-Boltzmann constant arose from photon densities inside a cavity, but inside matter photon mode densities are material specific. Photon speeds are governed by the mode they occupy, so mode densities can be expressed in terms of speed. Cavity intensities at temperature \(T_{K}\) combined \(\left[\frac {8\pi k^4}{c^3h^3}\right] T_{K }^4\) with \(({\pi^4}/{15})\). A material dependent number from summation of internal photon spectral energy densities replaces \(\frac {\pi^4}{15}\). Spectral densities are presented for water, germanium and silver. Output intensity combines revised hemispherical emittance \(\epsilon_{Q,H}\) based on these densities, with universal factor \(\left[\frac {8\pi k^4}{c^3h^3}\right] T_{K }^4\). Emitted radiance after interface internal reflectance of directionally invariant internal radiance elements defines \(\epsilon_{Q,H}\). Predicted internal densities are verifiable using measured external spectral intensities, provided refraction upon exit is accounted for in emissivity, which the Kirchhoff rule neglects. Virtual bound state photon resonances are predicted in dielectrics and observed.


title: Point Source Localization with a Planar Optical Phased Array Compressive Sensor

abstract: Compressive sensing has been used to demonstrate scene reconstruction and source localization in a wide variety of devices. To date, optical compressive sensors have not been able to achieve significant volume reduction relative to conventional optics of equivalent angular resolution. Here, we adapt silicon-photonic optical phased array technology to demonstrate, to our knowledge, the first application of compressive imaging in a photonic-integrated device. Our novel sensor consists of an $8\times 8$ grid of grating couplers with a spacing of $100~\mu$m. Path-matched waveguides route to a single multimode interferometer (MMI), which mixes and randomizes the signals into 64 outputs to be used for compressed sensing. Our device is fully passive, having no need for phase shifters, as measurement matrix calibration makes the measurements robust to phase errors. For testing, we use an Amplified Spontaneous Emission (ASE) source with a bandwidth of 40 nm, centered at 1545 nm. We demonstrate simultaneous multi-point (2 sources demonstrated in this work) brightness recovery and localization with better than 10 arcsecond precision in a sub-millimeter thick form-factor. We achieve a single source recovery rate higher than 99.9\% using 10 of the 64 outputs, and a 90\% recovery rate with only 6 outputs, 10 times fewer than the 64 needed for conventional imaging. This planar optical phased array compressive sensor is well-suited for imaging sparse scenes in applications constrained by form factor, volume, or high-cost detectors, with the potential to revolutionize endoscopy, beam locators, and LIDAR.


title: Inflation with Gauss-Bonnet and Chern-Simons higher-curvature-corrections in the view of GW170817

abstract: Inflationary era of our Universe can be characterized as semi-classical because it can be described in the context of four-dimensional Einsteins's gravity involving quantum corrections. These string motivated corrections originate from quantum theories of gravity such as superstring theories and include higher gravitational terms as, Gauss-Bonnet and Chern-Simons terms. In this paper we investigated inflationary phenomenology coming from a scalar field, with quadratic curvature terms in the view of GW170817. Firstly, we derived the equations of motion, directly from the gravitational action. As a result, formed a system of differential equations with respect to Hubble's parameter and the inflaton field which was very complicated and cannot be solved analytically, even in the minimal coupling case. Based on the observations from GW170817, which have shown that the speed of the primordial gravitational wave is equal to the speed of light, our equations of motion where simplified after applying this constraint, the slow-roll approximations and neglecting the string corrections. We described the dynamics of inflationary phenomenology and proved that theories with Gauss-Bonnet term can be compatible with recent observations. Also, the Chern-Simons term leads to asymmetric generation and evolution of the two circular polarization states of gravitational wave. Finally, viable inflationary models are presented, consistent with the observational constraints. The possibility of a blue tilted tensor spectral index is briefly investigated.


title: Using Shape Constraints for Improving Symbolic Regression Models

abstract: We describe and analyze algorithms for shape-constrained symbolic regression, which allows the inclusion of prior knowledge about the shape of the regression function. This is relevant in many areas of engineering -- in particular whenever a data-driven model obtained from measurements must have certain properties (e.g. positivity, monotonicity or convexity/concavity). We implement shape constraints using a soft-penalty approach which uses multi-objective algorithms to minimize constraint violations and training error. We use the non-dominated sorting genetic algorithm (NSGA-II) as well as the multi-objective evolutionary algorithm based on decomposition (MOEA/D). We use a set of models from physics textbooks to test the algorithms and compare against earlier results with single-objective algorithms. The results show that all algorithms are able to find models which conform to all shape constraints. Using shape constraints helps to improve extrapolation behavior of the models.


title: Hadamard weighted geometric mean inequalities for the spectral and essential spectral radius of positive operators on Banach function and sequence spaces

abstract: We prove new inequalities for the spectral radius, essential spectral radius, operator norm, measure of noncompactness and numerical radius of Hadamard weighted geometric means of positive kernel operators on Banach function and sequence spaces. Several inequalities appear to be new even in the finite dimensional case.


title: Inflation Story: slow-roll and beyond

abstract: We present constraints on inflationary dynamics and features in the primordial power spectrum of scalar perturbations using the Cosmic Microwave Background temperature, polarization data from Planck 2018 data release and updated likelihoods. We constrain the slow-roll dynamics using Hilltop Quartic Potential and Starobinsky $R+R^2$ model in the Einstein frame using the Planck 2018 binned Plik likelihood. Using the Hilltop as base potential we construct Whipped Inflation potential to introduce suppression in the scalar power spectrum at large angular scales. We notice marginal (68% C.L.) preference of suppression from the large scale temperature angular power spectrum. However, large-scale E-mode likelihood, based on high frequency instrument cross spectrum, does not support this suppression and in the combined data the preference towards the suppression becomes negligible. Based on the Hilltop and Starobinsky model we construct the Wiggly Whipped Inflation potentials to introduce oscillatory features along with the suppression. We use unbinned data from the recently released CamSpec v12.5 likelihood which updates Planck 2018 results. We compare the Bayesian evidences of the feature models with their baseline slow-roll potentials. We find that the complete slow-roll baseline potential is moderately preferred against potentials which generate features. Compared to Planck 2015 PlikHM bin1 likelihood, we find that the significance of sharp features has decreased owing to the updates in the data analysis pipeline. We also compute the bispectra for the best fit candidates obtained from our analysis.


title: CANITA: Faster Rates for Distributed Convex Optimization with Communication Compression

abstract: Due to the high communication cost in distributed and federated learning, methods relying on compressed communication are becoming increasingly popular. Besides, the best theoretically and practically performing gradient-type methods invariably rely on some form of acceleration/momentum to reduce the number of communications (faster convergence), e.g., Nesterov's accelerated gradient descent (Nesterov, 1983, 2004) and Adam (Kingma and Ba, 2014). In order to combine the benefits of communication compression and convergence acceleration, we propose a \emph{compressed and accelerated} gradient method based on ANITA (Li, 2021) for distributed optimization, which we call CANITA. Our CANITA achieves the \emph{first accelerated rate} $O\bigg(\sqrt{\Big(1+\sqrt{\frac{\omega^3}{n}}\Big)\frac{L}{\epsilon}} + \omega\big(\frac{1}{\epsilon}\big)^{\frac{1}{3}}\bigg)$, which improves upon the state-of-the-art non-accelerated rate $O\left((1+\frac{\omega}{n})\frac{L}{\epsilon} + \frac{\omega^2+\omega}{\omega+n}\frac{1}{\epsilon}\right)$ of DIANA (Khaled et al., 2020) for distributed general convex problems, where $\epsilon$ is the target error, $L$ is the smooth parameter of the objective, $n$ is the number of machines/devices, and $\omega$ is the compression parameter (larger $\omega$ means more compression can be applied, and no compression implies $\omega=0$). Our results show that as long as the number of devices $n$ is large (often true in distributed/federated learning), or the compression $\omega$ is not very high, CANITA achieves the faster convergence rate $O\Big(\sqrt{\frac{L}{\epsilon}}\Big)$, i.e., the number of communication rounds is $O\Big(\sqrt{\frac{L}{\epsilon}}\Big)$ (vs. $O\big(\frac{L}{\epsilon}\big)$ achieved by previous works). As a result, CANITA enjoys the advantages of both compression (compressed communication in each round) and acceleration (much fewer communication rounds).


title: Higher Bruhat orders of types B and C

abstract: We propose versions of higher Bruhat orders for types $B$ and $C$. This is based on a theory of higher Bruhat orders of type~A and their geometric interpretations (due to Manin--Shekhtman, Voevodskii--Kapranov, and Ziegler), and on our study of the so-called symmetric cubillages of cyclic zonotopes.


title: Lattice path enumeration for semi-magic squares of size three

abstract: We give formulas for enumerating directed paths in the graded poset of semi-magic squares of size three. We give two applications of these formulas: an advanced example of Vandermonde convolution for finite graded posets, and a direct method for deriving Regge symmetry formulas for un-normalized Clebsch-Gordan coefficients.


title: Shape Optimization for the Mitigation of Coastal Erosion via Shallow Water Equations

abstract: Coastal erosion describes the displacement of land caused by destructive sea waves, currents or tides. Major efforts have been made to mitigate these effects using groins, breakwaters and various other structures. We try to address this problem by applying shape optimization techniques to the obstacles. We model the propagation of waves towards the coastline, using two-dimensional shallow water equations. The obstacle's shape is optimized over an appropriate cost function to minimize the height and velocities of water waves along the shore, without relying on a finite-dimensional design space but based on shape calculus.


title: Coloured and Semi-Transparent Nanowire-based Solar Cells for Building Integrated Photovoltaics

abstract: Semi-transparent photovoltaics (ST-PV) provide smart spatial solutions to integrate solar cells into already-built areas. Here, we study the potential of semiconductor nanowires (NWs) as promising ST-PV. We perform FDTD simulations for different PV materials in a wide range of array geometries, from which we compute PV performance next to perceived appearance. Surprisingly we find an unusual compromise between photocurrent and transmittance as a function of NW diameter that enables NW-based PV to outperform theoretical limits of non-wavelength selective ST-PV. We theoretically and experimentally demonstrate the robustness of NW arrays to different illumination conditions. We provide the origin behind the outperforming NW array geometries, which is crucial for designing NW-based ST-PV systems based on specific needs.


title: AGN Jets and Winds in Polarised Light: The Case of Mrk 231

abstract: We present the results of a multi-frequency, multi-scale radio polarimetric study with the Very Large Array (VLA) of the Seyfert 1 galaxy and BALQSO, Mrk 231. We detect complex total and polarized intensity features in the source. Overall, the images indicate the presence of a broad, one-sided, curved outflow towards the south which consists of a weakly collimated jet with poloidal inferred magnetic fields, inside a broader magnetized ``wind'' or ``sheath'' component with toroidal inferred magnetic fields. The model of a kpc-scale weakly collimated jet/lobe in Mrk 231 is strengthened by its C-shaped morphology, steep spectral index throughout, complexities in the magnetic field structures, and the presence of self-similar structures observed on the 10-parsec-scale in the literature. The ``wind'' may comprise both nuclear starburst (close to the core) and AGN winds, where the latter maybe the primary contributor. Moving away from the core, the ``wind'' component may also comprise the outer layers (or ``sheath'') of a broadened jet. The inferred value of the (weakly collimated) jet production efficiency, $\eta_\mathrm{jet}\sim$0.01 is consistent with the estimates in the literature. The composite jet and wind outflow in Mrk 231 appears to be low-power and matter-dominated, and oriented at a small angle to our line of sight.


title: Extended characterization methods for covalent functionalization of graphene on copper

abstract: Graphene is a material of great potential in a broad range of applications, for each of which specific tuning of the materials properties is required. This can be achieved, for example, by covalent functionalization. We have exploited two protocols for surface grafting, either by diazonium salts or by nucleophilic exchange, to perform graphene covalent modification directly on a copper substrate, which is routinely used for the synthesis of the material, and investigated the difference in reactivity compared with other substrates. The successful functionalization was confirmed by Raman and surface-enhanced Raman spectroscopy, mass spectrometry, X-ray photoelectron spectroscopy and scanning electron microscopy with energy-dispersive X-ray spectroscopy. In addition, we have found that the copper substrate can serve as a plasmonic surface enhancing the Raman spectra. Furthermore, the covalent grafting was shown to tolerate the transfer process, thus allowing ex post transfer from copper to other substrates. This protocol avoids wet processing and enables an all-gas-phase transformation of functionalized graphene, which eliminates the main sources of contamination.


title: Constraining continuous topology optimizations to discrete solutions for photonic applications

abstract: Photonic topology optimization is a technique used to find the electric permittivity distribution of a device that optimizes an electromagnetic figure-of-merit. Two common techniques are used: continuous density-based optimizations that optimize a grey-scale permittivity defined over a grid, and discrete level-set optimizations that optimize the shape of the material boundary of a device. More recently, continuous optimizations have been used to find an initial seed for a concluding level-set optimization since level-set techniques tend to benefit from a well-performing initial structure. However, continuous optimizations are not guaranteed to yield sufficient initial seeds for subsequent level-set optimizations, particularly for high-contrast structures, since they are not guaranteed to converge to solutions that resemble only two discrete materials. In this work, we present a method for constraining a continuous optimization such that it converges to a discrete solution. This is done by inserting a constrained sub-optimization at each iteration of an overall gradient-based optimization. This technique can be used purely on its own to optimize a device, or it can be used to provide a nearly discrete starting point for a level-set optimization.


title: Wave-particle duality and the zitterbewegung

abstract: In previous work, the Hamilton-Jacobi equation has been associated with the metrics of general relativity and shown to be a generalized Dirac equation for quantum mechanics. This lends itself to a natural definition of wave-particle duality. This theory is now further developed to show that a free spinless quantum particle moving with velocity v obeys the standard wave equation of electro-magnetism. We also discuss the implications for the zitterbewegung problem and its relationship to isotropy. Moreover, it is shown that for the theory to be consistent, the momentum defined by the Hamilton-Jacobi function presupposes the existence of a universal parameter internal to the system defined by dt/m(t) for particles with mass, where t has the units of time and m = m(t) has the units of mass.


title: RansomClave: Ransomware Key Management using SGX

abstract: Modern ransomware often generate and manage cryptographic keys on the victim's machine, giving defenders an opportunity to capture exposed keys and recover encrypted data without paying the ransom. However, recent work has raised the possibility of future enclave-enhanced malware that could avoid such mitigations using emerging support for hardware-enforced secure enclaves in commodity CPUs. Nonetheless, the practicality of such enclave-enhanced malware and its potential impact on all phases of the ransomware lifecyle remain unclear. Given the demonstrated capacity of ransomware authors to innovate in order to better extort their victims (e.g. through the adoption of untraceable virtual currencies and anonymity networks), it is important to better understand the risks involved and identify potential mitigations. As a basis for comprehensive security and performance analysis of enclave-enhanced ransomware, we present RansomClave, a family of ransomware that securely manage their cryptographic keys using an enclave. We use RansomClave to explore the implications of enclave-enhanced ransomware for the key generation, encryption and key release phases of the ransomware lifecycle, and to identify potential limitations and mitigations. We propose two plausible victim models and analyse, from an attacker's perspective, how RansomClave can protect cryptographic keys from each type of victim. We find that some existing mitigations are likely to be effective during the key generation and encryption phases, but that RansomClave enables new trustless key release schemes that could potentially improve attacker's profitability and, by extension, make enclaves an attractive target for future attackers.


title: Looking at Euler flows through a contact mirror: Universality and undecidability

abstract: The dynamics of an inviscid and incompressible fluid flow on a Riemannian manifold is governed by the Euler equations. In recent papers [5, 6, 7, 8] several unknown facets of the Euler flows have been discovered, including universality properties of the stationary solutions to the Euler equations. The study of these universality features was suggested by Tao as a novel way to address the problem of global existence for Euler and Navier-Stokes [28]. Universality of the Euler equations was proved in [7] for stationary solutions using a contact mirror which reflects a Beltrami flow as a Reeb vector field. This contact mirror permits the use of advanced geometric techniques in fluid dynamics. On the other hand, motivated by Tao's approach relating Turing machines to Navier-Stokes equations, a Turing complete stationary Euler solution on a Riemannian $3$-dimensional sphere was constructed in [8]. Since the Turing completeness of a vector field can be characterized in terms of the halting problem, which is known to be undecidable [30], a striking consequence of this fact is that a Turing complete Euler flow exhibits undecidable particle paths [8]. In this article, we give a panoramic overview of this fascinating subject, and go one step further in investigating the undecidability of different dynamical properties of Turing complete flows. In particular, we show that variations of [8] allow us to construct a stationary Euler flow of Beltrami type (and, via the contact mirror, a Reeb vector field) for which it is undecidable to determine whether its orbits through an explicit set of points are periodic.


title: Verified Functional Programming of an Abstract Interpreter

abstract: Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to bugs, that might question the soundness of their computations. While some formally verified abstract interpreters have been written in the past, writing and understanding them requires expertise in the use of proof assistants, and requires a non-trivial amount of interactive proofs. This paper presents a formally verified abstract interpreter fully programmed and proved correct in the F* verified programming environment. Thanks to F* refinement types and SMT prover capabilities we demonstrate a substantial saving in proof effort compared to previous works based on interactive proof assistants. Almost all the code of our implementation, proofs included, written in a functional style, are presented directly in the paper.


title: On freely quasi-infinitely divisible distributions

abstract: Inspired by the notion of quasi-infinite divisibility (QID), we introduce and study the class of freely quasi-infinitely divisible (FQID) distributions on $\mathbb{R}$, i.e. distributions which admit the free L\'{e}vy-Khintchine-type representation with signed L\'{e}vy measure. We prove several properties of the FQID class, some of them in contrast to those of the QID class. For example, a FQID distribution may have negative Gaussian part, and the total mass of its signed L\'{e}vy measure may be negative. Finally, we extend the Bercovici-Pata bijection, providing a characteristic triplet, with the L\'{e}vy measure having nonzero negative part, which is at the same time classical and free characteristic triplet.


title: PSR J2222--0137. I. Improved physical parameters for the system

abstract: The PSR J2222-0137 binary system is a unique laboratory for testing gravity theories. To fully exploit its potential for the tests, we aim to improve the measurements of its physical parameters: spin, orbital orientation, and post-Keplerian parameters which quantify the observed relativistic effects. We present improved analysis of archival VLBI data, using a coordinate convention in full agreement with that used in timing. We also obtain much improved polarimetry with FAST. We provide an analysis of significantly extended timing data taken with Effelsberg, Nancay, Lovell and Green Bank telescopes. From VLBI analysis we obtain a new estimate of the position angle of ascending node, Omega=189(19) deg, and a new position of the pulsar with more conservative uncertainty. The FAST polarimetry and in particular the detection of an interpulse, yield much improved estimate for the spin geometry of the pulsar, in particular an inclination of the spin axis of 84 deg. From the timing we obtain a new 1% test of general relativity (GR) from the agreement of the Shapiro delay and the advance rate of periastron. Assuming GR in a self-consistent analysis of all effects, we obtain much improved mass: 1.831(10) M_sun for the pulsar and 1.319(4) M_sun for the companion; the total mass, 3.150(14) M_sun confirms it as the most massive double degenerate binary known in the Galaxy. This analysis also yields the orbital orientation: the orbital inclination is 85.27(4) deg, indicating a close alignment between the spin of the pulsar and the orbital angular momentum; Omega = 188(6) deg, matching our VLBI result. We also obtain precise value of the orbital period derivative, 0.251(8)e-12 s s^-1, consistent with the expected variation of Doppler factor plus the orbital decay caused by emission of gravitational wave (GW) predicted by GR. This agreement introduces stringent constraint on the emission of dipolar GW.


title: On the use of CHIME to Detect Long-Duration Radio Transients from Neutron Star Mergers

abstract: Short gamma-ray burst (SGRB) GRB 170817A was found to be related to a binary neutron star (BNS) merger. It is uncertain whether all SGRBs are caused by BNS mergers, and also under what conditions a BNS merger can cause a SGRB. As BNS mergers can cause SGRBs, afterglow observations will also provide an alternative measurement of the BNS merger rate independent of gravitational-wave observations. In previous work by Feng et al. (2014), the feasibility of the detection of afterglows was considered using a variety of radio observatories and a simple flux threshold detection algorithm. Here, we consider a more sophisticated detection algorithm for SGRB afterglows, and provide an estimate of the trials factors for a realistic search to obtain an updated estimate of the possibility of observing afterglows with the Canadian Hydrogen Intensity Mapping Experiment (CHIME). We estimate 893 and 312 afterglows per year can be detected using a $3 \sigma$ confidence level threshold with two jet models, one with half opening angle uniformly distributed in $6^\circ$ to $30^\circ$ and the other uniformly distributed in $3^\circ$ to $8^\circ$ with the median $6^\circ$. We also find 88% and 98%, respectively, of the detectable afterglows for each jet opening distribution are off-axis, which are candidates for orphan afterglows. Our result predicts fewer detectable sources per year than the earlier analysis, but confirms the essential conclusion that using CHIME to search for afterglows will be effective at constraining the astrophysical merger rate.


title: Modeling and asymptotic analysis of the concentration difference in a nanoregion between an influx and outflux diffusion across narrow windows

abstract: When a flux of Brownian particles is injected in a narrow window located on the surface of a bounded domain, these particles diffuse and can eventually escape through a cluster of narrow windows. At steady-state, we compute asymptotically the distribution of concentration between the different windows. The solution is obtained by solving Laplace's equation using Green's function techniques and second order asymptotic analysis, and depends on the influx amplitude, the diffusion properties as well as the geometrical organization of all the windows, such as their distances and the mean curvature. We explore the range of validity of the present asymptotic expansions using numerical simulations of the mixed boundary value problem. Finally, we introduce a length scale to estimate how deep inside a domain a local diffusion current can spread. We discuss some applications in biophysics.


title: On Prosody Modeling for ASR+TTS based Voice Conversion

abstract: In voice conversion (VC), an approach showing promising results in the latest voice conversion challenge (VCC) 2020 is to first use an automatic speech recognition (ASR) model to transcribe the source speech into the underlying linguistic contents; these are then used as input by a text-to-speech (TTS) system to generate the converted speech. Such a paradigm, referred to as ASR+TTS, overlooks the modeling of prosody, which plays an important role in speech naturalness and conversion similarity. Although some researchers have considered transferring prosodic clues from the source speech, there arises a speaker mismatch during training and conversion. To address this issue, in this work, we propose to directly predict prosody from the linguistic representation in a target-speaker-dependent manner, referred to as target text prediction (TTP). We evaluate both methods on the VCC2020 benchmark and consider different linguistic representations. The results demonstrate the effectiveness of TTP in both objective and subjective evaluations.


title: Green 2-functors

abstract: We extend the theory of Mackey 2-functors introduced in arXiv:1808.04902 by defining the appropriate notion of rings, namely Green 2-functors. After providing the first results of our theory and abundant examples, we show how all classical Green functors familiar from representation theory and topology arise by decategorification, in various ways, of some Green 2-functor occurring in Nature.


title: Characterizing Variability in Bright Metallic-Line A (Am) Stars Using Data from the NASA TESS Spacecraft

abstract: Metallic-line A (Am) stars are main-sequence stars of around twice the mass of the Sun that show element abundance peculiarities in their spectra. The radiative levitation and diffusive settling processes responsible for these abundance anomalies should also deplete helium from the region of the envelope that drives delta Scuti pulsations. Therefore, these stars are not expected to be delta Scuti stars, which pulsate in multiple radial and nonradial modes with periods of around 2 hours. As part of the NASA TESS Guest Investigator Program, we proposed photometric observations in 2-minute cadence for samples of bright (visual magnitudes around 7-8) Am stars. Our 2020 SAS meeting paper reported on observations of 21 stars, finding one delta Scuti star and two delta Scuti / gamma Doradus hybrid candidates, as well as many stars with photometric variability possibly caused by rotation and starspots. Here we present an update including 34 additional stars observed up to February 2021, among them three delta Scuti stars and two delta Scuti / gamma Doradus hybrid candidates. Confirming the pulsations in these stars requires further data analysis and follow-up observations, because of possible background stars or contamination in the TESS CCD pixels with scale 21 arc sec per pixel. Asteroseismic modeling of these stars will be important to understand the reasons for their pulsations.


title: Learned Sorted Table Search and Static Indexes in Small Model Space

abstract: Machine Learning Techniques, properly combined with Data Structures, have resulted in Learned Static Indexes, innovative and powerful tools that speed-up Binary Search, with the use of additional space with respect to the table being searched into. Such space is devoted to the Machine Learning Model. Although in their infancy, they are methodologically and practically important, due to the pervasiveness of Sorted Table Search procedures. In modern applications, model space is a key factor and, in fact, a major open question concerning this area is to assess to what extent one can enjoy the speed-up of Binary Search achieved by Learned Indexes while using constant or nearly constant space models. In this paper, we investigate the mentioned question by (a) introducing two new models, i.e., the Learned k-ary Search Model and the Synoptic Recursive Model Index, respectively; (b) systematically exploring the time-space trade-offs of a hierarchy of existing models, i.e., the ones in the reference software platform Searching on Sorted Data, together with the new ones proposed here. By adhering and extending the current benchmarking methodology, we experimentally show that the Learned k-ary Search Model can speed up Binary Search in constant additional space. Our second model, together with the bi-criteria Piece-wise Geometric Model index, can achieve a speed-up of Binary Search with a model space of 0:05% more than the one taken by the table, being competitive in terms of time-space trade-off with existing proposals. The Synoptic Recursive Model Index and the bi-criteria Piece-wise Geometric Model complement each other quite well across the various levels of the internal memory hierarchy. Finally, our findings stimulate research in this area, since they highlight the need for further studies regarding the time-space relation in Learned Indexes.


title: FPT Approximation for Fair Minimum-Load Clustering

abstract: In this paper, we consider the Minimum-Load $k$-Clustering/Facility Location (MLkC) problem where we are given a set $P$ of $n$ points in a metric space that we have to cluster and an integer $k$ that denotes the number of clusters. Additionally, we are given a set $F$ of cluster centers in the same metric space. The goal is to select a set $C\subseteq F$ of $k$ centers and assign each point in $P$ to a center in $C$, such that the maximum load over all centers is minimized. Here the load of a center is the sum of the distances between it and the points assigned to it. Although clustering/facility location problems have a rich literature, the minimum-load objective is not studied substantially, and hence MLkC has remained a poorly understood problem. More interestingly, the problem is notoriously hard even in some special cases including the one in line metrics as shown by Ahmadian et al. [ACM Trans. Algo. 2018]. They also show APX-hardness of the problem in the plane. On the other hand, the best-known approximation factor for MLkC is $O(k)$, even in the plane. In this work, we study a fair version of MLkC inspired by the work of Chierichetti et al. [NeurIPS, 2017], which generalizes MLkC. Here the input points are colored by one of the $\ell$ colors denoting the group they belong to. MLkC is the special case with $\ell=1$. Considering this problem, we are able to obtain a $3$-approximation in $f(k,\ell)\cdot n^{O(1)}$ time. Also, our scheme leads to an improved $(1 + \epsilon)$-approximation in case of Euclidean norm, and in this case, the running time depends only polynomially on the dimension $d$. Our results imply the same approximations for MLkC with running time $f(k)\cdot n^{O(1)}$, achieving the first constant approximations for this problem in general and Euclidean metric spaces.


title: Controlled synthesis of MoxW1-xTe2 atomic layers with emergent quantum states

abstract: Recently, new states of matter like superconducting or topological quantum states were found in transition metal dichalcogenides (TMDs) and manifested themselves in a series of exotic physical behaviors. Such phenomena have been demonstrated to exist in a series of transition metal tellurides including MoTe2, WTe2 and alloyed MoxW1-xTe2. However, the behaviors in the alloy system have been rarely addressed due to their difficulty in obtaining atomic layers with controlled composition, albeit the alloy offers a great platform to tune the quantum states. Here, we report a facile CVD method to synthesize the MoxW1-xTe2 with controllable thickness and chemical composition ratios. The atomic structure of monolayer MoxW1-xTe2 alloy was experimentally confirmed by scanning transmission electron microscopy (STEM). Importantly, two different transport behaviors including superconducting and Weyl semimetal (WSM) states were observed in Mo-rich Mo0.8W0.2Te2 and W-rich Mo0.2W0.8Te2 samples respectively. Our results show that the electrical properties of MoxW1-xTe2 can be tuned by controlling the chemical composition, demonstrating our controllable CVD growth method is an efficient strategy to manipulate the physical properties of TMDCs. Meanwhile, it provides a perspective on further comprehension and shed light on the design of device with topological multicomponent TMDCs materials.


title: Significant Wave Height Prediction based on Wavelet Graph Neural Network

abstract: Computational intelligence-based ocean characteristics forecasting applications, such as Significant Wave Height (SWH) prediction, are crucial for avoiding social and economic loss in coastal cities. Compared to the traditional empirical-based or numerical-based forecasting models, "soft computing" approaches, including machine learning and deep learning models, have shown numerous success in recent years. In this paper, we focus on enabling the deep learning model to learn both short-term and long-term spatial-temporal dependencies for SWH prediction. A Wavelet Graph Neural Network (WGNN) approach is proposed to integrate the advantages of wavelet transform and graph neural network. Several parallel graph neural networks are separately trained on wavelet decomposed data, and the reconstruction of each model's prediction forms the final SWH prediction. Experimental results show that the proposed WGNN approach outperforms other models, including the numerical models, the machine learning models, and several deep learning models.


title: Predicting Friction System Performance with Symbolic Regression and Genetic Programming with Factor Variables

abstract: Friction systems are mechanical systems wherein friction is used for force transmission (e.g. mechanical braking systems or automatic gearboxes). For finding optimal and safe design parameters, engineers have to predict friction system performance. This is especially difficult in real-world applications, because it is affected by many parameters. We have used symbolic regression and genetic programming for finding accurate and trustworthy prediction models for this task. However, it is not straight-forward how nominal variables can be included. In particular, a one-hot-encoding is unsatisfactory because genetic programming tends to remove such indicator variables. We have therefore used so-called factor variables for representing nominal variables in symbolic regression models. Our results show that GP is able to produce symbolic regression models for predicting friction performance with predictive accuracy that is comparable to artificial neural networks. The symbolic regression models with factor variables are less complex than models using a one-hot encoding.


title: Supply Chain Digital Twin Framework Design: An Approach of Supply Chain Operations Reference Model and System of Systems

abstract: Digital twin technology has been regarded as a beneficial approach in supply chain development. Different from traditional digital twin (temporal dynamic), supply chain digital twin is a spatio-temporal dynamic system. This paper explains what is 'twined' in supply chain digital twin and how to 'twin' them to handle the spatio-temporal dynamic issue. A supply chain digital twin framework is developed based on the theories of system of systems and supply chain operations reference model. This framework is universal and can be applied in various types of supply chain systems. We firstly decompose the supply chain system into unified standard blocks preparing for the adoption of digital twin. Next, the idea of supply chain operations reference model is adopted to digitise basic supply chain activities within each block and explain how to use existing information system. Then, individual sub-digital twin is established for each member in supply chain system. After that, we apply the concept of system of systems to integrate and coordinate sub-digital twin into supply chain digital twin from the views of supply chain business integration and information system integration. At last, one simple supply chain system is applied to illustrate the application of the proposed model.


title: Excited states of holographic superconductors with hyperscaling violation

abstract: We employ the numerical and analytical methods to study the effects of the hyperscaling violation on the ground and excited states of holographic superconductors for $d=2,~z=2$. For both the holographic s-wave and p-wave models with the hyperscaling violation, we observe that the excited state has a lower critical temperature than the corresponding ground state, which is similar to the relativistic case, and the difference of the dimensionless critical chemical potential between the consecutive states decreases as the hyperscaling violation increases. Interestingly, as we amplify the hyperscaling violation in the s-wave model, the critical temperature of the ground state first decreases and then increases, but that of the excited states always decreases. In the p-wave model, regardless of the ground state or the excited states, the critical temperature always decreases with increasing the hyperscaling violation. In addition, we find that the hyperscaling violation affects the conductivity $\sigma$ which has $n$ peaks for the $n$-th excited state, and changes the relation in the gap frequency for the excited states in both s-wave and p-wave models.


title: On node ranking in graphs

abstract: The ranking of nodes in a network according to their ``importance'' is a classic problem that has attracted the interest of different scientific communities in the last decades. The current COVID-19 pandemic has recently rejuvenated the interest in this problem, as it is related to the selection of which individuals should be tested in a population of asymptomatic individuals, or which individuals should be vaccinated first. Motivated by the COVID-19 spreading dynamics, in this paper we review the most popular methods for node ranking in undirected unweighted graphs, and compare their performance in a benchmark realistic network, that takes into account the community-based structure of society. Also, we generalize a classic benchmark network originally proposed by Newman for ranking nodes in unweighted graphs, to show how ranks change in the weighted case.


title: On some information-theoretic aspects of non-linear statistical inverse problems

abstract: Results by van der Vaart (1991) from semi-parametric statistics about the existence of a non-zero Fisher information are reviewed in an infinite-dimensional non-linear Gaussian regression setting. Information-theoretically optimal inference on aspects of the unknown parameter is possible if and only if the adjoint of the linearisation of the regression map satisfies a certain range condition. It is shown that this range condition may fail in a commonly studied elliptic inverse problem with a divergence form equation, and that a large class of smooth linear functionals of the conductivity parameter cannot be estimated efficiently in this case. In particular, Gaussian `Bernstein von Mises'-type approximations for Bayesian posterior distributions do not hold in this setting.


title: On a Class of Polar Log-Aesthetic Curves

abstract: Curves are essential concepts that enable compounded aesthetic curves, e.g., to assemble complex silhouettes, match a specific curvature profile in industrial design, and construct smooth, comfortable, and safe trajectories in vehicle-robot navigation systems. New mechanisms able to encode, generate, evaluate, and deform aesthetic curves are expected to improve the throughput and the quality of industrial design. In recent years, the study of (log) aesthetic curves have attracted the community's attention due to its ubiquity in natural phenomena such as bird eggs, butterfly wings, falcon flights, and manufactured products such as Japanese swords and automobiles. A (log) aesthetic curve renders a logarithmic curvature graph approximated by a straight line, and polar aesthetic curves enable to mode user-defined dynamics of the polar tangential angle in the polar coordinate system. As such, the curvature profile often becomes a by-product of the tangential angle. In this paper, we extend the concept of polar aesthetic curves and establish the analytical formulations to construct aesthetic curves with user-defined criteria. In particular, we propose the closed-form analytic characterizations of polar log-aesthetic curves meeting user-defined criteria of curvature profiles and dynamics of polar tangential angles. We present numerical examples portraying the feasibility of rendering the logarithmic curvature graphs represented by a straight line. Our approach enables the seamless characterization of aesthetic curves in the polar coordinate system, which can model aesthetic shapes with desirable aesthetic curvature profiles.


title: Proper CAT(0) actions of unipotent-free linear groups

abstract: Let $\Gamma$ be a finitely generated group of matrices over $\mathbb{C}$. We construct an isometric action of $\Gamma$ on a complete CAT(0) space $X$ such that the restriction of this action to any subgroup of $\Gamma$ containing no nontrivial unipotent elements is well behaved. As an application, we show that if $M$ is a graph manifold that does not admit a nonpositively curved Riemannian metric, then any finite-dimensional $\mathbb{C}$-linear representation of $\pi_1(M)$ maps a nontrivial element of $\pi_1(M)$ to a unipotent matrix. In particular, the fundamental groups of such 3-manifolds do not admit any faithful finite-dimensional unitary representations.


title: Adaptive Streaming of 360 Videos with Perfect, Imperfect, and Unknown FoV Viewing Probabilities in Wireless Networks

abstract: This paper investigates adaptive streaming of one or multiple tiled 360 videos from a multi-antenna base station (BS) to one or multiple single-antenna users, respectively, in a multi-carrier wireless system. We aim to maximize the video quality while keeping rebuffering time small via encoding rate adaptation at each group of pictures (GOP) and transmission adaptation at each (transmission) slot. To capture the impact of field-of-view (FoV) prediction, we consider three cases of FoV viewing probability distributions, i.e., perfect, imperfect, and unknown FoV viewing probability distributions, and use the average total utility, worst average total utility, and worst total utility as the respective performance metrics. In the single-user scenario, we optimize the encoding rates of the tiles, encoding rates of the FoVs, and transmission beamforming vectors for all subcarriers to maximize the total utility in each case. In the multi-user scenario, we adopt rate splitting with successive decoding and optimize the encoding rates of the tiles, encoding rates of the FoVs, rates of the common and private messages, and transmission beamforming vectors for all subcarriers to maximize the total utility in each case. Then, we separate the challenging optimization problem into multiple tractable problems in each scenario. In the single-user scenario, we obtain a globally optimal solution of each problem using transformation techniques and the Karush-Kuhn-Tucker (KKT) conditions. In the multi-user scenario, we obtain a KKT point of each problem using the concave-convex procedure (CCCP). Finally, numerical results demonstrate that the proposed solutions achieve notable gains over existing schemes in all three cases. To the best of our knowledge, this is the first work revealing the impact of FoV prediction on the performance of adaptive streaming of tiled 360 videos.


title: Coexistence of negative and positive photoconductivity in few-layer PtSe2 field-effect transistors

abstract: Platinum diselenide (PtSe_2) field-effect transistors with ultrathin channel regions exhibit p-type electrical conductivity that is sensitive to temperature and environmental pressure. Exposure to a supercontinuum white light source reveals that positive and negative photoconductivity coexists in the same device. The dominance of one type of photoconductivity over the other is controlled by environmental pressure. Indeed, positive photoconductivity observed in high vacuum converts to negative photoconductivity when the pressure is rised. Density functional theory calculations confirm that physisorbed oxygen molecules on the PtSe_2 surface act as acceptors. The desorption of oxygen molecules from the surface, caused by light irradiation, leads to decreased carrier concentration in the channel conductivity. The understanding of the charge transfer occurring between the physisorbed oxygen molecules and the PtSe_2 film provides an effective route for modulating the density of carriers and the optical properties of the material.


title: Ultralight bosons for strong gravity applications from simple Standard Model extensions

abstract: We construct families, and concrete examples, of simple extensions of the Standard Model that can yield ultralight {real or} complex vectors or scalars with potential astrophysical relevance. Specifically, the mass range for these putative fundamental bosons ($\sim 10^{-10}-10^{-20}$ eV) would lead dynamically to both new non-black hole compact objects (bosonic stars) and new non-Kerr black holes, with masses of $\sim M_\odot$ to $\sim 10^{10} M_\odot$, corresponding to the mass range of astrophysical black hole candidates (from stellar mass to supermassive). For each model, we study the properties of the mass spectrum and interactions after spontaneous symmetry breaking, discuss its theoretical viability and caveats, as well as some of its potential and most relevant phenomenological implications {linking them to the} physics of compact objects.


title: Normalizers of sets of components in fusion systems

abstract: We describe some new ways to construct saturated fusion subsystems, including, as a special case, the normalizer of a set of components of the ambient fusion system. This was motivated in part by Aschbacher's construction of the normalizer of one component, and in part by joint work with three other authors where we had to construct the normalizer of all of the components.


title: Beyond Lorentzian Symmetry

abstract: This thesis presents a framework in which to explore kinematical symmetries beyond the standard Lorentzian case. This framework consists of an algebraic classification, a geometric classification, and a derivation of the geometric properties required to define physical theories on the classified spacetime geometries. The work completed in substantiating this framework for kinematical, super-kinematical, and super-Bargmann symmetries constitutes the body of this thesis. To this end, the classification of kinematical Lie algebras in spatial dimension $D = 3$, as presented in [3, 4], is reviewed; as is the classification of spatially-isotropic homogeneous spacetimes of [5]. The derivation of geometric properties such as the non-compactness of boosts, soldering forms and vielbeins, and the space of invariant affine connections is then presented. We move on to classify the $\mathcal{N}=1$ kinematical Lie superalgebras in three spatial dimensions, finding 43 isomorphism classes of Lie superalgebras. Once these algebras are determined, we classify the corresponding simply-connected homogeneous (4|4)-dimensional superspaces and show how the resulting 27 homogeneous superspaces may be related to one another via geometric limits. Finally, we turn our attention to generalised Bargmann superalgebras. In the present work, these will be the $\mathcal{N}=1$ and $\mathcal{N}=2$ super-extensions of the Bargmann and Newton-Hooke algebras, as well as the centrally-extended static kinematical Lie algebra, of which the former three all arise as deformations. Focussing solely on three spatial dimensions, we find $9$ isomorphism classes in the $\mathcal{N}=1$ case, and we identify $22$ branches of superalgebras in the $\mathcal{N}=2$ case.


title: Spectral monotonicity under Gaussian convolution

abstract: We show that the Poincar\'e constant of a log-concave measure in Euclidean space is monotone increasing along the heat flow. In fact, the entire spectrum of the associated Laplace operator is monotone decreasing. Two proofs of these results are given. The first proof analyzes a curvature term of a certain time-dependent diffusion, and the second proof constructs a contracting transport map following the approach of Kim and Milman.


title: Approximate Trace Reconstruction via Median String (in Average-Case)

abstract: We consider an \emph{approximate} version of the trace reconstruction problem, where the goal is to recover an unknown string $s\in\{0,1\}^n$ from $m$ traces (each trace is generated independently by passing $s$ through a probabilistic insertion-deletion channel with rate $p$). We present a deterministic near-linear time algorithm for the average-case model, where $s$ is random, that uses only \emph{three} traces. It runs in near-linear time $\tilde O(n)$ and with high probability reports a string within edit distance $O(\epsilon p n)$ from $s$ for $\epsilon=\tilde O(p)$, which significantly improves over the straightforward bound of $O(pn)$. Technically, our algorithm computes a $(1+\epsilon)$-approximate median of the three input traces. To prove its correctness, our probabilistic analysis shows that an approximate median is indeed close to the unknown $s$. To achieve a near-linear time bound, we have to bypass the well-known dynamic programming algorithm that computes an optimal median in time $O(n^3)$.


title: Topological pump and bulk-edge-correspondence in an extended Bose-Hubbard model

abstract: An extended Bose-Hubbard model (EBHM) with three- and four-body constraints can be feasible in cold atoms in an optical lattice. A rich phase structure including various symmetry-protected topological (SPT) phases is obtained numerically with suitable parameter settings and particle filling. The SPT phase is characterized by the Berry phase as a local topological order parameter and the structure of the entanglement spectrum (ES). Based on the presence of various topological phases, separated by gapless phase boundaries, the EBHM exhibits various bosonic topological pumps, which are constructed by connecting the different SPT phases without gap closing. The bulk topological pumps exhibit the plateau transitions characterized by many-body Chern numbers. For the system with boundary, the center of mass (CoM) under grand canonical ensemble elucidates the contributions of multiple edge states and reveals the topology of the system. We demonstrate that the interacting bosonic pumps obey the bulk-edge-correspondence.


title: Solar inertial modes: Observations, identification, and diagnostic promise

abstract: The oscillations of a slowly rotating star have long been classified into spheroidal and toroidal modes. The spheroidal modes include the well-known 5-min acoustic modes used in helioseismology. Here we report observations of the Sun's toroidal modes, for which the restoring force is the Coriolis force and whose periods are on the order of the solar rotation period. By comparing the observations with the normal modes of a differentially rotating spherical shell, we are able to identify many of the observed modes. These are the high-latitude inertial modes, the critical-latitude inertial modes, and the equatorial Rossby modes. In the model, the high-latitude and critical-latitude modes have maximum kinetic energy density at the base of the convection zone, and the high-latitude modes are baroclinically unstable due to the latitudinal entropy gradient. As a first application of inertial-mode helioseismology, we constrain the superadiabaticity and the turbulent viscosity in the deep convection zone.


title: Domino: A Tailored Network-on-Chip Architecture to Enable Highly Localized Inter- and Intra-Memory DNN Computing

abstract: The ever-increasing computation complexity of fast-growing Deep Neural Networks (DNNs) has requested new computing paradigms to overcome the memory wall in conventional Von Neumann computing architectures. The emerging Computing-In-Memory (CIM) architecture has been a promising candidate to accelerate neural network computing. However, the data movement between CIM arrays may still dominate the total power consumption in conventional designs. This paper proposes a flexible CIM processor architecture named Domino to enable stream computing and local data access to significantly reduce the data movement energy. Meanwhile, Domino employs tailored distributed instruction scheduling within Network-on-Chip (NoC) to implement inter-memory-computing and attain mapping flexibility. The evaluation with prevailing CNN models shows that Domino achieves 1.15-to-9.49$\times$ power efficiency over several state-of-the-art CIM accelerators and improves the throughput by 1.57-to-12.96$\times$.


title: Sloshing in vertical cylinders with circular walls: the effect of radial baffles

abstract: The behaviour of sloshing eigenvalues and eigenfunctions is studied for vertical cylindrical containers that have circular walls and constant (possibly infinite) depth. The effect of breaking the axial symmetry due to the presence of radial baffles is analysed. It occurs that the lowest eigenvalues are substantially smaller for containers with baffles going throughout the depth; moreover, all eigenvalues are simple in this case. On the other hand, the lowest eigenvalue has multiplicity two in the absence of baffle. It is shown how these properties affect the location of maxima and minima of the free surface elevation and the location of its nodes.


title: Feature-Filter: Detecting Adversarial Examples through Filtering off Recessive Features

abstract: Deep neural networks (DNNs) are under threat from adversarial example attacks. The adversary can easily change the outputs of DNNs by adding small well-designed perturbations to inputs. Adversarial example detection is a fundamental work for robust DNNs-based service. Adversarial examples show the difference between humans and DNNs in image recognition. From a human-centric perspective, image features could be divided into dominant features that are comprehensible to humans, and recessive features that are incomprehensible to humans, yet are exploited by DNNs. In this paper, we reveal that imperceptible adversarial examples are the product of recessive features misleading neural networks, and an adversarial attack is essentially a kind of method to enrich these recessive features in the image. The imperceptibility of the adversarial examples indicates that the perturbations enrich recessive features, yet hardly affect dominant features. Therefore, adversarial examples are sensitive to filtering off recessive features, while benign examples are immune to such operation. Inspired by this idea, we propose a label-only adversarial detection approach that is referred to as feature-filter. Feature-filter utilizes discrete cosine transform to approximately separate recessive features from dominant features, and gets a mutant image that is filtered off recessive features. By only comparing DNN's prediction labels on the input and its mutant, feature-filter can real-time detect imperceptible adversarial examples at high accuracy and few false positives.


title: Spin 1/2 Particle Dynamics Near Reissner-Nordstrom Black Holes: Extremal and Non-Extremal Cases

abstract: In this work, the fermion behaviour near the Reissner-Nordstrom black holes in quantum mechanics is studied and exact solutions of the Dirac equation for Reissner-Nordstrom Black Holes are obtained in terms of special functions. We have obtained different vector potentials which satisfy the solutions.


title: Multi-Modal Temporal Convolutional Network for Anticipating Actions in Egocentric Videos

abstract: Anticipating human actions is an important task that needs to be addressed for the development of reliable intelligent agents, such as self-driving cars or robot assistants. While the ability to make future predictions with high accuracy is crucial for designing the anticipation approaches, the speed at which the inference is performed is not less important. Methods that are accurate but not sufficiently fast would introduce a high latency into the decision process. Thus, this will increase the reaction time of the underlying system. This poses a problem for domains such as autonomous driving, where the reaction time is crucial. In this work, we propose a simple and effective multi-modal architecture based on temporal convolutions. Our approach stacks a hierarchy of temporal convolutional layers and does not rely on recurrent layers to ensure a fast prediction. We further introduce a multi-modal fusion mechanism that captures the pairwise interactions between RGB, flow, and object modalities. Results on two large-scale datasets of egocentric videos, EPIC-Kitchens-55 and EPIC-Kitchens-100, show that our approach achieves comparable performance to the state-of-the-art approaches while being significantly faster.


title: Semi-prorepresentability of formal moduli problems and equivariant structures

abstract: We generalize the notion of semi-universality in the classical deformation problems to the context of derived deformation theories. A criterion for a formal moduli problem to be semi-prorepresentable is produced. This can be seen as an analogue of Schlessinger's conditions for a functor of Artinian rings to have a semi-universal element. We also give a sufficient condition for a semi-prorepresentable formal moduli problem to admit a $G$-equivariant structure in a sense specified below, where $G$ is a linearly reductive group. Finally, by making use of these criteria, we derive many classical results including the existence of ($G$-equivariant) formal semi-universal deformations of algebraic schemes and that of complex compact manifolds.