title: HODET: Hybrid Object DEtection and Tracking using mmWave Radar and Visual Sensors

abstract: Image sensors have been explored heavily in automotive applications for collision avoidance and varying levels of autonomy. It requires a degree of brightness, therefore, the use of an image sensor in nighttime operation or dark conditions can be problematic along with challenging weather such as fog. Radar sensors have been employed to help cover the various environmental challenges with visible spectrum cameras. Edge computing technology has the potential to address a number of issues such as real-time processing requirements, off-loading of processing from congested servers, and size, weight, power, and cost (SWaP-C) constraints. This paper proposes a novel Hybrid Object DEtection and Tracking (HODET) using mmWave Radar and Visual Sensors at the edge. The HODET is a computing application of low SWaP-C electronics performing object detection, tracking and identification algorithms with the simultaneous use of image and radar sensors. While the machine vision camera alone could estimate the distance of an object, the radar sensor will provide an accurate distance and vector of movement. This additional data accuracy can be leveraged to further discriminate a detected object to protect against spoofing attacks. A real-world smart community public safety monitoring scenario is selected to verify the effectiveness of HODET, which detects, tracks objects of interests and identify suspicious activities. The experimental results demonstrate the feasibility of the approach.


title: Synthesis of tunable $SnS-TaS_2$ nanoscale superlattices

abstract: Nanoscale superlattices represent a compelling platform for designed materials as the specific identity and spatial arrangement of constituent layers can lead to tunable properties. A number of kinetically-stabilized layered chalcogenide nanocomposites have taken inspiration from misfit compounds, a thermodynamically stable class of materials formed of van der Waals-bonded (vdW) layers. This class of vdW heterostructure superlattices have been reported in telluride and selenide chemistries, but have not yet been extended to sulfides. Here we present $SnS-TaS_2$ nanoscale superlattices with tunable layer architecture. Thin films are prepared from layered amorphous precursors and deposited to mimic the targeted superlattice; subsequent low temperature annealing activates self-assembly into designed nanocomposites. Structure and composition for materials are investigated that span stacking sequences between $[(SnS)_{1+\delta}]_3(TaS_2)_1$ and $(SnS)_7(TaS_2)_1$ using x-ray diffraction, x-ray fluorescence, and transmission electron microscopy. A graded deposition approach is implemented to stabilize heterostructures of multiple stacking sequences with a single preparation. Precise control over the architecture of such nanoscale superlattices is a critical path towards controlling the properties of quantum materials and constituent devices.


title: Diffusion in heterogeneous discs and spheres: new closed-form expressions for exit times and homogenization formulae

abstract: Mathematical models of diffusive transport underpin our understanding of chemical, biochemical and biological transport phenomena. Analysis of such models often focusses on relatively simple geometries and deals with diffusion through highly idealised homogeneous media. In contrast, practical applications of diffusive transport theory inevitably involve dealing with more complicated geometries as well as dealing with heterogeneous media. One of the most fundamental properties of diffusive transport is the concept of mean particle lifetime or mean exit time, which are particular applications of the concept of first passage time, and provide the mean time required for a diffusing particle to reach an absorbing boundary. Most formal analysis of mean particle lifetime applies to relatively simple geometries, often with homogeneous (spatially-invariant) material properties. In this work, we present a general framework that provides exact mathematical insight into the mean particle lifetime, and higher moments of particle lifetime, for point particles diffusing in heterogeneous discs and spheres with radial symmetry. Our analysis applies to geometries with an arbitrary number and arrangement of distinct layers, where transport in each layer is characterised by a distinct diffusivity. We obtain exact closed-form expressions for the mean particle lifetime for a diffusing particle released at an arbitrary location and we generalise these results to give exact, closed-form expressions for any higher-order moment of particle lifetime for a range of different boundary conditions. Finally, using these results we construct new homogenization formulae that provide an accurate simplified description of diffusion through heterogeneous discs and spheres.


title: Interfacial-hybridization-modified Ir Ferromagnetism and Electronic Structure in LaMnO$_3$/SrIrO$_3$ Superlattices

abstract: Artificially fabricated 3$d$/5$d$ superlattices (SLs) involve both strong electron correlation and spin-orbit coupling in one material by means of interfacial 3$d$-5$d$ coupling, whose mechanism remains mostly unexplored. In this work we investigated the mechanism of interfacial coupling in LaMnO$_3$/SrIrO$_3$ SLs by several spectroscopic approaches. Hard x-ray absorption, magnetic circular dichroism and photoemission spectra evidence the systematic change of the Ir ferromagnetism and the electronic structure with the change of the SL repetition period. First-principles calculations further reveal the mechanism of the SL-period dependence of the interfacial electronic structure and the local properties of the Ir moments, confirming that the formation of Ir-Mn molecular orbital is responsible for the interfacial coupling effects. The SL-period dependence of the ratio between spin and orbital components of the Ir magnetic moments can be attributed to the realignment of electron spin during the formation of the interfacial molecular orbital. Our results clarify the nature of interfacial coupling in this prototypical 3$d$/5$d$ SL system and the conclusion will shed light on the study of other strongly correlated and spin-orbit coupled oxide hetero-interfaces.


title: Bound states in the continuum are universal under the effect of minimal length

abstract: Bound states in the continuum (BICs) are generally considered unusual phenomena. In this work, we provide a method to analyze the spatial structure of particle's bound states in the presence of a minimal length, which can be used to find BICs. It is shown that the BICs are universal phenomena under the effect of the minimal length. Several examples of typical potentials, i.e., infinite potential well, linear potential, harmonic oscillator, quantum bouncer and Coulomb potential, et al, are provided to show the BICs are universal. The wave functions and energy of the first three examples are provided. A condition is obtained to determine whether the BICs can be readily found in systems. Using the condition, we find that although the BICs are universal phenomena, they are often hardly found in many ordinary environments since the bound continuous states perturbed by the effect of the minimal length are too weak to observe. The results are consistent with the current experimental results on BICs. In addition, we reveal a mechanism of the BICs. The mechanism explains why current research shows the bound discrete states are typical, whereas BICs are always found in certain particular environments when the minimal length is not considered.


title: On the Linguistic Capacity of Real-Time Counter Automata

abstract: Counter machines have achieved a newfound relevance to the field of natural language processing (NLP): recent work suggests some strong-performing recurrent neural networks utilize their memory as counters. Thus, one potential way to understand the success of these networks is to revisit the theory of counter computation. Therefore, we study the abilities of real-time counter machines as formal grammars, focusing on formal properties that are relevant for NLP models. We first show that several variants of the counter machine converge to express the same class of formal languages. We also prove that counter languages are closed under complement, union, intersection, and many other common set operations. Next, we show that counter machines cannot evaluate boolean expressions, even though they can weakly validate their syntax. This has implications for the interpretability and evaluation of neural network systems: successfully matching syntactic patterns does not guarantee that counter memory accurately encodes compositional semantics. Finally, we consider whether counter languages are semilinear. This work makes general contributions to the theory of formal languages that are of potential interest for understanding recurrent neural networks.


title: Spinon Fermi surface spin liquid in a triangular lattice antiferromagnet NaYbSe$_2$

abstract: Triangular lattice of rare-earth ions with interacting effective spin-$1/2$ local moments is an ideal platform to explore the physics of quantum spin liquids (QSLs) in the presence of strong spin-orbit coupling, crystal electric fields, and geometrical frustration. The Yb delafossites, NaYbCh$_2$ (Ch=O, S, Se) with Yb ions forming a perfect triangular lattice, have been suggested to be candidates for QSLs. Previous thermodynamics, nuclear magnetic resonance, and muon spin rotation measurements on NaYbCh$_2$ have supported the suggestion of the QSL ground states. The key signature of a QSL, the spin excitation continuum, arising from the spin quantum number fractionalization, has not been observed. Here we perform both elastic and inelastic neutron scattering measurements as well as detailed thermodynamic measurements on high-quality single-crystalline NaYbSe$_2$ samples to confirm the absence of long-range magnetic order down to 40 mK, and further reveal a clear signature of magnetic excitation continuum extending from 0.1 to 2.5 meV. The comparison between the structure of the magnetic excitation spectra and the theoretical expectation from the spinon continuum suggests that the ground state of NaYbSe$_2$ is a QSL with a spinon Fermi surface.


title: Multi-scale steady solution for Rayleigh-B\'enard convection

abstract: We have found a multi-scale steady solution of the Boussinesq equations for Rayleigh-B\'enard convection in a three-dimensional periodic domain between horizontal plates with a constant temperature difference by using a homotopy from the wall-to-wall optimal transport solution given by Motoki et al. (J. Fluid Mech., vol. 851, 2018, R4). The connected steady solution, which turns out to be a consequence of bifurcation from a thermal conduction state at the Rayleigh number $Ra\sim10^{3}$, is tracked up to $Ra\sim10^{7}$ by using a Newton-Krylov iteration. The exact coherent thermal convection exhibits scaling $Nu\sim Ra^{0.31}$ (where $Nu$ is the Nusselt number) as well as multi-scale thermal plume and vortex structures, which are quite similar to those in the turbulent Rayleigh-B\'enard convection. The mean temperature profiles and the root-mean-square of the temperature and velocity fluctuations are in good agreement with those of the turbulent states. Furthermore, the energy spectrum follows Kolmogorov's -5/3 scaling law with a consistent prefactor, and the energy transfer to smaller scales in the wavenumber space agrees with the turbulent energy transfer.


title: Theory for Non-Fermi Liquid Temperature Dependence in Resistivity of Ce_xLa_{1-x} Cu_{5.62} Au_{0.38} (x=0.02-0.10) on the Local Quantum Valence Criticality of Ce Impurities

abstract: It was reported by Shiino et al in J. Phys. Soc. Jpn. 86, 123705 (2017) that Ce_xLa_{1-x} Cu_{5.62} Au_{0.38} (x=0.02-0.10) exhibits a new type of quantum criticality in both magnetic and thermal properties, which is the same as that observed in a series of materials exhibiting quantum critical valence fluctuations (QCVF), such as \beta-YbAlB_4, Yb_{15}Al_{34}Au_{51}, and so on. However, the temperature (T) dependence in the resistivity rho(T) for T<0.5K is quite anomalous, i.e., \rho(T)\propto (const.-T^{n}) with n \simeq 0.75 at x=0.05. We find that this anomalous exponent is given by n=2(1-\zeta), with zeta being the weakly temperature dependent (0.5 \lsim \zeta \lsim 0.7) critical exponent for the QCVF.The observed critical exponent n\simeq 0.75 at x=0.05 is reproduced by choosing \zeta\simeq 0.63 which is consistent with the divergent behavior observed in the uniform magnetic susceptibility \chi\propto T^{-\zeta} with \zeta\simeq 0.67 at x=0.02.


title: Coreferential Reasoning Learning for Language Representation

abstract: Language representation models such as BERT could effectively capture contextual semantic information from plain text, and have been proved to achieve promising results in lots of downstream NLP tasks with appropriate fine-tuning. However, most existing language representation models cannot explicitly handle coreference, which is essential to the coherent understanding of the whole discourse. To address this issue, we present CorefBERT, a novel language representation model that can capture the coreferential relations in context. The experimental results show that, compared with existing baseline models, CorefBERT can achieve significant improvements consistently on various downstream NLP tasks that require coreferential reasoning, while maintaining comparable performance to previous models on other common NLP tasks. The source code and experiment details of this paper can be obtained from https://github.com/thunlp/CorefBERT.


title: TOD-BERT: Pre-trained Natural Language Understanding for Task-Oriented Dialogue

abstract: The underlying difference of linguistic patterns between general text and task-oriented dialogue makes existing pre-trained language models less useful in practice. In this work, we unify nine human-human and multi-turn task-oriented dialogue datasets for language modeling. To better model dialogue behavior during pre-training, we incorporate user and system tokens into the masked language modeling. We propose a contrastive objective function to simulate the response selection task. Our pre-trained task-oriented dialogue BERT (TOD-BERT) outperforms strong baselines like BERT on four downstream task-oriented dialogue applications, including intention recognition, dialogue state tracking, dialogue act prediction, and response selection. We also show that TOD-BERT has a stronger few-shot ability that can mitigate the data scarcity problem for task-oriented dialogue.


title: Degree spectra of homeomorphism types of compact Polish spaces

abstract: A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a $0'$-computable low$_3$ compact Polish space which is not homeomorphic to a computable one, and that, for any natural number $n\geq 2$, there exists a Polish space $X_n$ such that exactly the high$_{n}$-degrees are required to present the homeomorphism type of $X_n$. We also show that no compact Polish space has a least presentation with respect to Turing reducibility. The first version of this article appeared in April 2020. A major update was made in September 2023, with improved proofs and results. This is the final version from January 2024, with more results on \v{C}ech homology groups.


title: Verification of phased Dicke states

abstract: Dicke states are typical examples of quantum states with genuine multipartite entanglement. They are valuable resources in many quantum information processing tasks, including multiparty quantum communication and quantum metrology. Phased Dicke states are a generalization of Dicke states and include antisymmetric basis states as a special example. These states are useful in atomic and molecular physics besides quantum information processing. Here we propose practical and efficient protocols based on adaptive local projective measurements for verifying all phased Dicke states, including $W$ states and qudit Dicke states. To verify any $n$-partite phased Dicke state within infidelity $\epsilon$ and significance level $\delta$, the number of tests required is only $O(n\epsilon^{-1}\ln\delta^{-1})$, which is linear in $n$ and is exponentially more efficient than traditional tomographic approaches. In the case of $W$ states, the number of tests can be further reduced to $O(\sqrt{n}\,\epsilon^{-1}\ln\delta^{-1})$. Moreover, we construct an optimal protocol for any antisymmetric basis state; the number of tests required decreases (rather than increases) monotonically with $n$. This is the only optimal protocol known for multipartite nonstabilizer states.


title: Understanding Aesthetic Evaluation using Deep Learning

abstract: A bottleneck in any evolutionary art system is aesthetic evaluation. Many different methods have been proposed to automate the evaluation of aesthetics, including measures of symmetry, coherence, complexity, contrast and grouping. The interactive genetic algorithm (IGA) relies on human-in-the-loop, subjective evaluation of aesthetics, but limits possibilities for large search due to user fatigue and small population sizes. In this paper we look at how recent advances in deep learning can assist in automating personal aesthetic judgement. Using a leading artist's computer art dataset, we use dimensionality reduction methods to visualise both genotype and phenotype space in order to support the exploration of new territory in any generative system. Convolutional Neural Networks trained on the user's prior aesthetic evaluations are used to suggest new possibilities similar or between known high quality genotype-phenotype mappings.


title: On Cyclic Polar Codes and The Burst Erasure Performance of Spatially-Coupled LDPC Codes

abstract: Polar codes were introduced in 2009 and proven to achieve the symmetric capacity of any binary-input discrete memoryless channel under low-complexity successive cancellation decoding. In this thesis, we construct cyclic polar codes based on a mixed-radix Cooley-Tukey decomposition of the Galois field Fourier transform. The main results are: we can, for the first time, construct, encode and decode polar codes that are cyclic, with their blocklength being arbitrary; for a given target block erasure rate, we can achieve significantly higher code rates on the erasure channel than the original polar codes, at comparable blocklengths; on the symmetric channel with only errors, we can perform much better than equivalent rate Reed-Solomon codes with the same blocklength, by using soft-decision decoding; and, since the codes are subcodes of higher rate RS codes, a RS decoder can be used if suboptimal performance suffices for the application as a trade-off for higher decoding speed. In 2010, it was shown that spatially-coupled low-density parity-check (LDPC) codes approach the capacity of binary memoryless channels, asymptotically, with belief-propagation (BP) decoding. In this thesis, we are interested in the finite length average performance of randomly coupled LDPC ensembles on binary erasure channels with memory. The significant contributions of this work are: tight lower bounds for the block erasure probability ($P_B$) under various scenarios for the burst pattern; bounds focused on practical scenarios where a burst affects exactly one of the coupled codes; expected error floor for the bit erasure probability ($P_b$) on the binary erasure channel; and, characterization of the performance of random regular ensembles, on erasure channels, with a single vector describing distinct types of size-$2$ stopping sets. All these results are verified using Monte-Carlo simulations.


title: Screw dislocation that converts p-type GaN to n-type: Microscopic study on the Mg condensation and the leakage current in p-n diodes

abstract: Recent experiments suggest that Mg condensation at threading dislocations induce current leakage, leading to degradation of GaN-based power devices. To study this issue, we perform first-principles total-energy electronic-structure calculations for various Mg and dislocation complexes. We find that threading screw dislocations (TSDs) indeed attract Mg impurities, and that the electronic levels in the energy gap induced by the dislocations are elevated towards the conduction band as the Mg impurity approaches the dislocation line, indicating that the Mg-TSD complex is a donor. The formation of the Mg-TSD complex is unequivocally evidenced by our atom probe tomography in which Mg condensation and diffusion through [0001] screw dislocations is observed in p-n diodes. These findings provide a novel picture that the Mg being a p-type impurity in GaN diffuses toward the TSD and then locally forms an n-type region. The appearance of this region along the TSD results the reverse leakage current.


title: J-PARC Neutrino Beamline and 1.3 MW Upgrade

abstract: J-PARC neutrino beamline has been operated since 2009. Until May 2018, the maximum beam power achieved was ~500 kW. In future, the beam power will be upgraded to 1.3 MW. After the stable operation in late 2020s, we can accumulate ~30 x 10^20 POT data per year. It is almost the same number as total POT accumulated in recent 10 years. The upgrade plan of the Main Ring as well as the neutrino beamline is reported.


title: Near-Pulse Solutions of the FitzHugh-Nagumo Equations on Cylindrical Surfaces

abstract: We introduce a geometrical extension of the FitzHugh-Nagumo equations describing propagation of electrical impulses in nerve axons. In this extension, the axon is modeled as a warped cylinder, rather than a straight line, as is usually done, while pulses propagate on its surface, as is the case with real axons. We prove the stability of electrical impulses for a standard cylinder and existence and stability of pulse-like solutions for warped cylinders whose radii are small and vary slowly along their lengths.


title: On the Complexity of the Plantinga-Vegter Algorithm

abstract: We introduce tools from numerical analysis and high dimensional probability for precision control and complexity analysis of subdivision-based algorithms in computational geometry. We combine these tools with the continuous amortization framework from exact computation. We use these tools on a well-known example from the subdivision family: the adaptive subdivision algorithm due to Plantinga and Vegter. The only existing complexity estimate on this rather fast algorithm was an exponential worst-case upper bound for its interval arithmetic version. We go beyond the worst-case by considering both average and smoothed analysis, and prove polynomial time complexity estimates for both interval arithmetic and finite-precision versions of the Plantinga-Vegter algorithm.


title: A multivariate evolutionary generalised linear model framework with adaptive estimation for claims reserving

abstract: In this paper, we develop a multivariate evolutionary generalised linear model (GLM) framework for claims reserving, which allows for dynamic features of claims activity in conjunction with dependency across business lines to accurately assess claims reserves. We extend the traditional GLM reserving framework on two fronts: GLM fixed factors are allowed to evolve in a recursive manner, and dependence is incorporated in the specification of these factors using a common shock approach. We consider factors that evolve across accident years in conjunction with factors that evolve across calendar years. This two-dimensional evolution of factors is unconventional as a traditional evolutionary model typically considers the evolution in one single time dimension. This creates challenges for the estimation process, which we tackle in this paper. We develop the formulation of a particle filtering algorithm with parameter learning procedure. This is an adaptive estimation approach which updates evolving factors of the framework recursively over time. We implement and illustrate our model with a simulated data set, as well as a set of real data from a Canadian insurer.


title: Cohomological expression of the curvature of K\"ahler moduli

abstract: The K\"ahler cone of a compact K\"ahler manifold carries a natural Riemannian metric, given by the intersection product of its cohomology ring. We give cohomological expressions for the Levi-Civita connection and curvature tensor of this metric, and determine when the metric is complete.


title: Effect of Input Noise Dimension in GANs

abstract: Generative Adversarial Networks (GANs) are by far the most successful generative models. Learning the transformation which maps a low dimensional input noise to the data distribution forms the foundation for GANs. Although they have been applied in various domains, they are prone to certain challenges like mode collapse and unstable training. To overcome the challenges, researchers have proposed novel loss functions, architectures, and optimization methods. In our work here, unlike the previous approaches, we focus on the input noise and its role in the generation. We aim to quantitatively and qualitatively study the effect of the dimension of the input noise on the performance of GANs. For quantitative measures, typically \emph{Fr\'{e}chet Inception Distance (FID)} and \emph{Inception Score (IS)} are used as performance measure on image data-sets. We compare the FID and IS values for DCGAN and WGAN-GP. We use three different image data-sets -- each consisting of different levels of complexity. Through our experiments, we show that the right dimension of input noise for optimal results depends on the data-set and architecture used. We also observe that the state of the art performance measures does not provide enough useful insights. Hence we conclude that we need further theoretical analysis for understanding the relationship between the low dimensional distribution and the generated images. We also require better performance measures.


title: Mirror Ritual: Human-Machine Co-Construction of Emotion

abstract: Mirror Ritual is an interactive installation that challenges the existing paradigms in our understanding of human emotion and machine perception. In contrast to prescriptive interfaces, the work's real-time affective interface engages the audience in the iterative conceptualisation of their emotional state through the use of affectively-charged machine generated poetry. The audience are encouraged to make sense of the mirror's poetry by framing it with respect to their recent life experiences, effectively `putting into words' their felt emotion. This process of affect labelling and contextualisation works to not only regulate emotion, but helps to construct the rich personal narratives that constitute human identity.


title: Growth of matter fluctuations in $f(R,T)$ Gravity

abstract: In this work, I present for the first time the analysis concerning the growth of matter fluctuations in the framework of $f(R,T)$ modified gravity where I presume $f(R,T) = R + \lambda T$, where $R$ denote the Ricci scalar, $T$ the trace of the energy-momentum tensor and $\lambda$ a constant. I first solve the Friedman equations assuming a dust universe ($\omega =0$) for the Hubble parameter $H(z)$ and then employ it in the equation of matter density fluctuations $\delta(z)$ to solve for $\delta(z)$ and the growth rate $f(z)$. Next, I proceed to show the behavior of $f(z)$ and $\delta(z)$ with redshift for some values of $\lambda$ with observational constraints. Finally, following the prescription of \cite{growft41}, I present an analytical expression for the growth index $\gamma$ which is redshift dependent and the expression reduces to $3/5$ for $\lambda=0$, which is the growth index for a dust universe.


title: Simulating nonnative cubic interactions on noisy quantum machines

abstract: As a milestone for general-purpose computing machines, we demonstrate that quantum processors can be programmed to efficiently simulate dynamics that are not native to the hardware. Moreover, on noisy devices without error correction, we show that simulation results are significantly improved when the quantum program is compiled using modular gates instead of a restricted set of standard gates. We demonstrate the general methodology by solving a cubic interaction problem, which appears in nonlinear optics, gauge theories, as well as plasma and fluid dynamics. To encode the nonnative Hamiltonian evolution, we decompose the Hilbert space into a direct sum of invariant subspaces in which the nonlinear problem is mapped to a finite-dimensional Hamiltonian simulation problem. In a three-states example, the resultant unitary evolution is realized by a product of ~20 standard gates, using which ~10 simulation steps can be carried out on state-of-the-art quantum hardware before results are corrupted by decoherence. In comparison, the simulation depth is improved by more than an order of magnitude when the unitary evolution is realized as a single cubic gate, which is compiled directly using optimal control. Alternatively, parametric gates may also be compiled by interpolating control pulses. Modular gates thus obtained provide high-fidelity building blocks for quantum Hamiltonian simulations.


title: Non-Holomorphic Ramanujan-type Congruences for Hurwitz Class Numbers

abstract: In contrast to all other known Ramanujan-type congruences, we discover that Ramanujan-type congruences for Hurwitz class numbers can be supported on non-holomorphic generating series. We establish a divisibility result for such non-holomorphic congruences of Hurwitz class numbers. The two keys tools in our proof are the holomorphic projection of products of theta series with a Hurwitz class number generating series and a theorem by Serre, which allows us to rule out certain congruences.


title: Analysis of Scoliosis From Spinal X-Ray Images

abstract: Scoliosis is a congenital disease in which the spine is deformed from its normal shape. Measurement of scoliosis requires labeling and identification of vertebrae in the spine. Spine radiographs are the most cost-effective and accessible modality for imaging the spine. Reliable and accurate vertebrae segmentation in spine radiographs is crucial in image-guided spinal assessment, disease diagnosis, and treatment planning. Conventional assessments rely on tedious and time-consuming manual measurement, which is subject to inter-observer variability. A fully automatic method that can accurately identify and segment the associated vertebrae is unavailable in the literature. Leveraging a carefully-adjusted U-Net model with progressive side outputs, we propose an end-to-end segmentation model that provides a fully automatic and reliable segmentation of the vertebrae associated with scoliosis measurement. Our experimental results from a set of anterior-posterior spine X-Ray images indicate that our model, which achieves an average Dice score of 0.993, promises to be an effective tool in the identification and labeling of spinal vertebrae, eventually helping doctors in the reliable estimation of scoliosis. Moreover, estimation of Cobb angles from the segmented vertebrae further demonstrates the effectiveness of our model.


title: Real-Time Differential Epidemic Analysis and Prediction for COVID-19 Pandemic

abstract: In this paper, we propose a new real-time differential virus transmission model, which can give more accurate and robust short-term predictions of COVID-19 transmitted infectious disease with benefits of near-term trend projection. Different from the existing Susceptible-Exposed-Infected-Removed (SEIR) based virus transmission models, which fits well for pandemic modeling with sufficient historical data, the new model, which is also SEIR based, uses short history data to find the trend of the changing disease dynamics for the infected, the dead and the recovered so that it can naturally accommodate the adaptive real-time changes of disease mitigation, business activity and social behavior of populations. As the parameters of the improved SEIR models are trained by short history window data for accurate trend prediction, our differential epidemic model, essentially are window-based time-varying SEIR model. Since SEIR model still is a physics-based disease transmission model, its near-term (like one month) projection can still be very instrumental for policy makers to guide their decision for disease mitigation and business activity policy change in a real-time. This is especially useful if the pandemic lasts more than one year with different phases across the world like 1918 flu pandemic. Numerical results on the recent COVID-19 data from China, Italy and US, California and New York states have been analyzed.


title: On the homotopy type of L-spectra of the integers

abstract: We show that quadratic and symmetric L-theory of the integers are related by Anderson duality and show that both spectra split integrally into the L-theory of the real numbers and a generalised Eilenberg-Mac Lane spectrum. As a consequence, we obtain a corresponding splitting of the space G/Top. Finally, we prove analogous results for the genuine L-spectra recently devised for the study of Grothendieck--Witt theory.


title: Perturbation theory of thermal rectification

abstract: Thermal rectification which is a diode-like behavior of heat flux has been studied over a long time. However, a universal and systematic physical description is still lacking. In this letter, a perturbation theory of thermal rectification is developed, which provides an analytical formula of the thermal rectification ratio. It reveals the linear relationship between the thermal rectification ratio and temperature difference. Furthermore, the size-dependence of the thermal rectification relies on the specific form of the thermal conductivity. In addition, several experimental and numerical observations in previous literatures are well explained. This theory can be applicable to any system in which a differentiable effective thermal conductivity can be derived, and is helpful to unveil general principle for thermal rectification.


title: "Stay Nearby or Get Checked": A Covid-19 Lockdown Exit Strategy

abstract: This paper repurposes the classic insight from network theory that long-distance connections drive disease propagation into a strategy for controlling a second wave of Covid-19. We simulate a scenario in which a lockdown is first imposed on a population and then partly lifted while long-range transmission is kept at a minimum. Simulated spreading patterns resemble contemporary distributions of Covid-19 across nations, regions, and provinces, providing some model validation. Results suggest that the proposed strategy may significantly flatten a second wave. We also find that post-lockdown flare-ups remain local longer, aiding geographical containment. Public policy may target long ties by heavily focusing medical testing and mobility tracking efforts on traffic and transport. This policy can be communicated to the general public as a simple and reasonable principle: Stay nearby or get checked.


title: New models for deformations: Linear Distortion and the failure of rank-one convexity

abstract: In this article, we discuss new models for static nonlinear deformations via scale-invariant conformal energy functionals based on the linear distortion. In particular, we give examples to show that, despite equicontinuity estimates giving compactness, minimising sequences will have strictly lower energy than their limit, and that this energy gap can be quite large. We do this by showing that Iwaniec's theorem on the failure of rank-one convexity for the linear distortion of a specific family of linear mappings, is actually generic and we subsequently identify the optimal rank-one direction to deform a linear map to maximally decrease its distortion.


title: On the cavity evolution and the Rayleigh--Plesset equation in superfluid helium

abstract: On the basis of the two-fluid hydrodynamics, an analogue of the famous Rayleigh-Plesse equation for the dynamics of a spherical bubble in superfluid helium is obtained. The mass flow velocity $v$ and the velocity of the normal component $v_{n}$ were chosen as independent variables. Due to the two-fluid nature of HeII, the cross terms in the evolution equation for the boundary position $\ R(t)$ appeared, which were absent in classical Rayleigh-Plesset equation in ordinary fluids. One of them renormilizes the coefficient in front of $(dR/dt)^{2}$. Another additional term formally coinciding with the viscous term, describes the attenuation of the boundary oscillations. This "extra-damping" term, greatly exceeding the usual viscous term, leads to a significant difference in the dynamics of cavity compared to HeI. In particular, this results in the interesting effect of abnormal suppression of oscillations of the vapor--liquid boundary observed in many works. There is also an additional term proportional to the squared velocity of the normal component, which is independent of the derivative $dR/dt$, and can be included in the pressure drop. Its physical meaning is that it describes a "Bernoulli" -like pressure created by the flow of a normal component. The obtained result declares that some results on the dynamics of the cavity in superfluid helium should be reviewed


title: Human Evaluation of Interpretability: The Case of AI-Generated Music Knowledge

abstract: Interpretability of machine learning models has gained more and more attention among researchers in the artificial intelligence (AI) and human-computer interaction (HCI) communities. Most existing work focuses on decision making, whereas we consider knowledge discovery. In particular, we focus on evaluating AI-discovered knowledge/rules in the arts and humanities. From a specific scenario, we present an experimental procedure to collect and assess human-generated verbal interpretations of AI-generated music theory/rules rendered as sophisticated symbolic/numeric objects. Our goal is to reveal both the possibilities and the challenges in such a process of decoding expressive messages from AI sources. We treat this as a first step towards 1) better design of AI representations that are human interpretable and 2) a general methodology to evaluate interpretability of AI-discovered knowledge representations.


title: Coexistence of Surface Ferromagnetism and Gapless Topological State in MnBi$_2$Te$_4$

abstract: Surface magnetism and its correlation with the electronic structure are critical to understand the gapless topological surface state in the intrinsic magnetic topological insulator MnBi$_2$Te$_4$. Here, using static and time resolved angle-resolved photoemission spectroscopy (ARPES), we find a significant ARPES intensity change together with a gap opening on a Rashba-like conduction band. Comparison with a model simulation strongly indicates that the surface magnetism on cleaved MnBi$_2$Te$_4$ is the same as its bulk state. The coexistence of surface ferromagnetism and a gapless TSS uncovers the novel complexity of MnBi$_2$Te$_4$ that may be responsible for the low quantum anomalous Hall temperature of exfoliated MnBi$_2$Te$_4$.


title: Contextual-Bandit Anomaly Detection for IoT Data in Distributed Hierarchical Edge Computing

abstract: Advances in deep neural networks (DNN) greatly bolster real-time detection of anomalous IoT data. However, IoT devices can hardly afford complex DNN models, and offloading anomaly detection tasks to the cloud incurs long delay. In this paper, we propose and build a demo for an adaptive anomaly detection approach for distributed hierarchical edge computing (HEC) systems to solve this problem, for both univariate and multivariate IoT data. First, we construct multiple anomaly detection DNN models with increasing complexity, and associate each model with a layer in HEC from bottom to top. Then, we design an adaptive scheme to select one of these models on the fly, based on the contextual information extracted from each input data. The model selection is formulated as a contextual bandit problem characterized by a single-step Markov decision process, and is solved using a reinforcement learning policy network. We build an HEC testbed, implement our proposed approach, and evaluate it using real IoT datasets. The demo shows that our proposed approach significantly reduces detection delay (e.g., by 71.4% for univariate dataset) without sacrificing accuracy, as compared to offloading detection tasks to the cloud. We also compare it with other baseline schemes and demonstrate that it achieves the best accuracy-delay tradeoff. Our demo is also available online: https://rebrand.ly/91a71


title: Holographic unitary renormalization group for correlated electrons -- I: a tensor network approach

abstract: We present a unified framework for the renormalisation of the Hamiltonian and eigenbasis of a system of correlated electrons, unveiling thereby the interplay between electronic correlations and many-particle entanglement. For this, we extend substantially the unitary renormalization group (URG) scheme introduced in Refs.\cite{anirbanmotti,anirbanmott2,mukherjee2020}. We recast the RG as a discrete flow of the Hamiltonian tensor network, i.e., the collection of various $2n$-point scattering vertex tensors comprising the Hamiltonian. The renormalisation progresses via unitary transformations that block diagonalizes the Hamiltonian iteratively via the disentanglement of single-particle eigenstates. This procedure incorporates naturally the role of quantum fluctuations. The RG flow equations possess a non-trivial structure, displaying a feedback mechanism through frequency-dependent dynamical self-energies and correlation energies. The interplay between various UV energy scales enables the coupled RG equations to flow towards a stable fixed point in the IR. The effective Hamiltonian at the IR fixed point generically has a reduced parameter space, as well as number of degrees of freedom, compared to the microscopic Hamiltonian. Importantly, the vertex tensor network is observed to govern the RG flow of the tensor network that denotes the coefficients of the many-particle eigenstates. The RG evolution of various many-particle entanglement features of the eigenbasis are, in turn, quantified through the coefficient tensor network. In this way, we show that the URG framework provides a microscopic understanding of holographic renormalisation: the RG flow of the vertex tensor network generates a eigenstate coefficient tensor network possessing a many-particle entanglement metric. We find that the eigenstate tensor network accommodates sign factors arising from fermion exchange.


title: Learning sums of powers of low-degree polynomials in the non-degenerate case

abstract: We develop algorithms for writing a polynomial as sums of powers of low degree polynomials. Consider an $n$-variate degree-$d$ polynomial $f$ which can be written as $$f = c_1Q_1^{m} + \ldots + c_s Q_s^{m},$$ where each $c_i\in \mathbb{F}^{\times}$, $Q_i$ is a homogeneous polynomial of degree $t$, and $t m = d$. In this paper, we give a $\text{poly}((ns)^t)$-time learning algorithm for finding the $Q_i$'s given (black-box access to) $f$, if the $Q_i's$ satisfy certain non-degeneracy conditions and $n$ is larger than $d^2$. The set of degenerate $Q_i$'s (i.e., inputs for which the algorithm does not work) form a non-trivial variety and hence if the $Q_i$'s are chosen according to any reasonable (full-dimensional) distribution, then they are non-degenerate with high probability (if $s$ is not too large). Our algorithm is based on a scheme for obtaining a learning algorithm for an arithmetic circuit model from a lower bound for the same model, provided certain non-degeneracy conditions hold. The scheme reduces the learning problem to the problem of decomposing two vector spaces under the action of a set of linear operators, where the spaces and the operators are derived from the input circuit and the complexity measure used in a typical lower bound proof. The non-degeneracy conditions are certain restrictions on how the spaces decompose.


title: Quadratic and cubic Newton maps of rational functions

abstract: The dynamics of all quadratic Newton maps of rational functions are completely described. The Julia set of such a map is found to be either a Jordan curve or totally disconnected. It is proved that no Newton map with degree at least three of any rational function is conformally conjugate to a unicritical polynomial(i.e., with exactly one finite critical point). However, there are cubic Newton maps which are conformally conjugate to other polynomials. The Julia set of such a Newton map is shown to be a closed curve. It is a Jordan curve whenever the Newton map has two attracting fixed points.


title: Holographic unitary renormalization group for correlated electrons -- II: insights on fermionic criticality

abstract: Capturing the interplay between electronic correlations and many-particle entanglement requires a unified framework for Hamiltonian and eigenbasis renormalization. In this work, we apply the unitary renormalization group (URG) scheme developed in a companion work (Ref.[1]) to the study of two archetypal models of stongly correlated lattice electrons, one with translation invariance and one without. We obtain detailed insight into the emergence of various gapless and gapped phases of quantum electronic matter by computing effective Hamiltonians as well as entanglement signatures through their respective tensor network descriptions. For the translationally invariant model of a single-band of interacting electrons, this includes results on gapless metallic phases such as the Fermi liquid and Marginal Fermi liquid, as well as gapped phases such as the reduced Bardeen-Cooper-Schrieffer, pair density-wave and Mott liquid phases. Additionally, a study of a generalised Sachdev-Ye model with disordered four-fermion interactions offers detailed results on many-body localised phases, as well as thermalised phase. We emphasise the distinctions between the various phases based on a combined analysis of their dynamical (obtained from the effective Hamiltonian) and entanglement properties. Importantly, the RG flow of the Hamiltonian vertex tensor network is shown to lead to emergent gauge theories for the gapped phases. Taken together with results on the holographic spacetime generated from the RG of the many-particle eigenstate (seen through, for instance, the holographic upper bound of the one-particle entanglement entropy), our analysis offer an ab-initio perspective of the gauge-gravity duality for quantum liquids that are emergent in systems of correlated electrons.


title: Hamiltonian Analysis for the Scalar Electrodynamics as 3BF Theory

abstract: The higher category theory can be employed to generalize the BF action to the so-called 3BF action, by passing from the notion of a gauge group to the notion of a gauge 3-group. The theory of scalar electrodynamics coupled to Einstein-Cartan gravity can be formulated as a constrained 3BF theory for a specific choice of the gauge 3-group. The complete Hamiltonian analysis of the 3BF action for the choice of a Lie 3-group corresponding to scalar electrodynamics is performed. This analysis is the first step towards a canonical quantization of a 3BF theory, an important stepping stone for the quantization of the complete scalar electrodynamics coupled to Einstein-Cartan gravity formulated as a 3BF action with suitable simplicity constraints. It is shown that the resulting dynamic constraints eliminate all propagating degrees of freedom, i.e., the 3BF theory for this choice of a 3-group is a topological field theory, as expected.


title: A new principle in the interpretability logic of all reasonable arithmetical theories

abstract: The interpretability logic of a mathematical theory describes the structural behavior of interpretations over that theory. Different theories have different logics. This paper from 2011 revolves around the question what logic describes the behavior that is present in all theories with a minimum amount of arithmetic; the intersection over all such theories so to say. We denote this target logic by ${\textbf{IL}}({\rm All})$. In this paper we present a new principle $\sf R$ in ${\textbf{IL}}({\rm All})$. We show that $\sf R$ does not follow from the logic ${\textbf{IL}}{\sf P_0W^*}$ that contains all previously known principles. This is done by providing a modal incompleteness proof of ${\textbf{IL}}{\sf P_0W^*}$: showing that $\sf R$ follows semantically but not syntactically from ${\textbf{IL}}{\sf P_0W^*}$. Apart from giving the incompleteness proof by elementary methods, we also sketch how to work with so-called Generalized Veltman Semantics as to establish incompleteness. To this extent, a new version of this Generalized Veltman Semantics is defined and studied. Moreover, for the important principles the frame correspondences are calculated. After the modal results it is shown that the new principle $\sf R$ is indeed valid in any arithmetically theory. The proof employs some elementary results on definable cuts in arithmetical theories.


title: State Observation of Power Systems Equipped with Phasor Measurement Units: The Case of Fourth Order Flux-Decay Model

abstract: The problem of effective use of Phasor Measurement Units (PMUs) to enhance power systems awareness and security is a topic of key interest. The central question to solve is how to use this new measurements to reconstruct the state of the system. In this paper we provide the first solution to the problem of (globally convergent) state estimation of multimachine power systems equipped with PMUs and described by the fourth order flux-decay model. This work is a significant extension of our previous result, where this problem was solved for the simpler third order model, for which it is possible to recover algebraically part of the unknown state. Unfortunately, this property is lost in the more accurate fourth order model, significantly complicating the state observation task. The design of the observer relies on two recent developments proposed by the authors, a parameter estimation based approach to the problem of state estimation and the use of the Dynamic Regressor Extension and Mixing (DREM) technique to estimate these parameters. The use of DREM allows us to overcome the problem of lack of persistent excitation that stymies the application of standard parameter estimation designs. Simulation results illustrate the latter fact and show the improved performance of the proposed observer with respect to a locally stable gradient-descent based observer.


title: Continuous learning of face attribute synthesis

abstract: The generative adversarial network (GAN) exhibits great superiority in the face attribute synthesis task. However, existing methods have very limited effects on the expansion of new attributes. To overcome the limitations of a single network in new attribute synthesis, a continuous learning method for face attribute synthesis is proposed in this work. First, the feature vector of the input image is extracted and attribute direction regression is performed in the feature space to obtain the axes of different attributes. The feature vector is then linearly guided along the axis so that images with target attributes can be synthesized by the decoder. Finally, to make the network capable of continuous learning, the orthogonal direction modification module is used to extend the newly-added attributes. Experimental results show that the proposed method can endow a single network with the ability to learn attributes continuously, and, as compared to those produced by the current state-of-the-art methods, the synthetic attributes have higher accuracy.


title: Vertical interface enabled large tunability of scattering spectra in lightweight microwire/silicone rubber composites

abstract: Previously, we have shown the advantages of an approach based on microstructural modulation of the functional phase and topology of periodically arranged elements to program wave scattering in ferromagnetic microwire composites. However, the possibility of making full use of composite intrinsic structure was not exploited. In this work, we implement the concept of material plainification by an in-built vertical interface on randomly dispersed short-cut microwire composites allowing the adjustment of electromagnetic properties to a large extent. Such interface was modified through arranging wires of different structures in two separated regions and by enlarging or reducing these regions through wire concentration variations leading to polarization differences across the interface and hence microwave tunability. When the wire concentration was equal in both regions, two well-defined transmission windows with varied amplitude and bandwidth were generated. Wire concentration fluctuations resulted in strong scattering changes ranging from broad passbands to stopbands with pronounced transmission dips, demonstrating the intimate relationship between wire content and space charge variations at the interface. Overall, this study provides a novel method to rationally exploit interfacial effects in microwire composites. Moreover, the advantages of enabling significantly tunable scattering spectra by merely 0.053 vol. % filler loading and relatively simple structure make the proposed composite plainification strategy instrumental to designing microwave filters with broadband frequency selectivity.


title: Direct photon and light neutral meson production in the era of precision physics at the LHC

abstract: In these proceedings we present the latest results from ALICE on direct photon and light neutral meson production in p$-$Pb and Pb$-$Pb collisions. The direct photon excess ratio $R_{\gamma}$ in different charged particle multiplicity classes of p$-$Pb collisions at $\sqrt{s_{{\tiny{NN}}}}=5.02\,\mathrm{TeV}$ is shown. In addition, we present the direct photon elliptic flow coefficient $v_2$ in central and semicentral events of Pb$-$Pb collisions at $\sqrt{s_{{\tiny{NN}}}}=2.76\,\mathrm{TeV}$. An outlook on ongoing and future measurements is given.


title: On the dimension of Voisin sets in the moduli space of abelian varieties

abstract: We study the subsets $V_k(A)$ of a complex abelian variety $A$ consisting in the collection of points $x\in A$ such that the zero-cycle $\{x\}-\{0_A\}$ is $k$-nilpotent with respect to the Pontryagin product in the Chow group. These sets were introduced recently by Voisin and she showed that $\dim V_k(A) \leq k-1$ and $V_k(A)$ is countable for a very general abelian variety of dimension at least $2k-1$. We study in particular the locus $\mathcal V_{g,2}$ in the moduli space of abelian varieties of dimension $g$ with a fixed polarization, where $V_2(A)$ is positive dimensional. We prove that an irreducible subvariety $\mathcal Y \subset \mathcal V_{g,2}$, $g\ge 3$, such that for a very general $y \in \mathcal Y $ there is a curve in $V_2(A_y)$ generating $A$ satisfies $\dim \mathcal Y \le 2g - 1.$ The hyperelliptic locus shows that this bound is sharp.


title: Hessian quotient equations on exterior domains

abstract: It is well-known that a celebrated J\"{o}rgens-Calabi-Pogorelov theorem for Monge-Amp\`ere equations states that any classical (viscosity) convex solution of $\det(D^2u)=1$ in $\mathbb{R}^n$ must be a quadratic polynomial. Therefore, it is an interesting topic to study the existence and uniqueness theorem of such fully nonlinear partial differential equations' Dirichlet problems on exterior domains with suitable asymptotic conditions at infinity. As a continuation of the works of Caffarelli-Li for Monge-Amp\`ere equation and of Bao-Li-Li for $k$-Hessian equations, this paper is devoted to the solvability of the exterior Dirichlet problem of Hessian quotient equations $\sigma_k(\lambda(D^2u))/\sigma_l(\lambda(D^2u))=1$ for any $1\leq l<k\leq n$ in all dimensions $n\geq 2$. By introducing the concept of generalized symmetric subsolutions and then using the Perron's method, we establish the existence theorem for viscosity solutions, with prescribed asymptotic behavior which is close to some quadratic polynomial at infinity.


title: Multi-marginal Optimal Transport with a Tree-structured cost and the Schr\"odinger Bridge Problem

abstract: The optimal transport problem has recently developed into a powerful framework for various applications in estimation and control. Many of the recent advances in the theory and application of optimal transport are based on regularizing the problem with an entropy term, which connects it to the Schr\"odinger bridge problem and thus to stochastic optimal control. Moreover, the entropy regularization makes the otherwise computationally demanding optimal transport problem feasible even for large scale settings. This has lead to an accelerated development of optimal transport based methods in a broad range of fields. Many of these applications have a underlying graph structure, for instance information fusion and tracking problems can be described by trees. In this work we consider multi-marginal optimal transport problems with a cost function that decouples according to a tree structure. The entropy regularized multi-marginal optimal transport problem can be viewed as a generalization of the Schr\"odinger bridge problem with the same tree-structure, and by utilizing these connections we extend the computational methods for the classical optimal transport problem in order to solve structured multi-marginal optimal transport problems in an efficient manner. In particular, the algorithm requires only matrix-vector multiplications of relatively small dimensions. We show that the multi-marginal regularization introduces less diffusion, compared to the commonly used pairwise regularization, and is therefore more suitable for many applications. Numerical examples illustrate this, and we finally apply the proposed framework for tracking of an ensemble of indistinguishable agents.


title: Spectral characterization of long-lived luminescence in h-BN nanopowder under UV excitation

abstract: Photoluminescence (PL) features of nanostructured h-BN powder are studied in the range of 200-600 nm in millisecond time window. It is found that four PL excitation bands of 4.58, 5.01, 5.29, and 5.77 eV are characteristic of the spectral region at hand. It is shown that the PL emission spectra can be quantitatively described through a superposition of three Gaussian-shaped peaks: 2.6, 3.1, and 3.7 eV. The observable luminescence is established to be due to recombination processes involving centers whose energy levels in the bandgap are formed by oxygen and carbon impurities, as well as nitrogen vacancies and related complexes.


title: How to Securely Prune Bitcoin's Blockchain

abstract: Bitcoin was the first successful decentralized cryptocurrency and remains the most popular of its kind to this day. Despite the benefits of its blockchain, Bitcoin still faces serious scalability issues, most importantly its ever-increasing blockchain size. While alternative designs introduced schemes to periodically create snapshots and thereafter prune older blocks, already-deployed systems such as Bitcoin are often considered incapable of adopting corresponding approaches. In this work, we revise this popular belief and present CoinPrune, a snapshot-based pruning scheme that is fully compatible with Bitcoin. CoinPrune can be deployed through an opt-in velvet fork, i.e., without impeding the established Bitcoin network. By requiring miners to publicly announce and jointly reaffirm recent snapshots on the blockchain, CoinPrune establishes trust into the snapshots' correctness even in the presence of powerful adversaries. Our evaluation shows that CoinPrune reduces the storage requirements of Bitcoin already by two orders of magnitude today, with further relative savings as the blockchain grows. In our experiments, nodes only have to fetch and process 5 GiB instead of 230 GiB of data when joining the network, reducing the synchronization time on powerful devices from currently 5 h to 46 min, with even more savings for less powerful devices.


title: Combining Visible Light and Infrared Imaging for Efficient Detection of Respiratory Infections such as COVID-19 on Portable Device

abstract: Coronavirus Disease 2019 (COVID-19) has become a serious global epidemic in the past few months and caused huge loss to human society worldwide. For such a large-scale epidemic, early detection and isolation of potential virus carriers is essential to curb the spread of the epidemic. Recent studies have shown that one important feature of COVID-19 is the abnormal respiratory status caused by viral infections. During the epidemic, many people tend to wear masks to reduce the risk of getting sick. Therefore, in this paper, we propose a portable non-contact method to screen the health condition of people wearing masks through analysis of the respiratory characteristics. The device mainly consists of a FLIR one thermal camera and an Android phone. This may help identify those potential patients of COVID-19 under practical scenarios such as pre-inspection in schools and hospitals. In this work, we perform the health screening through the combination of the RGB and thermal videos obtained from the dual-mode camera and deep learning architecture.We first accomplish a respiratory data capture technique for people wearing masks by using face recognition. Then, a bidirectional GRU neural network with attention mechanism is applied to the respiratory data to obtain the health screening result. The results of validation experiments show that our model can identify the health status on respiratory with the accuracy of 83.7\% on the real-world dataset. The abnormal respiratory data and part of normal respiratory data are collected from Ruijin Hospital Affiliated to The Shanghai Jiao Tong University Medical School. Other normal respiratory data are obtained from healthy people around our researchers. This work demonstrates that the proposed portable and intelligent health screening device can be used as a pre-scan method for respiratory infections, which may help fight the current COVID-19 epidemic.


title: Electrical Detection of Ferroelectric-like Metals through Nonlinear Hall Effect

abstract: Ferroelectric-like metals are a relatively rare class of materials that have ferroelectric-like distortion and metallic conductivity. LiOsO$_3$ is the first demonstrated and the most investigated ferroelectric-like metal. The presence of free carriers makes them difficult to be studied by traditional ferroelectric techniques. In this paper, using the symmetry analysis and first-principles calculations, we demonstrate that the ferroelectric-like transition of LiOsO$_3$ can be probed by a kind of electrical transport method based on nonlinear Hall effect. The Berry curvature dipole exists in the ferroelectric-like phase, and it can lead to a measurable nonlinear Hall conductance with a conventional experimental setup. However, the symmetry of the paraelectric-like phase LiOsO$_3$ vanishes the Berry curvature dipole. The Berry curvature dipole shows a strong dependence on the polar displacement, which might be helpful for the detection of polar order. The nonlinear Hall effect provides an effective method for the detection of phase transition in the study of the ferroelectric-like metals and promotes them to be applied in the ferroelectric-like electronic devices.


title: Mean plane of the Kuiper belt beyond 50 AU in the presence of Planet 9

abstract: Context. A recent observational census of Kuiper belt objects (KBOs) has unveiled anomalous orbital structures. This has led to the hypothesis that an additional $\sim5-10~m_{\oplus}$ planet exists. This planet, known as Planet 9, occupies an eccentric and inclined orbit at hundreds of astronomical units. However, the KBOs under consideration have the largest known semimajor axes at $a>250$ AU; thus they are very difficult to detect.// Aims. In the context of the proposed Planet 9, we aim to measure the mean plane of the Kuiper belt at $a>50$ AU. In a comparison of the expected and observed mean planes, some constraints would be put on the mass and orbit of this undiscovered planet. Methods. We adopted and developed the theoretical approach of Volk & Malhotra (2017) to the relative angle $\delta$ between the expected mean plane of the Kuiper belt and the invariable plane determined by the eight known planets. Numerical simulations were constructed to validate our theoretical approach. Then similar to Volk & Malhotra (2017), we derived the angle $\delta$ for the real observed KBOs with $100<a<200$ AU, and the measurement uncertainties were also estimated. Finally, for comparison, maps of the theoretically expected $\delta$ were created for different combinations of possible Planet 9 parameters. Results. The expected mean plane of the Kuiper belt nearly coincides with the said invariable plane interior to $a=90$ AU. But these two planes deviate noticeably from each other at $a>100$ AU owing to the presence of Planet 9 because the relative angle $\delta$ could be as large as $\sim10^{\circ}$. Using the $1\sigma$ upper limit of $\delta<5^{\circ}$ deduced from real KBO samples as a constraint, we present the most probable parameters of Planet 9.


title: A mathematical commitment without computational strength

abstract: We present a new manifestation of G\"odel's second incompleteness theorem and discuss its foundational significance, in particular with respect to Hilbert's program. Specifically, we consider a proper extension of Peano arithmetic ($\mathbf{PA}$) by a mathematically meaningful axiom scheme that consists of $\Sigma^0_2$-sentences. These sentences assert that each computably enumerable ($\Sigma^0_1$-definable without parameters) property of finite binary trees has a finite basis. Since this fact entails the existence of polynomial time algorithms, it is important for computer science. On a technical level, our axiom scheme is a variant of an independence result due to Harvey Friedman. At the same time, the meta-mathematical properties of our axiom scheme distinguish it from most known independence results: Due to its logical complexity, our axiom scheme does not add computational strength. The only known method to establish its independence relies on G\"odel's second incompleteness theorem. In contrast, G\"odel's theorem is not needed for typical examples of $\Pi^0_2$-independence (such as the Paris-Harrington principle), since computational strength provides an extensional invariant on the level of $\Pi^0_2$-sentences.


title: Flattening the curves: on-off lock-down strategies for COVID-19 with an application to Brazi

abstract: The current COVID-19 pandemic is affecting different countries in different ways. The assortment of reporting techniques alongside other issues, such as underreporting and budgetary constraints, makes predicting the spread and lethality of the virus a challenging task. This work attempts to gain a better understanding of how COVID-19 will affect one of the least studied countries, namely Brazil. Currently, several Brazilian states are in a state of lock-down. However, there is political pressure for this type of measures to be lifted. This work considers the impact that such a termination would have on how the virus evolves locally. This was done by extending the SEIR model with an on / off strategy. Given the simplicity of SEIR we also attempted to gain more insight by developing a neural regressor. We chose to employ features that current clinical studies have pinpointed has having a connection to the lethality of COVID-19. We discuss how this data can be processed in order to obtain a robust assessment.

categories: q-bio.PE cs.LG cs.SY eess.SY q-bio.QM stat.ML


title: Scalability Analysis of Programmable Metasurfaces for Beam Steering

abstract: Programmable metasurfaces have garnered significant attention as they confer unprecedented control over the electromagnetic response of any surface. Such feature has given rise to novel design paradigms such as Software-Defined Metamaterials (SDM) and Reconfigurable Intelligent Surfaces (RIS) with multiple groundbreaking applications. However, the development of programmable metasurfaces tailored to the particularities of a potentially broad application pool becomes a daunting task because the design space becomes remarkably large. This paper aims to ease the design process by proposing a methodology that, through a semi-analytical model of the metasurface response, allows to derive performance scaling trends as functions of a representative set of design variables. Although the methodology is amenable to any electromagnetic functionality, this paper explores its use for the case of beam steering at 26 GHz for 5G applications. Conventional beam steering metrics are evaluated as functions of the unit cell size, number of unit cell states, and metasurface size for different incidence and reflection angles. It is shown that metasurfaces 5$\lambda\times$5$\lambda$ or larger with unit cells of $\lambda/3$ and four unit cell states ensure good performance overall. Further, it is demonstrated that performance degrades significantly for angles larger than $\theta > 60^o$ and that, to combat this, extra effort is needed in the development of the unit cell. These performance trends, when combined with power and cost models, will pave the way to optimal metasurface dimensioning.


title: Explaining Regression Based Neural Network Model

abstract: Several methods have been proposed to explain Deep Neural Network (DNN). However, to our knowledge, only classification networks have been studied to try to determine which input dimensions motivated the decision. Furthermore, as there is no ground truth to this problem, results are only assessed qualitatively in regards to what would be meaningful for a human. In this work, we design an experimental settings where the ground truth can been established: we generate ideal signals and disrupted signals with errors and learn a neural network that determines the quality of the signals. This quality is simply a score based on the distance between the disrupted signals and the corresponding ideal signal. We then try to find out how the network estimated this score and hope to find the time-step and dimensions of the signal where errors are present. This experimental setting enables us to compare several methods for network explanation and to propose a new method, named AGRA for Accurate Gradient, based on several trainings that decrease the noise present in most state-of-the-art results. Comparative results show that the proposed method outperforms state-of-the-art methods for locating time-steps where errors occur in the signal.


title: Empirical Models for the Realistic Generation of Cooperative Awareness Messages in Vehicular Networks

abstract: Most V2X (Vehicle-to-Everything) applications rely on broadcasting awareness messages known as CAM (Cooperative Awareness Messages) in ETSI or BSM (Basic Safety Message) in SAE standards. A large number of studies have been devoted to guarantee their reliable transmission. However, to date, the studies are generally based on simplified data traffic models that generate awareness messages at periodic intervals or with a constant message size. These models do not accurately represent the real generation of CAM messages that follow specific mobility-based rules. Using simplified and unrealistic traffic models can significantly impact the results and validity of the studies, and hence accurate models for the generation of awareness messages are necessary. This paper proposes the first set of models that can realistically generate CAM messages. The models have been created from real traces collected by two car manufacturers in urban, sub-urban and highway test drives. The models are based on mth order Markov sources, and model the size of CAMs and the time interval between CAMs. The models are openly provided to the community and can be easily integrated into any simulator.


title: The length and depth of associative algebras

abstract: Recently there has been considerable interest in studying the length and the depth of finite groups, algebraic groups and Lie groups. In this paper we introduce and study similar notions for algebras. Let $k$ be a field and let $A$ be an associative, not necessarily unital, algebra over $k$. An unrefinable chain of $A$ is a chain of subalgebras $A=A_0>A_1>...>A_t=0$ for some integer $t$ where each $A_i$ is a maximal subalgebra of $A_{i-1}$. The maximal (respectively, minimal) length of such an unrefinable chain is called the length (respectively, depth) of $A$. It turns out that finite length, finite depth and finite dimension are equivalent properties for $A$. For $A$ finite dimensional, we give a formula for the length of $A$, we bound the depth of $A$, and we study when the length of $A$ equals its dimension and its depth respectively. Finally, we investigate under what circumstances the dimension of $A$ is bounded above by a function of its length, or its depth, or its length minus its depth.


title: Linear $k$-Chord Diagrams

abstract: We generalize the notion of linear chord diagrams to the case of matched sets of size $k$, which we call $k$-chord diagrams. We provide formal generating functions and recurrence relations enumerating these $k$-chord diagrams by the number of short chords, where the latter is defined as all members of the matched set being adjacent, and is the generalization of a short chord or loop in a linear chord diagram. We also enumerate $k$-chord diagrams by the number of connected components built from short chords and provide the associated generating functions in this case. We show that the distributions of short chords and connected components are asymptotically Poisson, and provide the associated means. Finally, we provide recurrence relations enumerating non-crossing $k$-chord diagrams by the number of short chords, generalising the Narayana numbers, and establish asymptotic normality, providing the associated means and variances. Applications to generalized games of memory are also discussed.


title: Particle monolayer assembly in evaporating salty colloidal droplets

abstract: Ring-shaped deposits can be often found after a droplet evaporates on a substrate. If the fluid in the droplet is a pure liquid and its contact line remains pinned during the process, the mechanism behind such ring-shaped deposition is the well-known coffee-stain effect. However, adding small amounts of salt to such a droplet can change the internal flow dramatically and consequently change the deposition mechanism. Due to an increase of surface tension in the contact line region, a Marangoni flow arises which is directed from the apex of the droplet towards the contact line. As a result, particles arrive at the contact line following the liquid-air interface of the droplet. Interestingly, the deposit is also ring-shaped, as in the classical coffee-stain effect, but with a radically different morphology: particles form a monolayer along the liquid-air interface of the droplet, instead of a compact three-dimensional deposit. Using confocal microscopy, we study particle-per-particle how the assembly of the colloidal monolayer occurs during the evaporation of droplets for different initial concentration of sodium chloride and initial particle dilution. Our results are compared with classical diffusion-limited deposition models and open up an interesting scenario of deposits via interfacial particle assembly, which can easily yield homogeneous depositions by manipulating the initial salt and particle concentration in the droplet.


title: An isomorphism between the convolution product and the componentwise sum connected to the D'Arcais numbers and the Ramanujan tau function

abstract: Given a commutative ring $R$ with identity, let $H_R$ be the set of sequences of elements in $R$. We investigate a novel isomorphism between $(H_R, +)$ and $(\tilde H_R,*)$, where $+$ is the componentwise sum, $*$ is the convolution product (or Cauchy product) and $\tilde H_R$ the set of sequences starting with $1_R$. We also define a recursive transform over $H_R$ that, together to the isomorphism, allows to highlight new relations among some well studied integer sequences. Moreover, these connections allow to introduce a family of polynomials connected to the D'Arcais numbers and the Ramanujan tau function. In this way, we also deduce relations involving the Bell polynomials, the divisor function and the Ramanujan tau function. Finally, we highlight a connection between Cauchy and Dirichlet products.


title: Note on anomalous currents for a free theory

abstract: Recently it is found that, due to Weyl anomaly, an external magnetic field can induce anomalous currents near a boundary. In this note, we study anomalous currents for complex scalars and Dirac fields in general dimensions. We develop a perturbation method to calculate Green's function in the spacetime with boundaries. By applying this method, we obtain anomalous currents up to the linear order of magnetic fields in a half space and in a strip. To the best of our knowledge, the results for Dirac fermions and for strips are new. It is remarkable that, unlike the scalars and holographic BCFT, the anomalous currents of Dirac fields are independent of boundary conditions in general dimensions. Besides, the currents of Dirac fields are always larger than those of complex scalars. Finally, we find an exact formal expression of the anomalous current in a half space. The result is expressed in momentum integrals, which can be evaluated numerically. We find that the mass suppresses the anomalous currents as expected.


title: Electronic multipoles and multiplet pairs induced from Pomeranchuk and Cooper instabilities of Bogoliubov Fermi surfaces

abstract: It has recently been pointed out that Fermi surfaces can remain even in the superconductors under the symmetric spin-orbit interaction and broken time-reversal symmetry. Using the linear response theory, we study the instability of such systems toward ordering, which is an intrinsic property of the Fermi surfaces. The ordered states are classified into diagonal and offdiagonal ones, each of which respectively indicates the Pomeranchuk instability and Cooper pairing not of original electron but of Bogoliubov particles (bogolons). The corresponding order parameters are expanded by multipole moments (diagonal order parameter) and multiplet pair amplitudes (offdiagonal order parameter) of original electrons, which are induced by the internal fields arising from bogolons' ordering. While the bogolons' order parameters partially inherit the characters of the original electrons, many order parameter components mix with similar magnitude. Hence there is no clear-cut distinction whether the phase transition is diagonal or offdiagonal ordering in terms of the original electrons. These ordering instabilities inside the superconducting states provide insights into the superconductors which have the second phase transition below the first transition temperature.


title: A Cold and Diffuse Giant Molecular Filament in the Region of $l=41^\circ$, $b=-1^\circ$

abstract: Data of $^{12}$CO/$^{13}$CO/C$^{18}$O $J=1\to0$ emission toward the Galactic plane region of $l=35^\circ$ to $45^\circ$ and $b= -5^\circ$ to $+5^\circ$ are available with the Milky Way Imaging Scroll Painting (MWISP) project. Using the data, we found a giant molecular filament (GMF) around $l\approx38\sim42^\circ$, $b\approx-3.5\sim0^\circ$, $V_{LSR} \approx 27 \sim 40$ km~s$^{-1}$, named the GMF MWISP G041-01. At a distance of 1.7 kpc, the GMF is about 160 pc long. With a median excitation temperature about 7.5 K and a median column density about $10^{21}$ cm$^{-2}$, this GMF is very cold and very diffuse compared to known GMFs. Using the morphology in the data cube, the GMF is divided into four components among which three show filamentary structure. Masses of the components are $ 10^3 \sim 10^4 M_\odot$, with a total mass for the whole filament being about $7\times10^4 M_\odot$ from the LTE method. $^{13}$CO cores inside each component are searched. Virial parameters are about 2.5 for these cores and have a power-law index of -0.34 against the mass. The mass fraction of dense cores traced by $^{13}$CO to the diffuse clouds traced by $^{12}$CO are about 7% for all components of the GMF. We found signatures of possible large scale filament-filament collision in the GMF.


title: Stochastic mSQG equations with multiplicative transport noises: white noise solutions and scaling limit

abstract: We consider the modified Surface Quasi-Geostrophic (mSQG) equation on the 2D torus $\mathbb{T}^2$, perturbed by multiplicative transport noise. The equation admits the white noise measure on $\mathbb{T}^2$ as the invariant measure. We first prove the existence of white noise solutions to the stochastic equation via the method of point vortex approximation, then, under a suitable scaling limit of the noise, we show that the solutions converge weakly to the unique stationary solution of the dissipative mSQG equation driven by space-time white noise. The weak uniqueness of the latter equation is also proved by following Gubinelli and Perkowski's approach in \cite{GP-18}.


title: Preparation and characterization of PZT/PVDF composites films fabricated by electrospinning method

abstract: In this paper, we present some properties of Lead Zirconate Titanate - Poly Vinylidene Flouride composites. The obtained results indicate that PZT-PVDF fibers involved firms were achieved using electrospining method. In other hand, the effect of grain size, content and other factors under the purview of Young's modulus and ferroelectric properties.


title: Special Geometry and the Swampland

abstract: In the context of 4d effective gravity theories with 8 supersymmetries, we propose to unify, strenghten, and refine the several swampland conjectures into a single statement: the structural criterion, modelled on the structure theorem in Hodge theory. In its most abstract form the new swampland criterion applies to all 4d $\mathcal{N}=2$ effective theories (having a quantum-consistent UV completion) whether supersymmetry is \emph{local} or rigid: indeed it may be regarded as the more general version of Seiberg-Witten geometry which holds both in the rigid and local cases. As a first application of the new swampland criterion we show that a quantum-consistent $\mathcal{N}=2$ supergravity with a cubic pre-potential is necessarily a truncation of a higher-$\mathcal{N}$ \textsc{sugra}. More precisely: its moduli space is a Shimura variety of `magic' type. In all other cases a quantum-consistent special K\"ahler geometry is either an arithmetic quotient of the complex hyperbolic space $SU(1,m)/U(m)$ or has no \emph{local} Killing vector. Applied to Calabi-Yau 3-folds this result implies (assuming mirror symmetry) the validity of the Oguiso-Sakurai conjecture in Algebraic Geometry: all Calabi-Yau 3-folds $X$ without rational curves have Picard number $\rho=2,3$; in facts they are finite quotients of Abelian varieties. More generally: the K\"ahler moduli of $X$ do not receive quantum corrections if and only if $X$ has infinite fundamental group. In all other cases the K\"ahler moduli have instanton corrections in (essentially) all possible degrees.


title: Light Weight Residual Dense Attention Net for Spectral Reconstruction from RGB Images

abstract: Hyperspectral Imaging is the acquisition of spectral and spatial information of a particular scene. Capturing such information from a specialized hyperspectral camera remains costly. Reconstructing such information from the RGB image achieves a better solution in both classification and object recognition tasks. This work proposes a novel light weight network with very less number of parameters about 233,059 parameters based on Residual dense model with attention mechanism to obtain this solution. This network uses Coordination Convolutional Block to get the spatial information. The weights from this block are shared by two independent feature extraction mechanisms, one by dense feature extraction and the other by the multiscale hierarchical feature extraction. Finally, the features from both the feature extraction mechanisms are globally fused to produce the 31 spectral bands. The network is trained with NTIRE 2020 challenge dataset and thus achieved 0.0457 MRAE metric value with less computational complexity.


title: Decoding algorithms of monotone codes and azinv codes and their unified view

abstract: This paper investigates linear-time decoding algorithms for two classes of error-correcting codes. One of the classes is monotone codes which are known as single deletion codes. The other is azinv codes which are known as single balanced adjacent deletion codes. As results, this paper proposes generalizations of Levenshtein's decoding algorithm for Levenshtein's single deletion codes. This paper points out that it is possible to unify our new two decoding algorithms.


title: Space-time Euler discretization schemes for the stochastic 2D Navier-Stokes equations

abstract: We prove that the implicit time Euler scheme coupled with finite elements space discretization for the 2D Navier-Stokes equations on the torus subject to a random perturbation converges in $L^2(\Omega)$, and describe the rate of convergence for an $H^1$-valued initial condition. This refines previous results which only established the convergence in probability of these numerical approximations. Using exponential moment estimates of the solution of the stochastic Navier-Stokes equations and convergence of a localized scheme, we can prove strong convergence of this space-time approximation. The speed of the $L^2(\Omega)$-convergence depends on the diffusion coefficient and on the viscosity parameter. In case of Scott-Vogelius mixed elements and for an additive noise, the convergence is polynomial.


title: An efficient deception architecture for cloud-based virtual networks

abstract: Emerging deceptive systems present a new promise for the uprising security problems in cloud-based virtual networks, especially those operated by small and medium enterprises. The main goal of deceptive systems is to form a layer of defensive nodes in an Internet-accessible cloud-based virtual network to distract and deceive malicious clients. While numerous approaches provide distinct models for developing decisive systems, misery digraphs present a promising decisive model for distracting powerful remote intrusions. Misery digraphs can delay access to targets deep in a cloud-based virtual network. A central challenge to the theory of misery digraphs is verifying their applicability in prominent cloud computing platforms as well as measuring the efficiency of networks that adapt them. Thus, architectural support is needed that can be realized with long-term support technologies and can be deployed for large networks. This work presents and analyzes a high-throughput architecture for misery digraphs, embarking on implementation details and performance analysis. Full implementation of the architecture in Amazon Web Services imposes modest performance delays in the request processing, while highly delaying stealth intrusions in the network.


title: Self Provers and $\Sigma_1$ Sentences

abstract: This paper from 2012 is the second in a series of three papers. All three papers deal with interpretability logics and related matters. In the first paper a construction method was exposed to obtain models of these logics. Using this method, we obtained some completeness results, some already known, and some new. In this paper, we will set the construction method to work to obtain more results. First, the modal completeness of the logic ${\textbf{IL}}({\sf M})$ is proved using the construction method. This is not a new result, but by using our new proof we can obtain new results. Among these new results are some admissible rules for ${\textbf{IL}}({\sf M})$ and ${\textbf{GL}}$. Moreover, the new proof will be used to classify all the essentially $\Delta_1$ and also all the essentially $\Sigma_1$ formulas of ${\textbf{IL}}({\sf M})$. Closely related to essentially $\Sigma_1$ sentences are the so-called \emph{self provers}. A self-prover is a formula $\varphi$ which implies its own provability, that is $\varphi \to \Box \varphi$. Each formula $\varphi$ will generate a self prover $\varphi \wedge \Box \varphi$. We will use the construction method to characterize those sentences of ${\textbf{GL}}$ that generate a self prover that is trivial in the sense that it is $\Sigma_1$.


title: Intelligent Slicing of Radio Resource Control Layer for Cellular IoT: Design and Implementation

abstract: The cellular internet of things (CIoT) has become an important branch to cater various applications of IoT devices. Within CIoT, the radio resource control (RRC) layer is responsible for fundamental functionalities such as connection control and bearer establishment in radio access network (RAN). The emergence of various IoT scenarios and diversified service requirements have made both RAN slicing and intelligent control imperative requirement in RRC layer. This paper focuses on enhancing standardized capabilities of CIoT RRC layer, by designing and implementing a new architecture which accommodate RRC slicing and intelligent controller. The architecture aims to realize functionalities of creating, modifying, and deleting slices in RRC layer, while the intelligent controller is added to satisfy various and dynamic service requirements of different IoT devices smartly. The proposed architecture is further implemented on an open-source software platform OpenAirInterface (OAI), on top of which the effectiveness of RRC slicing is validated and one proof-of-concept case to adopt reinforcement learning to dynamically tune discontinuous reception parameters therein is presented. Simulation results have demonstrated the effectiveness of the proposed intelligent RRC slicing architecture.


title: RES-NOVA: A new neutrino observatory based on archaeological lead

abstract: We propose the RES-NOVA project which will hunt neutrinos from core-collapse supernovae (SN) via coherent elastic neutrino-nucleus scattering (CE$\nu$NS) using an array of archaeological lead (Pb) based cryogenic detectors. The high CE$\nu$NS cross-section on Pb and the ultra-high radiopurity of archaeological Pb enable the operation of a high statistics experiment equally sensitive to all neutrino flavors with reduced detector dimensions in comparison with existing Neutrino Observatories, and easy scalability to larger detector volumes. RES-NOVA is planned to operate according to three phases with increasing detector volumes: (60 cm)$^3$, (140 cm)$^3$, and ultimately 15$\times$(140 cm)$^3$. It will be sensitive to SN bursts up to Andromeda with 5$\sigma$ sensitivity with already existing technologies and will have excellent energy resolution with $1$ keV threshold. Within our Galaxy, it will be possible to discriminate core-collapse SNe from black hole forming collapses with no ambiguity even in the first phase of RES-NOVA. The average neutrino energy of all flavors, the SN neutrino light curve, and the total energy emitted in neutrinos can potentially be constrained with a precision of few $\%$ in the final detector phase. RES-NOVA will be sensitive to flavor-blind neutrinos from the diffuse SN neutrino background with an exposure of $620$ ton $\cdot$ y. The proposed RES-NOVA project has the potential to lay down the foundations for a new generation of neutrino telescopes, while relying on a very simple technological setup


title: On essential-selfadjointness of differential operators on closed manifolds

abstract: The goal of this note is to present some arguments leading to the conjecture that a formally self-adjoint differential operator on a closed manifold is essentially self-adjoint if and only if the Hamiltonian flow of its symbol is complete. This holds for differential operators of degree two on the circle, for differential operators of degree one on any closed manifold and for generic Lorentzian Laplacians on surfaces.


title: Symmetric mixtures of pusher and puller microswimmers behave as noninteracting suspensions

abstract: Suspensions of rear- and front-actuated microswimmers immersed in a fluid, known respectively as ``pushers'' and ``pullers'', display qualitatively different collective behaviours: beyond a characteristic density, pusher suspensions exhibit a hydrodynamic instability leading to collective motion known as active turbulence, a phenomenon which is absent for pullers. In this Letter, we describe the collective dynamics of a binary pusher--puller mixture using kinetic theory and large-scale particle-resolved simulations. We derive and verify an instability criterion, showing that the critical density for active turbulence moves to higher values as the fraction $\chi$ of pullers is increased and disappears for $\chi \geq 0.5$. We then show analytically and numerically that the two-point hydrodynamic correlations of the 1:1 mixture are equal to those of a suspension of noninteracting swimmers. Strikingly, our numerical analysis furthermore shows that the full probability distribution of the fluid velocity fluctuations collapses onto the one of a noninteracting system at the same density, where swimmer--swimmer correlations are strictly absent. Our results thus indicate that the fluid velocity fluctuations in 1:1 pusher--puller mixtures are exactly equal to those of the corresponding noninteracting suspension at any density, a surprising cancellation with no counterpart in equilibrium long-range interacting systems.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.flu-dyn


title: Pressure and Inversion Symmetry Breaking Field Driven First Order Phase Transition and Formation of Dirac Circle in Perovskites

abstract: Through model Hamiltonian studies and first-principle electronic structure calculations, we have examined the effect of inversion symmetry breaking (ISB) field and hydrostatic pressure on the band topology of halide perovskites by taking MAPbI$_3$ as a prototype. Our study shows that while hydrostatic pressure induces normal to topological insulator continuous phase transition, the ISB field makes it first order. The pressure smoothly reduces the normal bandgap, and without ISB, the system achieves a gapless state before it produces a non-trivial bandgap with inverted characters. The ISB field does not stabilize the gapless state, and therefore, the discontinuity in the bandgap with pressure gives rise to the first-order transition. Furthermore, in the non-trivial phase, the ISB field forms an invariant surface Dirac circle in the neighbourhood of TRIM, which is first of its kind. The circle is formed due to interpenetration of Dirac cones resembling the band topology of AA-stacked bilayer graphene.


title: Pilot Assignment in Cell-Free Massive MIMO based on the Hungarian Algorithm

abstract: This letter focuses on the problem of pilot assignment in cell-free massive MIMO systems. Exploiting the well-known Hungarian algorithms, two procedures are proposed, one maximizing the system throughput, and the other one maximizing the fairness across users. The algorithms operate based on the knowledge of large-scale fading coefficients as a proxy for the distances between users in the system and take into account both the uplink and downlink performance. Numerical results show that the proposed pilot assignment algorithms are effective and outperform the many competing alternatives available in the literature.


title: Improving Many-Objective Evolutionary Algorithms by Means of Edge-Rotated Cones

abstract: Given a point in $m$-dimensional objective space, any $\varepsilon$-ball of a point can be partitioned into the incomparable, the dominated and dominating region. The ratio between the size of the incomparable region, and the dominated (and dominating) region decreases proportionally to $1/2^{m-1}$, i.e., the volume of the Pareto dominating orthant as compared to all other volumes. Due to this reason, it gets increasingly unlikely that dominating points can be found by random, isotropic mutations. As a remedy to stagnation of search in many objective optimization, in this paper, we suggest to enhance the Pareto dominance order by involving an obtuse convex dominance cone in the convergence phase of an evolutionary optimization algorithm. We propose edge-rotated cones as generalizations of Pareto dominance cones for which the opening angle can be controlled by a single parameter only. The approach is integrated in several state-of-the-art multi-objective evolutionary algorithms (MOEAs) and tested on benchmark problems with four, five, six and eight objectives. Computational experiments demonstrate the ability of these edge-rotated cones to improve the performance of MOEAs on many-objective optimization problems.


title: A continuous perspective on modeling of shape optimal design problems

abstract: In this article we consider shape optimization problems as optimal control problems via the method of mappings. Instead of optimizing over a set of admissible shapes a reference domain is introduced and it is optimized over a set of admissible transformations. The focus is on the choice of the set of transformations, which we motivate from a function space perspective. In order to guarantee local injectivity of the admissible transformations we enrich the optimization problem by a nonlinear constraint. The approach requires no parameter tuning for the extension equation and can naturally be combined with geometric constraints on volume and barycenter of the shape. Numerical results for drag minimization of Stokes flow are presented.


title: Radar Cross Section Measurement within Reverberation Chamber: Stirrer position issues

abstract: This paper presents the evaluation of the Radar Cross Section (RCS) of a metallic object by measurements accomplished within the diffuse-field environment produced by a Reverberation Chamber (RC). The method is based on the extraction of the ballistic wave between the antenna and the target that is mixed with the backscattering response of the RC. A good agreement is obtained when compared with classical RCS measurement inside an anechoic chamber. This communication also highlights the potential stirrer positioning issues and their impact on the retrieved RCS accuracy.