title: A Novel Massive MIMO Beam Domain Channel Model

abstract: A novel beam domain channel model (BDCM) for massive multiple-input multiple-output (MIMO) communication systems has been proposed in this paper. The near-field effect and spherical wavefront are firstly assumed in the proposed model, which is different from the conventional BDCM for MIMO based on the far-field effect and plane wavefront assumption. The proposed novel BDCM is the transformation of an existing geometry-based stochastic model (GBSM) from the antenna domain into beam domain. The space-time non-stationarity is also modeled in the novel BDCM. Moreover, the comparison of computational complexity for both models is studied. Based on the numerical analysis, comparison of cluster-level statistical properties between the proposed BDCM and existing GBSM has shown that there exists little difference in the space, time, and frequency correlation properties for two models. Also, based on the simulation, coherence bandwidths of the two models in different scenarios are almost the same. The computational complexity of the novel BDCM is much lower than the existing GBSM. It can be observed that the proposed novel BDCM has similar statistical properties to the existing GBSM at the clusterlevel. The proposed BDCM has less complexity and is therefore more convenient for information theory and signal processing research than the conventional GBSMs.


title: Training-free Monocular 3D Event Detection System for Traffic Surveillance

abstract: We focus on the problem of detecting traffic events in a surveillance scenario, including the detection of both vehicle actions and traffic collisions. Existing event detection systems are mostly learning-based and have achieved convincing performance when a large amount of training data is available. However, in real-world scenarios, collecting sufficient labeled training data is expensive and sometimes impossible (e.g. for traffic collision detection). Moreover, the conventional 2D representation of surveillance views is easily affected by occlusions and different camera views in nature. To deal with the aforementioned problems, in this paper, we propose a training-free monocular 3D event detection system for traffic surveillance. Our system firstly projects the vehicles into the 3D Euclidean space and estimates their kinematic states. Then we develop multiple simple yet effective ways to identify the events based on the kinematic patterns, which need no further training. Consequently, our system is robust to the occlusions and the viewpoint changes. Exclusive experiments report the superior result of our method on large-scale real-world surveillance datasets, which validates the effectiveness of our proposed system.


title: Positive linear maps and eigenvalue estimates for nonnegative matrices

abstract: We show how positive unital linear maps can be used to obtain some bounds for the eigenvalues of nonnegative matrices.


title: Analysis of Deep Feature Loss based Enhancement for Speaker Verification

abstract: Data augmentation is conventionally used to inject robustness in Speaker Verification systems. Several recently organized challenges focus on handling novel acoustic environments. Deep learning based speech enhancement is a modern solution for this. Recently, a study proposed to optimize the enhancement network in the activation space of a pre-trained auxiliary network. This methodology, called deep feature loss, greatly improved over the state-of-the-art conventional x-vector based system on a children speech dataset called BabyTrain. This work analyzes various facets of that approach and asks few novel questions in that context. We first search for optimal number of auxiliary network activations, training data, and enhancement feature dimension. Experiments reveal the importance of Signal-to-Noise Ratio filtering that we employ to create a large, clean, and naturalistic corpus for enhancement network training. To counter the "mismatch" problem in enhancement, we find enhancing front-end (x-vector network) data helpful while harmful for the back-end (Probabilistic Linear Discriminant Analysis (PLDA)). Importantly, we find enhanced signals contain complementary information to original. Established by combining them in front-end, this gives ~40% relative improvement over the baseline. We also do an ablation study to remove a noise class from x-vector data augmentation and, for such systems, we establish the utility of enhancement regardless of whether it has seen that noise class itself during training. Finally, we design several dereverberation schemes to conclude ineffectiveness of deep feature loss enhancement scheme for this task.


title: Towards Evaluating Gaussian Blurring in Perceptual Hashing as a Facial Image Filter

abstract: With the growth in social media, there is a huge amount of images of faces available on the internet. Often, people use other people's pictures on their own profile. Perceptual hashing is often used to detect whether two images are identical. Therefore, it can be used to detect whether people are misusing others' pictures. In perceptual hashing, a hash is calculated for a given image, and a new test image is mapped to one of the existing hashes if duplicate features are present. Therefore, it can be used as an image filter to flag banned image content or adversarial attacks --which are modifications that are made on purpose to deceive the filter-- even though the content might be changed to deceive the filters. For this reason, it is critical for perceptual hashing to be robust enough to take transformations such as resizing, cropping, and slight pixel modifications into account. In this paper, we would like to propose to experiment with effect of gaussian blurring in perceptual hashing for detecting misuse of personal images specifically for face images. We hypothesize that use of gaussian blurring on the image before calculating its hash will increase the accuracy of our filter that detects adversarial attacks which consist of image cropping, adding text annotation, and image rotation.


title: SciChain: Trustworthy Scientific Data Provenance

abstract: The state-of-the-art for auditing and reproducing scientific applications on high-performance computing (HPC) systems is through a data provenance subsystem. While recent advances in data provenance lie in reducing the performance overhead and improving the user's query flexibility, the fidelity of data provenance is often overlooked: there is no such a way to ensure that the provenance data itself has not been fabricated or falsified. This paper advocates to leverage blockchains to deliver immutable and autonomous data provenance services such that scientific data are trustworthy. The challenges for adopting blockchains to HPC include designing a new blockchain architecture compatible with the HPC platforms and, more importantly, a set of new consensus protocols for scientific applications atop blockchains. To this end, we have designed the proof-of-scalable-traceability (POST) protocol and implemented it in a blockchain prototype, namely SciChain, the very first blockchain system for HPC. We evaluated SciChain by comparing it with multiple state-of-the-art systems; Experimental results showed that SciChain guaranteed trustworthy data while incurring orders of magnitude lower overhead.


title: Refined Brill-Noether theory for all trigonal curves

abstract: Trigonal curves provide an example of Brill-Noether special curves. Theorem 1.3 of [9] characterizes the Brill-Noether theory of general trigonal curves and the refined stratification by Brill-Noether splitting loci, which parametrize line bundles whose push forward to $\mathbb{P}^1$ has a specified splitting type. This note describes the refined stratification for all trigonal curves. Given the Maroni invariant of a trigonal curve, we determine the dimensions of all Brill-Noether splitting loci and describe their irreducible components. When the dimension is positive, these loci are connected, and if furthermore the Maroni invariant is $0$ or $1$, they are irreducible.


title: Thermal conductivity reduction in carbon nanotube by fullerene encapsulation: A molecular dynamics study

abstract: Single-walled carbon nanotubes (SWCNTs) in their pristine form have high thermal conductivity whose further improvement has attracted a lot of interest. Some theoretical studies have suggested that the thermal conductivity of a $(10,10)$ SWCNT is dramatically enhanced by C$_{60}$ fullerene encapsulation. However, recent experiments on SWCNT bundles show that fullerene encapsulation leads to a reduction rather than an increase in thermal conductivity. Here, we employ three different molecular dynamics methods to study the influence of C$_{60}$ encapsulation on heat transport in a $(10,10)$ SWCNT. All the three methods consistently predict a reduction of the thermal conductivity of $(10,10)$ SWCNT upon C$_{60}$ encapsulation by $20\%-30\%$, in agreement with experimental results on bundles of SWCNTs. We demonstrate that there is a simulation artifact in the Green-Kubo method which gives anomalously large thermal conductivity from artificial convection. Our results show that the C$_{60}$ molecules conduct little heat compared to the outer SWCNT and reduce the phonon mean free paths of the SWCNT by inducing extra phonon scattering. We also find that the thermal conductivity of a $(10,10)$ SWCNT monotonically decreases with increasing filling ratio of C$_{60}$ molecules.


title: Full-field modeling of heat transfer in asteroid regolith: Radiative thermal conductivity of polydisperse particulates

abstract: Characterizing the surface material of an asteroid is important for understanding its geology and for informing mission decisions, such as the selection of a sample site. Diurnal surface temperature amplitudes are directly related to the thermal properties of the materials on the surface. We describe a numerical model for studying the thermal conductivity of particulate regolith in vacuum. Heat diffusion and surface-to-surface radiation calculations are performed using the finite element (FE) method in three-dimensional meshed geometries of randomly packed spherical particles. We validate the model for test cases where the total solid and radiative conductivity values of particulates with monodisperse particle size frequency distributions (SFDs) are determined at steady-state thermal conditions. Then, we use the model to study the bulk radiative thermal conductivity of particulates with polydisperse, cumulative power-law particle SFDs. We show that for each polydisperse particulate geometry tested, there is a corresponding monodisperse geometry with some effective particle diameter that has an identical radiative thermal conductivity. These effective diameters are found to correspond very well to the Sauter mean particle diameter, which is essentially the surface-area-weighted mean. Next, we show that the thermal conductivity of the particle material can have an important effect on the radiative component of the thermal conductivity of particulates, especially if the particle material conductivity is very low or the spheres are relatively large, owing to non-isothermality in each particle. We provide an empirical correlation to predict the effects of non-isothermality on radiative thermal conductivity in both monodisperse and polydisperse particulates.


title: Adaptive Finite Time Stability of Delayed Systems With Applications to Network Synchronization

abstract: The finite time stability (FnTSta) theory of delayed systems has not been set up until now. In this paper, we propose a two-phases-method (2PM), to achieve this object. In the first phase, we prove that the time for norm of system error evolving from initial values to 1 is finite; then in the second phase, we prove that the time for norm of the error evolving from 1 to 0 is also finite, thus FnTSta is obtained. Considering the cost and complexity of controller, we use only two simple terms to realize this aim. For the proposed 2PM, time delays can be the same or asynchronous, bounded or unbounded, etc; the norm can be $2$-norm, $1$-norm, $\infty$-norm, which show that 2PM is powerful and has a wide scope of applications. Furthermore, we also prove the adaptive finite time stability (AFnTSta) theory of delayed systems using 2PM. As an application of the obtained FnTSta theory, we consider the finite time outer synchronization (FnTOSyn) for complex networks with asynchronous unbounded time delays, corresponding criteria are also obtained. Finally, two numerical examples are given to demonstrate the validity of our theories.


title: Sensing and Communication Tradeoff Design for AoI Minimization in a Cellular Internet of UAVs

abstract: In this paper, we consider the cellular Internet of unmanned aerial vehicles (UAVs), where UAVs sense data for multiple tasks and transmit the data to the base station (BS). To quantify the "freshness" of the data at the BS, we bring in the concept of the age of information (AoI). The AoI is determined by the time for UAV sensing and that for UAV transmission, and gives rise to a trade-off within a given period. To minimize the AoI, we formulate a joint sensing time, transmission time, UAV trajectory, and task scheduling optimization problem. To solve this problem, we first propose an iterative algorithm to optimize the sensing time, transmission time, and UAV trajectory for completing a specific task. Afterwards, we design the order in which the UAV performs data updates for multiple sensing tasks. The convergence and complexity of the proposed algorithm, together with the trade-off between UAV sensing and UAV transmission, are analyzed. Simulation results verify the effectiveness of our proposed algorithm.


title: On-sky silicon photomultiplier detector performance measurements for millisecond to sub-microsecond optical source variability studies

abstract: In our Ultra-Fast Astronomy (UFA) program, we aim to improve measurements of variability of astronomical targets on millisecond and shorter time scales. In this work, we present initial on-sky measurements of the performance of silicon photomultiplier detectors (SiPMs) for UFA. We mounted two different SiPMs at the focal plane of the 0.7-meter aperture Nazarbayev University Transient Telescope at the Assy-Turgen Astrophysical Observatory (NUTTelA-TAO), with no filter in front of the detector. The $3mm\times3mm$ SiPM single-channel detectors have a field of view of $2.2716'\times2.2716'$. During the nights of 2019 October 28-29, we measured sky background, bright stars, and an artificial source with a 100Hz flashing frequency. We compared detected SiPM counts with Gaia satellite G-band flux values to show that our SiPMs have a linear response. With our two SiPMs (models S14520-3050VS and S14160-3050HS), we measured a dark current of $\sim$130 and $\sim$85 kilo counts per second (kcps), and a sky background of $\sim$201 and $\sim$203 kcps, respectively. We measured an intrinsic crosstalk of 10.34$\%$ and 10.52$\%$ and derived a 5$\sigma$ sensitivity of 13.9 and 14.0 Gaia G-band magnitude for 200ms exposures, for the two detectors respectively. For a 10 $\mu$s window, and allowing a false alarm rate of once per 100 nights, we derived a sensitivity of 22 detected photons, or 6 Gaia G-band magnitudes. For nanosecond timescales, our detection is limited by crosstalk to 12 detected photons, which corresponds to a fluence of $\sim$155 photons per square meter.


title: Nonlocal Correlation Mediated by Weyl Orbits

abstract: Nonlocality is an interesting topic in quantum physics and is usually mediated by some unique quantum states. Here we investigate a Weyl semimetal slab and find an exotic nonlocal correlation effect when placing two potential wells merely on the top and bottom surfaces. This correlation arises from the peculiar Weyl orbit in Weyl semimetals and is a consequence of the bulk-boundary correspondence in topological band theory. A giant nonlocal transport signal and a body breakdown by Weyl fermions are further uncovered, which can serve as signatures for verifying this nonlocal correlation effect experimentally. Our results extend a new member in the nonlocality family and have potential applications for designing new electric devices with fancy functions.


title: Periodic Intra-Ensemble Knowledge Distillation for Reinforcement Learning

abstract: Off-policy ensemble reinforcement learning (RL) methods have demonstrated impressive results across a range of RL benchmark tasks. Recent works suggest that directly imitating experts' policies in a supervised manner before or during the course of training enables faster policy improvement for an RL agent. Motivated by these recent insights, we propose Periodic Intra-Ensemble Knowledge Distillation (PIEKD). PIEKD is a learning framework that uses an ensemble of policies to act in the environment while periodically sharing knowledge amongst policies in the ensemble through knowledge distillation. Our experiments demonstrate that PIEKD improves upon a state-of-the-art RL method in sample efficiency on several challenging MuJoCo benchmark tasks. Additionally, we perform ablation studies to better understand PIEKD.


title: Local galaxies with compact cores as the possible descendants of massive compact quiescent galaxies at high redshift

abstract: In order to test a possible evolutionary scenario of high-$z$ compact quiescent galaxies (cQGs) that they can survive as local compact cores embedded in local massive galaxies with different morphology classes, we explore the star formation histories of local compact cores according to their spectral analysis. We build a sample of 182 massive galaxies with compact cores (${M}_{*,{\rm core}} > 10^{10.6} {\rm M}_\odot$) at $0.02 \leq z \leq 0.06$ from SDSS DR7 spectroscopic catalogue. STARLIGHT package is used to analyze the median stacked spectra and derive the stellar ages and metallicities. Our main results show that local compact cores have the average age of about $12.1\pm0.6$ Gyr, indicating their early formation at $z > 3$, which is consistent with the formation redshifts of cQGs at $1<z<3$. Together with previous studies, our result that local compact cores have similar formation redshifts as those of high-$z$ cQGs, supports that local massive galaxies with compact cores are possible descendants of cQGs. Morphological study of local galaxies with compact cores suggests that there would be multiple possible evolutionary paths for high-$z$ cQGs: most of them ($> 80\%$) will evolve into local massive ETGs according to dry minor merger, while some of them ($\sim 15\%$) will build a substantial stellar/gas discs according to the late-time gas accretion and sustaining star formation, and finally grow up to spiral galaxies.


title: What will computational modelling approaches have to say in the era of atomistic cryo-EM data?

abstract: The focus of this viewpoint is to identify, in the era of atomistic resolution cryo-electron microscopy data, the areas in which computational modelling and molecular simulations will bring valuable contributions to structural biologists and to give an overview of some of the existing efforts in this direction.


title: Predicting IoT Service Adoption towards Smart Mobility in Malaysia: SEM-Neural Hybrid Pilot Study

abstract: Smart city is synchronized with digital environment and its transportation system is vitalized with RFID sensors, Internet of Things (IoT) and Artificial Intelligence. However, without user's behavioral assessment of technology, the ultimate usefulness of smart mobility cannot be achieved. This paper aims to formulate the research framework for prediction of antecedents of smart mobility by using SEM-Neural hybrid approach towards preliminary data analysis. This research undertook smart mobility services adoption in Malaysia as study perspective and applied the Technology Acceptance Model (TAM) as theoretical basis. An extended TAM model was hypothesized with five external factors (digital dexterity, IoT service quality, intrusiveness concerns, social electronic word of mouth and subjective norm). The data was collected through a pilot survey in Klang Valley, Malaysia. Then responses were analyzed for reliability, validity and accuracy of model. Finally, the causal relationship was explained by Structural Equation Modeling (SEM) and Artificial Neural Networking (ANN). The paper will share better understanding of road technology acceptance to all stakeholders to refine, revise and update their policies. The proposed framework will suggest a broader approach to individual level technology acceptance.


title: Asymmetric Distribution Measure for Few-shot Learning

abstract: The core idea of metric-based few-shot image classification is to directly measure the relations between query images and support classes to learn transferable feature embeddings. Previous work mainly focuses on image-level feature representations, which actually cannot effectively estimate a class's distribution due to the scarcity of samples. Some recent work shows that local descriptor based representations can achieve richer representations than image-level based representations. However, such works are still based on a less effective instance-level metric, especially a symmetric metric, to measure the relations between query images and support classes. Given the natural asymmetric relation between a query image and a support class, we argue that an asymmetric measure is more suitable for metric-based few-shot learning. To that end, we propose a novel Asymmetric Distribution Measure (ADM) network for few-shot learning by calculating a joint local and global asymmetric measure between two multivariate local distributions of queries and classes. Moreover, a task-aware Contrastive Measure Strategy (CMS) is proposed to further enhance the measure function. On popular miniImageNet and tieredImageNet, we achieve $3.02\%$ and $1.56\%$ gains over the state-of-the-art method on the $5$-way $1$-shot task, respectively, validating our innovative design of asymmetric distribution measures for few-shot learning.


title: Isotropically conducting (hidden) quantum Hall stripe phases in a two-dimensional electron gas

abstract: Quantum Hall stripe (QHS) phases, predicted by the Hartree-Fock theory, are manifested in GaAs-based two-dimensional electron gases as giant resistance anisotropies. Here, we predict a ``hidden'' QHS phase which exhibits \emph{isotropic} resistivity whose value, determined by the density of states of QHS, is independent of the Landau index $N$ and is inversely proportional to the Drude conductivity at zero magnetic field. At high enough $N$, this phase yields to an Ando-Unemura-Coleridge-Zawadski-Sachrajda phase in which the resistivity is proportional to $1/N$ and to the ratio of quantum and transport lifetimes. Experimental observation of this border should allow one to find the quantum relaxation time.


title: Deep synthesis regularization of inverse problems

abstract: Recently, a large number of efficient deep learning methods for solving inverse problems have been developed and show outstanding numerical performance. For these deep learning methods, however, a solid theoretical foundation in the form of reconstruction guarantees is missing. In contrast, for classical reconstruction methods, such as convex variational and frame-based regularization, theoretical convergence and convergence rate results are well established. In this paper, we introduce deep synthesis regularization (DESYRE) using neural networks as nonlinear synthesis operator bridging the gap between these two worlds. The proposed method allows to exploit the deep learning benefits of being well adjustable to available training data and on the other hand comes with a solid mathematical foundation. We present a complete convergence analysis with convergence rates for the proposed deep synthesis regularization. We present a strategy for constructing a synthesis network as part of an analysis-synthesis sequence together with an appropriate training strategy. Numerical results show the plausibility of our approach.


title: Superconductivity in sodium-doped T-carbon

abstract: T-carbon has been proposed as a new carbon allotrope in 2011, which was successfully synthesized in recent experiments. Because of its fluffy structure, several kinds of atoms can be intercalated into T-carbon, making it a versatile candidate in various applications such as hydrogen storage, perovskite solar cells, lithium ion batteries, thermoelectrics, photocatalyst, etc. Here we show that superconductivity can appear in Na-doped T-carbon with superconducting transition temperature Tc of 11 K at ambient pressure, and Tc can be enhanced to 19 K under pressure of 14 GPa, which results from an enhancement of the electron-phonon coupling due to the shift of the phonon spectral weight to lower frequencies with the increase of pressure. The calculations on specific heat and electrical and thermal conductivities show that the normal state of the Na-doped T-carbon superconductor reveals a non-Fermi liquid behavior. The prediction of superconductivity in Na-doped T-carbon would spur great interest both experimentally and theoretically to explore novel carbon-based superconductors.


title: Shared Mobile-Cloud Inference for Collaborative Intelligence

abstract: As AI applications for mobile devices become more prevalent, there is an increasing need for faster execution and lower energy consumption for neural model inference. Historically, the models run on mobile devices have been smaller and simpler in comparison to large state-of-the-art research models, which can only run on the cloud. However, cloud-only inference has drawbacks such as increased network bandwidth consumption and higher latency. In addition, cloud-only inference requires the input data (images, audio) to be fully transferred to the cloud, creating concerns about potential privacy breaches. We demonstrate an alternative approach: shared mobile-cloud inference. Partial inference is performed on the mobile in order to reduce the dimensionality of the input data and arrive at a compact feature tensor, which is a latent space representation of the input signal. The feature tensor is then transmitted to the server for further inference. This strategy can improve inference latency, energy consumption, and network bandwidth usage, as well as provide privacy protection, because the original signal never leaves the mobile. Further performance gain can be achieved by compressing the feature tensor before its transmission.


title: Hypothesis Testing of Blip Effects in Sequential Causal Inference

abstract: In this article, we study the hypothesis testing of the blip / net effects of treatments in a treatment sequence. We illustrate that the likelihood ratio test and the score test may suffer from the curse of dimensionality, the null paradox and the high-dimensional constraint on standard parameters under the null hypothesis. On the other hand, we construct the Wald test via a small number of point effects of treatments in single-point causal inference. We show that the Wald test can avoid these problems under the same assumptions as the Wald test for testing the point effect of treatment. The simulation study illustrates that the Wald test achieves the nominal level of type I error and a low level of type II error. A real medical example illustrates how to conduct the Wald test in practice.


title: Global Weak Solutions to a Cahn-Hilliard-Navier-Stokes System with Chemotaxis and Singular Potential

abstract: We analyze a diffuse interface model that describes the dynamics of incompressible two-phase flows with chemotaxis effect. The PDE system couples a Navier-Stokes equation for the fluid velocity, a convective Cahn-Hilliard equation for the phase field variable with an advection-diffusion-reaction equation for the nutrient density. For the system with a singular potential, we prove the existence of global weak solutions in both two and three dimensions. Besides, in the two dimensional case, we establish a continuous dependence result that implies the uniqueness of global weak solutions. The singular potential guarantees that the phase field variable always stays in the physically relevant interval [-1,1] during time evolution. This property enables us to obtain the well-posedness result without any extra assumption on the coefficients that has been made in the previous literature.


title: ResilientDB: Global Scale Resilient Blockchain Fabric

abstract: Recent developments in blockchain technology have inspired innovative new designs in resilient distributed and database systems. At their core, these blockchain applications typically use Byzantine fault-tolerant consensus protocols to maintain a common state across all replicas, even if some replicas are faulty or malicious. Unfortunately, existing consensus protocols are not designed to deal with geo-scale deployments in which many replicas spread across a geographically large area participate in consensus. To address this, we present the Geo-Scale Byzantine FaultTolerant consensus protocol (GeoBFT). GeoBFT is designed for excellent scalability by using a topological-aware grouping of replicas in local clusters, by introducing parallelization of consensus at the local level, and by minimizing communication between clusters. To validate our vision of high-performance geo-scale resilient distributed systems, we implement GeoBFT in our efficient ResilientDB permissioned blockchain fabric. We show that GeoBFT is not only sound and provides great scalability, but also outperforms state-of-the-art consensus protocols by a factor of six in geo-scale deployments.


title: Molecular relaxations in supercooled liquid and glassy states of amorphous gambogic acid: dielectric spectroscopy, calorimetry and theoretical approach

abstract: The relaxation dynamics and thermodynamic properties of supercooled and glassy gambogic acid are investigated using both theory and experiment. We measure the temperature dependence of the relaxation times in three polymorphs (alpha-, beta-, and gamma-form). To gain insight into the relaxation processes, we propose a theoretical approach to quantitatively understand nature of these three relaxations. The alpha-relaxation captures cooperative motions of molecules while the beta-process is mainly governed by local dynamics of a single molecule within the cage formed by its nearest neighbors. Based on quantitative agreement between theory and experimental data, our calculations clearly indicate that the beta-process is a precursor of the structural relaxation and intramolecular motions are responsible for the gamma-relaxation. Moreover, the approach is exploited to study effects of the heating process on alpha relaxation. We find that the heating rate varies logarithmically with Tg and 1000/Tg. These variations are qualitatively consistent with many prior studies.

categories: cond-mat.soft cond-mat.mtrl-sci physics.bio-ph physics.chem-ph physics.med-ph


title: Adaptive Backstepping Control for Fractional-Order Nonlinear Systems with External Disturbance and Uncertain Parameters Using Smooth Control

abstract: In this paper, we consider controlling a class of single-input-single-output (SISO) commensurate fractional-order nonlinear systems with parametric uncertainty and external disturbance. Based on backstepping approach, an adaptive controller is proposed with adaptive laws that are used to estimate the unknown system parameters and the bound of unknown disturbance. Instead of using discontinuous functions such as the $\mathrm{sign}$ function, an auxiliary function is employed to obtain a smooth control input that is still able to achieve perfect tracking in the presence of bounded disturbances. Indeed, global boundedness of all closed-loop signals and asymptotic perfect tracking of fractional-order system output to a given reference trajectory are proved by using fractional directed Lyapunov method. To verify the effectiveness of the proposed control method, simulation examples are presented.


title: Bridging Text and Video: A Universal Multimodal Transformer for Video-Audio Scene-Aware Dialog

abstract: Audio-Visual Scene-Aware Dialog (AVSD) is a task to generate responses when chatting about a given video, which is organized as a track of the 8th Dialog System Technology Challenge (DSTC8). To solve the task, we propose a universal multimodal transformer and introduce the multi-task learning method to learn joint representations among different modalities as well as generate informative and fluent responses. Our method extends the natural language generation pre-trained model to multimodal dialogue generation task. Our system achieves the best performance in both objective and subjective evaluations in the challenge.


title: Separability criteria based on Heisenberg-Weyl representation of density matrices

abstract: Separability is an important problem in theory of quantum entanglement. By using the Bloch representation of quantum states in terms of the Heisenberg-Weyl observable basis, we present a new separability criterion for bipartite quantum systems. It is shown that this criterion can be better than the previous ones in detecting entanglement. The results are generalized to multipartite quantum states.


title: Trade-off relations of l_1-norm coherence for multipartite systems

abstract: We study the trade-off relations given by the l_1-norm coherence of general multipartite states. Explicit trade-off inequalities are derived with lower bounds given by the coherence of either bipartite or multipartite reduced density matrices. In particular, for pure three-qubit states, it is explicitly shown that the trade-off inequality is lower bounded by the three tangle of quantum entanglement.


title: A Practical Non-Stationary Channel Model for Vehicle-to-Vehicle MIMO Communications

abstract: In this paper, a practical model for non-stationary Vehicle-to-Vehicle (V2V) multiple-input multiple-output (MIMO) channels is proposed. The new model considers more accurate output phase of Doppler frequency and is simplified by the Taylor series expansions. It is also suitable for generating the V2V channel coefficient with arbitrary velocities and trajectories of the mobile transmitter (MT) and mobile receiver (MR). Meanwhile, the channel parameters of path delay and power are investigated and analyzed. The closed-form expressions of statistical properties, i.e., temporal autocorrelation function (TACF) and spatial cross-correlation function (SCCF) are also derived with the angle of arrival (AoA) and angle of departure (AoD) obeying the Von Mises (VM) distribution. In addition, the good agreements between the theoretical, simulated and measured results validate the correctness and usefulness of the proposed model.


title: Solving the Joint Order Batching and Picker Routing Problem for Large Instances

abstract: In this work, we investigate the problem of order batching and picker routing in warehouse storage areas. These problems are known to be capital and labour intensive, and often contribute to a sizable fraction of warehouse operating costs. Here, we consider the case of online grocery shopping where orders may consist of dozens of items. We present the problem introduced and tackle the issue of solving the problem heuristically with proposed methods of solving that utilize batching and routing heuristics. Instances with up to 50 orders were solved heuristically in large simulated warehouse instances consisting of 8 to 30 aisles, with 1 to 4 blocks. The proposed methods were shown to have relatively short computation times as compared to optimally solving the problem in. In particular, we showed that a proposed method which utilizes an optimal solver for routing yielded poorer results than methods that utilize routing heuristics.


title: Analysis and Optimization of an Intelligent Reflecting Surface-assisted System with Interference

abstract: In this paper, we study an intelligent reflecting surface (IRS)-assisted system where a multi-antenna base station (BS) serves a single-antenna user with the help of a multi-element IRS in the presence of interference generated by a multi-antenna BS serving its own single-antenna user. The signal and interference links via the IRS are modeled with Rician fading. To reduce phase adjustment cost, we adopt quasi-static phase shift design where the phase shifts do not change with the instantaneous channel state information (CSI). We investigate two cases of CSI at the BSs, namely, the instantaneous CSI case and the statistical CSI case, and apply Maximum Ratio Transmission (MRT) based on the complete CSI and the CSI of the Line-of-sight (LoS) components, respectively. Different costs on channel estimation and beamforming adjustment are incurred in the two CSI cases. First, we obtain a tractable expression of the average rate in the instantaneous CSI case and a tractable expression of the ergodic rate in the statistical CSI case. We also provide sufficient conditions for the average rate in the instantaneous CSI case to surpass the ergodic rate in the statistical CSI case, at any phase shifts. Then, we maximize the average rate and ergodic rate, both with respect to the phase shifts, leading to two non-convex optimization problems. For each problem, we obtain a globally optimal solution under certain system parameters, and propose an iterative algorithm based on parallel coordinate descent (PCD) to obtain a stationary point under arbitrary system parameters. Next, in each CSI case, we provide sufficient conditions under which the optimal quasi-static phase shift design is beneficial, compared to the system without IRS. Finally, we numerically verify the analytical results and demonstrate notable gains of the proposal solutions over existing ones.


title: Deep Multi-View Enhancement Hashing for Image Retrieval

abstract: Hashing is an efficient method for nearest neighbor search in large-scale data space by embedding high-dimensional feature descriptors into a similarity preserving Hamming space with a low dimension. However, large-scale high-speed retrieval through binary code has a certain degree of reduction in retrieval accuracy compared to traditional retrieval methods. We have noticed that multi-view methods can well preserve the diverse characteristics of data. Therefore, we try to introduce the multi-view deep neural network into the hash learning field, and design an efficient and innovative retrieval model, which has achieved a significant improvement in retrieval performance. In this paper, we propose a supervised multi-view hash model which can enhance the multi-view information through neural networks. This is a completely new hash learning method that combines multi-view and deep learning methods. The proposed method utilizes an effective view stability evaluation method to actively explore the relationship among views, which will affect the optimization direction of the entire network. We have also designed a variety of multi-data fusion methods in the Hamming space to preserve the advantages of both convolution and multi-view. In order to avoid excessive computing resources on the enhancement procedure during retrieval, we set up a separate structure called memory network which participates in training together. The proposed method is systematically evaluated on the CIFAR-10, NUS-WIDE and MS-COCO datasets, and the results show that our method significantly outperforms the state-of-the-art single-view and multi-view hashing methods.


title: Non-asymptotic behavior and the distribution of the spectrum of the finite Hankel transform operator

abstract: For a fixed reals $c>0$, $a>0$ and $\alpha>-\frac{1}{2}$, the circular prolate spheroidal wave functions (CPSWFs) or 2d-Slepian functions as some authors call it, are the eigenfunctions of the finite Hankel transform operator, denoted by $\mathcal{H}_c^{\alpha}$, which is the integral operator defined on $L^2(0,1)$ with kernel $H_c^{\alpha}(x,y)=\sqrt{cxy}J_{\alpha}(cxy)$. Also, they are the eigenfunctions of the positive, self-adjoint compact integral operator $\mathcal{Q}_c^{\alpha}=c\mathcal{H}_c^{\alpha}\mathcal{H}_c^{\alpha}.$ The CPSWFs play a central role in many applications such as the analysis of 2d-radial signals. Moreover, a renewed interest on the CPSWFs instead of Fourier-Bessel basis is expected to follow from the potential applications in Cryo-EM and that makes them attractive for steerable of principal component analysis(PCA). For this purpose, we give in this paper a precise non-asymptotic estimates for these eigenvalues, within the three main regions of the spectrum of $\mathcal{Q}_c^{\alpha}$ as well as these distributions in $(0,1).$ Moreover, we describe a series expansion of CPSWFs with respect to the generalized Laguerre functions basis of $L^2(0,\infty)$ defined by $\psi_{n,\alpha}^a(x)=\sqrt{2}a^{\alpha+1}x^{\alpha+1/2}e^{-\frac{(ax)^2}{2}}\widetilde{L}_n^{\alpha}(a^2x^2)$, where $\widetilde{L}_n^{\alpha}$ is the normalised Laguerre polynomial.


title: Novel Language Resources for Hindi: An Aesthetics Text Corpus and a Comprehensive Stop Lemma List

abstract: This paper is an effort to complement the contributions made by researchers working toward the inclusion of non-English languages in natural language processing studies. Two novel Hindi language resources have been created and released for public consumption. The first resource is a corpus consisting of nearly thousand pre-processed fictional and nonfictional texts spanning over hundred years. The second resource is an exhaustive list of stop lemmas created from 12 corpora across multiple domains, consisting of over 13 million words, from which more than 200,000 lemmas were generated, and 11 publicly available stop word lists comprising over 1000 words, from which nearly 400 unique lemmas were generated. This research lays emphasis on the use of stop lemmas instead of stop words owing to the presence of various, but not all morphological forms of a word in stop word lists, as opposed to the presence of only the root form of the word, from which variations could be derived if required. It was also observed that stop lemmas were more consistent across multiple sources as compared to stop words. In order to generate a stop lemma list, the parts of speech of the lemmas were investigated but rejected as it was found that there was no significant correlation between the rank of a word in the frequency list and its part of speech. The stop lemma list was assessed using a comparative method. A formal evaluation method is suggested as future work arising from this study.


title: Special cycles on unitary Shimura varieties with minuscule parahoric level structure

abstract: In this paper, we formulate conjectural formulas for the arithmetic intersection numbers of special cycles on unitary Shimura varieties with minuscule parahoric level structure. Also, we prove that these conjectures are compatible with all known results.


title: Photon-induced desorption of larger species in UV-irradiated methane (CH4) ice

abstract: At the low temperatures found in the interior of dense clouds and circumstellar regions, along with H$_2$O and smaller amounts of species such as CO, CO$_2$, or CH$_3$OH, the infrared features of CH$_4$ have been observed on icy dust grains. Ultraviolet (UV) photons induce different processes in ice mantles, affecting the molecular abundances detected in the gas-phase. This work aims to understand the processes that occur in a pure CH$_4$ ice mantle submitted to UV irradiation. We studied photon-induced processes for the different photoproducts arising in the ice upon UV irradiation. Experiments were carried out in ISAC, an ultra-high vacuum chamber equipped with a cryostat and an F-type UV-lamp reproducing the secondary UV-field induced by cosmic rays in dense clouds. Infrared spectroscopy and quadrupole mass spectrometry were used to monitor the solid and gas-phase, respectively, during the formation, irradiation, and warm-up of the ice. Direct photodesorption of pure CH$_4$ was not observed. UV photons form CH$_x\cdot$ and H$\cdot$ radicals, leading to photoproducts such as H$_2$, C$_2$H$_2$, C$_2$H$_6$, and C$_3$H$_8$. Evidence for the photodesorption of C$_2$H$_2$ and photochemidesorption of C$_2$H$_6$ and C$_3$H$_8$ was found, the latter species is so far the largest molecule found to photochemidesorb. $^{13}$CH$_4$ experiments were also carried out to confirm the reliability of these results.


title: The maximum volume of hyperbolic polyhedra

abstract: We study the supremum of the volume of hyperbolic polyhedra with some fixed combinatorics and with vertices of any kind (real, ideal or hyperideal). We find that the supremum is always equal to the volume of the rectification of the 1-skeleton. The theorem is proved by applying a sort of volume-increasing flow to any hyperbolic polyhedron. Singularities may arise in the flow because some strata of the polyhedron may degenerate to lower-dimensional objects; when this occurs, we need to study carefully the combinatorics of the resulting polyhedron and continue with the flow, until eventually we get a rectified polyhedron.


title: UIT-ViIC: A Dataset for the First Evaluation on Vietnamese Image Captioning

abstract: Image Captioning, the task of automatic generation of image captions, has attracted attentions from researchers in many fields of computer science, being computer vision, natural language processing and machine learning in recent years. This paper contributes to research on Image Captioning task in terms of extending dataset to a different language - Vietnamese. So far, there is no existed Image Captioning dataset for Vietnamese language, so this is the foremost fundamental step for developing Vietnamese Image Captioning. In this scope, we first build a dataset which contains manually written captions for images from Microsoft COCO dataset relating to sports played with balls, we called this dataset UIT-ViIC. UIT-ViIC consists of 19,250 Vietnamese captions for 3,850 images. Following that, we evaluate our dataset on deep neural network models and do comparisons with English dataset and two Vietnamese datasets built by different methods. UIT-ViIC is published on our lab website for research purposes.


title: Unbiased Scene Graph Generation via Rich and Fair Semantic Extraction

abstract: Extracting graph representation of visual scenes in image is a challenging task in computer vision. Although there has been encouraging progress of scene graph generation in the past decade, we surprisingly find that the performance of existing approaches is largely limited by the strong biases, which mainly stem from (1) unconsciously assuming relations with certain semantic properties such as symmetric and (2) imbalanced annotations over different relations. To alleviate the negative effects of these biases, we proposed a new and simple architecture named Rich and Fair semantic extraction network (RiFa for short), to not only capture rich semantic properties of the relations, but also fairly predict relations with different scale of annotations. Using pseudo-siamese networks, RiFa embeds the subject and object respectively to distinguish their semantic differences and meanwhile preserve their underlying semantic properties. Then, it further predicts subject-object relations based on both the visual and semantic features of entities under certain contextual area, and fairly ranks the relation predictions for those with a few annotations. Experiments on the popular Visual Genome dataset show that RiFa achieves state-of-the-art performance under several challenging settings of scene graph task. Especially, it performs significantly better on capturing different semantic properties of relations, and obtains the best overall per relation performance.


title: Magnetoimpedance based detection of L-band electron paramagnetic resonance in 2,2-diphenyl-1-picrylhydrazyl (DPPH) molecule

abstract: Detection of electron paramagnetic resonance (EPR) using a microwave cavity resonating at a fixed frequency (between 9 and 10 GHz) remains the most popular method until now. Here, we report a cavity-less technique which makes use of only an impedance analyzer and a copper strip coil to detect L-band EPR (f = 1-3 GHz) in the standard EPR marker 2,2-diphenyl-1-picrylhydrazyl (DPPH). Our method relies on measuring the magnetoimpedance (MI) response of DPPH through a copper strip coil that encloses DPPH. In contrast to commercial EPR which measures only the field derivative of power absorption, our method enables us to deduce both absorption and dispersion. Changes in resistance (R) and reactance (X) of the copper strip while sweeping an external dc magnetic field, were measured for different frequencies (f = 0.9 to 2.5 GHz) of radio-frequency current in the coil. R exhibits a sharp peak at a critical value of the dc magnetic field, which is identified as the resonance field and X shows a dispersion at the same frequency. The data were analyzed to obtain line width and resonance field parameters. The resonance field increased linearly with frequency and the obtained Land\'e g factor of 1.999 is close to the accepted value of 2.0036, measured in X-band. The simplicity of this technique can be exploited to study paramagnetic centers in catalysis and other materials.


title: An Equivalence between Bayesian Priors and Penalties in Variational Inference

abstract: In machine learning, it is common to optimize the parameters of a probabilistic model, modulated by an ad hoc regularization term that penalizes some values of the parameters. Regularization terms appear naturally in Variational Inference, a tractable way to approximate Bayesian posteriors: the loss to optimize contains a Kullback--Leibler divergence term between the approximate posterior and a Bayesian prior. We fully characterize the regularizers that can arise according to this procedure, and provide a systematic way to compute the prior corresponding to a given penalty. Such a characterization can be used to discover constraints over the penalty function, so that the overall procedure remains Bayesian.


title: AdvJND: Generating Adversarial Examples with Just Noticeable Difference

abstract: Compared with traditional machine learning models, deep neural networks perform better, especially in image classification tasks. However, they are vulnerable to adversarial examples. Adding small perturbations on examples causes a good-performance model to misclassify the crafted examples, without category differences in the human eyes, and fools deep models successfully. There are two requirements for generating adversarial examples: the attack success rate and image fidelity metrics. Generally, perturbations are increased to ensure the adversarial examples' high attack success rate; however, the adversarial examples obtained have poor concealment. To alleviate the tradeoff between the attack success rate and image fidelity, we propose a method named AdvJND, adding visual model coefficients, just noticeable difference coefficients, in the constraint of a distortion function when generating adversarial examples. In fact, the visual subjective feeling of the human eyes is added as a priori information, which decides the distribution of perturbations, to improve the image quality of adversarial examples. We tested our method on the FashionMNIST, CIFAR10, and MiniImageNet datasets. Adversarial examples generated by our AdvJND algorithm yield gradient distributions that are similar to those of the original inputs. Hence, the crafted noise can be hidden in the original inputs, thus improving the attack concealment significantly.


title: General witness sets for numerical algebraic geometry

abstract: Numerical algebraic geometry has a close relationship to intersection theory from algebraic geometry. We deepen this relationship, explaining how rational or algebraic equivalence gives a homotopy. We present a general notion of witness set for subvarieties of a smooth complete complex algebraic variety using ideas from intersection theory. Under appropriate assumptions, general witness sets enable numerical algorithms such as sampling and membership. These assumptions hold for products of flag manifolds. We introduce Schubert witness sets, which provide general witness sets for Grassmannians and flag manifolds.


title: Fine-Tuning BERT for Schema-Guided Zero-Shot Dialogue State Tracking

abstract: We present our work on Track 4 in the Dialogue System Technology Challenges 8 (DSTC8). The DSTC8-Track 4 aims to perform dialogue state tracking (DST) under the zero-shot settings, in which the model needs to generalize on unseen service APIs given a schema definition of these target APIs. Serving as the core for many virtual assistants such as Siri, Alexa, and Google Assistant, the DST keeps track of the user's goal and what happened in the dialogue history, mainly including intent prediction, slot filling, and user state tracking, which tests models' ability of natural language understanding. Recently, the pretrained language models have achieved state-of-the-art results and shown impressive generalization ability on various NLP tasks, which provide a promising way to perform zero-shot learning for language understanding. Based on this, we propose a schema-guided paradigm for zero-shot dialogue state tracking (SGP-DST) by fine-tuning BERT, one of the most popular pretrained language models. The SGP-DST system contains four modules for intent prediction, slot prediction, slot transfer prediction, and user state summarizing respectively. According to the official evaluation results, our SGP-DST (team12) ranked 3rd on the joint goal accuracy (primary evaluation metric for ranking submissions) and 1st on the requsted slots F1 among 25 participant teams.


title: SOFISM: Super-resolution optical fluctuation image scanning microscopy

abstract: Super-resolution optical microscopy is a rapidly evolving scientific field dedicated to imaging sub-wavelength sized objects, leaving its mark in multiple branches of biology and technology. While several super-resolution optical microscopy methods have become a common tool in life science imaging, new methods, supported by cutting-edge technology, continue to emerge. One rather recent addition to the super-resolution toolbox, image scanning microscopy (ISM), achieves an up to twofold lateral resolution enhancement in a robust and straightforward manner. To further enhance ISM's resolution in all three dimensions, we present and experimentally demonstrate here super-resolution optical fluctuation image scanning microscopy (SOFISM). Measuring the fluorescence fluctuation contrast in an ISM architecture, we obtain images with a x2.5 lateral resolution beyond the diffraction limit along with an enhanced axial resolution for a fixed cell sample labeled with commercially available quantum dots. The inherent temporal averaging of the ISM technique enables image acquisition of the fluctuation correlation contrast within millisecond scale pixel dwell times. SOFISM can therefore offer a robust path to achieve high resolution images within a slightly modified confocal microscope, using standard fluorescent labels and within reasonable acquisition times.


title: Theory of spin-polarized superconductors -- an analogue of superfluid $^3$He A-phase

abstract: It is shown theoretically that ferromagnetic superconductors, UGe$_2$, URhGe, and UCoGe can be described in terms of the A-phase like triplet pairing similar to superfluid $^3$He in a unified way, including peculiar reentrant, S-shape, or L-shape $H_{\rm c2}$ curves. The associated double transition inevitable between the A$_1$ and A$_2$-phases in the $H$-$T$ plane is predicted, both of which are characterized by non-unitary state with broken time reversal symmetry and the half-gap. UTe$_2$, which has been discovered quite recently to be a spin-polarized superconductor, is analyzed successively in the same view point, pointing out that the expected A$_1$-A$_2$ transition is indeed emerging experimentally. Thus the four heavy Fermion compounds all together are entitled to be topologically rich solid state materials worth further investigating together with superfluid $^3$He A-phase.


title: Quantum Relief Algorithm

abstract: Relief algorithm is a feature selection algorithm used in binary classification proposed by Kira and Rendell, and its computational complexity remarkable increases with both the scale of samples and the number of features. In order to reduce the complexity, a quantum feature selection algorithm based on Relief algorithm, also called quantum Relief algorithm, is proposed. In the algorithm, all features of each sample are superposed by a certain quantum state through the \emph{CMP} and \emph{rotation} operations, then the \emph{swap test} and measurement are applied on this state to get the similarity between two samples. After that, \emph{Near-hit} and \emph{Near-miss} are obtained by calculating the maximal similarity, and further applied to update the feature weight vector $WT$ to get $WT'$ that determine the relevant features with the threshold $\tau$. In order to verify our algorithm, a simulation experiment based on IBM Q with a simple example is performed. Efficiency analysis shows the computational complexity of our proposed algorithm is \emph{O(M)}, while the complexity of the original Relief algorithm is \emph{O(NM)}, where $N$ is the number of features for each sample, and $M$ is the size of the sample set. Obviously, our quantum Relief algorithm has superior acceleration than the classical one.


title: Deeply Activated Salient Region for Instance Search

abstract: The performance of instance search depends heavily on the ability to locate and describe a wide variety of object instances in a video/image collection. Due to the lack of proper mechanism in locating instances and deriving feature representation, instance search is generally only effective for retrieving instances of known object categories. In this paper, a simple but effective instance-level feature representation is presented. Different from other approaches, the issues in class-agnostic instance localization and distinctive feature representation are considered. The former is achieved by detecting salient instance regions from an image by a layer-wise back-propagation process. The back-propagation starts from the last convolution layer of a pre-trained CNN that is originally used for classification. The back-propagation proceeds layer-by-layer until it reaches the input layer. This allows the salient instance regions in the input image from both known and unknown categories to be activated. Each activated salient region covers the full or more usually a major range of an instance. The distinctive feature representation is produced by average-pooling on the feature map of certain layer with the detected instance region. Experiments show that such kind of feature representation demonstrates considerably better performance over most of the existing approaches. In addition, we show that the proposed feature descriptor is also suitable for content-based image search.


title: Multiparty Quantum Sealed-Bid Auction Using Single Photons as Message Carrier

abstract: In this study, a novel multiparty quantum sealed-bid auction protocol using the single photons as the message carrier of bids is proposed, followed by an example of three-party auction. Compared with those protocols based on the entangled states (GHZ state, EPR pairs, etc.), the present protocol is more economic and feasible within present technology. In order to guarantee the security and the fairness of the auction, the decoy photon checking technique and an improved post-confirmation mechanism with EPR pairs are introduced respectively.


title: Stealth dark matter and gravitational waves

abstract: I present first results from ongoing lattice investigations into the finite-temperature dynamics of stealth dark matter, which adds to the standard model a new SU(4) gauge sector with four moderately heavy fundamental fermions. This work by the Lattice Strong Dynamics Collaboration builds on past studies of direct detection and collider searches for stealth dark matter, by analyzing the early-universe SU(4) confinement transition, which produces a stochastic background of gravitational waves if it is first order. In addition to delineating the parameter space in which a first-order transition is observed, I discuss the quantities we are analyzing in order to predict the resulting gravitational-wave spectrum.


title: Intuitionistic Fixed Point Logic

abstract: We study the system IFP of intuitionistic fixed point logic, an extension of intuitionistic first-order logic by strictly positive inductive and coinductive definitions. We define a realizability interpretation of IFP and use it to extract computational content from proofs about abstract structures specified by arbitrary classically true disjunction free formulas. The interpretation is shown to be sound with respect to a domain-theoretic denotational semantics and a corresponding lazy operational semantics of a functional language for extracted programs. We also show how extracted programs can be translated into Haskell. As an application we extract a program converting the signed digit representation of real numbers to infinite Gray-code from a proof of inclusion of the corresponding coinductive predicates.


title: The Statistical Complexity of Early-Stopped Mirror Descent

abstract: Recently there has been a surge of interest in understanding implicit regularization properties of iterative gradient-based optimization algorithms. In this paper, we study the statistical guarantees on the excess risk achieved by early-stopped unconstrained mirror descent algorithms applied to the unregularized empirical risk with the squared loss for linear models and kernel methods. By completing an inequality that characterizes convexity for the squared loss, we identify an intrinsic link between offset Rademacher complexities and potential-based convergence analysis of mirror descent methods. Our observation immediately yields excess risk guarantees for the path traced by the iterates of mirror descent in terms of offset complexities of certain function classes depending only on the choice of the mirror map, initialization point, step-size, and the number of iterations. We apply our theory to recover, in a clean and elegant manner via rather short proofs, some of the recent results in the implicit regularization literature, while also showing how to improve upon them in some settings.


title: Improving Performance Estimation for FPGA-based Accelerators for Convolutional Neural Networks

abstract: Field-programmable gate array (FPGA) based accelerators are being widely used for acceleration of convolutional neural networks (CNNs) due to their potential in improving the performance and reconfigurability for specific application instances. To determine the optimal configuration of an FPGA-based accelerator, it is necessary to explore the design space and an accurate performance prediction plays an important role during the exploration. This work introduces a novel method for fast and accurate estimation of latency based on a Gaussian process parametrised by an analytic approximation and coupled with runtime data. The experiments conducted on three different CNNs on an FPGA-based accelerator on Intel Arria 10 GX 1150 demonstrated a 30.7% improvement in accuracy with respect to the mean absolute error in comparison to a standard analytic method in leave-one-out cross-validation.


title: Invariant K\"ahler potentials and symplectic reduction

abstract: For a proper Hamiltonian action of a Lie group $G$ on a K\"ahler manifold $(X,\omega)$ with momentum map $\mu$ we show that the symplectic reduction $\mu^{-1}(0)/G$ is a normal complex space. Every point in $\mu^{-1}(0)$ has a $G$-stable open neighborhood on which $\omega$ and $\mu$ are given by a $G$-invariant K\"ahler potential. This is used to show that $\mu^{-1}(0)/G$ is a K\"ahler space. Furthermore we examine the existence of potentials away from $\mu^{-1}(0)$ with both positive and negative results.


title: A Quantum-based Database Query Scheme for Privacy Preservation in Cloud Environment

abstract: Cloud computing is a powerful and popular information technology paradigm that enables data service outsourcing and provides higher-level services with minimal management effort. However, it is still a key challenge to protect data privacy when a user accesses the sensitive cloud data. Privacy-preserving database query allows the user to retrieve a data item from the cloud database without revealing the information of the queried data item, meanwhile limiting user's ability to access other ones. In this study, in order to achieve the privacy preservation and reduce the communication complexity, a quantum-based database query scheme for privacy preservation in cloud environment is developed. Specifically, all the data items of the database are firstly encrypted by different keys for protecting server's privacy, and in order to guarantee the clients' privacy, the server is required to transmit all these encrypted data items to the client with the oblivious transfer strategy. Besides, two oracle operations, a modified Grover iteration, and a special offset encryption mechanism are combined together to ensure that the client can correctly query the desirable data item. Finally, performance evaluation is conducted to validate the correctness, privacy, and efficiency of our proposed scheme.


title: Spin-dependent Schottky barriers and vacancy-induced spin-selective Ohmic contacts in magnetic vdW heterostructures

abstract: The 2D ferromagnets, such as CrX3 (X=Cl, Br and I), have been attracting extensive attentions since they provide novel platforms to fundamental physics and device applications. Integrating CrX3 with other electrodes and substrates is an essential step to their device realization. Therefore, it is important to understand the interfacial properties between CrX3 and other 2D materials. As an illustrative example, we have investigated the heterostructures between CrX3 and graphene (CrX3/Gr) from firstprinciples. We find unique Schottky contacts type with strongly spin-dependent barriers in CrX3/Gr. This can be understood by synergistic effects between the exchange splitting of semiconductor band of CrX3 and interlayer charge transfer. The spinasymmetry of Schottky barriers may result in different tunneling rates of spin-up and down electrons, and then lead to spin-polarized current, namely spin-filter (SF) effect. Moreover, by introducing X vacancy into CrX3/Gr, an Ohmic contact forms in spin-up direction. It may enhance the transport of spin-up electrons, and improve SF effect. Our systematic study reveals the unique interfacial properties of CrX3/Gr, and provides a theoretical view to the understanding and designing of spintronics device based on magnetic vdW heterostructures.


title: Inverse moving source problem for time-fractional evolution equations: Determination of profiles

abstract: This article is concerned with two inverse problems on determining moving source profile functions in evolution equations with a derivative order $\alpha\in(0,2]$ in time. In the first problem, the sources are supposed to move along known straight lines, and we suitably choose partial interior observation data in finite time. Reducing the problems to the determination of initial values, we prove the unique determination of one and two moving source profiles for $0<\alpha\le1$ and $1<\alpha\le2$, respectively. In the second problem, the orbits of moving sources are assumed to be known, and we consider the full lateral Cauchy data. At the cost of infinite observation time, we prove the unique determination of one moving source profile by constructing test functions.


title: Bidirectional Trajectory Computation for Odometer-Aided Visual-Inertial SLAM

abstract: Odometer-aided visual-inertial SLAM systems typically have a good performance for navigation of wheeled platforms, while they usually suffer from degenerate cases before the first turning. In this paper, firstly we perform an observability analysis w.r.t. the extrinsic parameters before the first turning, which is a complement of the existing results of observability analyses. Secondly, inspired by the above observability analyses, we propose a bidirectional trajectory computation method, by which the poses before the first turning are refined in the backward computation thread, and the real-time trajectory is adjusted accordingly. Experimental results prove that our proposed method not only solves the problem of the unobservability of accelerometer bias and extrinsic parameters before the first turning, but also results in more accurate trajectories in comparison with the state-of-the-art approaches.


title: Internet of Radars (IoR): Internet of RAdio Detectors And Rangers

abstract: The Internet of Things (IoT) are interconnected devices for exchanging information through sensors and actuators. One of the main physical sensors to understand the environment beyond the visible world is a radar. Basically, radars have always been a military tool to be used to investigate the environment. However, with the developing technology, radars have become more compact and affordable to use in a building, in a car, in a drone or even in a wristwatch. In the near future, radar-equipped IoT platforms will start to appear increasingly. For each IoT platform, dual use of spectrum with dual aperture is required for sensing and communicating when using conventional approaches. For the radar sensing IoT devices, the emission from the radar and communication circuitry is the main reason of the increase in energy consumption. Furthermore, an increasing number of radars emerges as congested spectrum, and RF convergence between radars and communication systems becomes more likely to present itself. Recent years, there have been numerous researches which propose using the one emission/waveform for perceiving the environment and sending information. They are often called as "Joint Radar-Communication (JRC)" systems. Due to the latest developments in JRC system designs, radar sensing IoT platforms now can be transformed into an "Internet of RAdio Detectors And Rangers (IoR)". In this article, we present a short survey on JRC technologies, possible application areas IoR applications and challenges and future research directions for enabling the concept of IoR.


title: Coplanar cavity for strong coupling between photons and magnons in van der Waals antiferromagnet

abstract: We investigate the performance of niobium nitride superconducting coplanar waveguide resonators towards hybrid quantum devices with magnon-photon coupling. We find internal quality factors ~ 20000 at 20 mK base temperature, in zero magnetic field. We find that by reducing film thickness below 100 nm internal quality factor greater than 1000 can be maintained up to parallel magnetic field of ~ 1 T and perpendicular magnetic field of ~ 100 mT. We further demonstrate strong coupling of microwave photons in these resonators, with magnons in chromium trichloride, a van der Waals antiferromagnet, which shows that these cavities serve as a good platform for studying magnon-photon coupling in 2D magnonics based hybrid quantum systems. We demonstrate strong magnon-photon coupling for both optical and acoustic magnon modes of an antiferromagnet.


title: Transforming Spectrum and Prosody for Emotional Voice Conversion with Non-Parallel Training Data

abstract: Emotional voice conversion aims to convert the spectrum and prosody to change the emotional patterns of speech, while preserving the speaker identity and linguistic content. Many studies require parallel speech data between different emotional patterns, which is not practical in real life. Moreover, they often model the conversion of fundamental frequency (F0) with a simple linear transform. As F0 is a key aspect of intonation that is hierarchical in nature, we believe that it is more adequate to model F0 in different temporal scales by using wavelet transform. We propose a CycleGAN network to find an optimal pseudo pair from non-parallel training data by learning forward and inverse mappings simultaneously using adversarial and cycle-consistency losses. We also study the use of continuous wavelet transform (CWT) to decompose F0 into ten temporal scales, that describes speech prosody at different time resolution, for effective F0 conversion. Experimental results show that our proposed framework outperforms the baselines both in objective and subjective evaluations.


title: Large Hole Image Inpainting With Compress-Decompression Network

abstract: Image inpainting technology can patch images with missing pixels. Existing methods propose convolutional neural networks to repair corrupted images. The networks focus on the valid pixels around the missing pixels, use the encoder-decoder structure to extract valuable information, and use the information to fix the vacancy. However, if the missing part is too large to provide useful information, the result will exist blur, color mixing, and object confusion. In order to patch the large hole image, we study the existing approaches and propose a new network, the compression-decompression network. The compression network takes responsibility for inpainting and generating a down-sample image. The decompression network takes responsibility for extending the down-sample image into the original resolution. We construct the compression network with the residual network and propose a similar texture selection algorithm to extend the image that is better than using the super-resolution network. We evaluate our model over Places2 and CelebA data set and use the similarity ratio as the metric. The result shows that our model has better performance when the inpainting task has many conflicts.


title: Energetic Controls are Essential: New and Notable Note for Biophysical Journal

abstract: Mikhail Shapiro's lab investigated a promising new method for non-invasive control of calcium currents in individual cells in the nervous system by the selective heating of nanoparticles and show that simple physical laws, properly applied, explain what is happening, and so can be a foundation for constructing improved methods and techniques. They use custom built instrumentation and detailed quantitative measurement to show that special surface properties are not needed to explain their results. Their work is taken as an example of the need for quantitative measurement in biophysics and biology in general. Classical examples are cited and the argument is made that the success of structural and molecular biology has hidden the need for quantitative measurements and controls. Semiconductor and computational electronics is cited as a science even more successful than structural and molecular biology that depends on quantitative measurement, controls, and analysis.


title: Optimal portfolio choice with path dependent labor income: the infinite horizon case

abstract: We consider an infinite horizon portfolio problem with borrowing constraints, in which an agent receives labor income which adjusts to financial market shocks in a path dependent way. This path-dependency is the novelty of the model, and leads to an infinite dimensional stochastic optimal control problem. We solve the problem completely, and find explicitly the optimal controls in feedback form. This is possible because we are able to find an explicit solution to the associated infinite dimensional Hamilton-Jacobi-Bellman (HJB) equation, even if state constraints are present. To the best of our knowledge, this is the first infinite dimensional generalization of Merton's optimal portfolio problem for which explicit solutions can be found. The explicit solution allows us to study the properties of optimal strategies and discuss their financial implications.


title: Natural Experiments

abstract: The term natural experiment is used inconsistently. In one interpretation, it refers to an experiment where a treatment is randomly assigned by someone other than the researcher. In another interpretation, it refers to a study in which there is no controlled random assignment, but treatment is assigned by some external factor in a way that loosely resembles a randomized experiment---often described as an "as if random" assignment. In yet another interpretation, it refers to any non-randomized study that compares a treatment to a control group, without any specific requirements on how the treatment is assigned. I introduce an alternative definition that seeks to clarify the integral features of natural experiments and at the same time distinguish them from randomized controlled experiments. I define a natural experiment as a research study where the treatment assignment mechanism (i) is neither designed nor implemented by the researcher, (ii) is unknown to the researcher, and (iii) is probabilistic by virtue of depending on an external factor. The main message of this definition is that the difference between a randomized controlled experiment and a natural experiment is not a matter of degree, but of essence, and thus conceptualizing a natural experiment as a research design akin to a randomized experiment is neither rigorous nor a useful guide to empirical analysis. Using my alternative definition, I discuss how a natural experiment differs from a traditional observational study, and offer practical recommendations for researchers who wish to use natural experiments to study causal effects.


title: Mass prediction for the last discovered member of the axial-vector nonet with quantum numbers J$^{PC}=1^{+-}$

abstract: In this paper we have shown that the novel mass relation among the vector states, $\phi(1020)$ and $\phi(1680)$, with quantum numbers J$^{PC}=1^{--}$ and axial-vector strangeonium state $h_1(s\bar{s})$ with quantum numbers $1^{+-}$ is also valid for nonzero current quark mass. This relation predicts the mass of recently discovered $h_1(s\bar{s})$ state by the Collaboration BESIII within experimental accuracy.


title: Basic quadratic identities on quantum minors

abstract: This paper continues an earlier research of the authors on universal quadratic identities (QIs) on minors of quantum matrices. We demonstrate situations when the universal QIs are provided, in a sense, by the ones of four special types (Plucker, co-Plucker, Dodgson identities and quasi-commutation relations on flag and co-flag interval minors).


title: Deep segmental phonetic posterior-grams based discovery of non-categories in L2 English speech

abstract: Second language (L2) speech is often labeled with the native, phone categories. However, in many cases, it is difficult to decide on a categorical phone that an L2 segment belongs to. These segments are regarded as non-categories. Most existing approaches for Mispronunciation Detection and Diagnosis (MDD) are only concerned with categorical errors, i.e. a phone category is inserted, deleted or substituted by another. However, non-categorical errors are not considered. To model these non-categorical errors, this work aims at exploring non-categorical patterns to extend the categorical phone set. We apply a phonetic segment classifier to generate segmental phonetic posterior-grams (SPPGs) to represent phone segment-level information. And then we explore the non-categories by looking for the SPPGs with more than one peak. Compared with the baseline system, this approach explores more non-categorical patterns, and also perceptual experimental results show that the explored non-categories are more accurate with increased confusion degree by 7.3% and 7.5% under two different measures. Finally, we preliminarily analyze the reason behind those non-categories.


title: Novel Entity Discovery from Web Tables

abstract: When working with any sort of knowledge base (KB) one has to make sure it is as complete and also as up-to-date as possible. Both tasks are non-trivial as they require recall-oriented efforts to determine which entities and relationships are missing from the KB. As such they require a significant amount of labor. Tables on the Web, on the other hand, are abundant and have the distinct potential to assist with these tasks. In particular, we can leverage the content in such tables to discover new entities, properties, and relationships. Because web tables typically only contain raw textual content we first need to determine which cells refer to which known entities---a task we dub table-to-KB matching. This first task aims to infer table semantics by linking table cells and heading columns to elements of a KB. Then second task builds upon these linked entities and properties to not only identify novel ones in the same table but also to bootstrap their type and additional relationships. We refer to this process as novel entity discovery and, to the best of our knowledge, it is the first endeavor on mining the unlinked cells in web tables. Our method identifies not only out-of-KB (``novel'') information but also novel aliases for in-KB (``known'') entities. When evaluated using three purpose-built test collections, we find that our proposed approaches obtain a marked improvement in terms of precision over our baselines whilst keeping recall stable.


title: Web Table Extraction, Retrieval and Augmentation: A Survey

abstract: Tables are a powerful and popular tool for organizing and manipulating data. A vast number of tables can be found on the Web, which represents a valuable knowledge resource. The objective of this survey is to synthesize and present two decades of research on web tables. In particular, we organize existing literature into six main categories of information access tasks: table extraction, table interpretation, table search, question answering, knowledge base augmentation, and table augmentation. For each of these tasks, we identify and describe seminal approaches, present relevant resources, and point out interdependencies among the different tasks.


title: Variable-lag Granger Causality and Transfer Entropy for Time Series Analysis

abstract: Granger causality is a fundamental technique for causal inference in time series data, commonly used in the social and biological sciences. Typical operationalizations of Granger causality make a strong assumption that every time point of the effect time series is influenced by a combination of other time series with a fixed time delay. The assumption of fixed time delay also exists in Transfer Entropy, which is considered to be a non-linear version of Granger causality. However, the assumption of the fixed time delay does not hold in many applications, such as collective behavior, financial markets, and many natural phenomena. To address this issue, we develop Variable-lag Granger causality and Variable-lag Transfer Entropy, generalizations of both Granger causality and Transfer Entropy that relax the assumption of the fixed time delay and allow causes to influence effects with arbitrary time delays. In addition, we propose methods for inferring both variable-lag Granger causality and Transfer Entropy relations. In our approaches, we utilize an optimal warping path of Dynamic Time Warping (DTW) to infer variable-lag causal relations. We demonstrate our approaches on an application for studying coordinated collective behavior and other real-world casual-inference datasets and show that our proposed approaches perform better than several existing methods in both simulated and real-world datasets. Our approaches can be applied in any domain of time series analysis. The software of this work is available in the R-CRAN package: VLTimeCausality.

categories: cs.LG econ.EM physics.data-an stat.ME stat.ML


title: Quantifying Cortical Bone Free Water Using short echo time (STE-MRI) at 1.5T

abstract: Purpose: The purpose of our study was to use Dual-TR STE-MR protocol as a clinical tool for cortical bone free water quantification at 1.5T and validate it by comparing the obtained results (MR-derived results) with dehydration results. Methods: Human studies were compliant with HIPPA and were approved by the institutional review board. Short Echo Time (STE) MR imaging with different Repetition Times (TRs) was used for quantification of cortical bone free water T1 (T1free) and concentration (\r{ho}free). The proposed strategy was compared with the dehydration technique in seven bovine cortical bone samples. The agreement between the two methods was quantified by using Bland and Altman analysis. Then we applied the technique on a cross-sectional population of thirty healthy volunteers (18F/12M) and examined the association of the biomarkers with age. Results: The mean values of \r{ho}free for bovine cortical bone specimens were quantified as 4.37% and 5.34% by using STE-MR and dehydration techniques, respectively. The Bland and Altman analysis showed good agreement between the two methods along with the suggestion of 0.99% bias between them. Strong correlations were also reported between \r{ho}free (r2 = 0.62) and T1free and age (r2 = 0.8). The reproducibility of the method, evaluated in eight subjects, yielded an intra-class correlation of 0.95. Conclusion: STE-MR imaging with dual-TR strategy is a clinical solution for quantifying cortical bone \r{ho}free and T1free.


title: Classification of High-Dimensional Motor Imagery Tasks based on An End-to-end role assigned convolutional neural network

abstract: A brain-computer interface (BCI) provides a direct communication pathway between user and external devices. Electroencephalogram (EEG) motor imagery (MI) paradigm is widely used in non-invasive BCI to obtain encoded signals contained user intention of movement execution. However, EEG has intricate and non-stationary properties resulting in insufficient decoding performance. By imagining numerous movements of a single-arm, decoding performance can be improved without artificial command matching. In this study, we collected intuitive EEG data contained the nine different types of movements of a single-arm from 9 subjects. We propose an end-to-end role assigned convolutional neural network (ERA-CNN) which considers discriminative features of each upper limb region by adopting the principle of a hierarchical CNN architecture. The proposed model outperforms previous methods on 3-class, 5-class and two different types of 7-class classification tasks. Hence, we demonstrate the possibility of decoding user intention by using only EEG signals with robust performance using an ERA-CNN.


title: Learning to Detect Malicious Clients for Robust Federated Learning

abstract: Federated learning systems are vulnerable to attacks from malicious clients. As the central server in the system cannot govern the behaviors of the clients, a rogue client may initiate an attack by sending malicious model updates to the server, so as to degrade the learning performance or enforce targeted model poisoning attacks (a.k.a. backdoor attacks). Therefore, timely detecting these malicious model updates and the underlying attackers becomes critically important. In this work, we propose a new framework for robust federated learning where the central server learns to detect and remove the malicious model updates using a powerful detection model, leading to targeted defense. We evaluate our solution in both image classification and sentiment analysis tasks with a variety of machine learning models. Experimental results show that our solution ensures robust federated learning that is resilient to both the Byzantine attacks and the targeted model poisoning attacks.


title: Pop Music Transformer: Beat-based Modeling and Generation of Expressive Pop Piano Compositions

abstract: A great number of deep learning based models have been recently proposed for automatic music composition. Among these models, the Transformer stands out as a prominent approach for generating expressive classical piano performance with a coherent structure of up to one minute. The model is powerful in that it learns abstractions of data on its own, without much human-imposed domain knowledge or constraints. In contrast with this general approach, this paper shows that Transformers can do even better for music modeling, when we improve the way a musical score is converted into the data fed to a Transformer model. In particular, we seek to impose a metrical structure in the input data, so that Transformers can be more easily aware of the beat-bar-phrase hierarchical structure in music. The new data representation maintains the flexibility of local tempo changes, and provides hurdles to control the rhythmic and harmonic structure of music. With this approach, we build a Pop Music Transformer that composes Pop piano music with better rhythmic structure than existing Transformer models.


title: Machine Ethics: The Creation of a Virtuous Machine

abstract: Artificial intelligence (AI) was initially developed as an implicit moral agent to solve simple and clearly defined tasks where all options are predictable. However, it is now part of our daily life powering cell phones, cameras, watches, thermostats, vacuums, cars, and much more. This has raised numerous concerns and some scholars and practitioners stress the dangers of AI and argue against its development as moral agents that can reason about ethics (e.g., Bryson 2008; Johnson and Miller 2008; Sharkey 2017; Tonkens 2009; van Wynsberghe and Robbins 2019). Even though we acknowledge the potential threat, in line with most other scholars (e.g., Anderson and Anderson 2010; Moor 2006; Scheutz 2016; Wallach 2010), we argue that AI advancements cannot be stopped and developers need to prepare AI to sustain explicit moral agents and face ethical dilemmas in complex and morally salient environments.


title: ORIGIN: Blind detection of faint emission line galaxies in MUSE datacubes

abstract: One of the major science cases of the MUSE integral field spectrograph is the detection of Lyman-alpha emitters at high redshifts. The on-going and planned deep fields observations will allow for one large sample of these sources. An efficient tool to perform blind detection of faint emitters in MUSE datacubes is a prerequisite of such an endeavor. Several line detection algorithms exist but their performance during the deepest MUSE exposures is hard to quantify, in particular with respect to their actual false detection rate, or purity. {The aim of this work is to design and validate} an algorithm that efficiently detects faint spatial-spectral emission signatures, while allowing for a stable false detection rate over the data cube and providing in the same time an automated and reliable estimation of the purity. Results on simulated data cubes providing ground truth show that the method reaches its aims in terms of purity and completeness. When applied to the deep 30-hour exposure MUSE datacube in the Hubble Ultra Deep Field, the algorithms allows for the confirmed detection of 133 intermediate redshifts galaxies and 248 Lyman Alpha Emitters, including 86 sources with no HST counterpart. The algorithm fulfills its aims in terms of detection power and reliability. It is consequently implemented as a Python package whose code and documentation are available on GitHub and readthedocs.


title: Palpatine: Mining Frequent Sequences for Data Prefetching in NoSQL Distributed Key-Value Stores

abstract: This paper presents PALPATINE, the first in-memory application-level cache for Distributed Key-Value (DKV) data stores, capable of prefetching data that is likely to be accessed in an immediate future. To predict data accesses, PALPATINE continuously captures frequent access patterns to the back store by means of data mining techniques. With these patterns, PALPATINE builds a stochastic graph of accessed items, and makes prefetching decisions based on it. Experimental evaluation indicates that PALPATINE can improve the latency of a specific DKV store by more that an order of magnitude.


title: Leveraging Uncertainties for Deep Multi-modal Object Detection in Autonomous Driving

abstract: This work presents a probabilistic deep neural network that combines LiDAR point clouds and RGB camera images for robust, accurate 3D object detection. We explicitly model uncertainties in the classification and regression tasks, and leverage uncertainties to train the fusion network via a sampling mechanism. We validate our method on three datasets with challenging real-world driving scenarios. Experimental results show that the predicted uncertainties reflect complex environmental uncertainty like difficulties of a human expert to label objects. The results also show that our method consistently improves the Average Precision by up to 7% compared to the baseline method. When sensors are temporally misaligned, the sampling method improves the Average Precision by up to 20%, showing its high robustness against noisy sensor inputs.


title: Cohomology of profinite groups of bounded rank

abstract: We generalise to profinite groups some of our previous results on the cohomology of pro-p groups of bounded sectional p-rank.


title: Meanders, zero numbers and the cell structure of Sturm global attractors

abstract: We study global attractors $\mathcal{A}=\mathcal{A}_f$ of semiflows generated by semilinear partial parabolic differential equations of the form $u_t = u_{xx} + f(x,u,u_x), 0<x<1$, satisfying Neumann boundary conditions. The equilibria $v\in\mathcal{E}\subset\mathcal{A}$ of the semiflow are the stationary solutions of the PDE, hence they are solutions of the corresponding second order ODE boundary value problem. Assuming hyperbolicity of all equilibria, the dynamic decomposition of $\mathcal{A}$ into unstable manifolds of equilibria provides a geometric and topological characterization of Sturm global attractors $\mathcal{A}$ as finite regular signed CW-complexes, the Sturm complexes, with cells given by the unstable manifolds of equilibria. Concurrently, the permutation $\sigma=\sigma_f$ derived from the ODE boundary value problem by ordering the equilibria according to their values at the boundaries $x=0,1$, respectively, completely determines the Sturm global attractor $\mathcal{A}$. Equivalently, we use a planar curve, the meander $\mathcal{M}=\mathcal{M}_f$, associated to the the ODE boundary value problem by shooting. The main objective of this paper is to derive a minimax property which identifies the equilibria on the cell boundary of $\mathcal{O}$ which are closest or most distant from $\mathcal{O}$ at the boundaries $x=0,1$, directly from the permutation $\sigma$, the Sturm permutation, or equivalently from the meander $\mathcal{M}$, the Sturm meander, based on the Sturm nodal properties of the solutions of the ODE boundary value problem. We emphasize the local aspect of this result by applying it to an example for which the identification of the equilibria in the cell boundary of $\mathcal{O}$ is obtained from the knowledge of only a section of the Sturm meander $\mathcal{M}$.


title: Equivariant embeddings of strongly pseudoconvex Cauchy-Riemann manifolds

abstract: Let $X$ be a CR manifold with transversal, proper CR $G$-action. We show that $X/G$ is a complex space such that the quotient map is a CR map. Moreover the quotient is universal, i.e. every invariant CR map into a complex manifold factorises uniquely over a holomorphic map on $X/G$. We then use this result and complex geometry to proof an embedding theorem for (non-compact) strongly pseudoconvex CR manifolds with transversal $G \rtimes S^1$-action. The methods of the proof are applied to obtain a projective embedding theorem for compact CR manifolds.


title: State Estimation -- The Role of Reduced Models

abstract: The exploration of complex physical or technological processes usually requires exploiting available information from different sources: (i) physical laws often represented as a family of parameter dependent partial differential equations and (ii) data provided by measurement devices or sensors. The amount of sensors is typically limited and data acquisition may be expensive and in some cases even harmful. This article reviews some recent developments for this "small-data" scenario where inversion is strongly aggravated by the typically large parametric dimensionality. The proposed concepts may be viewed as exploring alternatives to Bayesian inversion in favor of more deterministic accuracy quantification related to the required computational complexity. We discuss optimality criteria which delineate intrinsic information limits, and highlight the role of reduced models for developing efficient computational strategies. In particular, the need to adapt the reduced models -- not to a specific (possibly noisy) data set but rather to the sensor system -- is a central theme. This, in turn, is facilitated by exploiting geometric perspectives based on proper stable variational formulations of the continuous model.


title: Quantum black holes in bootstrapped Newtonian gravity

abstract: We analyse the classical configurations of a bootstrapped Newtonian potential generated by homogeneous spherically symmetric sources in terms of a quantum coherent state. We first compute how the mass and mean wavelength of these solutions scale in terms of the number of quanta in the coherent state. We then note that the classical relation between the ADM mass and the proper mass of the source naturally gives rise to a Generalised Uncertainty Principle for the size of the gravitational radius in the quantum theory. Consistency of the mass and wavelength scalings with this GUP requires the compactness remains at most of order one even for black holes, and the corpuscular predictions are thus recovered, with the quantised horizon area expressed in terms of the number of quanta in the coherent state. Our findings could be useful for analysing the classicalization of gravity in the presence of matter and the avoidance of singularities in the gravitational collapse of compact sources.


title: Single-cycle, MHz-repetition rate THz source with 66 mW of average power

abstract: We demonstrate THz generation using the tilted pulse front method in Lithium Niobate, driven at unprecedented high average power of more than 100 W and at 13.3 MHz repetition rate, provided by a compact amplifier-free modelocked thin-disk oscillator. The conversion efficiency was optimized with respect to pump spot size and pump pulse duration, enabling us to generate a maximum THz average power of 66 mW, which is the highest reported to date from a laser-driven, few-cycle THz source. Furthermore, we identify beam walk-off as the main obstacle that currently limits the conversion efficiency in this excitation regime (with moderate pulse energies and small spot sizes). Further upscaling to the watt level and beyond is within reach, paving the way for linear and nonlinear high-average power THz spectroscopy experiments with exceptional signal-to-noise ratio at MHz repetition rates.