title: Quantum support vector machines for aerodynamic classification

abstract: Aerodynamics plays an important role in aviation industry and aircraft design. Detecting and minimizing the phenomenon of flow separation from scattered pressure data on airfoil is critical for ensuring stable and efficient aviation. However, since it is challenging to understand the mechanics of flow field separation, the aerodynamic parameters are emphasized for the identification and control of flow separation. It has been investigated extensively using traditional algorithms and machine learning methods such as the support vector machine (SVM) models. Recently, a growing interest in quantum computing and its applications among wide research communities sheds light upon the use of quantum techniques to solve aerodynamic problems. In this paper, we apply qSVM, a quantum SVM algorithm based on the quantum annealing model, to identify whether there is flow separation, with their performance in comparison to the widely-used classical SVM. We show that our approach outperforms the classical SVM with an 11.1% increase of the accuracy, from 0.818 to 0.909, for this binary classification task. We further develop multi-class qSVMs based on one-against-all algorithm. We apply it to classify multiple types of the attack angles to the wings, where the advantage over the classical multi-class counterpart is maintained with an accuracy increased from 0.67 to 0.79, by 17.9%. Our work demonstrates a useful quantum technique for classifying flow separation scenarios, and may promote rich investigations for quantum computing applications in fluid dynamics.


title: The compliance of the upper critical field in magic-angle multilayer graphene with the Pauli limit

abstract: The Pauli limiting field represents fundamental magnetic field at which superconducting state collapses due to the spin-paramagnetic Cooper pair-breaking effect. Cao et al [1] reported that the upper critical field (i.e., the magnetic field at which the superconducting state collapses in experiment) in magic-angle twisted trilayer graphene (MATNG, N=3) in 2-3 times exceeds the Pauli limiting field in this material. This observation was interpreted as a violation of the Pauli-limiting field in MAT3G. Similar conclusions were recently reported by the same research group in MATNG (N=4,5) superlattices [2]. Here we point out that Cao et al [1] calculated the Pauli limiting field by the use of reduce (to the weak-coupling limit) full equation of the electron-phonon mediated superconductivity. Considering, that in the same paper, Cao et al [1] reported that MATNGs are strong coupled superconductors, we calculate the Pauli limiting field for strong coupled case and show that the observed upper critical fields in MATNGs comply with the Pauli limit. This implies that there is no violation of the Pauli limiting field in the Moire multilayer graphene superlattices.


title: The Plasma Structures and Networks of Channels as Components of The Sequential Mechanism of Lightning Initiation Within Thunder Clouds

abstract: The dissertation describes in detail the experimental studies of the initiation of unusual plasma formations (UPFs) in the electric field of an artificially charged aerosol cloud. These experiments, together with the latest data from the study of intracloud discharges, make it possible to construct a sequential mechanism for initiating lightning inside a thundercloud, as well as a model of compact intracloud discharges (CID/NBE).


title: On the Achievable Rate of IRS-Assisted Multigroup Multicast Systems

abstract: Intelligent reflecting surfaces (IRSs) have shown huge advantages in many potential use cases and thus have been considered a promising candidate for next-generation wireless systems. In this paper, we consider an IRS-assisted multigroup multicast (IRS-MGMC) system in a multiple-input single-output (MISO) scenario, for which the related existing literature is rather limited. In particular, we aim to jointly design the transmit beamformers and IRS phase shifts to maximize the sum rate of the system under consideration. In order to obtain a numerically efficient solution to the formulated non-convex optimization problem, we propose an alternating projected gradient (APG) method where each iteration admits a closed-form and is shown to be superior to a known solution that is derived from the majorization-minimization (MM) method in terms of both achievable sum rate and required complexity, i.e., run time. In particular, we show that the complexity of the proposed APG method grows linearly with the number of IRS tiles, while that of the known solution in comparison grows with the third power of the number of IRS tiles. The numerical results reported in this paper extend our understanding on the achievable rates of large-scale IRS-assisted multigroup multicast systems.


title: Perspective Reconstruction of Human Faces by Joint Mesh and Landmark Regression

abstract: Even though 3D face reconstruction has achieved impressive progress, most orthogonal projection-based face reconstruction methods can not achieve accurate and consistent reconstruction results when the face is very close to the camera due to the distortion under the perspective projection. In this paper, we propose to simultaneously reconstruct 3D face mesh in the world space and predict 2D face landmarks on the image plane to address the problem of perspective 3D face reconstruction. Based on the predicted 3D vertices and 2D landmarks, the 6DoF (6 Degrees of Freedom) face pose can be easily estimated by the PnP solver to represent perspective projection. Our approach achieves 1st place on the leader-board of the ECCV 2022 WCPA challenge and our model is visually robust under different identities, expressions and poses. The training code and models are released to facilitate future research.


title: C-Causal Blindness An experimental computational framework on the isomorphic relationship between biological computation, artificial computation, and logic using weighted hidden Markov models

abstract: This text is concerned with a hypothetical flavour of cognitive blindness referred to in this paper as \textit{C-Causal Blindness} or C-CB. A cognitive blindness where the policy to obtain the objective leads to the state to be avoided. A literal example of C-CB would be \textit{Kurt G\"odel's} decision to starve for \textit{"fear of being poisoned"} - take this to be premise \textbf{A}. The objective being \textit{"to avoid being poisoned (so as to not die)"}: \textbf{C}, the plan or policy being \textit{"don't eat"}: \textbf{B}, and the actual outcome having been \textit{"dying"}: $\lnot$\textbf{C} - the state that G\"odel wanted to avoid to begin with. Like many, G\"odel pursued a strategy that caused the result he wanted to avoid. An experimental computational framework is proposed to show the isomorphic relationship between C-CB in brain computations, logic, and computer computations using hidden Markov models.


title: Quantum bandit with amplitude amplification exploration in an adversarial environment

abstract: The rapid proliferation of learning systems in an arbitrarily changing environment mandates the need for managing tensions between exploration and exploitation. This work proposes a quantum-inspired bandit learning approach for the learning-and-adapting-based offloading problem where a client observes and learns the costs of each task offloaded to the candidate resource providers, e.g., fog nodes. In this approach, a new action update strategy and novel probabilistic action selection are adopted, provoked by the amplitude amplification and collapse postulate in quantum computation theory, respectively. We devise a locally linear mapping between a quantum-mechanical phase in a quantum domain, e.g., Grover-type search algorithm, and a distilled probability-magnitude in a value-based decision-making domain, e.g., adversarial multi-armed bandit algorithm. The proposed algorithm is generalized, via the devised mapping, for better learning weight adjustments on favourable/unfavourable actions and its effectiveness is verified via simulation.


title: On the Diophantine problem in some one-relator groups

abstract: We study the Diophantine problem, i.e. the decision problem of solving systems of equations, for some families of one-relator groups, and provide some background for why this problem is of interest. The method used is primarily the Reidemeister--Schreier method, together with general recent results by Dahmani & Guirardel and Ciobanu, Holt & Rees on the decidability of the Diophantine problem in general classes of groups. First, we give a sample of the methods of the article by proving that the one-relator group with defining relation $a^mb^n = 1$ is virtually a direct product of hyperbolic groups for all $m, n \geq 0$, and thus conclude decidability of the Diophantine problem in such groups. As a corollary, we obtain that the Diophantine problem is decidable in any torus knot group. Second, we study the two-generator, one-relator groups $G_{m,n}$ with defining relation a commutator $[a^m, b^n] = 1$, where $m, n \geq 1$. In doing so, we define and study a natural class of groups (RABSAGs), related to right-angled Artin groups (RAAGs). We reduce the Diophantine problem in the groups $G_{m,n}$ to the Diophantine problem in groups which are virtually certain RABSAGs. As a corollary of our methods, we show that the submonoid membership problem is undecidable in the group $G_{2,2}$ with the single defining relation $[a^2, b^2] = 1$. We use the recent classification by Gray & Howie of RAAG subgroups of one-relator groups to classify the RAAG subgroups of some RABSAGs, showing the potential usefulness of one-relator theory to this area. Finally, we define and study Newman groups $\operatorname{NG}(p,q)$, which are $(p+1)$-generated one-relator groups generalising the solvable Baumslag--Solitar groups. We show that all such groups are hyperbolic, and thereby also conclude decidability of their Diophantine problem.


title: Decreasing contact angles at accelerating three-phase moving contact lines

abstract: We consider a liquid drop placed on a smooth homogeneous solid substrate as it spreads from rest to its eventual equilibrium state. The problem is studied numerically in the framework of a model where the contact angle formed by the drop's free surface with the substrate is not prescribed as a function of the contact-line speed and has to be found as part of the solution. It is shown that in this spontaneous spreading, as the drop starts moving and the contact line accelerates, the dynamic contact angle decreases with the contact-line speed, which is in line with what experimental observations on spontaneous wetting report, though it is contrary to what is assumed in most models aimed at describing experiments on the "forced" spreading. Nontrivial aspects of the implementation of the model in a finite-element-based algorithm are discussed in detail.


title: Detection of weak ubiquitous impulsive nonthermal emissions from the solar corona

abstract: A ubiquitous presence of weak energy releases is one of the most promising hypotheses to explain coronal heating, referred to as the nanoflare hypothesis. The accelerated electrons associated with such weak heating events are also expected to give rise to coherent impulsive emission via plasma instabilities in the meterwave radio band, making this a promising spectral window to look for their presence. Recently \citet{Mondal2020b} reported the presence of weak impulsive emissions from quiet Sun regions which seem to meet the requirements of being radio counterparts of the hypothesized nanoflares. Detection of such low-contrast weak emission from the quiet Sun is challenging and, given their implications, it is important to confirm their presence. In this work, using data from the Murchison Widefield Array, we explore the use of an independent robust approach for their detection by separating the dominant slowly varying component of emission from the weak impulsive one in the visibility domain. We detect milli-SFU level bursts taking place all over the Sun and characterize their brightness temperatures, distributions, morphologies, durations and association with features seen in EUV images. We also attempt to constraint the energies of the nonthermal particles using inputs from the FORWARD coronal model along with some reasonable assumptions and find them to lie in the sub-pico flare ($\sim 10^{19}-10^{21}$ ergs) range. In the process, we also discover perhaps the weakest type III radio burst and another one that shows clear signatures of weakest quasi-periodic pulsations.


title: Reduced Connectivity for Local Bilinear Jacobi Sets

abstract: We present a new topological connection method for the local bilinear computation of Jacobi sets that improves the visual representation while preserving the topological structure and geometric configuration. To this end, the topological structure of the local bilinear method is utilized, which is given by the nerve complex of the traditional piecewise linear method. Since the nerve complex consists of higher-dimensional simplices, the local bilinear method (visually represented by the 1-skeleton of the nerve complex) leads to clutter via crossings of line segments. Therefore, we propose a homotopy-equivalent representation that uses different collapses and edge contractions to remove such artifacts. Our new connectivity method is easy to implement, comes with only little overhead, and results in a less cluttered representation.


title: Lobster Eye X-ray Optics

abstract: This chapter describes the history, principles, and recent developments of large field of view X-ray optics based on lobster eye designs. Most of grazing incidence (reflective) X-ray imaging systems used in astronomy and other applications, are based on the Wolter 1 (or modified) arrangement. But there are also other designs and configurations proposed for future applications for both laboratory and space environments. Kirkpatrick-Baez (K-B) based lenses as well as various types of lobster eye optics serve as an example. Analogously to Wolter lenses, all these systems use the principle that the X-rays are reflected twice to create focal images. Various future projects in X-ray astronomy and astrophysics will require large optics with wide fields of view. Both large Kirkpatrick-Baez modules and lobster eye X-ray telescopes may serve as solutions as these can offer innovations such as wide fields of view, low mass and reduced costs. The basic workings of lobster eye optics using Micro Pore Optics (MPOs) and their various uses are discussed. The issues and limiting factors of these optics are evaluated and current missions using lobster eye optics to fulfil their science objectives are reviewed. The Multi Foil Optics (MFO) approach represents a promising alternative. These arrangements can also be widely applied in laboratory devices. The chapter also examines the details of alternative applications for non-Wolter systems in other areas of science, where some of these systems have already demonstrated their advantages such as the K-B systems which have already found wide applications in laboratories and synchrotrons.


title: Dirichlet problem for harmonic maps from strongly rectifiable spaces into regular balls in $\CAT(1)$ spaces

abstract: In this note, we study the Dirichlet problem for harmonic maps from strongly rectifiable spaces into regular balls in $\CAT(1)$ space. Under the setting, we prove that the Korevaar-Schoen energy admits a unique minimizer.


title: Dynamic Task Software Caching-assisted Computation Offloading for Multi-Access Edge Computing

abstract: In multi-access edge computing (MEC), most existing task software caching works focus on statically caching data at the network edge, which may hardly preserve high reusability due to the time-varying user requests in practice. To this end, this work considers dynamic task software caching at the MEC server to assist users' task execution. Specifically, we formulate a joint task software caching update (TSCU) and computation offloading (COMO) problem to minimize users' energy consumption while guaranteeing delay constraints, where the limited cache size and computation capability of the MEC server, as well as the time-varying task demand of users are investigated. This problem is proved to be non-deterministic polynomial-time hard, so we transform it into two sub-problems according to their temporal correlations, i.e., the real-time COMO problem and the Markov decision process-based TSCU problem. We first model the COMO problem as a multi-user game and propose a decentralized algorithm to address its Nash equilibrium solution. We then propose a double deep Q-network (DDQN)-based method to solve the TSCU policy. To reduce the computation complexity and convergence time, we provide a new design for the deep neural network (DNN) in DDQN, named state coding and action aggregation (SCAA). In SCAA-DNN, we introduce a dropout mechanism in the input layer to code users' activity states. Additionally, at the output layer, we devise a two-layer architecture to dynamically aggregate caching actions, which is able to solve the huge state-action space problem. Simulation results show that the proposed solution outperforms existing schemes, saving over 12% energy, and converges with fewer training episodes.


title: Some remarks on characterization of t-normed integrals on compacta

abstract: A characterization of t-normed integrals was obtained in \cite{CLM} for finite compacta and in \cite{Rad} for the general case. Such characterization establishes a correspondence between the space of capacities and homogeneous respect t-norm monotone normed functionals preserving the maximum operation of comonotone functions. In fact these theorems we can consider as non-additive and non-linear analogues of well-known Riesz Theorem about a correspondence between the set of $\sigma$-additive regular Borel measures and the set of linear positively defined functionals. We discuss optimality of such characterization.


title: Top quark mass and properties in ATLAS and CMS

abstract: For standard model (SM) processes involving top quarks, such as top quark-antiquark pair production or single top quark production, the theoretical predictions depend on fundamental parameters of the SM like the top quark mass. Using the large data sample collected at the CERN LHC in the second data-taking period by the ATLAS and CMS experiments, these parameters can be extracted in experimental measurements with high precision. Furthermore, properties of the production processes such as quark polarization or asymmetries can be measured. Exploiting the large luminosity of the data set, new kinematic regimes and methods are explored, as for events in which the top quarks have a very large transverse momentum. In these proceedings, recent measurements of SM parameters and top quark properties are presented. Individual results are also interpreted in terms of effective field theory extensions of the SM.


title: Some asymptotic results for the continued fraction expansions with odd partial quotients

abstract: We present and develop different approaches to study the asymptotic behavior of the distribution functions in the odd continued fractions case. Firstly, by considering the transition operator of the Markov chain associated with these expansions on a certain Banach space of complex-valued functions of bounded variation we make a brief survey of the solution in the Gauss-Kuzmin-type problem. Secondly, we use the method of Sz\"usz to obtain a similar asymptotic result and to give a good estimate of the convergence rate involved.


title: Cognitive Radio-Inspired Rate-Splitting Multiple Access for Semi-Grant-Free Transmissions

abstract: In this paper, we propose a cognitive radio-inspired rate-splitting multiple access (CR-RSMA) scheme to assist semi-grant-free (SGF) transmissions in which a grant-based user (GBU) and multiple grant-free users (GFUs) access the base-station (BS) by sharing the same resource block. Using the cognitive radio principle, the GBU and admitted GFU are treated as the primary and secondary users, respectively, and rate-splitting is applied at the admitted GFU to realize SGF transmissions. The admitted GFU's transmit power allocation, target rate allocation, and successive interference cancellation decoding order at the BS are jointly optimized to attain the maximum achievable rate for the admitted GFU without deteriorating the GBU's outage performance compared to orthogonal multiple access. Due to the extended non-outage zone, CR-RSMA-assised SGF (CR-RSMA-SGF) transmissions achieve a lower outage probability than SGF transmissions assisted by cognitive radio-inspired non-orthogonal multiple access. Exact expressions and asymptotic analysis for the admitted GFU's outage probability are derived to evaluate the system performance achieved by CR-RSMA-SGF transmissions. The superior outage performance and full multiuser diversity gain achieved by CR-RSMA-SGF transmissions are verified by the analytical and simulation results.


title: Cooperative guidance of multiple missiles: a hybrid co-evolutionary approach

abstract: Cooperative guidance of multiple missiles is a challenging task with rigorous constraints of time and space consensus, especially when attacking dynamic targets. In this paper, the cooperative guidance task is described as a distributed multi-objective cooperative optimization problem. To address the issues of non-stationarity and continuous control faced by cooperative guidance, the natural evolutionary strategy (NES) is improved along with an elitist adaptive learning technique to develop a novel natural co-evolutionary strategy (NCES). The gradients of original evolutionary strategy are rescaled to reduce the estimation bias caused by the interaction between the multiple missiles. Then, a hybrid co-evolutionary cooperative guidance law (HCCGL) is proposed by integrating the highly scalable co-evolutionary mechanism and the traditional guidance strategy. Finally, three simulations under different conditions demonstrate the effectiveness and superiority of this guidance law in solving cooperative guidance tasks with high accuracy. The proposed co-evolutionary approach has great prospects not only in cooperative guidance, but also in other application scenarios of multi-objective optimization, dynamic optimization and distributed control.


title: Trajectory Tracking Control of the Bionic Joint Actuated by Pneumatic Artificial Muscle Based on Robust Modeling

abstract: To simply and effectively realize the trajectory tracking control of a bionic joint actuated by a single pneumatic artificial muscle (PAM), a cascaded control strategy is proposed based on the robust modeling method. Firstly, the relationship between the input voltage of the proportional directional control valve and the inner driving pressure of PAM is expressed as a nonlinear model analytically. Secondly, the nonlinear relationship between the driving pressure input of PAM and the angular position output of the bionic joint is described as a second-order linear time-invariant model (LTI) accompanied by parametric perturbations, equivalently, and then the parameters of the model are identified by the robust modeling method. Then, a hybrid model is established based on the two models (the nonlinear model and the LTI model) and corresponding to it, a cascaded controller is developed, the outer loop of which is an H-infinite controller for the angular position tracking designed by loop-shaping design procedure (LSDP) and the inner loop is a nonlinear controller based on the feedback linearization theory for the PAM driving pressure control. Finally, the experiment is accomplished within the joint rotation range of 90 degrees and with the working frequency upper bound of 1.25 rad/s. And the joint with the developed cascaded controller tracks given reference trajectories with steady-state errors smaller than 2%. Results show that the trajectory tracking control of a highly nonlinear system is highly efficient using the proposed strategy in the case of relatively low work frequency.


title: Asset Allocation: From Markowitz to Deep Reinforcement Learning

abstract: Asset allocation is an investment strategy that aims to balance risk and reward by constantly redistributing the portfolio's assets according to certain goals, risk tolerance, and investment horizon. Unfortunately, there is no simple formula that can find the right allocation for every individual. As a result, investors may use different asset allocations' strategy to try to fulfil their financial objectives. In this work, we conduct an extensive benchmark study to determine the efficacy and reliability of a number of optimization techniques. In particular, we focus on traditional approaches based on Modern Portfolio Theory, and on machine-learning approaches based on deep reinforcement learning. We assess the model's performance under different market tendency, i.e., both bullish and bearish markets. For reproducibility, we provide the code implementation code in this repository.


title: A Hybrid Approach on Conditional GAN for Portfolio Analysis

abstract: Over the decades, the Markowitz framework has been used extensively in portfolio analysis though it puts too much emphasis on the analysis of the market uncertainty rather than on the trend prediction. While generative adversarial network (GAN), conditional GAN (CGAN), and autoencoding CGAN (ACGAN) have been explored to generate financial time series and extract features that can help portfolio analysis. The limitation of the CGAN or ACGAN framework stands in putting too much emphasis on generating series and finding the internal trends of the series rather than predicting the future trends. In this paper, we introduce a hybrid approach on conditional GAN based on deep generative models that learns the internal trend of historical data while modeling market uncertainty and future trends. We evaluate the model on several real-world datasets from both the US and Europe markets, and show that the proposed HybridCGAN and HybridACGAN models lead to better portfolio allocation compared to the existing Markowitz, CGAN, and ACGAN approaches.


title: Superconducting cavity piezo-electromechanics: the realization of an acoustic frequency comb at microwave frequencies

abstract: We present a nonlinear multimode superconducting electroacoustic system, where the interplay between superconducting kinetic inductance and piezoelectric strong coupling establishes an effective Kerr nonlinearity among multiple acoustic modes at 10 GHz that could hardly be achieved via intrinsic mechanical nonlinearity. By exciting this multimode Kerr system with a single microwave tone, we further demonstrate a coherent electroacoustic frequency comb and provide theoretical understanding of multimode nonlinear interaction in the superstrong coupling limit. This nonlinear superconducting electroacoustic system sheds light on the active control of multimode resonator systems and offers an enabling platform for the dynamic study of microcombs at microwave frequencies.


title: An Integrated, Phase-Controlled Power Divider for Metasurface Array Antennas

abstract: We present the design of a phased, modulated, power distribution network for metasurface array antennas. The specific metasurface array design comprises a series of waveguides, each feeding a sub-array of dynamically tunable metamaterial elements that radiate at microwave (X-band) frequencies. To remain a one-port device, the composite array requires a power divider that can excite each branch waveguide with equal power. Further, the power divider must also apply a prescribed phase shift to each branch waveguide to mitigate metasurface-specific grating lobes. The presented design features hollow metal waveguides, with a conducting sheet patterned with metamaterial irises serving as the upper wall. A single hollow metal main waveguide feed is used to couple power to each of the branch waveguide. Carefully oriented slots control both the magnitude and phase of the field distributed from the main feed to each branch. All waveguides can be machined from a single block of metal, with a metamaterial-patterned printed circuit board laminated to the top of the assembly. The resulting design is mechanically robust and capable of high power operation while retaining the low-cost, low-power consumption, lightweight, and low-profile features common in metasurface antenna designs.


title: Terrain-based vehicle localization using an active suspension system

abstract: This paper, for the first time, presents a terrain-based localization approach using sensor data from an active suspension system. The contribution is four-fold. First, it is shown that a location dependent road height profile can be created from sensor data of the active suspension system. Second, an algorithm is developed to extract a pitch profile from the road height profile data. The ideal pitch profile is vehicle-independent and only depends on the road. This pitch profile generated from an on-board computer is matched with a known terrain map to achieve real-time positioning. Third, a crowd-sourced map creation algorithm is developed to create and improve the terrain map that contains pitch profile. Fourth, experiments have been conducted to validate the accuracy and robustness of the proposed localization approach.


title: Before and after default: information and optimal portfolio via anticipating calculus

abstract: Default risk calculus plays a crucial role in portfolio optimization when the risky asset is under threat of bankruptcy. However, traditional stochastic control techniques are not applicable in this scenario, and additional assumptions are required to obtain the optimal solution in a before-and-after default context. We propose an alternative approach using forward integration, which allows to avoid one of the restrictive assumptions, the Jacod density hypothesis. We demonstrate that, in the case of logarithmic utility, the weaker intensity hypothesis is the appropriate condition for optimality. Furthermore, we establish the semimartingale decomposition of the risky asset in the filtration that is progressively enlarged to accommodate the default process, under the assumption of the existence of the optimal portfolio. This work aims to provide valueable insights for developing effective risk management strategies when facing default risk.


title: Nanomechanical Resonators: Toward Atomic Scale

abstract: The quest for realizing and manipulating ever smaller man-made movable structures and dynamical machines has spurred tremendous endeavors, led to important discoveries, and inspired researchers to venture to new grounds. Scientific feats and technological milestones of miniaturization of mechanical structures have been widely accomplished by advances in machining and sculpturing ever shrinking features out of bulk materials such as silicon. With the flourishing multidisciplinary field of low-dimensional nanomaterials, including one-dimensional (1D) nanowires/nanotubes, and two-dimensional (2D) atomic layers such as graphene/phosphorene, growing interests and sustained efforts have been devoted to creating mechanical devices toward the ultimate limit of miniaturization--genuinely down to the molecular or even atomic scale. These ultrasmall movable structures, particularly nanomechanical resonators that exploit the vibratory motion in these 1D and 2D nano-to-atomic-scale structures, offer exceptional device-level attributes, such as ultralow mass, ultrawide frequency tuning range, broad dynamic range, and ultralow power consumption, thus holding strong promises for both fundamental studies and engineering applications. In this Review, we offer a comprehensive overview and summary of this vibrant field, present the state-of-the-art devices and evaluate their specifications and performance, outline important achievements, and postulate future directions for studying these miniscule yet intriguing molecular-scale machines.


title: Deep Reinforcement Learning Approach for Trading Automation in The Stock Market

abstract: Deep Reinforcement Learning (DRL) algorithms can scale to previously intractable problems. The automation of profit generation in the stock market is possible using DRL, by combining the financial assets price "prediction" step and the "allocation" step of the portfolio in one unified process to produce fully autonomous systems capable of interacting with their environment to make optimal decisions through trial and error. This work represents a DRL model to generate profitable trades in the stock market, effectively overcoming the limitations of supervised learning approaches. We formulate the trading problem as a Partially Observed Markov Decision Process (POMDP) model, considering the constraints imposed by the stock market, such as liquidity and transaction costs. We then solve the formulated POMDP problem using the Twin Delayed Deep Deterministic Policy Gradient (TD3) algorithm reporting a 2.68 Sharpe Ratio on unseen data set (test data). From the point of view of stock market forecasting and the intelligent decision-making mechanism, this paper demonstrates the superiority of DRL in financial markets over other types of machine learning and proves its credibility and advantages of strategic decision-making.


title: Stock Performance Evaluation for Portfolio Design from Different Sectors of the Indian Stock Market

abstract: The stock market offers a platform where people buy and sell shares of publicly listed companies. Generally, stock prices are quite volatile; hence predicting them is a daunting task. There is still much research going to develop more accuracy in stock price prediction. Portfolio construction refers to the allocation of different sector stocks optimally to achieve a maximum return by taking a minimum risk. A good portfolio can help investors earn maximum profit by taking a minimum risk. Beginning with Dow Jones Theory a lot of advancement has happened in the area of building efficient portfolios. In this project, we have tried to predict the future value of a few stocks from six important sectors of the Indian economy and also built a portfolio. As part of the project, our team has conducted a study of the performance of various Time series, machine learning, and deep learning models in stock price prediction on selected stocks from the chosen six important sectors of the economy. As part of building an efficient portfolio, we have studied multiple portfolio optimization theories beginning with the Modern Portfolio theory. We have built a minimum variance portfolio and optimal risk portfolio for all the six chosen sectors by using the daily stock prices over the past five years as training data and have also conducted back testing to check the performance of the portfolio. We look forward to continuing our study in the area of stock price prediction and asset allocation and consider this project as the first stepping stone.


title: Where is VALDO? VAscular Lesions Detection and segmentatiOn challenge at MICCAI 2021

abstract: Imaging markers of cerebral small vessel disease provide valuable information on brain health, but their manual assessment is time-consuming and hampered by substantial intra- and interrater variability. Automated rating may benefit biomedical research, as well as clinical assessment, but diagnostic reliability of existing algorithms is unknown. Here, we present the results of the \textit{VAscular Lesions DetectiOn and Segmentation} (\textit{Where is VALDO?}) challenge that was run as a satellite event at the international conference on Medical Image Computing and Computer Aided Intervention (MICCAI) 2021. This challenge aimed to promote the development of methods for automated detection and segmentation of small and sparse imaging markers of cerebral small vessel disease, namely enlarged perivascular spaces (EPVS) (Task 1), cerebral microbleeds (Task 2) and lacunes of presumed vascular origin (Task 3) while leveraging weak and noisy labels. Overall, 12 teams participated in the challenge proposing solutions for one or more tasks (4 for Task 1 - EPVS, 9 for Task 2 - Microbleeds and 6 for Task 3 - Lacunes). Multi-cohort data was used in both training and evaluation. Results showed a large variability in performance both across teams and across tasks, with promising results notably for Task 1 - EPVS and Task 2 - Microbleeds and not practically useful results yet for Task 3 - Lacunes. It also highlighted the performance inconsistency across cases that may deter use at an individual level, while still proving useful at a population level.


title: AI for trading strategies

abstract: In this bachelor thesis, we show how four different machine learning methods (Long Short-Term Memory, Random Forest, Support Vector Machine Regression, and k-Nearest Neighbor) perform compared to already successfully applied trading strategies such as Cross Signal Trading and a conventional statistical time series model ARMA-GARCH. The aim is to show that machine learning methods perform better than conventional methods in the crude oil market when used correctly. A more detailed performance analysis was made, showing the performance of the different models in different market phases so that the robustness of individual models in high and low volatility phases could be examined more closely. For further investigation, these models would also have to be analyzed in other markets.


title: Genetic algorithms for the resource-constrained project scheduling problem in aircraft heavy maintenance

abstract: Due to complex sets of interrelated activities in aircraft heavy maintenance (AHM), many airlines have to deal with substantial aircraft maintenance downtime. The scheduling problem in AHM is regarded as an NP-hard problem. Using exact algorithms can be time-consuming or even infeasible. This article proposes genetic algorithms for solving the resource-constrained project scheduling problem (RCPSP) in AHM. The objective of the study was to minimise the makespan of the maintenance plan. The proposed algorithms applied five heuristic dispatching rules to generate an initial population based on activity list formation. Resource allocation methods for RCPSPearliest start time (EST) and workgroup and earliest start time (WEST)-were used to evaluate the fitness value. The elitist and roulette wheel methods were applied in the selection process. The sequences of the activity lists were then iteratively improved by crossover and mutation operations. The results show that the proposed algorithms perform efficiently compared to the existing solutions in terms of computational time and resource allocation.


title: Determinants, even instantons and Bridgeland stability

abstract: We provide a systematic way of calculating a quiver region associated to a given exceptional collection, which as an application is used to prove that $\mu$-stable sheaves represented by two-step complexes are Bridgeland stable. In the later sections, we focus on the case of even rank $2$ instantons over $\mathbb{P}^3$ and $Q_3$ to prove that the instanton sheaves, instanton bundles and perverse instantons are Bridgeland stable and provide a description of the moduli space near their only actual wall.


title: Emergent chiral symmetry in non-bipartite kagome and pyrochlore lattices with spin-orbit coupling

abstract: Chiral symmetry in energy bands appears as perfectly symmetric anti-bonding and bonding pairs of energy levels. It has only been observed in a few classes of models with a bipartite lattice structure or Bogoliubov-de-Gennes systems having the pairwise basis. We show that the non-bipartite kagome and pyrochlore lattices can host chiral symmetric bands when the strong spin-orbit coupling is introduced. There, the electrons hop to their neighbors by always converting the spin orientation up-side-down, which allows the up and down spin bases to form fictitious bipartite connections. The gauge invariant Wilson loop operator defined on a triangular unit serves as a marker to detect the presence of chiral symmetry, and using this property, the chiral operator is constructed. This allows us to access their topological symmetry classes that can easily change with small perturbations.


title: Stochastic modeling of a neutron imaging center at the Brazilian Multipurpose Reactor

abstract: Neutron imaging is a non-destructive technique for analyzing a wide class of samples, such as archaeological or industrial material structures. In recent decades, technological advances have had a great impact on the neutron imaging technique, which has meant an evolution from simple radiographs using films (2D) to modern tomography systems with digital processing (3D). The 5 MW research nuclear reactor IEA-R1, which is located at the Instituto de Pesquisas Energ\'eticas e Nucleares (IPEN) in Brazil, possesses a neutron imaging instrument with $1.0 \times 10^{6}$ $n/cm^{2}s$ in the sample position. IEA-R1 is over 60 years old and the future of neutron science in Brazil, including imaging, will be expanded to a new facility called the Brazilian Multipurpose Reactor (RMB, Portuguese acronym), which will be built soon. The new reactor will house a suite of instruments at the Neutron National Laboratory, including the neutron imaging facility, viz., Neinei. Inspired by recent author's works, we model the Neinei instrument through stochastic Monte Carlo simulations. We investigate the sensitivity of the neutron imaging technique parameter ($L/D$ ratio) with the neutron flux, and the results are compared to data from the Neutra (PSI), Antares (FRM II), BT2 (NIST) and DINGO (OPAL) instruments. The results are promising and provide avenues for future improvements.


title: Variance of primes in short residue classes for function fields

abstract: Keating and Rudnick derived asymptotic formulas for the variances of primes in arithmetic progressions and short intervals in the function field setting. Here we consider the hybrid problem of calculating the variance of primes in intersections of arithmetic progressions and short intervals. Keating and Rudnick used an involution to translate short intervals into arithmetic progressions. We follow their approach but apply this involution, in addition, to the arithmetic progressions. This creates dual arithmetic progressions in the case when the modulus $Q$ is a polynomial in $\mathbb{F}_q[T]$ such that $Q(0)\not=0$. The latter is a restriction which we keep throughout our paper. At the end, we discuss what is needed to relax this condition.


title: A Man-in-the-Middle Attack against Object Detection Systems

abstract: Object detection systems using deep learning models have become increasingly popular in robotics thanks to the rising power of CPUs and GPUs in embedded systems. However, these models are susceptible to adversarial attacks. While some attacks are limited by strict assumptions on access to the detection system, we propose a novel hardware attack inspired by Man-in-the-Middle attacks in cryptography. This attack generates an Universal Adversarial Perturbation (UAP) and then inject the perturbation between the USB camera and the detection system via a hardware attack. Besides, prior research is misled by an evaluation metric that measures the model accuracy rather than the attack performance. In combination with our proposed evaluation metrics, we significantly increases the strength of adversarial perturbations. These findings raise serious concerns for applications of deep learning models in safety-critical systems, such as autonomous driving.


title: Fourier methods for fractional-order operators

abstract: This is a survey on the use of Fourier transformation methods in the treatment of boundary problems for the fractional Laplacian $(-\Delta)^a$ (0<a<1), and pseudodifferential generalizations P, over a bounded open set $\Omega$ in $R^n$. The presentation starts at an elementary level. Two points are explained in detail: 1) How the factor $d^a$, with $d(x)=dist(x,d\Omega)$, comes into the picture, related to the fact that the precise solution spaces for the homogeneous Dirichlet problem are so-called a-transmission spaces. 2) The natural definition of a local nonhomogeneous Dirichlet condition $\gamma_0(u/d^{a-1})=\varphi$. We also give brief accounts of some further developments: Evolution problems (for $d_t u - r^+Pu = f(x,t)$) and resolvent problems (for $Pu-\lambda u=f$), also with nonzero boundary conditions. Integration by parts, Green's formula.


title: Current rectification by nanoparticles in bipolar nanopores

abstract: Bipolar nanochannels comprising two domains of positively and negatively charged walls along the pore axis are known to rectify current when exposed to an electric potential bias. We find that addition of charged nanoparticles can increase rectification considerably, by approximately one order of magnitude. Two bipolar channel geometries are considered here; their behavior is examined at rest and under the influence of a negative bias and a positive bias, respectively. We do so by relying on a molecular-level model of the electrolyte solution in the channels. The large increase in current rectification can be explained by the inherent electric field that charged nanoparticles generate within the channel. This effect is found to be largely dependent on the pore's geometry, its charge distribution, and the sign of the nanoparticles' charge, thereby offering new opportunities for design of engineered nanopore membrane-nanoparticle systems for energy storage.


title: Coherent terahertz radiation with 2.8-octave tunability through chip-scale photomixed microresonator optical parametric oscillation

abstract: High spectral purity frequency agile room temperature sources in the terahertz spectrum are foundational elements for imaging, sensing, metrology, and communications. Here we present a chip scale optical parametric oscillator based on an integrated nonlinear microresonator that provides broadly tunable single frequency and multi frequency oscillators in the terahertz regime. Through optical to terahertz down conversion using a plasmonic nanoantenna array, coherent terahertz radiation spanning 2.8 octaves is achieved from 330 GHz to 2.3 THz, with 20 GHz cavity mode limited frequency tuning step and 10 MHz intracavity mode continuous frequency tuning range at each step. By controlling the microresonator intracavity power and pump resonance detuning, tunable multi frequency terahertz oscillators are also realized. Furthermore, by stabilizing the microresonator pump power and wavelength, sub 100 Hz linewidth of the terahertz radiation with 10-15 residual frequency instability is demonstrated. The room temperature generation of both single frequency, frequency agile terahertz radiation and multi frequency terahertz oscillators in the chip scale platform offers unique capabilities in metrology, sensing, imaging and communications.


title: Computational Empathy Counteracts the Negative Effects of Anger on Creative Problem Solving

abstract: How does empathy influence creative problem solving? We introduce a computational empathy intervention based on context-specific affective mimicry and perspective taking by a virtual agent appearing in the form of a well-dressed polar bear. In an online experiment with 1,006 participants randomly assigned to an emotion elicitation intervention (with a control elicitation condition and anger elicitation condition) and a computational empathy intervention (with a control virtual agent and an empathic virtual agent), we examine how anger and empathy influence participants' performance in solving a word game based on Wordle. We find participants who are assigned to the anger elicitation condition perform significantly worse on multiple performance metrics than participants assigned to the control condition. However, we find the empathic virtual agent counteracts the drop in performance induced by the anger condition such that participants assigned to both the empathic virtual agent and the anger condition perform no differently than participants in the control elicitation condition and significantly better than participants assigned to the control virtual agent and the anger elicitation condition. While empathy reduces the negative effects of anger, we do not find evidence that the empathic virtual agent influences performance of participants who are assigned to the control elicitation condition. By introducing a framework for computational empathy interventions and conducting a two-by-two factorial design randomized experiment, we provide rigorous, empirical evidence that computational empathy can counteract the negative effects of anger on creative problem solving.


title: A Unified Catalog-level Reanalysis of Stage-III Cosmic Shear Surveys

abstract: Cosmological parameter constraints from recent galaxy imaging surveys are reaching $2-3\%$-level accuracy. The upcoming Legacy Survey of Space and Time (LSST) of the Vera C. Rubin Observatory will produce sub-percent level measurements of cosmological parameters, providing a milestone test of the $\Lambda$CDM model. To supply guidance to the upcoming LSST analysis, it is important to understand thoroughly the results from different recent galaxy imaging surveys and assess their consistencies. In this work we perform a unified catalog-level reanalysis of three cosmic shear datasets: the first year data from the Dark Energy Survey (DES-Y1), the 1,000 deg$^{2}$ dataset from the Kilo-Degree Survey (KiDS-1000), and the first year data from the Hyper Suprime-Cam Subaru Strategic Program (HSC-Y1). We utilize a pipeline developed and rigorously tested by the LSST Dark Energy Science Collaboration to perform the reanalysis and assess the robustness of the results to analysis choices. We find the $S_{8}$ constraint to be robust to two different small-scale modeling approaches, and varying choices of cosmological priors. Our unified analysis allows the consistency of the surveys to be rigorously tested and we find the three surveys to be statistically consistent. Due to the partially overlapping footprint, we model the cross-covariance between KiDS-1000 and HSC-Y1 approximately when combining all three datasets, resulting in a $1.6-1.9\%$ constraint on $S_8$ given different assumptions on the cross-covariance.


title: Smart Contract Synthesis Modulo Hyperproperties

abstract: Smart contracts are small but highly security-critical programs that implement wallets, token systems, auctions, crowd funding systems, elections, and other multi-party transactions on the blockchain. A broad range of methods has been developed to ensure that a smart contract is functionally correct. However, smart contracts often additionally need to satisfy certain hyperproperties, such as symmetry, determinism, or an information flow policy. In this paper, we show how a synthesis method for smart contracts can ensure that the contract satisfies its desired hyperproperties. We build on top of a recently developed synthesis approach from specifications in the temporal logic TSL. We present HyperTSL, an extension of TSL for the specification of hyperproperties of infinite-state software. As a preprocessing step, we show how to detect if a hyperproperty has an equivalent formulation as a (simpler) trace property. Finally, we describe how to refine a synthesized contract to adhere to its HyperTSL specification.


title: One-shot Generative Prior in Hankel-k-space for Parallel Imaging Reconstruction

abstract: Magnetic resonance imaging serves as an essential tool for clinical diagnosis. However, it suffers from a long acquisition time. The utilization of deep learning, especially the deep generative models, offers aggressive acceleration and better reconstruction in magnetic resonance imaging. Nevertheless, learning the data distribution as prior knowledge and reconstructing the image from limited data remains challenging. In this work, we propose a novel Hankel-k-space generative model (HKGM), which can generate samples from a training set of as little as one k-space data. At the prior learning stage, we first construct a large Hankel matrix from k-space data, then extract multiple structured k-space patches from the large Hankel matrix to capture the internal distribution among different patches. Extracting patches from a Hankel matrix enables the generative model to be learned from redundant and low-rank data space. At the iterative reconstruction stage, it is observed that the desired solution obeys the learned prior knowledge. The intermediate reconstruction solution is updated by taking it as the input of the generative model. The updated result is then alternatively operated by imposing low-rank penalty on its Hankel matrix and data consistency con-strain on the measurement data. Experimental results confirmed that the internal statistics of patches within a single k-space data carry enough information for learning a powerful generative model and provide state-of-the-art reconstruction.


title: Spectral analysis of 22 radio pulsars using SKA-Low precursor stations

abstract: We present the first observational study of pulsars performed with the second-generation precursor stations to the low-frequency component of the Square Kilometre Array (SKA-Low): the Aperture Array Verification System 2 (AAVS2) and the Engineering Development Array 2 (EDA2). Using the SKA-Low stations, we have observed 100 southern-sky pulsars between 70-350 MHz, including follow-up observations at multiple frequencies for a selected sample of bright pulsars. These observations have yielded detections of 22 pulsars, including the lowest-frequency detections ever published for 6 pulsars, despite the modest sensitivity of initial system where the recording bandwidth is limited to ~1 MHz. By comparing simultaneous flux density measurements obtained with the SKA-Low stations and performing rigorous electromagnetic simulations, we verify the accuracy of the SKA-Low sensitivity simulation code presented in Sokolowski et al. (2022). Furthermore, we perform model fits to the radio spectra of the detected pulsars using the method developed by Jankowski et al. (2018), including 9 pulsars which were not fitted in the original work. We robustly classify the spectra into 5 morphological classes and find that all but one pulsar exhibit deviations from simple power-law behaviour. These findings suggest that pulsars with well-determined spectra are more likely to show spectral flattening or turn-over than average. Our work demonstrates how SKA-Low stations can be meaningfully used for scientifically useful measurements and analysis of pulsar radio spectra, which are important inputs for informing pulsar surveys and science planned with the SKA-Low.


title: Envelopes for Algebraic Patterns

abstract: We generalize Lurie's construction of the symmetric monoidal envelope of an $\infty$-operad to the setting of algebraic patterns. This envelope becomes fully faithful when sliced over the envelope of the terminal object, and we characterize its essential image. Using this, we prove a comparison result that allows us to compare analogues of $\infty$-operads over various algebraic patterns. In particular, we show that the $G$-$\infty$-operads of Nardin-Shah are equivalent to "fibrous patterns" over the $(2, 1)$-category $\mathrm{Span}(\mathbb{F}_G)$ of spans of finite $G$-sets. When $G$ is trivial this means that Lurie's $\infty$-operads can equivalently be defined over $\mathrm{Span}(\mathbb{F})$ instead of $\mathbb{F}_*$.


title: Copper plasmonics with excitons

abstract: We investigate the propagation of surface plasmons (SPPs) in a thin layer of copper surrounded by copper oxide Cu$_2$O. It is shown that particularly strong excitons in Cu$_2$O can have considerable impact on plasmon propagation, providing many opportunities for plasmon-exciton and plasmon-plasmon interactions. It is demonstrated that by the use of sufficiently thin metal layer, one can excite the so-called long range plasmons (LRSPPs) which can overcome the inherently high ohmic losses of Cu as compared to usual plasmonic metals such as silver. Analytical results are confirmed by numerical calculations.


title: A Multi-Criteria Metaheuristic Algorithm for Distributed Optimization of Electric Energy Storage

abstract: The distributed schedule optimization of energy storage constitutes a challenge. Such algorithms often expect an input set containing all feasible schedules or respectively require to efficiently search the schedule space. It is hardly possible to accomplish this with energy storage due to its high flexibility. In this paper, the problem is introduced in detail and addressed by a metaheuristic algorithm, which generates a preselection of schedules. Three contributions are presented to achieve this goal: First, an extension for a distributed schedule optimization allowing a simultaneous optimization is developed. Second, an evolutionary algorithm is designed to generate optimized schedules. Third, the algorithm is extended to include an arbitrary local criterion. It is shown that the presented approach is suitable to schedule electric energy storage in real households and industries with different generator and storage types.


title: Domain wall networks from first-order phase transitions and gravitational waves

abstract: In the first-order phase transitions (PTs) colliding bubble is an important gravitational wave (GW) source. Following bubble collision, domain walls can be formed when degenerate vacua occur as a result of the breaking of a discrete symmetry relevant to new physics at electroweak or higher scales. Using lattice simulations, we study the dynamical evolution of domain walls and find that the networks of the domain wall are formed around the completion of PTs and the lifetime of the wall networks largely depends on whether or not the degeneracy of true vacua is broken. Our numerical results indicate that domain wall networks continue to produce GWs in the aftermath of PTs, leading to dramatically changing the spectral shape and enhancing the magnitude by about one order. The resulting GW power spectra are peaked at $kR_* \simeq \pi$, above the peak wavenumber it has a decaying power law close to $k^{-1.2}$ followed by a slowly decreasing plateau with the UV cutoff at $kR_* \sim \mathcal{O}(10^2)$


title: Min-max theory for free boundary G-invariant minimal hypersurfaces

abstract: Given a compact Riemannian manifold $M^{n+1}$ with dimension $3\leq n+1\leq 7$ and $\partial M\neq\emptyset$, the free boundary min-max theory built by Martin Man-Chun Li and Xin Zhou shows the existence of a smooth almost properly embedded minimal hypersurface with free boundary in $\partial M$. In this paper, we generalize their constructions into equivariant settings. Specifically, let $G$ be a compact Lie group acting as isometries on $M$ with cohomogeneity at least $3$. Then we show that there exists a nontrivial smooth almost properly embedded $G$-invariant minimal hypersurface with free boundary. Moreover, if the Ricci curvature of $M$ is non-negative and $\partial M$ is strictly convex, then there exist infinitely many properly embedded $G$-invariant minimal hypersurfaces with free boundary.


title: Principles of Locally Conformally Kahler Geometry

abstract: An LCK (locally conformally Kahler) manifold is a complex manifold admitting a Kahler covering with monodromy acting by homotheties. Hopf manifolds and their submanifolds are the prime examples. This book presents an introduction to the principles of LCK geometry (the first two parts) and its current situation (the last part). It is supposed to be accessible to master and graduate students of complex geometry. The book contains many exercises of different levels of difficulty. We finish it by a list of open questions.


title: DHSA: Efficient Doubly Homomorphic Secure Aggregation for Cross-silo Federated Learning

abstract: Secure aggregation is widely used in horizontal Federated Learning (FL), to prevent leakage of training data when model updates from data owners are aggregated. Secure aggregation protocols based on Homomorphic Encryption (HE) have been utilized in industrial cross-silo FL systems, one of the settings involved with privacy-sensitive organizations such as financial or medical, presenting more stringent requirements on privacy security. However, existing HE-based solutions have limitations in efficiency and security guarantees against colluding adversaries without a Trust Third Party. This paper proposes an efficient Doubly Homomorphic Secure Aggregation (DHSA) scheme for cross-silo FL, which utilizes multi-key Homomorphic Encryption (MKHE) and seed homomorphic pseudorandom generator (SHPRG) as cryptographic primitives. The application of MKHE provides strong security guarantees against up to $N-2$ participates colluding with the aggregator, with no TTP required. To mitigate the large computation and communication cost of MKHE, we leverage the homomorphic property of SHPRG to replace the majority of MKHE computation by computationally-friendly mask generation from SHPRG, while preserving the security. Overall, the resulting scheme satisfies the stringent security requirements of typical cross-silo FL scenarios, at the same time providing high computation and communication efficiency for practical usage. We experimentally demonstrate our scheme brings a speedup to 20$\times$ over the state-of-the-art HE-based secure aggregation, and reduces the traffic volume to approximately 1.5$\times$ inflation over the plain learning setting.


title: WiFi Based Distance Estimation Using Supervised Machine Learning

abstract: In recent years WiFi became the primary source of information to locate a person or device indoor. Collecting RSSI values as reference measurements with known positions, known as WiFi fingerprinting, is commonly used in various positioning methods and algorithms that appear in literature. However, measuring the spatial distance between given set of WiFi fingerprints is heavily affected by the selection of the signal distance function used to model signal space as geospatial distance. In this study, the authors proposed utilization of machine learning to improve the estimation of geospatial distance between fingerprints. This research examined data collected from 13 different open datasets to provide a broad representation aiming for general model that can be used in any indoor environment. The proposed novel approach extracted data features by examining a set of commonly used signal distance metrics via feature selection process that includes feature analysis and genetic algorithm. To demonstrate that the output of this research is venue independent, all models were tested on datasets previously excluded during the training and validation phase. Finally, various machine learning algorithms were compared using wide variety of evaluation metrics including ability to scale out the test bed to real world unsolicited datasets.


title: Information entropy of nuclear electromagnetic transitions in AdS/QCD

abstract: Electromagnetic transitions involving nucleons and their resonances are here presented in the fermionic sector of the AdS/QCD soft-wall model, using the differential configurational entropy (DCE) as a measure of information entropy. The DCE is employed to derive adjustable parameters that define the minimal and nonminimal couplings in the nuclear interaction with a gauge vector field, in the nucleonic $\gamma N \to N^*(1535)$ transition. The values obtained comply with phenomenological data with good accuracy.


title: Quantum circuits for solving local fermion-to-qubit mappings

abstract: Local Hamiltonians of fermionic systems on a lattice can be mapped onto local qubit Hamiltonians. Maintaining the locality of the operators comes at the expense of increasing the Hilbert space with auxiliary degrees of freedom. In order to retrieve the lower-dimensional physical Hilbert space that represents fermionic degrees of freedom, one must satisfy a set of constraints. In this work, we introduce quantum circuits that exactly satisfy these stringent constraints. We demonstrate how maintaining locality allows one to carry out a Trotterized time-evolution with constant circuit depth per time step. Our construction is particularly advantageous to simulate the time evolution operator of fermionic systems in d>1 dimensions. We also discuss how these families of circuits can be used as variational quantum states, focusing on two approaches: a first one based on general constant-fermion-number gates, and a second one based on the Hamiltonian variational ansatz where the eigenstates are represented by parametrized time-evolution operators. We apply our methods to the problem of finding the ground state and time-evolved states of the $t$-$V$ model.


title: ELEVANT: A Fully Automatic Fine-Grained Entity Linking Evaluation and Analysis Tool

abstract: We present Elevant, a tool for the fully automatic fine-grained evaluation of a set of entity linkers on a set of benchmarks. Elevant provides an automatic breakdown of the performance by various error categories and by entity type. Elevant also provides a rich and compact, yet very intuitive and self-explanatory visualization of the results of a linker on a benchmark in comparison to the ground truth. A live demo, the link to the complete code base on GitHub and a link to a demo video are provided under https://elevant.cs.uni-freiburg.de .


title: An Efficient and Reliable Asynchronous Federated Learning Scheme for Smart Public Transportation

abstract: Since the traffic conditions change over time, machine learning models that predict traffic flows must be updated continuously and efficiently in smart public transportation. Federated learning (FL) is a distributed machine learning scheme that allows buses to receive model updates without waiting for model training on the cloud. However, FL is vulnerable to poisoning or DDoS attacks since buses travel in public. Some work introduces blockchain to improve reliability, but the additional latency from the consensus process reduces the efficiency of FL. Asynchronous Federated Learning (AFL) is a scheme that reduces the latency of aggregation to improve efficiency, but the learning performance is unstable due to unreasonably weighted local models. To address the above challenges, this paper offers a blockchain-based asynchronous federated learning scheme with a dynamic scaling factor (DBAFL). Specifically, the novel committee-based consensus algorithm for blockchain improves reliability at the lowest possible cost of time. Meanwhile, the devised dynamic scaling factor allows AFL to assign reasonable weights to stale local models. Extensive experiments conducted on heterogeneous devices validate outperformed learning performance, efficiency, and reliability of DBAFL.


title: The connected components of affine Deligne--Lusztig varieties

abstract: We compute the connected components of arbitrary parahoric level affine Deligne--Lusztig varieties and local Shimura varieties, thus resolving the conjecture raised in \cite{He} in full generality (even for non-quasisplit groups). We achieve this by relating them to the connected components of infinite level moduli spaces of $p$-adic shtukas, where we use v-sheaf-theoretic techniques such as the specialization map of \textit{kimberlites}. Along the way, we give a $p$-adic Hodge-theoretic characterization of HN-irreducibility. As applications, we obtain many results on the geometry of integral models of Shimura varieties at arbitrary parahoric levels. In particular, we deduce new CM lifting results on integral models of Shimura varieties for quasi-split groups at arbitrary connected parahoric levels.


title: Determining HEDP Foams' Quality with Multi-View Deep Learning Classification

abstract: High energy density physics (HEDP) experiments commonly involve a dynamic wave-front propagating inside a low-density foam. This effect affects its density and hence, its transparency. A common problem in foam production is the creation of defective foams. Accurate information on their dimension and homogeneity is required to classify the foams' quality. Therefore, those parameters are being characterized using a 3D-measuring laser confocal microscope. For each foam, five images are taken: two 2D images representing the top and bottom surface foam planes and three images of side cross-sections from 3D scannings. An expert has to do the complicated, harsh, and exhausting work of manually classifying the foam's quality through the image set and only then determine whether the foam can be used in experiments or not. Currently, quality has two binary levels of normal vs. defective. At the same time, experts are commonly required to classify a sub-class of normal-defective, i.e., foams that are defective but might be sufficient for the needed experiment. This sub-class is problematic due to inconclusive judgment that is primarily intuitive. In this work, we present a novel state-of-the-art multi-view deep learning classification model that mimics the physicist's perspective by automatically determining the foams' quality classification and thus aids the expert. Our model achieved 86\% accuracy on upper and lower surface foam planes and 82\% on the entire set, suggesting interesting heuristics to the problem. A significant added value in this work is the ability to regress the foam quality instead of binary deduction and even explain the decision visually. The source code used in this work, as well as other relevant sources, are available at: https://github.com/Scientific-Computing-Lab-NRCN/Multi-View-Foams.git


title: Etherington duality breaking: gravitational lensing in non-metric spacetimes versus intrinsic alignments

abstract: The Etherington distance duality relation is well-established for metric theories of gravity, and confirms the duality between the luminosity distance and the angular diameter distance through the conservation of surface brightness. A violation of the Etherington distance duality due to lensing in a non-metric spacetime would lead to fluctuations in surface brightness of galaxies. Likewise, fluctuations of the surface brightness can arise in classical astrophysics as a consequence of intrinsic tidal interaction of galaxies with their environment. Therefore, we study these in two cases in detail: Firstly, for intrinsic size fluctuations and the resulting changes in surface brightness, and secondly, for an area-metric spacetime as an example of a non-metric spacetime where the distance duality relation itself acquires modifications. The aim of this work is to quantify whether a surface brightness fluctuation effect due to area-metric gravity would be resolvable compared to the similar effect caused by intrinsic alignment. We thus compare the auto- and cross-correlations of the angular spectra in these two cases and show that the fluctuations in intrinsic brightness can potentially be measured with a cumulative signal-to-noise ratio $\Sigma(\ell) \geq 3$ in a Euclid-like survey. The measurement in area-metric spacetimes, however, depends on the specific parameter choices, which also determine the shape and amplitude of the spectra. While lensing surveys do have sensitivity to lensing-induced surface brightness fluctuations in area-metric spacetimes, the measurement does not seem to be possible for natural values of the Etherington-breaking parameters.


title: A Mattila-Sj\"olin theorem for simplices in low dimensions

abstract: In this paper we show that if a compact set $E \subset \mathbb{R}^d$, $d \geq 3$, has Hausdorff dimension greater than $\frac{(4k-1)}{4k}d+\frac{1}{4}$ when $3 \leq d<\frac{k(k+3)}{(k-1)}$ or $d- \frac{1}{k-1}$ when $\frac{k(k+3)}{(k-1)} \leq d$, then the set of congruence class of simplices with vertices in $E$ has nonempty interior. By set of congruence class of simplices with vertices in $E$ we mean $$\Delta_{k}(E) = \left \{ \vec{t} = (t_{ij}) : |x_i-x_j|=t_{ij} ; \ x_i,x_j \in E ; \ 0\leq i < j \leq k \right \} \subset \mathbb{R}^{\frac{k(k+1)}{2}}$$ where $2 \leq k <d$. This result improves our previous work in the sense that we now can obtain a Hausdorff dimension threshold which allow us to guarantee that the set of congruence class of triangles formed by triples of points of $E$ has nonempty interior when $d=3$ as well as extending to all simplices. The present work can be thought of as an extension of the Mattila-Sj\"olin theorem which establishes a non-empty interior for the distance set instead of the set of congruence classes of simplices.


title: On the Complexity of Distance-$d$ Independent Set Reconfiguration

abstract: For a fixed positive integer $d \geq 2$, a distance-$d$ independent set (D$d$IS) of a graph is a vertex subset whose distance between any two members is at least $d$. Imagine that there is a token placed on each member of a D$d$IS. Two D$d$ISs are adjacent under Token Sliding ($\mathsf{TS}$) if one can be obtained from the other by moving a token from one vertex to one of its unoccupied adjacent vertices. Under Token Jumping ($\mathsf{TJ}$), the target vertex needs not to be adjacent to the original one. The Distance-$d$ Independent Set Reconfiguration (D$d$ISR) problem under $\mathsf{TS}/\mathsf{TJ}$ asks if there is a corresponding sequence of adjacent D$d$ISs that transforms one given D$d$IS into another. The problem for $d = 2$, also known as the Independent Set Reconfiguration problem, has been well-studied in the literature and its computational complexity on several graph classes has been known. In this paper, we study the computational complexity of D$d$ISR on different graphs under $\mathsf{TS}$ and $\mathsf{TJ}$ for any fixed $d \geq 3$. On chordal graphs, we show that D$d$ISR under $\mathsf{TJ}$ is in $\mathtt{P}$ when $d$ is even and $\mathtt{PSPACE}$-complete when $d$ is odd. On split graphs, there is an interesting complexity dichotomy: D$d$ISR is $\mathtt{PSPACE}$-complete for $d = 2$ but in $\mathtt{P}$ for $d=3$ under $\mathsf{TS}$, while under $\mathsf{TJ}$ it is in $\mathtt{P}$ for $d = 2$ but $\mathtt{PSPACE}$-complete for $d = 3$. Additionally, certain well-known hardness results for $d = 2$ on perfect graphs and planar graphs of maximum degree three and bounded bandwidth can be extended for $d \geq 3$.


title: Exact Separation Logic (Extended Version)

abstract: Over-approximating (OX) program logics, such as separation logic (SL), are used for verifying properties of heap-manipulating programs: all terminating behaviour is characterised, but established results and errors need not be reachable. OX function specifications are thus incompatible with true bug-finding supported by symbolic execution tools such as Pulse and Pulse-X. In contrast, under-approximating (UX) program logics, such as incorrectness separation logic, are used to find true results and bugs: established results and errors are reachable, but there is no mechanism for understanding if all terminating behaviour has been characterised. We introduce exact separation logic (ESL), which provides fully-verified function specifications compatible with both OX verification and UX true bug-funding: all terminating behaviour is characterised, and all established results and errors are reachable. We prove soundness for ESL with mutually recursive functions, demonstrating, for the first time, function compositionality for a UX logic. We show that UX program logics require subtle definitions of internal and external function specifications compared with the familiar definitions of OX logics. We investigate the expressivity of ESL and, for the first time, explore the role of abstraction in UX reasoning by verifying abstract ESL specifications of various data-structure algorithms. In doing so, we highlight the difference between abstraction (hiding information) and over-approximation (losing information). Our findings demonstrate that, expectedly, abstraction cannot be used as freely in UX logics as in OX logics, but also that it should be feasible to use ESL to provide tractable function specifications for self-contained, critical code, which would then be used for both verification and true bug-finding.


title: AMinerGNN: Heterogeneous Graph Neural Network for Paper Click-through Rate Prediction with Fusion Query

abstract: Paper recommendation with user-generated keyword is to suggest papers that simultaneously meet user's interests and are relevant to the input keyword. This is a recommendation task with two queries, a.k.a. user ID and keyword. However, existing methods focus on recommendation according to one query, a.k.a. user ID, and are not applicable to solving this problem. In this paper, we propose a novel click-through rate (CTR) prediction model with heterogeneous graph neural network, called AMinerGNN, to recommend papers with two queries. Specifically, AMinerGNN constructs a heterogeneous graph to project user, paper, and keyword into the same embedding space by graph representation learning. To process two queries, a novel query attentive fusion layer is designed to recognize their importances dynamically and then fuse them as one query to build a unified and end-to-end recommender system. Experimental results on our proposed dataset and online A/B tests prove the superiority of AMinerGNN.


title: Extraction of Pulmonary Airway in CT Scans Using Deep Fully Convolutional Networks

abstract: Accurate, automatic and complete extraction of pulmonary airway in medical images plays an important role in analyzing thoracic CT volumes such as lung cancer detection, chronic obstructive pulmonary disease (COPD), and bronchoscopic-assisted surgery navigation. However, this task remains challenges, due to the complex tree-like structure of the airways. In this technical report, we use two-stage fully convolutional networks (FCNs) to automatically segment pulmonary airway in thoracic CT scans from multi-sites. Specifically, we firstly adopt a 3D FCN with U-shape network architecture to segment pulmonary airway in a coarse resolution in order to accelerate medical image analysis pipeline. And then another one 3D FCN is trained to segment pulmonary airway in a fine resolution. In the 2022 MICCAI Multi-site Multi-domain Airway Tree Modeling (ATM) Challenge, the reported method was evaluated on the public training set of 300 cases and independent private validation set of 50 cases. The resulting Dice Similarity Coefficient (DSC) is 0.914 $\pm$ 0.040, False Negative Error (FNE) is 0.079 $\pm$ 0.042, and False Positive Error (FPE) is 0.090 $\pm$ 0.066 on independent private validation set.


title: A Semi-analytical Method of Calculating Nuclear Collision Trajectory in the QCD Phase Diagram

abstract: The finite nuclear thickness affects the energy density $\epsilon(t)$ and conserved-charge densities such as the net-baryon density $n_B(t)$ produced in heavy ion collisions. While the effect is small at high collision energies where the Bjorken energy density formula for the initial state is valid, the effect is large at low collision energies, where the nuclear crossing time is not small compared to the parton formation time. The temperature $T(t)$ and chemical potentials $\mu(t)$ of the dense matter can be extracted from the densities for a given equation of state (EOS). Therefore, including the nuclear thickness is essential for the determination of the $T$-$\mu_B$ trajectory in the QCD phase diagram for relativistic nuclear collisions at low to moderate energies such as the RHIC-BES energies. In this proceeding, we will first discuss our semi-analytical method that includes the nuclear thickness effect and its results on the densities $\epsilon(t), n_B(t), n_Q(t)$, and $n_S(t)$. Then, we will show the extracted $T(t), \mu_B(t), \mu_Q(t)$, and $\mu_S(t)$ for a quark-gluon plasma using the ideal gas EOS with quantum or Boltzmann statistics. Finally, we will show the results on the $T$-$\mu_B$ trajectories in relation to the possible location of the QCD critical end point. This semi-analytical model provides a convenient tool for exploring the trajectories of nuclear collisions in the QCD phase diagram.


title: USB: A Unified Semi-supervised Learning Benchmark for Classification

abstract: Semi-supervised learning (SSL) improves model generalization by leveraging massive unlabeled data to augment limited labeled samples. However, currently, popular SSL evaluation protocols are often constrained to computer vision (CV) tasks. In addition, previous work typically trains deep neural networks from scratch, which is time-consuming and environmentally unfriendly. To address the above issues, we construct a Unified SSL Benchmark (USB) for classification by selecting 15 diverse, challenging, and comprehensive tasks from CV, natural language processing (NLP), and audio processing (Audio), on which we systematically evaluate the dominant SSL methods, and also open-source a modular and extensible codebase for fair evaluation of these SSL methods. We further provide the pre-trained versions of the state-of-the-art neural models for CV tasks to make the cost affordable for further tuning. USB enables the evaluation of a single SSL algorithm on more tasks from multiple domains but with less cost. Specifically, on a single NVIDIA V100, only 39 GPU days are required to evaluate FixMatch on 15 tasks in USB while 335 GPU days (279 GPU days on 4 CV datasets except for ImageNet) are needed on 5 CV tasks with TorchSSL.


title: Full configuration interaction quantum Monte Carlo for coupled electron--boson systems and infinite spaces

abstract: We extend the scope of full configuration interaction quantum Monte Carlo (FCIQMC) to be applied to coupled fermion-boson hamiltonians, alleviating the a priori truncation in boson occupation which is necessary for many other wave function based approaches to be tractable. Detailing the required algorithmic changes for efficient excitation generation, we apply FCIQMC in two contrasting settings. The first is a sign-problem-free Hubbard--Holstein model of local electron-phonon interactions, where we show that with care to control for population bias via importance sampling and/or reweighting, the method can achieve unbiased energies extrapolated to the thermodynamic limit, without suffering additional computational overheads from relaxing boson occupation constraints. Secondly, we apply the method as a `solver' within a quantum embedding scheme which maps electronic systems to local electron-boson auxiliary models, with the bosons representing coupling to long-range plasmonic-like fluctuations. We are able to sample these general electron-boson hamiltonians with ease despite a formal sign problem, including a faithful reconstruction of converged reduced density matrices of the system.


title: Inclusive $J/\psi$ and $\Upsilon$ emissions from single-parton fragmentation in hybrid high-energy and collinear factorization

abstract: We present a novel study on the inclusive production of a heavy quarkonium ($J/\psi$ or $\Upsilon$), in association with a light-flavored jet, as a test field of the high-energy QCD dynamics. The large transverse momenta at which the two final-state objects are detected permits us to perform an analysis in the spirit of the variable-flavor number scheme (VFNS), in which the cross section for the hadroproduction of a light parton is convoluted with a perturbative fragmentation function that describes the transition from a light quark to a heavy hadron. The quarkonium collinear fragmentation function is built as a product between a short-distance coefficient function, which encodes the resummation of DGLAP type logarithms, and a non-perturbative long-distance matrix element (LDME), calculated in the non-relativistic QCD (NRQCD) framework. Our theoretical setup is the hybrid high-energy and collinear factorization, where the standard collinear approach is supplemented by the resummation of leading and next-to-leading energy-type logarithms \emph{\`a la} BFKL. We propose this reaction as a suitable channel to probe the production mechanisms of quarkonia at high energies and large transverse momenta and to possibly unveil the transition region from the heavy-quark pair production mechanism to the single-parton fragmentation one.


title: Entanglement enhancement in cavity magnomechanics by an optical parametric amplifier

abstract: We propose a method to enhance bipartite and tripartite entanglement in cavity magnomechanics using an optical parametric amplifier (OPA). We analyze this system and identified parametric regimes where different types of entanglement are enhanced. We show that a proper choice of the phase of the parametric amplifier leads to the enhancement of the bipartite entanglements. Moreover, the tripartite entanglement is also significantly enhanced in the presence of OPA. The OPA not only enhances the strength of entanglement but also increases the domain of entanglement over a wider space of detunings as compared to the system when no OPA is present. Similarly, the robustness of entanglement against temperature is also enhanced. Another important consequence of OPA is the fact that it relaxes the requirement of strong magnon-phonon coupling to generate cavity-magnon entanglement which is necessary for the case when OPA is not present. We believe that the presented scheme is a step forward to realize robust quantum entanglement using current technology.


title: Virtual Reality Assisted Human Perception in ADAS Development: a Munich 3D Model Study

abstract: As the development of autonomous driving (AD) and advanced driver assistance systems (ADAS) progresses, the relevance of the comfort of users is gaining increasing interest. It becomes significant to test and validate perceived comfort performance from the early phase of system development before driving on roads. Most of the present ADAS test procedures are not efficient in performing such comfort evaluation. One of the main challenges is to integrate high-quality, realistic and predictable virtual traffic scenarios into an ADAS testing framework that has physics-based sensors capable of sensing the virtual environment. In this paper, we present our development of a virtual reality based ADAS testing framework that enhances human perception evaluation. The main contribution relies on three aspects. First, we introduce our development of a large and high-quality (realism, structure, texture) 3D traffic model of the Munich city in Germany. Second, we optimize the 3D model for virtual reality purpose, and real-time capable for human-in-the-loop ADAS testing. Finally, the model is then integrated into an ADAS framework for testing and validating ADAS functionalities and perceived comfort performance. The developed framework components are presented with illustrative examples.


title: Noether Charge, Thermodynamics and Phase Transition of a Black Hole in the Schwarzschild-Anti-de Sitter-Beltrami spacetime

abstract: In this work, we investigate thermodynamic properties and Hawking-Page phase transition of a black hole in the Schwarzschil-Anti-de Sitter-Beltrami (SAdSB) spacetime. We discuss the Beltrami or inertial coordinates of the Anti-de Sitter(AdS) spacetime. Transformation between the non-inertial and inertial coordinates of the AdS spacetime is formulated to construct the solution of spherical gravitating mass and other physical quantities. The Killing vector is determined to calculate the event horizon radius of this black hole. The entropy and the temperature of SAdSB black hole are determined by the Noether charge method and it is shown that the temperature is bounded by the Anti-de Sitter radius. Similarly, the Smarr relation and first law of black hole thermodynamics for the SAdSB spacetime have been formulated. The Gibbs free energy and heat capacity of this black hole are calculated and we consider the phase transition between small and large black holes. The first-order phase transition between the thermal AdS spacetime and large black hole phase is also investigated and the Hawking-Page temperature is computed and compared with the case of the Schwarzschild-Anti-de Sitter(SAdS) black hole.


title: BeiDou-3 orbit and clock quality of the IGS Multi-GNSS Pilot Project

abstract: Within the Multi-GNSS Pilot Project (MGEX) of the International GNSS Service (IGS), precise orbit and clock products for the BeiDou-3 global navigation satellite system (BDS-3) are routinely generated by a total of five analysis centers. The processing standards and specific properties of the individual products are reviewed and the BDS-3 orbit and clock product performance is assessed through direct inter-comparison, satellite laser ranging (SLR) residuals, clock stability analysis, and precise point positioning solutions. The orbit consistency evaluated by the signal-in-space range error is on the level of 4-8 cm for the medium Earth orbit satellites whereas SLR residuals have RMS values between 3 and 9 cm. The clock analysis reveals sytematic effects related to the elevation of the Sun above the orbital plane for all ACs pointing to deficiencies in solar radiation pressure modeling. Nevertheless, precise point positioning with the BDS-3 MGEX orbit and clock products results in 3D RMS values between 7 and 8 mm.


title: RuDi: Explaining Behavior Sequence Models by Automatic Statistics Generation and Rule Distillation

abstract: Risk scoring systems have been widely deployed in many applications, which assign risk scores to users according to their behavior sequences. Though many deep learning methods with sophisticated designs have achieved promising results, the black-box nature hinders their applications due to fairness, explainability, and compliance consideration. Rule-based systems are considered reliable in these sensitive scenarios. However, building a rule system is labor-intensive. Experts need to find informative statistics from user behavior sequences, design rules based on statistics and assign weights to each rule. In this paper, we bridge the gap between effective but black-box models and transparent rule models. We propose a two-stage method, RuDi, that distills the knowledge of black-box teacher models into rule-based student models. We design a Monte Carlo tree search-based statistics generation method that can provide a set of informative statistics in the first stage. Then statistics are composed into logical rules with our proposed neural logical networks by mimicking the outputs of teacher models. We evaluate RuDi on three real-world public datasets and an industrial dataset to demonstrate its effectiveness.


title: Large spin Hall conductivity and excellent hydrogen evolution reaction activity in unconventional PtTe1.75 monolayer

abstract: Two-dimensional (2D) materials have gained lots of attention due to the potential applications. In this work, we propose that based on first-principles calculations, the (2$\times$2) patterned PtTe$_2$ monolayer with kagome lattice formed by the well-ordered Te vacancy (PtTe$_{1.75}$) hosts large spin Hall conductivity (SHC) and excellent hydrogen evolution reaction (HER) activity. The unconventional nature relies on the $A1@1b$ band representation (BR) of the highest valence band without SOC. The large SHC comes from the Rashba spin-orbit coupling (SOC) in the noncentrosymmetric structure induced by the Te vacancy. Even though it has a metallic SOC band structure, the $\mathbb Z_2$ invariant is well defined due to the existence of the direct band gap and is computed to be nontrivial. The calculated SHC is as large as 1.25$\times 10^3 \frac{\hbar}{e} (\Omega~cm)^{-1}$ at the Fermi level ($E_F$). By tuning the chemical potential from $E_F-0.3$ to $E_F+0.3$ eV, it varies rapidly and monotonically from $-1.2\times 10^3$ to 3.1$\times 10^3 \frac{\hbar}{e} (\Omega~cm)^{-1}$. In addition, we also find the Te vacancy in the patterned monolayer can induce excellent HER activity. Our results not only offer a new idea to search 2D materials with large SHC, i.e., by introducing inversion-symmetry breaking vacancies in large SOC systems, but also provide a feasible system with tunable SHC (by applying gate voltage) and excellent HER activity.


title: A blow-up method to prescribed mean curvature graphs with fixed boundaries

abstract: In this paper, we apply a blow-up method of Schoen and Yau in \cite{SY81} to study a large class of prescribed mean curvature (PMC) Dirichlet problems in $n(n\geq 2)$-dimensional Riemannian manifolds. In this process we establish curvature estimates for almost minimizing PMC hypersurfaces, using an approach of Schauder estimates from Simon \cite{Sim76}. We define an Nc-f domain, where $f$ is a given function generating from the PMC equation. Combining this condition with a sufficiently mean convex assumption the blow-up method yields corresponding solutions to these PMC Dirichlet problems. Such Nc-f assumption is almost optimal by an example. An application of our result into the PMC Plateau problem is also presented.


title: Improved Numerical Scheme for the Generalized Kuramoto Model

abstract: We present an improved and more accurate numerical scheme for a generalization of the Kuramoto model of coupled phase oscillators to the three-dimensional space. The present numerical scheme relies crucially on our observation that the generalized Kuramoto model corresponds to particles on the unit sphere undergoing rigid body rotations with position-dependent angular velocities. We demonstrate that our improved scheme is able to reproduce known analytic results and capture the expected behavior of the three-dimensional oscillators in various cases. On the other hand, we find that the conventional numerical method, which amounts to a direct numerical integration with the constraint that forces the particles to be on the unit sphere at each time step, may result in inaccurate and misleading behavior especially in the long time limit. We analyze in detail the origin of the discrepancy between the two methods and present the effectiveness of our method in studying the limit cycle of the Kuramoto oscillators.


title: The structure of subspaces in Orlicz spaces between $L^1$ and $L^2$

abstract: A subspace $H$ of a rearrangement invariant space $X$ on $[0,1]$ is strongly embedded in $X$ if, in $H$, convergence in $X$-norm is equivalent to convergence in measure. We obtain necessary and sufficient conditions on an Orlicz function $M$, under which the unit ball of an arbitrary strongly embedded subspace in the Orlicz space $L_M$ has equi-absolutely continuous norms in $L_M$.


title: Class-attention Video Transformer for Engagement Intensity Prediction

abstract: In order to deal with variant-length long videos, prior works extract multi-modal features and fuse them to predict students' engagement intensity. In this paper, we present a new end-to-end method Class Attention in Video Transformer (CavT), which involves a single vector to process class embedding and to uniformly perform end-to-end learning on variant-length long videos and fixed-length short videos. Furthermore, to address the lack of sufficient samples, we propose a binary-order representatives sampling method (BorS) to add multiple video sequences of each video to augment the training set. BorS+CavT not only achieves the state-of-the-art MSE (0.0495) on the EmotiW-EP dataset, but also obtains the state-of-the-art MSE (0.0377) on the DAiSEE dataset. The code and models have been made publicly available at https://github.com/mountainai/cavt.


title: Comparison of Forecasting Methods of House Electricity Consumption for Honda Smart Home

abstract: The electricity consumption of buildings composes a major part of the city's energy consumption. Electricity consumption forecasting enables the development of home energy management systems resulting in the future design of more sustainable houses and a decrease in total energy consumption. Energy performance in buildings is influenced by many factors like ambient temperature, humidity, and a variety of electrical devices. Therefore, multivariate prediction methods are preferred rather than univariate. The Honda Smart Home US data set was selected to compare three methods for minimizing forecasting errors, MAE and RMSE: Artificial Neural Networks, Support Vector Regression, and Fuzzy Rule-Based Systems for Regression by constructing many models for each method on a multivariate data set in different time terms. The comparison shows that SVR is a superior method over the alternatives.


title: SKYSURF-3: Testing Crowded Object Catalogs in the Hubble eXtreme Deep Field Mosaics to Study Sample Incompleteness from an Extragalactic Background Light Perspective

abstract: Extragalactic Background Light (EBL) studies have revealed a significant discrepancy between direct measurements -- via instruments measuring "bare" sky from which Zodiacal and Galactic light models are subtracted -- and measurements of the Integrated Galaxy Light (IGL). This discrepancy could lie in either method, whether it be an incomplete Zodiacal model or missed faint galaxies in the IGL calculations. It has been proposed that the discrepancy is due to deep galaxy surveys, such as those with the Hubble Space Telescope (HST), missing up to half of the faint galaxies with $24 \le m_{AB} \le 29$ mag. We address this possibility by simulating higher number densities of galaxies, and so assess incompleteness due to object overlap, with three replications of the Hubble UltraDeep Field (HUDF). SourceExtractor is used to compare the recovered counts and photometry to the original HUDF, allowing us to assess how many galaxies may have been missed due to confusion, i.e., due to blending with neighboring faint galaxies. This exercise reveals that, while up to 50% of faint galaxies with $28 \le m_{AB} \le 29$ mag were missed or blended with neighboring objects in certain filters, not enough were missed to account for the EBL discrepancy alone in any of the replications.


title: Assessing the Stability of Noisy Quantum Computation

abstract: Quantum computation has made considerable progress in the last decade with multiple emerging technologies providing proof-of-principle experimental demonstrations of such calculations. However, these experimental demonstrations of quantum computation face technical challenges due to the noise and errors that arise from imperfect implementation of the technology. Here, we frame the concepts of computational accuracy, result reproducibility, device reliability and program stability in the context of quantum computation. We provide intuitive definitions for these concepts in the context of quantum computation that lead to operationally meaningful bounds on program output. Our assessment highlights the continuing need for statistical analyses of quantum computing program to increase our confidence in the burgeoning field of quantum information science.