title: Newforms of Saito-Kurokawa lifts

abstract: A new- and old-form theory for Bessel periods of Saito-Kurokawa representations is given. We introduce arithmetic subgroups so that a local Bessel vector fixed by the subgroup indexed by the conductor of the representation is unique up to scalars. The global Langlands L-function of a holomorphic Saito-Kurokawa representation coincides with a canonically settled Piatetski-Shapiro zeta integral of the newform.


title: Adversarial Text-to-Image Synthesis: A Review

abstract: With the advent of generative adversarial networks, synthesizing images from textual descriptions has recently become an active research area. It is a flexible and intuitive way for conditional image generation with significant progress in the last years regarding visual realism, diversity, and semantic alignment. However, the field still faces several challenges that require further research efforts such as enabling the generation of high-resolution images with multiple objects, and developing suitable and reliable evaluation metrics that correlate with human judgement. In this review, we contextualize the state of the art of adversarial text-to-image synthesis models, their development since their inception five years ago, and propose a taxonomy based on the level of supervision. We critically examine current strategies to evaluate text-to-image synthesis models, highlight shortcomings, and identify new areas of research, ranging from the development of better datasets and evaluation metrics to possible improvements in architectural design and model training. This review complements previous surveys on generative adversarial networks with a focus on text-to-image synthesis which we believe will help researchers to further advance the field.


title: Jupiter as an Exoplanet: Insights from Cassini Phase Curves

abstract: Due to its proximity to Earth, Jupiter of the Solar System serves as a unique case study for gas-giant exoplanets. In the current study, we perform fits of ab initio, reflective, semi-infinite, homogeneous model atmospheres to 61 phase curves from 0.40 to 1.00 $\mu$m, obtained from the Cassini spacecraft, within a Bayesian framework. We reproduce the previous finding that atmospheric models using classic reflection laws (Lambertian, Rayleigh, single Henyey-Greenstein) provide poor fits to the data. Using the double Henyey-Greenstein reflection law, we extract posterior distributions of the single-scattering albedo and scattering asymmetry factors and tabulate their median values and uncertainties. We infer that the aerosols in the Jovian atmosphere are large, irregular, polydisperse particles that produce strong forward scattering together with a narrow backscattering lobe. The near-unity values of the single-scattering albedos imply that multiple scattering of radiation is an important effect. We speculate that the observed narrow backscattering lobe is caused by coherent backscattering of radiation, which is usually associated with Solar System bodies with solid surfaces and regolith. Our findings demonstrate that precise, multi-wavelength phase curves encode valuable information on the fundamental properties of cloud/haze particles. The method described in this Letter enables single-scattering albedos and scattering asymmetry factors to be retrieved from James Webb Space Telescope phase curves of exoplanets.

categories: astro-ph.EP physics.ao-ph physics.geo-ph physics.space-ph


title: Applying Bayesian Optimization with Gaussian Process Regression to Computational Fluid Dynamics Problems

abstract: Bayesian optimization (BO) based on Gaussian process regression (GPR) is applied to different CFD (computational fluid dynamics) problems which can be of practical relevance. The problems are i) shape optimization in a lid-driven cavity to minimize or maximize the energy dissipation, ii) shape optimization of the wall of a channel flow in order to obtain a desired pressure-gradient distribution along the edge of the turbulent boundary layer formed on the other wall, and finally, iii) optimization of the controlling parameters of a spoiler-ice model to attain the aerodynamic characteristics of the airfoil with an actual surface ice. The diversity of the optimization problems, independence of the optimization approach from any adjoint information, the ease of employing different CFD solvers in the optimization loop, and more importantly, the relatively small number of the required flow simulations reveal the flexibility, efficiency, and versatility of the BO-GPR approach in CFD applications. It is shown that to ensure finding the global optimum of the design parameters of the size up to 8, less than 90 executions of the CFD solvers are needed. Furthermore, it is observed that the number of flow simulations does not significantly increase with the number of design parameters. The associated computational cost of these simulations can be affordable for many optimization cases with practical relevance.


title: Multi-view Integration Learning for Irregularly-sampled Clinical Time Series

abstract: Electronic health record (EHR) data is sparse and irregular as it is recorded at irregular time intervals, and different clinical variables are measured at each observation point. In this work, we propose a multi-view features integration learning from irregular multivariate time series data by self-attention mechanism in an imputation-free manner. Specifically, we devise a novel multi-integration attention module (MIAM) to extract complex information inherent in irregular time series data. In particular, we explicitly learn the relationships among the observed values, missing indicators, and time interval between the consecutive observations, simultaneously. The rationale behind our approach is the use of human knowledge such as what to measure and when to measure in different situations, which are indirectly represented in the data. In addition, we build an attention-based decoder as a missing value imputer that helps empower the representation learning of the inter-relations among multi-view observations for the prediction task, which operates at the training phase only. We validated the effectiveness of our method over the public MIMIC-III and PhysioNet challenge 2012 datasets by comparing with and outperforming the state-of-the-art methods for in-hospital mortality prediction.


title: Automatic Liver Segmentation from CT Images Using Deep Learning Algorithms: A Comparative Study

abstract: Medical imaging has been employed to support medical diagnosis and treatment. It may also provide crucial information to surgeons to facilitate optimal surgical preplanning and perioperative management. Essentially, semi-automatic organ and tumor segmentation has been studied by many researchers. Recently, with the development of Deep Learning (DL) algorithms, automatic organ segmentation has been gathered lots of attention from the researchers. This paper addresses to propose the most efficient DL architectures for Liver segmentation by adapting and comparing state-of-the-art DL frameworks, studied in different disciplines. These frameworks are implemented and adapted into a Commercial software, 'LiverVision'. It is aimed to reveal the most effective and accurate DL architecture for fully automatic liver segmentation. Equal conditions were provided to all architectures in the experiments so as to measure the effectiveness of algorithms accuracy, and Dice coefficient metrics were also employed to support comparative analysis. Experimental results prove that 'U-Net' and 'SegNet' have been superior in line with the experiments conducted considering the concepts of time, cost, and effectiveness. Considering both architectures, 'SegNet' was observed to be more successful in eliminating false-positive values. Besides, it was seen that the accuracy metric used to measure effectiveness in image segmentation alone was not enough. Results reveal that DL algorithms are able to automate organ segmentation from DICOM images with high accuracy. This contribution is critical for surgical preplanning and motivates author to apply this approach to the different organs and field of medicine.


title: Assessing the properties of a colloidal suspension with the aid of deep learning

abstract: Convolution neural networks were applied to classify speckle images generated from nano-particle suspensions and thus to recognise suspensions. The speckle images in the form of movies were obtained from suspensions placed in a thin cuvette. The classifier was trained, validated and tested on both single component monodispersive suspensions, as well as on two-component suspensions. It was able to properly recognise all the 73 classes - different suspensions from the training set, which is far beyond the capabilities of the human experimenter, and shows the capability of learning many more. The classes comprised different nanoparticle material and size, as well as different concentrations of the suspended phase. We also examined the capability of the system to generalise, by testing a system trained on single-component suspensions with two-component suspensions. The capability to generalise was found promising but significantly limited. A classification system using neural network was also compared with the one using support vector machine (SVM). SVM was found much more resource-consuming and thus could not be tested on full-size speckle images. Using image fragments very significantly deteriorates results for both SVM and neural networks. We showed that nanoparticle (colloidal) suspensions comprising even a large multi-parameter set of classes can be quickly identified using speckle images classified with convolution neural network.


title: Middle aged $\gamma$-ray pulsar J1957+5033 in X-rays: pulsations, thermal emission and nebula

abstract: We analyze new XMM-Newton and archival Chandra observations of the middle-aged $\gamma$-ray radio-quiet pulsar J1957+5033. We detect, for the first time, X-ray pulsations with the pulsar spin period of the point-like source coinciding by position with the pulsar. This confirms the pulsar nature of the source. In the 0.15--0.5 keV band, there is a single pulse per period and the pulsed fraction is $\approx18\pm6$ per cent. In this band, the pulsar spectrum is dominated by a thermal emission component that likely comes from the entire surface of the neutron star, while at higher energies ($\gtrsim0.7$ keV) it is described by a power law with the photon index $\Gamma \approx 1.6$. We construct new hydrogen atmosphere models for neutron stars with dipole magnetic fields and non-uniform surface temperature distributions with relatively low effective temperatures. We use them in the spectral analysis and derive the pulsar average effective temperature of $\approx(2-3)\times10^5$ K. This makes J1957+5033 the coldest among all known thermally emitting neutron stars with ages below 1 Myr. Using the interstellar extinction--distance relation, we constrain the distance to the pulsar in the range of 0.1--1 kpc. We compare the obtained X-ray thermal luminosity with those for other neutron stars and various neutron star cooling models and set some constraints on latter. We observe a faint trail-like feature, elongated $\sim 8$ arcmin from J1957+5033. Its spectrum can be described by a power law with a photon index $\Gamma=1.9\pm0.5$ suggesting that it is likely a pulsar wind nebula powered by J1957+5033.


title: Unsupervised Key-phrase Extraction and Clustering for Classification Scheme in Scientific Publications

abstract: Several methods have been explored for automating parts of Systematic Mapping (SM) and Systematic Review (SR) methodologies. Challenges typically evolve around the gaps in semantic understanding of text, as well as lack of domain and background knowledge necessary to bridge that gap. In this paper we investigate possible ways of automating parts of the SM/SR process, i.e. that of extracting keywords and key-phrases from scientific documents using unsupervised methods, which are then used as a basis to construct the corresponding Classification Scheme using semantic key-phrase clustering techniques. Specifically, we explore the effect of ensemble scores measure in key-phrase extraction, we explore semantic network based word embedding in embedding representation of phrase semantics and finally we also explore how clustering can be used to group related key-phrases. The evaluation is conducted on a dataset of publications pertaining the domain of "Explainable AI" which we constructed using standard publicly available digital libraries and sets of indexing terms (keywords). Results shows that: ensemble ranking score does improve the key-phrase extraction performance. Semantic-network based word embedding based on the ConceptNet Semantic Network has similar performance with contextualized word embedding, however the former are computationally more efficient. Finally Semantic key-phrase clustering at term-level can group similar terms together that can be suitable for classification scheme.


title: UniToPatho, a labeled histopathological dataset for colorectal polyps classification and adenoma dysplasia grading

abstract: Histopathological characterization of colorectal polyps allows to tailor patients' management and follow up with the ultimate aim of avoiding or promptly detecting an invasive carcinoma. Colorectal polyps characterization relies on the histological analysis of tissue samples to determine the polyps malignancy and dysplasia grade. Deep neural networks achieve outstanding accuracy in medical patterns recognition, however they require large sets of annotated training images. We introduce UniToPatho, an annotated dataset of 9536 hematoxylin and eosin (H&E) stained patches extracted from 292 whole-slide images, meant for training deep neural networks for colorectal polyps classification and adenomas grading. We present our dataset and provide insights on how to tackle the problem of automatic colorectal polyps characterization.


title: Gigapixel Histopathological Image Analysis using Attention-based Neural Networks

abstract: Although CNNs are widely considered as the state-of-the-art models in various applications of image analysis, one of the main challenges still open is the training of a CNN on high resolution images. Different strategies have been proposed involving either a rescaling of the image or an individual processing of parts of the image. Such strategies cannot be applied to images, such as gigapixel histopathological images, for which a high reduction in resolution inherently effects a loss of discriminative information, and in respect of which the analysis of single parts of the image suffers from a lack of global information or implies a high workload in terms of annotating the training images in such a way as to select significant parts. We propose a method for the analysis of gigapixel histopathological images solely by using weak image-level labels. In particular, two analysis tasks are taken into account: a binary classification and a prediction of the tumor proliferation score. Our method is based on a CNN structure consisting of a compressing path and a learning path. In the compressing path, the gigapixel image is packed into a grid-based feature map by using a residual network devoted to the feature extraction of each patch into which the image has been divided. In the learning path, attention modules are applied to the grid-based feature map, taking into account spatial correlations of neighboring patch features to find regions of interest, which are then used for the final whole slide analysis. Our method integrates both global and local information, is flexible with regard to the size of the input images and only requires weak image-level labels. Comparisons with different methods of the state-of-the-art on two well known datasets, Camelyon16 and TUPAC16, have been made to confirm the validity of the proposed model.


title: Reduction of divisors and Clebsch system

abstract: There are a few Lax matrices of the Clebsch system. Poles of the Baker-Akhiezer function determine the class of equivalent divisors on the corresponding spectral curves. According to the Riemann-Roch theorem, each class has a unique reduced representative. We discuss properties of such reduced divisor on the spectral curve of $3\times 3$ Lax matrix having a natural generalization to $gl^*(n)$ case.


title: On maximum-likelihood estimation in the all-or-nothing regime

abstract: We study the problem of estimating a rank-1 additive deformation of a Gaussian tensor according to the \emph{maximum-likelihood estimator} (MLE). The analysis is carried out in the sparse setting, where the underlying signal has a support that scales sublinearly with the total number of dimensions. We show that for Bernoulli distributed signals, the MLE undergoes an \emph{all-or-nothing} (AoN) phase transition, already established for the minimum mean-square-error estimator (MMSE) in the same problem. The result follows from two main technical points: (i) the connection established between the MLE and the MMSE, using the first and second-moment methods in the constrained signal space, (ii) a recovery regime for the MMSE stricter than the simple error vanishing characterization given in the standard AoN, that is here proved as a general result.


title: Re-imagining Algorithmic Fairness in India and Beyond

abstract: Conventional algorithmic fairness is West-centric, as seen in its sub-groups, values, and methods. In this paper, we de-center algorithmic fairness and analyse AI power in India. Based on 36 qualitative interviews and a discourse analysis of algorithmic deployments in India, we find that several assumptions of algorithmic fairness are challenged. We find that in India, data is not always reliable due to socio-economic factors, ML makers appear to follow double standards, and AI evokes unquestioning aspiration. We contend that localising model fairness alone can be window dressing in India, where the distance between models and oppressed communities is large. Instead, we re-imagine algorithmic fairness in India and provide a roadmap to re-contextualise data and models, empower oppressed communities, and enable Fair-ML ecosystems.


title: Manifestation of aberrations in full-field optical coherence tomography

abstract: We report on a theoretical model for image formation in full-field optical coherence tomography (FFOCT). Because the spatial incoherence of the illumination acts as a virtual confocal pinhole in FFOCT, its imaging performance is equivalent to a scanning time-gated coherent confocal microscope. In agreement with optical experiments enabling a precise control of aberrations, FFOCT is shown to have nearly twice the resolution of standard imaging at moderate aberration level. Beyond a rigorous study on the sensitivity of FFOCT with respect to aberrations, this theoretical model paves the way towards an optimized design of adaptive optics and \rev{computational tools} for high-resolution and deep imaging of biological tissues.


title: Lamb's problem for a half-space coupled to a generic distribution of oscillators at the surface

abstract: We propose an analytical framework to model the effect of single and multiple mechanical surface oscillators on the dynamics of vertically polarized elastic waves propagating in a semi-infinite medium. The formulation extends the canonical Lamb's problem, originally developed to obtain the wavefield induced by a harmonic line source in an elastic half-space, to the scenario where a finite cluster of vertical oscillators is attached to the medium surface. In short, our approach utilizes the solution of the classical Lamb's problem as Green's function to formulate the multiple scattered fields generated by the resonators. For an arbitrary number of resonators, arranged atop the elastic half-space in an arbitrary configuration, the displacement fields are obtained in closed-form and validated with numerics developed in a two-dimensional finite element environment.


title: Correlation between initial spatial anisotropy and final momentum anisotropies in relativistic heavy ion collisions

abstract: The particle momentum anisotropy ($v_n$) produced in relativistic nuclear collisions is considered to be a response of the initial geometry or the spatial anisotropy $\epsilon_n$ of the system formed in these collisions. The linear correlation between $\epsilon_n$ and $v_n$ quantifies the efficiency at which the initial spatial eccentricity is converted to final momentum anisotropy in heavy ion collisions. We study the transverse momentum, collision centrality, and beam energy dependence of this correlation for different charged particles using a hydrodynamical model framework. The ($\epsilon_n -v_n$) correlation is found to be stronger for central collisions and also for n=2 compared to that for n=3 as expected. However, the transverse momentum ($p_T$) dependent correlation coefficient shows interesting features which strongly depends on the mass as well as $p_T$ of the emitted particle. The correlation strength is found to be larger for lighter particles in the lower $p_T$ region. We see that the relative fluctuation in anisotropic flow depends strongly in the value of $\eta/s$ specially in the region $p_T <1$ GeV unlike the correlation coefficient which does not show significant dependence on $\eta/s$.


title: Democratizing information visualization. A study to map the value of graphic design to easier knowledge transfer of scientific research

abstract: Visual representations are becoming important in science communication and education. This explorative study investigates the perception of STEM researchers, without any specific visual design background, and the value of visual representations as tools to support the communication of technical and scientific knowledge among academics and a wider non-technical community. Early findings show that visual representations can positively support scientists to share research outcomes in a more compelling, visually clear, and impactful manner, reaching a wider audience across different disciplines.


title: Hydrodynamic fluctuations and long-time tails in a fluid on an anisotropic background

abstract: The effective low-energy late-time description of many body systems near thermal equilibrium provided by classical hydrodynamics in terms of dissipative transport phenomena receives important corrections once the effects of stochastic fluctuations are taken into account. One such physical effect is the occurrence of long-time power law tails in correlation functions of conserved currents. In the hydrodynamic regime $\vec{k} \rightarrow 0$ this amounts to non-analytic dependence of the correlation functions on the frequency $\omega$. In this article, we consider a relativistic fluid with a conserved global $U(1)$ charge in the presence of a strong background magnetic field, and compute the long-time tails in correlation functions of the stress tensor. The presence of the magnetic field renders the system anisotropic. In the absence of the magnetic field, there are three out-of-equilibrium transport parameters that arise at the first order in the hydrodynamic derivative expansion, all of which are dissipative. In the presence of a background magnetic field, there are ten independent out-of-equilibrium transport parameters at the first order, three of which are non-dissipative and the rest are dissipative. We provide the most general linearized equations about a given state of thermal equilibrium involving the various transport parameters in the presence of a magnetic field, and use them to compute the long-time tails for the fluid.

categories: hep-th cond-mat.str-el hep-ph nucl-th physics.flu-dyn


title: Diverse Adversaries for Mitigating Bias in Training

abstract: Adversarial learning can learn fairer and less biased models of language than standard methods. However, current adversarial techniques only partially mitigate model bias, added to which their training procedures are often unstable. In this paper, we propose a novel approach to adversarial learning based on the use of multiple diverse discriminators, whereby discriminators are encouraged to learn orthogonal hidden representations from one another. Experimental results show that our method substantially improves over standard adversarial removal methods, in terms of reducing bias and the stability of training.


title: Securing Full-Duplex Amplify-and-Forward Relay-Aided Transmissions Through Processing-Time Optimization

abstract: We investigate physical-layer security of the full-duplex (FD) amplify-and-forward (AF) relay channel. We provide a new perspective on the problem and show that the processing time (delay) at the relay can be exploited to improve the system's security. We show that the FD AF relay channel can be seen as an intersymbol-interference (ISI) channel, hence, the discrete-Fourier transform (DFT) can be used for data modulation and demodulation to convert the frequency-selective channel into flat-fading channel per sub-channel/sub-carrier. By exploiting the fact that the channel memory needs to be cleared by inserting the cyclic-prefix, Alice injects an artificial-noise (AN) signal that hurts the eavesdropping nodes only. The strength of this AN signal and its interference rank are controlled by the relay's processing time.


title: Sensitivity of the Cherenkov Telescope Array to dark subhalos

abstract: In this work, we study the potential of the Cherenkov Telescope Array (CTA) for the detection of Galactic dark matter (DM) subhalos. We focus on low-mass subhalos that do not host any baryonic content and therefore lack any multiwavelength counterpart. If the DM is made of weakly interacting massive particles (WIMPs), these dark subhalos may thus appear in the gamma-ray sky as unidentified sources. A detailed characterization of the instrumental response of CTA to dark subhalos is performed, for which we use the {\it ctools} analysis software and simulate CTA observations under different array configurations and pointing strategies, such as the scheduled extragalactic survey. This, together with information on the subhalo population as inferred from N-body cosmological simulations, allows us to predict the CTA detectability of dark subhalos, i.e., the expected number of subhalos in each of the considered observational scenarios. In the absence of detection, for each observation strategy we set competitive limits to the annihilation cross section as a function of the DM particle mass, that are at the level of $\langle\sigma v\rangle\sim4\times10^{-24}$ ($7\times10^{-25}$) $\mathrm{cm^3s^{-1}}$ for the $b\bar{b}$ ($\tau^+\tau^-$) annihilation channel in the best case scenario. Interestingly, we find the latter to be reached with no dedicated observations, as we obtain the best limits by just accumulating exposure time from all scheduled CTA programs and pointings over the first 10 years of operation. This way CTA will offer the most constraining limits from subhalo searches in the intermediate range between $\sim 1-3$ TeV, complementing previous results with \textit{Fermi}-LAT and HAWC at lower and higher energies, respectively.


title: Rapid mixing in unimodal landscapes and efficient simulatedannealing for multimodal distributions

abstract: We consider nearest neighbor weighted random walks on the $d$-dimensional box $[n]^d$ that are governed by some function $g:[0,1] \ra [0,\iy)$, by which we mean that standing at $x$, a neighbor $y$ of $x$ is picked at random and the walk then moves there with probability $(1/2)g(n^{-1}y)/(g(n^{-1}y)+g(n^{-1}x))$. We do this for $g$ of the form $f^{m_n}$ for some function $f$ which assumed to be analytically well-behaved and where $m_n \ra \iy$ as $n \ra \iy$. This class of walks covers an abundance of interesting special cases, e.g., the mean-field Potts model, posterior collapsed Gibbs sampling for Latent Dirichlet allocation and certain Bayesian posteriors for models in nuclear physics. The following are among the results of this paper: \begin{itemize} \item If $f$ is unimodal with negative definite Hessian at its global maximum, then the mixing time of the random walk is $O(n\log n)$. \item If $f$ is multimodal, then the mixing time is exponential in $n$, but we show that there is a simulated annealing scheme governed by $f^K$ for an increasing sequence of $K$ that mixes in time $O(n^2)$. Using a varying step size that decreases with $K$, this can be taken down to $O(n\log n)$. \item If the process is studied on a general graph rather than the $d$-dimensional box, a simulated annealing scheme expressed in terms of conductances of the underlying network, works similarly. \end{itemize} Several examples are given, including the ones mentioned above.


title: Low incidence rate of COVID-19 undermines confidence in estimation of the vaccine efficacy

abstract: Knowing the true effect size of clinical interventions in randomised clinical trials is key to informing the public health policies. Vaccine efficacy is defined in terms of the relative risk or the ratio of two disease risks. However, only approximate methods are available for estimating the variance of the relative risk. In this article, we show using a probabilistic model that uncertainty in the efficacy rate could be underestimated when the disease risk is low. Factoring in the baseline rate of the disease, we estimate broader confidence intervals for the efficacy rates of the vaccines recently developed for COVID-19. We propose new confidence intervals for the relative risk. We further show that sample sizes required for phase 3 efficacy trials are routinely underestimated and propose a new method for sample size calculation where the efficacy is of interest. We also discuss the deleterious effects of classification bias which is particularly relevant at low disease prevalence.


title: Continuum modeling perspectives of non-Fourier heat conduction in biological systems

abstract: The thermal modeling of biological systems has increasing importance in developing more advanced, more precise techniques such as ultrasound surgery. One of the primary barriers is the complexity of biological materials: the geometrical, structural, and material properties vary in a wide range, and they depend on many factors. Despite these difficulties, there is a tremendous effort to develop a reliable and implementable thermal model. In the present paper, we focus on the continuum modeling of heterogeneous materials with biological origin. There are numerous examples in the literature for non-Fourier thermal models. However, as we realized, they are associated with a few common misconceptions. Therefore, we first aim to clarify the basic concepts of non-Fourier thermal models. These concepts are demonstrated by revisiting two experiments from the literature in which the Cattaneo-Vernotte and the dual phase lag models are utilized. Our investigation revealed that using these non-Fourier models is based on misinterpretations of the measured data, and the seeming deviation from Fourier's law originates in the source terms and boundary conditions.


title: Adaptive Scheduling for Machine Learning Tasks over Networks

abstract: A key functionality of emerging connected autonomous systems such as smart transportation systems, smart cities, and the industrial Internet-of-Things, is the ability to process and learn from data collected at different physical locations. This is increasingly attracting attention under the terms of distributed learning and federated learning. However, in this setup data transfer takes place over communication resources that are shared among many users and tasks or subject to capacity constraints. This paper examines algorithms for efficiently allocating resources to linear regression tasks by exploiting the informativeness of the data. The algorithms developed enable adaptive scheduling of learning tasks with reliable performance guarantees.


title: SEA-BREW: A Scalable Attribute-Based Encryption Scheme for Low-Bitrate IoT Wireless Networks

abstract: Attribute-Based Encryption (ABE) is an emerging cryptographic technique that allows one to embed a fine-grained access control mechanism into encrypted data. In this paper we propose a novel ABE scheme called SEA-BREW (Scalable and Efficient Abe with Broadcast REvocation for Wireless networks), which is suited for Internet of Things (IoT) and Industrial IoT (IIoT) applications. In contrast to state-of-the-art ABE schemes, ours is capable of securely performing key revocations with a single short broadcast message, instead of a number of unicast messages that is linear with the number of nodes. This is desirable for low-bitrate Wireless Sensor and Actuator Networks (WSANs) which often are the heart of (I)IoT systems. In SEA-BREW, sensors, actuators, and users can exchange encrypted data via a cloud server, or directly via wireless if they belong to the same WSAN. We formally prove that our scheme is secure also in case of an untrusted cloud server that colludes with a set of users, under the generic bilinear group model. We show by simulations that our scheme requires a constant computational overhead on the cloud server with respect to the complexity of the access control policies. This is in contrast to state-of-the-art solutions, which require instead a linear computational overhead.


title: Optimized effective potentials from the random-phase approximation: Accuracy of the quasiparticle approximation

abstract: The optimized effective potential (OEP) method presents an unambiguous way to construct the Kohn-Sham potential corresponding to a given diagrammatic approximation for the exchange-correlation functional. The OEP from the random-phase approximation (RPA) has played an important role ever since the conception of the OEP formalism. However, the solution of the OEP equation is computationally fairly expensive and has to be done in a self-consistent way. So far, large scale solid state applications have therefore been performed only using the quasiparticle approximation (QPA), neglecting certain dynamical screening effects. We obtain the exact RPA-OEP for 15 semiconductors and insulators by direct solution of the linearized Sham-Schl\"uter equation. We investigate the accuracy of the QPA on Kohn-Sham band gaps and dielectric constants, and comment on the issue of self-consistency.


title: The First Fermi-LAT Solar Flare Catalog

abstract: We present the first Fermi - Large Area Telescope (LAT) solar flare catalog covering the 24 th solar cycle. This catalog contains 45 Fermi -LAT solar flares (FLSFs) with emission in the gamma-ray energy band (30 MeV - 10 GeV) detected with a significance greater than 5 sigma over the years 2010-2018. A subsample containing 37 of these flares exhibit delayed emission beyond the prompt-impulsive hard X-ray phase with 21 flares showing delayed emission lasting more than two hours. No prompt-impulsive emission is detected in four of these flares. We also present in this catalog the observations of GeV emission from 3 flares originating from Active Regions located behind the limb (BTL) of the visible solar disk. We report the light curves, spectra, best proton index and localization (when possible) for all the FLSFs. The gamma-ray spectra is consistent with the decay of pions produced by >300 MeV protons. This work contains the largest sample of high-energy gamma-ray flares ever reported and provides the unique opportunity to perform population studies on the different phases of the flare and thus allowing to open a new window in solar physics.


title: They See Me Rollin': Inherent Vulnerability of the Rolling Shutter in CMOS Image Sensors

abstract: In this paper, we describe how the electronic rolling shutter in CMOS image sensors can be exploited using a bright, modulated light source (e.g., an inexpensive, off-the-shelf laser), to inject fine-grained image disruptions. We demonstrate the attack on seven different CMOS cameras, ranging from cheap IoT to semi-professional surveillance cameras, to highlight the wide applicability of the rolling shutter attack. We model the fundamental factors affecting a rolling shutter attack in an uncontrolled setting. We then perform an exhaustive evaluation of the attack's effect on the task of object detection, investigating the effect of attack parameters. We validate our model against empirical data collected on two separate cameras, showing that by simply using information from the camera's datasheet the adversary can accurately predict the injected distortion size and optimize their attack accordingly. We find that an adversary can hide up to 75% of objects perceived by state-of-the-art detectors by selecting appropriate attack parameters. We also investigate the stealthiness of the attack in comparison to a na\"{i}ve camera blinding attack, showing that common image distortion metrics can not detect the attack presence. Therefore, we present a new, accurate and lightweight enhancement to the backbone network of an object detector to recognize rolling shutter attacks. Overall, our results indicate that rolling shutter attacks can substantially reduce the performance and reliability of vision-based intelligent systems.


title: Some binary products and integer linear programming for computing $k$-metric dimension of graphs

abstract: Let $G$ be a connected graph. For an ordered set $S=\{v_1,\ldots, v_\ell\}\subseteq V(G)$, the vector $r_G(v|S) = (d_G(v_1,v), \ldots, d_G(v_\ell,v))$ is called the metric $S$-representation of $v$. If for any pair of different vertices $u,v\in V(G)$, the vectors $r(v|S)$ and $r(u|S)$ differ in at least $k$ positions, then $S$ is a $k$-metric generator for $G$. A smallest $k$-metric generator for $G$ is a $k$-{\em metric basis} for $G$, its cardinality being the $k$-metric dimension of $G$. A sharp upper bound and a closed formulae for the $k$-metric dimension of the hierarchical product of graphs is proved. Also, sharp lower bounds for the $k$-metric dimension of the splice and link products of graphs are presented. An integer linear programming model for computing the $k$-metric dimension and a $k$-metric basis of a given graph is proposed. These results are applied to bound or to compute the $k$-metric dimension of some classes of graphs that are of interest in mathematical chemistry.


title: Fused borophenes: a new family of superhard materials

abstract: The search of new superhard materials has received a strong impulse by industrial demands for low-cost alternatives to diamond and $c$-BN, such as metal borides. In this Letter we introduce a new family of superhard materials, "fused borophenes", containing 2D boron layers which are interlinked to form a 3D network. These materials, identified through a high-throughput scan of BxC1-x structures, exhibit Vicker's hardnesses comparable to those of the best commercial metal borides. Due to their low formation enthalpies, fused borophenes could be synthesized by high-temperature methods, starting from appropriate precursors, or through quenching of high-pressure phases.


title: A Simple Disaster-Related Knowledge Base for Intelligent Agents

abstract: In this paper, we describe our efforts in establishing a simple knowledge base by building a semantic network composed of concepts and word relationships in the context of disasters in the Philippines. Our primary source of data is a collection of news articles scraped from various Philippine news websites. Using word embeddings, we extract semantically similar and co-occurring words from an initial seed words list. We arrive at an expanded ontology with a total of 450 word assertions. We let experts from the fields of linguistics, disasters, and weather science evaluate our knowledge base and arrived at an agreeability rate of 64%. We then perform a time-based analysis of the assertions to identify important semantic changes captured by the knowledge base such as the (a) trend of roles played by human entities, (b) memberships of human entities, and (c) common association of disaster-related words. The context-specific knowledge base developed from this study can be adapted by intelligent agents such as chat bots integrated in platforms such as Facebook Messenger for answering disaster-related queries.


title: AdderNet and its Minimalist Hardware Design for Energy-Efficient Artificial Intelligence

abstract: Convolutional neural networks (CNN) have been widely used for boosting the performance of many machine intelligence tasks. However, the CNN models are usually computationally intensive and energy consuming, since they are often designed with numerous multiply-operations and considerable parameters for the accuracy reason. Thus, it is difficult to directly apply them in the resource-constrained environments such as 'Internet of Things' (IoT) devices and smart phones. To reduce the computational complexity and energy burden, here we present a novel minimalist hardware architecture using adder convolutional neural network (AdderNet), in which the original convolution is replaced by adder kernel using only additions. To maximally excavate the potential energy consumption, we explore the low-bit quantization algorithm for AdderNet with shared-scaling-factor method, and we design both specific and general-purpose hardware accelerators for AdderNet. Experimental results show that the adder kernel with int8/int16 quantization also exhibits high performance, meanwhile consuming much less resources (theoretically ~81% off). In addition, we deploy the quantized AdderNet on FPGA (Field Programmable Gate Array) platform. The whole AdderNet can practically achieve 16% enhancement in speed, 67.6%-71.4% decrease in logic resource utilization and 47.85%-77.9% decrease in power consumption compared to CNN under the same circuit architecture. With a comprehensive comparison on the performance, power consumption, hardware resource consumption and network generalization capability, we conclude the AdderNet is able to surpass all the other competitors including the classical CNN, novel memristor-network, XNOR-Net and the shift-kernel based network, indicating its great potential in future high performance and energy-efficient artificial intelligence applications.


title: Weak quasi-Hopf algebras, C*-tensor categories and conformal field theory, and the Kazhdan-Lusztig-Finkelberg theorem

abstract: We discuss tensor categories motivated by CFT, their unitarizability and applications to various models including the affine VOAs. We discuss classification of type A Verlinde fusion categories. We propose an approach to Kazhdan-Lusztig-Finkelberg theorem. This theorem gives a ribbon equivalence between the fusion category associated to a quantum group at a certain root of unity and that associated to a corresponding affine vertex operator algebra at a suitable positive integer level. We develop ideas by Wenzl. Our results rely on the notion of weak-quasi-Hopf algebra of Drinfeld-Mack-Schomerus. We were also guided by Drinfeld original proof, by Bakalov and Kirillov and Neshveyev and Tuset work for a generic parameter. Wenzl described a fusion tensor product in quantum group fusion categories, and related it to the unitary structure. Given two irreducible objects, the inner product of the fusion tensor product is induced by the braiding of U_q(g), with q a suitable root of 1. Moreover, the paper suggests a suitable untwisting procedure to make the unitary structure trivial. Then it also describes a continuous path that intuitively connects objects of the quantum group fusion category to representations of the simple Lie group defining the affine Lie algebra. We study this procedure. One of our main results is the construction of a Hopf algebra in a weak sense associated to quantum group fusion category and of a twist of it giving a wqh structure on the Zhu algebra and a unitary modular fusion category structure on the representation category of the affine Lie algebra, confirming an early view by Frenkel and Zhu. We show that this modular fusion category structure is equivalent to that obtained via the tensor product theory of VOAs by Huang and Lepowsky. This gives a direct proof of FKL theorem.


title: SpinQ Gemini: a desktop quantum computer for education and research

abstract: SpinQ Gemini is a commercial desktop quantum computer designed and manufactured by SpinQ Technology. It is an integrated hardware-software system. The first generation product with two qubits was launched in January 2020. The hardware is based on NMR spectrometer, with permanent magnets providing $\sim 1$ T magnetic field. SpinQ Gemini operates under room temperature ($0$-$30^{\circ}$C), highlighting its lightweight (55 kg with a volume of $70\times 40 \times 80$ cm$^3$), cost-effective (under $50$k USD), and maintenance-free. SpinQ Gemini aims to provide real-device experience for quantum computing education for K-12 and at the college level. It also features quantum control design capabilities that benefit the researchers studying quantum control and quantum noise. Since its first launch, SpinQ Gemini has been shipped to institutions in Canada, Taiwan and Mainland China. This paper introduces the system of design of SpinQ Gemini, from hardware to software. We also demonstrate examples for performing quantum computing tasks on SpinQ Gemini, including one task for a variational quantum eigensolver of a two-qubit Heisenberg model. The next generations of SpinQ quantum computing devices will adopt models of more qubits, advanced control functions for researchers with comparable cost, as well as simplified models for much lower cost (under $5$k USD) for K-12 education. We believe that low-cost portable quantum computer products will facilitate hands-on experience for teaching quantum computing at all levels, well-prepare younger generations of students and researchers for the future of quantum technologies.


title: Critical exponents from five-loop scalar theory renormalization near six-dimensions

abstract: We present five-loop results for the renormalization of various models with a cubic interaction (in ${d = 6 - 2 \varepsilon}$ dimensions). For the scalar model and its ${O(n)}$-symmetric extension we provide renormalization constants, anomalous dimensions and critical exponents. We discuss in detail the method of calculation, and provide all counterterms up to five loops. This allows one to consider generalizations of the ${\varphi^3}$ theory to other symmetries.


title: Star formation quenching stages of active and non-active galaxies

abstract: The mechanisms that bring galaxies to strongly reduce their star formation activity (star-formation quenching) is still poorly understood. To better study galaxy evolution, we propose a classification based on the maps of the ionised hydrogen distribution, traced by kpc-resolved, equivalent width of H$\alpha$ maps, and the nuclear activity of the galaxies using information from the BPT diagnostic diagrams. Using these tools, we group a sample of 238 galaxies from the CALIFA survey in six quenching stages (QS): objects dominated by recent star formation; systems that present a quiescent-nuclear-ring structure in their centre; galaxies that are centrally-quiescent; galaxies with no clear pattern in their ionisation gas distribution - mixed; systems that posses only a few star-forming regions - nearly-retired, or galaxies that are completely quiescent - fully-retired. Regarding their nuclear activity, we further divide the galaxies into two groups - active systems that host a weak or strong AGN in their centre, and non-active objects. Galaxies grouped into quenching stage classes occupy specific locations on the star-formation-rate versus stellar mass diagram. The "Blue cloud" is populated by the star-forming and the quiescent-nuclear-ring galaxies, the "Green valley" is populated by centrally-quiescent and mixed systems, "Red sequence" by the nearly- and fully-retired objects. Generally, galaxies that host a weak or strong AGN show properties, comparable to the non-active counterparts at the same quenching stages, except for the AGN-hosting star-forming systems. The degree of the star-formation quenching increases along the present emission-line pattern sequence from star-forming to fully-retired. The proposed emission-line classes reinforce the "inside-out" quenching scenario, which foresees that the suppression of the star-formation begins from the central regions of the galaxies.


title: Personalization Paradox in Behavior Change Apps: Lessons from a Social Comparison-Based Personalized App for Physical Activity

abstract: Social comparison-based features are widely used in social computing apps. However, most existing apps are not grounded in social comparison theories and do not consider individual differences in social comparison preferences and reactions. This paper is among the first to automatically personalize social comparison targets. In the context of an m-health app for physical activity, we use artificial intelligence (AI) techniques of multi-armed bandits. Results from our user study (n=53) indicate that there is some evidence that motivation can be increased using the AI-based personalization of social comparison. The detected effects achieved small-to-moderate effect sizes, illustrating the real-world implications of the intervention for enhancing motivation and physical activity. In addition to design implications for social comparison features in social apps, this paper identified the personalization paradox, the conflict between user modeling and adaptation, as a key design challenge of personalized applications for behavior change. Additionally, we propose research directions to mitigate this Personalization Paradox.


title: Galaxy Image Restoration with Shape Constraint

abstract: Images acquired with a telescope are blurred and corrupted by noise. The blurring is usually modeled by a convolution with the Point Spread Function and the noise by Additive Gaussian Noise. Recovering the observed image is an ill-posed inverse problem. Sparse deconvolution is well known to be an efficient deconvolution technique, leading to optimized pixel Mean Square Errors, but without any guarantee that the shapes of objects (e.g. galaxy images) contained in the data will be preserved. In this paper, we introduce a new shape constraint and exhibit its properties. By combining it with a standard sparse regularization in the wavelet domain, we introduce the Shape COnstraint REstoration algorithm (SCORE), which performs a standard sparse deconvolution, while preserving galaxy shapes. We show through numerical experiments that this new approach leads to a reduction of galaxy ellipticity measurement errors by at least 44%.


title: $L^p$-Convergence Rate of Backward Euler Schemes for Monotone SDEs

abstract: We give a unified method to derive the strong convergence rate of the backward Euler scheme for monotone SDEs in $L^p(\Omega)$-norm, with general $p \ge 4$. The results are applied to the backward Euler scheme of SODEs with polynomial growth coefficients. We also generalize the argument to the Galerkin-based backward Euler scheme of SPDEs with polynomial growth coefficients driven by multiplicative trace-class noise.


title: On a Conjecture of Bahri-Xu

abstract: In order to study the Yamabe changing-sign problem, Bahri and Xu proposed a conjecture which is a universal inequality for $p$ points in $\mathbb R^m$. They have verified the conjecture for $p\leq3$. In this paper, we first simplify this conjecture by giving two sufficient and necessary conditions inductively. Then we prove the conjecture for the basic case $m=1$ with arbitrary $p$. In addition, for the cases when $p=4,5$ and $m\geq2$, we manage to reduce them to the basic case $m=1$ and thus prove them as well.


title: On the commensurability of hyperbolic Coxeter groups

abstract: In this paper we study the commensurability of hyperbolic Coxeter groups of finite covolume, providing three necessary conditions for commensurability. Moreover we tackle different topics around the field of definition of a hyperbolic Coxeter group: which possible fields can arise, how this field determines a range of possible dihedral angles of a Coxeter polyhedron and we provide two new sets of generators for quasi-arithmetic groups. This work is a concise version of chapters 4 and 5 of the author's Ph.D. thesis.


title: A Review of Graph Neural Networks and Their Applications in Power Systems

abstract: Deep neural networks have revolutionized many machine learning tasks in power systems, ranging from pattern recognition to signal processing. The data in these tasks is typically represented in Euclidean domains. Nevertheless, there is an increasing number of applications in power systems, where data are collected from non-Euclidean domains and represented as graph-structured data with high dimensional features and interdependency among nodes. The complexity of graph-structured data has brought significant challenges to the existing deep neural networks defined in Euclidean domains. Recently, many publications generalizing deep neural networks for graph-structured data in power systems have emerged. In this paper, a comprehensive overview of graph neural networks (GNNs) in power systems is proposed. Specifically, several classical paradigms of GNNs structures (e.g., graph convolutional networks) are summarized, and key applications in power systems, such as fault scenario application, time series prediction, power flow calculation, and data generation are reviewed in detail. Furthermore, main issues and some research trends about the applications of GNNs in power systems are discussed.


title: Gel'fand's inverse problem for the graph Laplacian

abstract: We study the discrete Gel'fand's inverse boundary spectral problem of determining a finite weighted graph. Suppose that the set of vertices of the graph is a union of two disjoint sets: $X=B\cup G$, where $B$ is called the set of the boundary vertices and $G$ is called the set of the interior vertices. We consider the case where the vertices in the set $G$ and the edges connecting them are unknown. Assume that we are given the set $B$ and the pairs $(\lambda_j,\phi_j|_B)$, where $\lambda_j$ are the eigenvalues of the graph Laplacian and $\phi_j|_B$ are the values of the corresponding eigenfunctions at the vertices in $B$. We show that the graph structure, namely the unknown vertices in $G$ and the edges connecting them, along with the weights, can be uniquely determined from the given data, if every boundary vertex is connected to only one interior vertex and the graph satisfies the following property: any subset $S\subseteq G$ of cardinality $|S|\geqslant 2$ contains two extreme points. A point $x\in S$ is called an extreme point of $S$ if there exists a point $z\in B$ such that $x$ is the unique nearest point in $S$ from $z$ with respect to the graph distance. This property is valid for several standard types of lattices and their perturbations.


title: Understanding and Achieving Efficient Robustness with Adversarial Supervised Contrastive Learning

abstract: Contrastive learning (CL) has recently emerged as an effective approach to learning representation in a range of downstream tasks. Central to this approach is the selection of positive (similar) and negative (dissimilar) sets to provide the model the opportunity to `contrast' between data and class representation in the latent space. In this paper, we investigate CL for improving model robustness using adversarial samples. We first designed and performed a comprehensive study to understand how adversarial vulnerability behaves in the latent space. Based on this empirical evidence, we propose an effective and efficient supervised contrastive learning to achieve model robustness against adversarial attacks. Moreover, we propose a new sample selection strategy that optimizes the positive/negative sets by removing redundancy and improving correlation with the anchor. Extensive experiments show that our Adversarial Supervised Contrastive Learning (ASCL) approach achieves comparable performance with the state-of-the-art defenses while significantly outperforms other CL-based defense methods by using only $42.8\%$ positives and $6.3\%$ negatives.


title: Correctable Erasure Patterns in Product Topologies

abstract: Locality enables storage systems to recover failed nodes from small subsets of surviving nodes. The setting where nodes are partitioned into subsets, each allowing for local recovery, is well understood. In this work we consider a generalization introduced by Gopalan et al., where, viewing the codewords as arrays, constraints are imposed on the columns and rows in addition to some global constraints. Specifically, we present a generic method of adding such global parity-checks and derive new results on the set of correctable erasure patterns. Finally, we relate the set of correctable erasure patterns in the considered topology to those correctable in tensor-product codes.


title: Application of the Uniformized Mittag-Leffler Expansion to $\Lambda(1405)$

abstract: We study the pole properties of $\Lambda(1405)$ in a model-independent manner by applying the Uniformized Mittag-Leffler expansion proposed in our previous paper. The resonant energy, width and residues are determined by expanding the observable as a sum of resonant-pole pairs under an appropriate parameterization which expresses the observable to be single-valued, and fitting it to experimental data of the invariant-mass distribution of $\pi^+\Sigma^-$, $\pi^-\Sigma^+$, $\pi^0\Sigma^0$ final states in the reaction, $\gamma p \rightarrow K^+ \pi \Sigma$, and the elastic and inelastic cross section, $K^-p\to K^-p$, $\bar{K}^0n$, $\pi^+\Sigma^-$, $\pi^-\Sigma^+$. As we gradually increase the number of pairs from one to three, the first pair converges while the second and third pairs emerge further and further away from the first pair, implying that the Uniformized Mittag-Leffler expansion with three pairs is almost convergent in the vicinity of the $\Lambda(1405)$. The broad peak structure between the $\pi\Sigma$ and $\bar{K} N$ thresholds regarded to be $\Lambda(1405)$ is explained by a single pair with a resonant energy of 1420 $\pm$ 1 MeV, and a half width of 48 $\pm$ 2 MeV, which is consistent with the single-pole picture of $\Lambda(1405)$. We conclude that the Uniformized Mittag-Leffler expansion turns out to be a very powerful method to obtain resonance energy, width and residues from the near-threshold spectrum.


title: Weakly-supervised Video Anomaly Detection with Robust Temporal Feature Magnitude Learning

abstract: Anomaly detection with weakly supervised video-level labels is typically formulated as a multiple instance learning (MIL) problem, in which we aim to identify snippets containing abnormal events, with each video represented as a bag of video snippets. Although current methods show effective detection performance, their recognition of the positive instances, i.e., rare abnormal snippets in the abnormal videos, is largely biased by the dominant negative instances, especially when the abnormal events are subtle anomalies that exhibit only small differences compared with normal events. This issue is exacerbated in many methods that ignore important video temporal dependencies. To address this issue, we introduce a novel and theoretically sound method, named Robust Temporal Feature Magnitude learning (RTFM), which trains a feature magnitude learning function to effectively recognise the positive instances, substantially improving the robustness of the MIL approach to the negative instances from abnormal videos. RTFM also adapts dilated convolutions and self-attention mechanisms to capture long- and short-range temporal dependencies to learn the feature magnitude more faithfully. Extensive experiments show that the RTFM-enabled MIL model (i) outperforms several state-of-the-art methods by a large margin on four benchmark data sets (ShanghaiTech, UCF-Crime, XD-Violence and UCSD-Peds) and (ii) achieves significantly improved subtle anomaly discriminability and sample efficiency. Code is available at https://github.com/tianyu0207/RTFM.


title: Codimension-n Holography for Cones

abstract: We propose a novel codimension-n holography, called cone holography, between a gravitational theory in $(d+1)$-dimensional conical spacetime and a CFT on the $(d+1-n)$-dimensional defects. Similar to wedge holography, the cone holography can be obtained by taking the zero-volume limit of holographic defect CFT. Remarkably, it can be regarded as a holographic dual of the edge modes on the defects. For one class of solutions, we prove that the cone holography is equivalent to AdS/CFT, by showing that the classical gravitational action and thus the CFT partition function in large N limit are the same for the two theories. In general, cone holography and AdS/CFT are different due to the infinite towers of massive Kaluza-Klein modes on the branes. We test cone holography by studying Weyl anomaly, Entanglement/R\'enyi entropy and correlation functions, and find good agreements between the holographic and the CFT results. In particular, the c-theorem is obeyed by cone holography. These are strong supports for our proposal. We discuss two kinds of boundary conditions, the mixed boundary condition and Neumann boundary condition, and find that they both define a consistent theory of cone holography. We also analyze the mass spectrum on the brane and find that the larger the tension is, the more continuous the mass spectrum is. The cone holography can be regarded as a generalization of the wedge holography, and it is closely related to the defect CFT, entanglement/R\'enyi entropy and AdS/BCFT(dCFT). Thus it is expected to have a wide range of applications.


title: Computational Workflows for Designing Input Devices

abstract: Input devices, such as buttons and sliders, are the foundation of any interface. The typical user-centered design workflow requires the developers and users to go through many iterations of design, implementation, and analysis. The procedure is inefficient, and human decisions highly bias the results. While computational methods are used to assist various design tasks, there has not been any holistic approach to automate the design of input components. My thesis proposed a series of Computational Input Design workflows: I envision a sample-efficient multi-objective optimization algorithm that cleverly selects design instances, which are instantly deployed on physical simulators. A meta-reinforcement learning user model then simulates the user behaviors when using the design instance upon the simulators. The new workflows derive Pareto-optimal designs with high efficiency and automation. I demonstrate designing a push-button via the proposed methods. The resulting designs outperform the known baselines. The Computational Input Design process can be generalized to other devices, such as joystick, touchscreen, mouse, controller, etc.


title: Embedding-based Instance Segmentation in Microscopy

abstract: Automatic detection and segmentation of objects in 2D and 3D microscopy data is important for countless biomedical applications. In the natural image domain, spatial embedding-based instance segmentation methods are known to yield high-quality results, but their utility for segmenting microscopy data is currently little researched. Here we introduce EmbedSeg, an embedding-based instance segmentation method which outperforms existing state-of-the-art baselines on 2D as well as 3D microscopy datasets. Additionally, we show that EmbedSeg has a GPU memory footprint small enough to train even on laptop GPUs, making it accessible to virtually everyone. Finally, we introduce four new 3D microscopy datasets, which we make publicly available alongside ground truth training labels. Our open-source implementation is available at https://github.com/juglab/EmbedSeg.


title: Dual-beam intracavity optical trap with all-optical independent axial and radial self-feedback schemes

abstract: Recently single-beam intracavity optical tweezers have been reported and achieved orders-of-magnitude higher confinement than standard optical tweezers. However, there is only one feedback loop between the trapped particle's three-dimensional position and the scattering loss of the intracavity laser. That leads to the coupling effect between the particle's radial and axial motion, and aggravates the axial confinement efficiency. Here, we present and demonstrate the dual-beam intracavity optical trap enabling independent radial and axial self-feedback control of the trapped particle, through offsetting the foci of the clockwise and counter-clockwise beams. We have achieved the axial confinement efficiency of 1.6*10^(-4) mW^(-1) experimentally at very low numerical aperture (NA=0.25), which is the highest axial confinement efficiency of the optical trap to date, to the best of our knowledge. The dual-beam intracavity optical trap will significantly expand the range of applications in the further studies of biology and physics, especially for a sample that is extremely sensitive to heat.


title: Facilitating Terminology Translation with Target Lemma Annotations

abstract: Most of the recent work on terminology integration in machine translation has assumed that terminology translations are given already inflected in forms that are suitable for the target language sentence. In day-to-day work of professional translators, however, it is seldom the case as translators work with bilingual glossaries where terms are given in their dictionary forms; finding the right target language form is part of the translation process. We argue that the requirement for apriori specified target language forms is unrealistic and impedes the practical applicability of previous work. In this work, we propose to train machine translation systems using a source-side data augmentation method that annotates randomly selected source language words with their target language lemmas. We show that systems trained on such augmented data are readily usable for terminology integration in real-life translation scenarios. Our experiments on terminology translation into the morphologically complex Baltic and Uralic languages show an improvement of up to 7 BLEU points over baseline systems with no means for terminology integration and an average improvement of 4 BLEU points over the previous work. Results of the human evaluation indicate a 47.7% absolute improvement over the previous work in term translation accuracy when translating into Latvian.


title: Dilatancy stabilises shear failure in rock

abstract: Failure and fault slip in crystalline rocks is associated with dilation. When pore fluids are present and drainage is insufficient, dilation leads to pore pressure drops, which in turn lead to strengthening of the material. We conducted laboratory rock fracture experiments with direct in-situ fluid pressure measurements which demonstrate that dynamic rupture propagation and fault slip can be stabilised (i.e., become quasi-static) by such a dilatancy strengthening effect. We also observe that, for the same effective pressures but lower pore fluid pressures, the stabilisation process may be arrested when the pore fluid pressure approaches zero and vaporises, resulting in dynamic shear failure. In case of a stable rupture, we witness continued prolonged slip after the main failure event that is the result of pore pressure recharge of the fault zone. All our observations are quantitatively explained by a spring-slider model combining slip-weakening behaviour, slip-induced dilation, and pore fluid diffusion. Using our data in an inverse problem, we estimate the key parameters controlling rupture stabilisation, fault dilation rate and fault zone storage. These estimates are used to make predictions for the pore pressure drop associated with faulting, and where in the crust we may expect dilatancy stabilisation or vaporisation during earthquakes. For intact rock and well consolidated faults, we expect strong dilatancy strengthening between 4 and 6 km depth regardless of ambient pore pressure, and at greater depths when the ambient pore pressure approaches lithostatic pressure. In the uppermost part of the crust ($<4$ km), we predict vaporisation of pore fluids that limits dilatancy strengthening. The depth estimates where dilatant stabilisation is most likely coincide with geothermal energy reservoirs in crystalline rock and in regions where slow slip events are observed.


title: Optimizing Convergence for Iterative Learning of ARIMA for Stationary Time Series

abstract: Forecasting of time series in continuous systems becomes an increasingly relevant task due to recent developments in IoT and 5G. The popular forecasting model ARIMA is applied to a large variety of applications for decades. An online variant of ARIMA applies the Online Newton Step in order to learn the underlying process of the time series. This optimization method has pitfalls concerning the computational complexity and convergence. Thus, this work focuses on the computational less expensive Online Gradient Descent optimization method, which became popular for learning of neural networks in recent years. For the iterative training of such models, we propose a new approach combining different Online Gradient Descent learners (such as Adam, AMSGrad, Adagrad, Nesterov) to achieve fast convergence. The evaluation on synthetic data and experimental datasets show that the proposed approach outperforms the existing methods resulting in an overall lower prediction error.


title: SpanEmo: Casting Multi-label Emotion Classification as Span-prediction

abstract: Emotion recognition (ER) is an important task in Natural Language Processing (NLP), due to its high impact in real-world applications from health and well-being to author profiling, consumer analysis and security. Current approaches to ER, mainly classify emotions independently without considering that emotions can co-exist. Such approaches overlook potential ambiguities, in which multiple emotions overlap. We propose a new model "SpanEmo" casting multi-label emotion classification as span-prediction, which can aid ER models to learn associations between labels and words in a sentence. Furthermore, we introduce a loss function focused on modelling multiple co-existing emotions in the input sentence. Experiments performed on the SemEval2018 multi-label emotion data over three language sets (i.e., English, Arabic and Spanish) demonstrate our method's effectiveness. Finally, we present different analyses that illustrate the benefits of our method in terms of improving the model performance and learning meaningful associations between emotion classes and words in the sentence.


title: Latent Factor Modeling of Users Subjective Perception for Stereoscopic 3D Video Recommendation

abstract: Numerous stereoscopic 3D movies are released every year to theaters and created large revenues. Despite the improvement in stereo capturing and 3D video post-production technology, stereoscopic artifacts which cause viewer discomfort continue to appear even in high-budget films. Existing automatic 3D video quality measurement tools can detect distortions in stereoscopic images or videos, but they fail to consider the viewer's subjective perception of those artifacts, and how these distortions affect their choices. In this paper, we introduce a novel recommendation system for stereoscopic 3D movies based on a latent factor model that meticulously analyse the viewer's subjective ratings and influence of 3D video distortions on their preferences. To the best of our knowledge, this is a first-of-its-kind model that recommends 3D movies based on stereo-film quality ratings accounting correlation between the viewer's visual discomfort and stereoscopic-artifact perception. The proposed model is trained and tested on benchmark Nama3ds1-cospad1 and LFOVIAS3DPh2 S3D video quality assessment datasets. The experiments revealed that resulting matrix-factorization based recommendation system is able to generalize considerably better for the viewer's subjective ratings.


title: Complexity of Linear Minimization and Projection on Some Sets

abstract: The Frank-Wolfe algorithm is a method for constrained optimization that relies on linear minimizations, as opposed to projections. Therefore, a motivation put forward in a large body of work on the Frank-Wolfe algorithm is the computational advantage of solving linear minimizations instead of projections. However, the discussions supporting this advantage are often too succinct or incomplete. In this paper, we review the complexity bounds for both tasks on several sets commonly used in optimization. Projection methods onto the $\ell_p$-ball, $p\in\left]1,2\right[\cup\left]2,+\infty\right[$, and the Birkhoff polytope are also proposed.


title: Deep Graph Convolutional Networks for Wind Speed Prediction

abstract: Wind speed prediction and forecasting is important for various business and management sectors. In this paper, we introduce new models for wind speed prediction based on graph convolutional networks (GCNs). Given hourly data of several weather variables acquired from multiple weather stations, wind speed values are predicted for multiple time steps ahead. In particular, the weather stations are treated as nodes of a graph whose associated adjacency matrix is learnable. In this way, the network learns the graph spatial structure and determines the strength of relations between the weather stations based on the historical weather data. We add a self-loop connection to the learnt adjacency matrix and normalize the adjacency matrix. We examine two scenarios with the self-loop connection setting (two separate models). In the first scenario, the self-loop connection is imposed as a constant additive. In the second scenario a learnable parameter is included to enable the network to decide about the self-loop connection strength. Furthermore, we incorporate data from multiple time steps with temporal convolution, which together with spatial graph convolution constitutes spatio-temporal graph convolution. We perform experiments on real datasets collected from weather stations located in cities in Denmark and the Netherlands. The numerical experiments show that our proposed models outperform previously developed baseline models on the referenced datasets. We provide additional insights by visualizing learnt adjacency matrices from each layer of our models.


title: Lower semicontinuity and pointwise behavior of supersolutions for some doubly nonlinear nonlocal parabolic $p$-Laplace equations

abstract: We discuss pointwise behavior of weak supersolutions for a class of doubly nonlinear parabolic fractional $p$-Laplace equations which includes the fractional parabolic $p$-Laplace equation and the fractional porous medium equation. More precisely, we show that weak supersolutions have lower semicontinuous representative. We also prove that the semicontinuous representative at an instant of time is determined by the values at previous times. This gives a pointwise interpretation for a weak supersolution at every point. The corresponding results hold true also for weak subsolutions. Our results extend some recent results in the local parabolic case and in the nonlocal elliptic case to the nonlocal parabolic case. We prove the required energy estimates and measure theoretic De Giorgi type lemmas in the fractional setting.


title: Deep One-Class Classification via Interpolated Gaussian Descriptor

abstract: One-class classification (OCC) aims to learn an effective data description to enclose all normal training samples and detect anomalies based on the deviation from the data description. Current state-of-the-art OCC models learn a compact normality description by hyper-sphere minimisation, but they often suffer from overfitting the training data, especially when the training set is small or contaminated with anomalous samples. To address this issue, we introduce the interpolated Gaussian descriptor (IGD) method, a novel OCC model that learns a one-class Gaussian anomaly classifier trained with adversarially interpolated training samples. The Gaussian anomaly classifier differentiates the training samples based on their distance to the Gaussian centre and the standard deviation of these distances, offering the model a discriminability w.r.t. the given samples during training. The adversarial interpolation is enforced to consistently learn a smooth Gaussian descriptor, even when the training data is small or contaminated with anomalous samples. This enables our model to learn the data description based on the representative normal samples rather than fringe or anomalous samples, resulting in significantly improved normality description. In extensive experiments on diverse popular benchmarks, including MNIST, Fashion MNIST, CIFAR10, MVTec AD and two medical datasets, IGD achieves better detection accuracy than current state-of-the-art models. IGD also shows better robustness in problems with small or contaminated training sets. Code is available at https://github.com/tianyu0207/IGD.


title: Cross-lingual Visual Pre-training for Multimodal Machine Translation

abstract: Pre-trained language models have been shown to improve performance in many natural language tasks substantially. Although the early focus of such models was single language pre-training, recent advances have resulted in cross-lingual and visual pre-training methods. In this paper, we combine these two approaches to learn visually-grounded cross-lingual representations. Specifically, we extend the translation language modelling (Lample and Conneau, 2019) with masked region classification and perform pre-training with three-way parallel vision & language corpora. We show that when fine-tuned for multimodal machine translation, these models obtain state-of-the-art performance. We also provide qualitative insights into the usefulness of the learned grounded representations.


title: In-situ electric field control of THz non-reciprocal directional dichroism in the multiferroic Ba$_2$CoGe$_2$O$_7$

abstract: Non-reciprocal directional dichroism, also called the optical-diode effect, is an appealing functional property inherent to the large class of non-centrosymmetric magnets. However, the in-situ electric control of this phenomenon is challenging as it requires a set of conditions to be fulfilled: Special symmetries of the magnetic ground state, spin-excitations with comparable magnetic- and electric-dipole activity and switchable electric polarization. We demonstrate the isothermal electric switch between domains of Ba$_2$CoGe$_2$O$_7$ possessing opposite magnetoelectric susceptibilities. Combining THz spectroscopy and multiboson spin-wave analysis, we show that unbalancing the population of antiferromagnetic domains generates the non-reciprocal light absorption of spin excitations.


title: Bivariate asymptotics for eta-theta quotients with simple poles

abstract: We employ a variant of Wright's circle method to determine the bivariate asymptotic behaviour of Fourier coefficients for a wide class of eta-theta quotients with simple poles in $\mathbb{H}$.


title: On a new formulation for energy transfer between convection and fast tides with application to giant planets and solar type stars

abstract: All the studies of the interaction between tides and a convective flow assume that the large scale tides can be described as a mean shear flow which is damped by small scale fluctuating convective eddies. The convective Reynolds stress is calculated using mixing length theory, accounting for a sharp suppression of dissipation when the turnover timescale is larger than the tidal period. This yields tidal dissipation rates several orders of magnitude too small to account for the circularization periods of late-type binaries or the tidal dissipation factor of giant planets. Here, we argue that the above description is inconsistent, because fluctuations and mean flow should be identified based on the timescale, not on the spatial scale, on which they vary. Therefore, the standard picture should be reversed, with the fluctuations being the tidal oscillations and the mean shear flow provided by the largest convective eddies. We assume that energy is locally transferred from the tides to the convective flow. Using this assumption, we obtain values for the tidal $Q$ factor of Jupiter and Saturn and for the circularization periods of PMS binaries in good agreement with observations. The timescales obtained with the equilibrium tide approximation are however still 40 times too large to account for the circularization periods of late-type binaries. For these systems, shear in the tachocline or at the base of the convective zone may be the main cause of tidal dissipation.


title: A Process to Facilitate Automated Automotive Cybersecurity Testing

abstract: Modern vehicles become increasingly digitalized with advanced information technology-based solutions like advanced driving assistance systems and vehicle-to-x communications. These systems are complex and interconnected. Rising complexity and increasing outside exposure has created a steadily rising demand for more cyber-secure systems. Thus, also standardization bodies and regulators issued standards and regulations to prescribe more secure development processes. This security, however, also has to be validated and verified. In order to keep pace with the need for more thorough, quicker and comparable testing, today's generally manual testing processes have to be structured and optimized. Based on existing and emerging standards for cybersecurity engineering, this paper therefore outlines a structured testing process for verifying and validating automotive cybersecurity, for which there is no standardized method so far. Despite presenting a commonly structured framework, the process is flexible in order to allow implementers to utilize their own, accustomed toolsets.


title: Optimal control of a nitrogen-vacancy spin ensemble in diamond for sensing in the pulsed domain

abstract: Defects in solid state materials provide an ideal, robust platform for quantum sensing. To deliver maximum sensitivity, a large ensemble of non-interacting defects hosting coherent quantum states are required. Control of such an ensemble is challenging due to the spatial variation in both the defect energy levels and in any control field across a macroscopic sample. In this work we experimentally demonstrate that we can overcome these challenges using Floquet theory and optimal control optimization methods to efficiently and coherently control a large defect ensemble, suitable for sensing. We apply our methods experimentally to a spin ensemble of up to 4 $\times$ 10$^9$ nitrogen vacancy (NV) centers in diamond. By considering the physics of the system and explicitly including the hyperfine interaction in the optimization, we design shaped microwave control pulses that can outperform conventional ($\pi$-) pulses when applied to sensing of temperature or magnetic field, with a potential sensitivity improvement between 11 and 78\%. Through dynamical modelling of the behaviour of the ensemble, we shed light on the physical behaviour of the ensemble system and propose new routes for further improvement.

categories: quant-ph physics.app-ph physics.bio-ph physics.optics


title: Learning Parametrised Graph Shift Operators

abstract: In many domains data is currently represented as graphs and therefore, the graph representation of this data becomes increasingly important in machine learning. Network data is, implicitly or explicitly, always represented using a graph shift operator (GSO) with the most common choices being the adjacency, Laplacian matrices and their normalisations. In this paper, a novel parametrised GSO (PGSO) is proposed, where specific parameter values result in the most commonly used GSOs and message-passing operators in graph neural network (GNN) frameworks. The PGSO is suggested as a replacement of the standard GSOs that are used in state-of-the-art GNN architectures and the optimisation of the PGSO parameters is seamlessly included in the model training. It is proved that the PGSO has real eigenvalues and a set of real eigenvectors independent of the parameter values and spectral bounds on the PGSO are derived. PGSO parameters are shown to adapt to the sparsity of the graph structure in a study on stochastic blockmodel networks, where they are found to automatically replicate the GSO regularisation found in the literature. On several real-world datasets the accuracy of state-of-the-art GNN architectures is improved by the inclusion of the PGSO in both node- and graph-classification tasks.


title: Entropic force between two horizons of dilaton black holes with a power-Maxwell field

abstract: In this paper, we consider $(n+1)$-dimensional topological dilaton de Sitter black holes with power-Maxwell field as thermodynamic systems. The thermodynamic quantities corresponding to the black hole horizon and the cosmological horizon respectively are interrelated. So the total entropy of the space-time should be the sum of the entropies of the black hole horizon and the cosmological horizon plus a corrected term which is produced by the association of the two horizons. We analyze the entropic force produced by the corrected term at given temperatures, which is affected by parameters and dimensions of the space-time. It is shown that the change of entropic force with the position ratio of two horizons in some region is similar to that of Lennard-Jones force with the position of particles. If the effect of entropic force is similar to that of Lennard-Jones force, and other forces are absent, the motion of the cosmological horizon relative to the black hole horizon would have an oscillating process. The entropic force between the two horizons is probably one of the participants to drive the evolution of universe.


title: CutFEM Based on Extended Finite Element Spaces

abstract: We develop a general framework for construction and analysis of discrete extension operators with application to unfitted finite element approximation of partial differential equations. In unfitted methods so called cut elements intersected by the boundary occur and these elements must in general by stabilized in some way. Discrete extension operators provides such a stabilization by modification of the finite element space close to the boundary. More precisely, the finite element space is extended from the stable interior elements over the boundary in a stable way which also guarantees optimal approximation properties. Our framework is applicable to all standard nodal based finite elements of various order and regularity. We develop an abstract theory for elliptic problems and associated parabolic time dependent partial differential equations and derive a priori error estimates. We finally apply this to some examples of partial differential equations of different order including the interface problems, the biharmonic operator and the sixth order triharmonic operator.


title: Optimal Trading with Signals and Stochastic Price Impact

abstract: Trading frictions are stochastic. They are, moreover, in many instances fast-mean reverting. Here, we study how to optimally trade in a market with stochastic price impact and study approximations to the resulting optimal control problem using singular perturbation methods. We prove, by constructing sub- and super-solutions, that the approximations are accurate to the specified order. Finally, we perform some numerical experiments to illustrate the effect that stochastic trading frictions have on optimal trading.


title: Thick brane in f(T,B) gravity

abstract: In this paper, we explore the five-dimensional f(T,B) teleparallel modified gravity with f_1(T,B)=T+k_1B^{n_1} and f_2(T,B)=B+k_2T^{n_2} in the brane scenario. Asymptotically, the bulk geometry converges to an AdS_5 spacetime whose cosmological constant is produced by parameters that control torsion and boundary term. The analysis of the energy density condition reveals a splitting brane process satisfying the weak and strong energy conditions for some values of the parameters n_{1,2} and k_{1,2}. In addition, we investigate the behavior of the gravitational perturbations in this scenario. In the bulk, the torsion keeps a gapless non-localizable, and stable tower of massive modes. Inside the brane core, the torsion produces new barriers and potential wells, leading to small amplitude massive modes and a massless mode localized for some values of the parameters n_{1,2} and k_{1,2}.


title: PETALO read-out: A novel approach for data acquisition systems in PET applications

abstract: PETALO (a Positron Emission Tof Apparatus based on Liquid xenOn) is a new approach for Positron Emission Tomography scanners, based on liquid xenon. The PETALO detector aims at capturing the light produced by the scintillation in LXe taking advantage of its uniform response and continuity. This strategy will lead to a geometrical distortion free behavior compared to other PET detectors. To this end, the sensors chosen for the light readout are SiPMs, which provide large area, high gain and very low noise. In order to take advantage of the unique PETALO detector characteristics a read-out architecture must be designed to meet the following specifications: Electronics associated to detector (front-end and read-out itself) must be fully expandable in terms of detector size. Read-out scheme must be compatible with the non-segmented structure of the detector. Time of Flight (TOF) capabilities must be assured at the scanner level, that is to say front-end and read-out electronics should not degrade LXe time performance. In these proceedings, a new readout concept is introduced which is compatible with a fully continuous medium detector such as PETALO. Results show that the system is feasible, with the introduction of a fast compression technique to further reduce the data bandwidth requirements.


title: Occipital and left temporal instantaneous amplitude and frequency oscillations correlated with access and phenomenal consciousness

abstract: Given the hard problem of consciousness (Chalmers, 1995) there are no brain electrophysiological correlates of the subjective experience (the felt quality of redness or the redness of red, the experience of dark and light, the quality of depth in a visual field, the sound of a clarinet, the smell of mothball, bodily sensations from pains to orgasms, mental images that are conjured up internally, the felt quality of emotion, the experience of a stream of conscious thought or the phenomenology of thought). However, there are brain occipital and left temporal electrophysiological correlates of the subjective experience (Pereira, 2015). Notwithstanding, as evoked signal, the change in event-related brain potentials phase (frequency is the change in phase over time) is instantaneous, that is, the frequency will transiently be infinite: a transient peak in frequency (positive or negative), if any, is instantaneous in electroencephalogram averaging or filtering that the event-related brain potentials required and the underlying structure of the event-related brain potentials in the frequency domain cannot be accounted, for example, by the Wavelet Transform (WT) or the Fast Fourier Transform (FFT) analysis, because they require that frequency is derived by convolution rather than by differentiation. However, as I show in the current original research report, one suitable method for analyse the instantaneous change in event-related brain potentials phase and accounted for a transient peak in frequency (positive or negative), if any, in the underlying structure of the event-related brain potentials is the Empirical Mode Decomposition with post processing (Xie et al., 2014) Ensemble Empirical Mode Decomposition (postEEMD) and Hilbert-Huang Transform (HHT).


title: Localization in the Kicked Ising Chain

abstract: Determining the border between ergodic and localized behavior is of central interest for interacting many-body systems. We consider here the recently very popular spin-chain model that is periodically excited. A convenient description of such a many-body system is achieved by the dual operator that evolves the system in contrast to the time-evolution operator not in time but in particle direction. We identify in this paper the largest eigenvalue of a function based on the dual operator as a convenient tool to determine if the system shows ergodic or many-body localized features. By perturbation theory in the vicinity of the noninteracting system we explain analytically the eigenvalue structure and compare it with numerics in [P. Braun, D. Waltner, M. Akila, B. Gutkin, T. Guhr, Phys. Rev. E $\bf{101}$, 052201 (2020)] for small times. Furthermore we identify a quantity that allows based on extensive large-time numerical computations of the spectral form factor to distinguish between localized and ergodic system features and to determine the Thouless time, i.e. the transition time between these regimes in the thermodynamic limit.


title: The EM Perspective of Directional Mean Shift Algorithm

abstract: The directional mean shift (DMS) algorithm is a nonparametric method for pursuing local modes of densities defined by kernel density estimators on the unit hypersphere. In this paper, we show that any DMS iteration can be viewed as a generalized Expectation-Maximization (EM) algorithm; in particular, when the von Mises kernel is applied, it becomes an exact EM algorithm. Under the (generalized) EM framework, we provide a new proof for the ascending property of density estimates and demonstrate the global convergence of directional mean shift sequences. Finally, we give a new insight into the linear convergence of the DMS algorithm.


title: Membranes with thin and heavy inclusions: asymptotics of spectra

abstract: We study the asymptotic behaviour of eigenvalues and eigenfunctions of 2D vibrating systems with mass density perturbed in a vicinity of closed curves. The threshold case in which resonance frequencies of the membrane and thin inclusion coincide or closely situated is investigated. The perturbed eigenvalue problem can be realized as a family of self-adjoint operators acting on varying Hilbert spaces. However the so-called limit operator which is ultimately responsible for the asymptotics of eigenvalues and eigenfunctions is non-self-adjoint and possesses the Jordan chains of length $2$. Apart from the lack of self-adjointness, the operator has non-compact resolvent. As a consequence, its spectrum has a complicated structure, for instance, the spectrum contains a countable set of eigenvalues with infinite multiplicity.


title: A Continuation Method for Large-Scale Modeling and Control: from ODEs to PDE, a Round Trip

abstract: In this paper we present a continuation method which transforms spatially distributed ODE systems into continuous PDE. We show that this continuation can be performed both for linear and nonlinear systems, including multidimensional, space- and time-varying systems. When applied to a large-scale network, the continuation provides a PDE describing evolution of continuous state approximation that respects the spatial structure of the original ODE. Our method is illustrated by multiple examples including transport equations, Kuramoto equations and heat diffusion equations. As a main example, we perform the continuation of a Newtonian system of interacting particles and obtain the Euler equations for compressible fluids, thereby providing an original alternative solution to Hilbert's 6th problem. Finally, we leverage our derivation of the Euler equations to control multiagent systems, designing a nonlinear control algorithm for robot formation based on its continuous approximation.


title: Closed $\mathrm{G}_2$-eigenforms and exact $\mathrm{G}_2$-structures

abstract: A study is made of left-invariant $\mathrm{G}_2$-structures with an exact 3-form on a Lie group $G$ whose Lie algebra $\mathfrak{g}$ admits a codimension-one nilpotent ideal $\mathfrak{h}$. It is shown that such a Lie group $G$ cannot admit a left-invariant closed $\mathrm{G}_2$-eigenform for the Laplacian and that any compact solvmanifold $\Gamma\backslash G$ arising from $G$ does not admit an (invariant) exact $\mathrm{G}_2$-structure. We also classify the seven-dimensional Lie algebras $\mathfrak{g}$ with codimension-one ideal equal to the complex Heisenberg Lie algebra which admit exact $\mathrm{G}_2$-structures with or without special torsion. To achieve these goals, we first determine the six-dimensional nilpotent Lie algebras $\mathfrak{h}$ admitting an exact $\mathrm{SL}(3,\mathbb{C})$-structure $\rho$ or a half-flat $\mathrm{SU}(3)$-structure $(\omega,\rho)$ with exact $\rho$, respectively.


title: Distortionless pulse transmission in valley photonic crystal slab waveguide

abstract: Valley photonic crystal is one type of photonic topological insulator, whose realization only needs P-symmetry breaking. The domain wall between two valley-contrasting photonic crystals support robust edge states which can wrap around sharp corners without backscattering. Using the robust edge states, one can achieve the pulse transmission. Here, using time-domain measurement in the microwave regime, we show distortionless pulse transmission in a sharply bended waveguide. An Omega-shaped waveguide with four 120-degree bends is constructed with the domain wall between two valley photonic crystal slabs. Experimental results show the progress of Gaussian pulse transmission without distortion, and the full width at half maximum of the output signal was changed slightly in the Omega-shaped waveguide. By measuring steady state electric field distribution, we also confirmed the confined edge states without out-of-plane radiation which benefits from the dispersion below the light line. Our work provides a way for high-fidelity optical pulse signal transmission and develop high-performance optical elements such as photonic circuits or optical delay lines.