title: The Renormalization Scale Setting Problem in QCD [Ph.D. Thesis]

abstract: A key issue in making precise predictions in perturbative QCD is the uncertainty in setting the renormalization scale. If in principle, the entire perturbative series is void of this issue, in practice the perturbative corrections are known up to a certain order of accuracy and scale invariance is only approximated leading to the so-called scheme and scale ambiguities. According to the conventional scale setting (CSS) this problem cannot be avoided and the renormalization scale is set to the typical scale of a process $Q$, and errors are estimated by varying the scale over a range of two $[Q/2;2Q]$. This method is not void of ambiguities and leads to predictions affected by large theoretical errors. Other strategies for the optimization of the truncated expansion, such as the Principle of Minimal Sensitivity (PMS) and the Fastest Apparent Convergence (FAC) criterion, have the same difficulties of CSS and lead to incorrect and unphysical results. In general a scale-setting procedure is considered reliable if it preserves important self-consistency requirements such as all the renormalization group properties. Other requirements are suggested by known tested theories, by the convergence behavior of the series or by phenomenological results and scheme independence. All theoretical requirements for a reliable scale-setting procedure can be satisfied at once, leading to accurate results by using the Principle of Maximum Conformality (PMC). This method generalizes the Brodsky-Lepage-Mackenzie (BLM) method to all orders and to all observables and in the perspective of a theory unifying all interactions, such as the grand unified theory (GUT), the PMC offers the possibility to apply the same method in all sectors of a theory, starting from first principles, eliminating the renormalon growth, the scheme and scale ambiguities, and satisfying the QED Gell-Mann-Low scheme in the $N_c\to 0$ limit.


title: Finding and Optimizing Certified, Collision-Free Regions in Configuration Space for Robot Manipulators

abstract: Configuration space (C-space) has played a central role in collision-free motion planning, particularly for robot manipulators. While it is possible to check for collisions at a point using standard algorithms, to date no practical method exists for computing collision-free C-space regions with rigorous certificates due to the complexities of mapping task-space obstacles through the kinematics. In this work, we present the first to our knowledge method for generating such regions and certificates through convex optimization. Our method, called C-Iris (C-space Iterative Regional Inflation by Semidefinite programming), generates large, convex polytopes in a rational parametrization of the configuration space which are guaranteed to be collision-free. Such regions have been shown to be useful for both optimization-based and randomized motion planning. Our regions are generated by alternating between two convex optimization problems: (1) a simultaneous search for a maximal-volume ellipse inscribed in a given polytope and a certificate that the polytope is collision-free and (2) a maximal expansion of the polytope away from the ellipse which does not violate the certificate. The volume of the ellipse and size of the polytope are allowed to grow over several iterations while being collision-free by construction. Our method works in arbitrary dimensions, only makes assumptions about the convexity of the obstacles in the task space, and scales to realistic problems in manipulation. We demonstrate our algorithm's ability to fill a non-trivial amount of collision-free C-space in a 3-DOF example where the C-space can be visualized, as well as the scalability of our algorithm on a 7-DOF KUKA iiwa and a 12-DOF bimanual manipulator.


title: The Exact Exchange-Correlation Potential in Time-Dependent Density Functional Theory: Choreographing Electrons with Steps and Peaks

abstract: The time-dependent exchange-correlation potential has an unusual task in directing fictitious non-interacting electrons to move with exactly the same probability density as true interacting electrons. This has intriguing implications for its structure, especially in the non-perturbative regime, leading to step and peak features that cannot be captured by bootstrapping any ground-state functional approximations. We review what has been learned about these features in the exact exchange-correlation potential in time-dependent density functional theory in the past decade or so, and implications for the performance of simulations when electrons are driven far from any ground-state.


title: Towards a Progression-Aware Autonomous Dialogue Agent

abstract: Recent advances in large-scale language modeling and generation have enabled the creation of dialogue agents that exhibit human-like responses in a wide range of conversational scenarios spanning a diverse set of tasks, from general chit-chat to focused goal-oriented discourse. While these agents excel at generating high-quality responses that are relevant to prior context, they suffer from a lack of awareness of the overall direction in which the conversation is headed, and the likelihood of task success inherent therein. Thus, we propose a framework in which dialogue agents can evaluate the progression of a conversation toward or away from desired outcomes, and use this signal to inform planning for subsequent responses. Our framework is composed of three key elements: (1) the notion of a "global" dialogue state (GDS) space, (2) a task-specific progression function (PF) computed in terms of a conversation's trajectory through this space, and (3) a planning mechanism based on dialogue rollouts by which an agent may use progression signals to select its next response.


title: New spin-polarized electron source based on alkali-antimonide photocathode

abstract: New spin-dependent photoemission properties of alkali antimonide semiconductor cathodes are predicted based on the detected optical spin orientation effect and DFT band structure calculations. Using these results, the Na$_2$KSb/Cs$_3$Sb heterostructure is designed as a spin-polarized electron source in combination with the Al$_{0.11}$Ga$_{0.89}$As target as a spin-detector with spatial resolution. In the Na$_2$KSb/Cs$_3$Sb photocathode, spin-dependent photoemission properties were established through detection of high degree of photoluminescence polarization and high polarization of the photoemitted electrons. It was found that the multi-alkali photocathode can provide electron beams with emittance very close to the limits imposed by the electron thermal energy. The vacuum tablet-type sources of spin-polarized electrons have been proposed for accelerators, that can exclude the construction of the photocathode growth chambers for photoinjectors.


title: On a Constrained Pseudoinverse for the Electromagnetic Inverse Source Problem

abstract: Inverse source approaches have shown their relevance for several applications in the past years. They rely on the solution of an ill-posed problem where near-field/current data is reconstructed starting from far-field (or less informative field) information. Standard strategies, including the physically constrained ones using Love conditions, result in linear systems to be pseudoinverted which are still ill-conditioned due to the lack of information from the evanescent fields. In this work we present a generalized pseudoinverse for those problems that allows the inclusion of extra constraints from the evanescent field space, when available. This is obtained by dropping some of the standard Moore-Penrose (MP) requirements and using the resulting degrees of freedom to obtain a generalized pseudoinverse that shows favorable performance in several cases of practical interest.


title: AKI-BERT: a Pre-trained Clinical Language Model for Early Prediction of Acute Kidney Injury

abstract: Acute kidney injury (AKI) is a common clinical syndrome characterized by a sudden episode of kidney failure or kidney damage within a few hours or a few days. Accurate early prediction of AKI for patients in ICU who are more likely than others to have AKI can enable timely interventions, and reduce the complications of AKI. Much of the clinical information relevant to AKI is captured in clinical notes that are largely unstructured text and requires advanced natural language processing (NLP) for useful information extraction. On the other hand, pre-trained contextual language models such as Bidirectional Encoder Representations from Transformers (BERT) have improved performances for many NLP tasks in general domain recently. However, few have explored BERT on disease-specific medical domain tasks such as AKI early prediction. In this paper, we try to apply BERT to specific diseases and present an AKI domain-specific pre-trained language model based on BERT (AKI-BERT) that could be used to mine the clinical notes for early prediction of AKI. AKI-BERT is a BERT model pre-trained on the clinical notes of patients having risks for AKI. Our experiments on Medical Information Mart for Intensive Care III (MIMIC-III) dataset demonstrate that AKI-BERT can yield performance improvements for early AKI prediction, thus expanding the utility of the BERT model from general clinical domain to disease-specific domain.


title: The cavity method to protein design problem

abstract: In this study, we propose an analytic statistical mechanics approach to solve a fundamental problem in biological physics called protein design. Protein design is an inverse problem of protein structure prediction, and its solution is the amino acid sequence that best stabilizes a given conformation. Despite recent rapid progress in protein design using deep learning, the challenge of exploring protein design principles remains. Contrary to previous computational physics studies, we used the cavity method, an extension of the mean-field approximation that becomes rigorous when the interaction network is a tree. We found that for small two-dimensional (2D) lattice hydrophobic-polar (HP) protein models, the design by the cavity method yields results almost equivalent to those from the Markov chain Monte Carlo method with lower computational cost.


title: Extensions and variations of Andrews-Merca identities

abstract: Recently, Andrews and Merca have given a new combinatorial interpretation of the total number of even parts in all partitions of n into distinct parts. We generalise this result and consider many more variations of their work. We also highlight some connections with the work of Fu and Tang.


title: Embedding of Higson compactification into the product of adelic solenoids

abstract: The Higson compactification of any simply connected proper geodesic metric space admits an embedding into a product of adelic solenoids that induces an isomorphism of 1-dimensional cohomology.


title: Dynamic Matching Bandit For Two-Sided Online Markets

abstract: Two-sided online matching platforms are employed in various markets. However, agents' preferences in the current market are usually implicit and unknown, thus needing to be learned from data. With the growing availability of dynamic side information involved in the decision process, modern online matching methodology demands the capability to track shifting preferences for agents based on contextual information. This motivates us to propose a novel framework for this dynamic online matching problem with contextual information, which allows for dynamic preferences in matching decisions. Existing works focus on online matching with static preferences, but this is insufficient: the two-sided preference changes as soon as one side's contextual information updates, resulting in non-static matching. In this paper, we propose a dynamic matching bandit algorithm to adapt to this problem. The key component of the proposed dynamic matching algorithm is an online estimation of the preference ranking with a statistical guarantee. Theoretically, we show that the proposed dynamic matching algorithm delivers an agent-optimal stable matching result with high probability. In particular, we prove a logarithmic regret upper bound $\mathcal{O}(\log(T))$ and construct a corresponding instance-dependent matching regret lower bound. In the experiments, we demonstrate that dynamic matching algorithm is robust to various preference schemes, dimensions of contexts, reward noise levels, and context variation levels, and its application to a job-seeking market further demonstrates the practical usage of the proposed method.


title: New results and open questions for SIR-PH epidemic models with linear birth rate, loss of immunity, vaccination, and disease and vaccination fatalities

abstract: Our paper presents three new classes of models: SIR-PH, SIR-PH-FA, and SIR-PH-IA, and states two problems we would like to solve about them. Recall that deterministic mathematical epidemiology has one basic general law, the R0 alternative" of [52, 51], which states that the local stability condition of the disease free equilibrium may be expressed as R0 < 1, where R0 is the famous basic reproduction number, which plays also a major role in the theory of branching processes. The literature suggests that it is impossible to find general laws concerning the endemic points. However, it is quite common that 1. When R0 > 1, there exists a unique fixed endemic point, and 2. the endemic point is locally stable when R0 > 1. One would like to establish these properties for a large class of realistic epidemic models (and we do not include here epidemics without casualties). We have introduced in [7, 5] a "simple", but broad class of "SIR-PH models" with varying population, with the express purpose of establishing for these processes the two properties above. Since that seemed still hard, we have introduced a further class of "SIR-PH-FA" models, which may be interpreted as approximations for the SIR-PH models, and which includes simpler models typically studied in the literature (with constant population, without loss of immunity, etc). The goal of our paper is to draw attention to the two open problems above, for the SIR-PH, SIR-PH-FA, and also for a second, more refined "intermediate approximation" SIR-PH-IA. We illustrate the current status-quo by presenting new results on a generalization of the SAIRS epidemic model of [44, 40].


title: A high-order predictor-corrector method for initial value problems with fractional derivative involving Mittag-Leffler kernel: epidemic model case study

abstract: In this paper, we propose a numerical scheme of the predictor-corrector type for solving nonlinear fractional initial value problems, the chosen fractional derivative is called the Atangana-Baleanu derivative defined in Caputo sense (ABC). This proposed method is based on Lagrangian quadratic polynomials to approximate the nonlinearity implied in the Volterra integral which is obtained by reducing the given fractional differential equation via the properties of the ABC-fractional derivative. Through this technique, we get corrector formula with high accuracy which is implicit as well as predictor formula which is explicit and has the same precision order as the corrective formula. On the other hand, the so-called memory term is computed only once for both prediction and correction phases, which indicates the low cost of the proposed method. Also, the error bound of the proposed numerical scheme is offered. Furthermore, numerical experiments are presented in order to assess the accuracy of the new method on two differential equations. Moreover, a case study is considered where the proposed predictor-corrector scheme is used to obtained approximate solutions of ABC-fractional generalized SI (susceptible-infectious) epidemic model for the purpose of analyzing dynamics of the suggested system as well as demonstrating the effectiveness of the new method to solve systems dealing with real-world problems.


title: Keratoconus Classifier for Smartphone-based Corneal Topographer

abstract: Keratoconus is a severe eye disease that leads to deformation of the cornea. It impacts people aged 10-25 years and is the leading cause of blindness in that demography. Corneal topography is the gold standard for keratoconus diagnosis. It is a non-invasive process performed using expensive and bulky medical devices called corneal topographers. This makes it inaccessible to large populations, especially in the Global South. Low-cost smartphone-based corneal topographers, such as SmartKC, have been proposed to make keratoconus diagnosis accessible. Similar to medical-grade topographers, SmartKC outputs curvature heatmaps and quantitative metrics that need to be evaluated by doctors for keratoconus diagnosis. An automatic scheme for evaluation of these heatmaps and quantitative values can play a crucial role in screening keratoconus in areas where doctors are not available. In this work, we propose a dual-head convolutional neural network (CNN) for classifying keratoconus on the heatmaps generated by SmartKC. Since SmartKC is a new device and only had a small dataset (114 samples), we developed a 2-stage transfer learning strategy -- using historical data collected from a medical-grade topographer and a subset of SmartKC data -- to satisfactorily train our network. This, combined with our domain-specific data augmentations, achieved a sensitivity of 91.3% and a specificity of 94.2%.


title: Training from Zero: Radio Frequency Machine Learning Data Quantity Forecasting

abstract: The data used during training in any given application space is directly tied to the performance of the system once deployed. While there are many other factors that go into producing high performance models within machine learning, there is no doubt that the data used to train a system provides the foundation from which to build. One of the underlying rule of thumb heuristics used within the machine learning space is that more data leads to better models, but there is no easy answer for the question, "How much data is needed?" This work examines a modulation classification problem in the Radio Frequency domain space, attempting to answer the question of how much training data is required to achieve a desired level of performance, but the procedure readily applies to classification problems across modalities. The ultimate goal is determining an approach that requires the least amount of data collection to better inform a more thorough collection effort to achieve the desired performance metric. While this approach will require an initial dataset that is germane to the problem space to act as a \textit{target} dataset on which metrics are extracted, the goal is to allow for the initial data to be orders of magnitude smaller than what is required for delivering a system that achieves the desired performance. An additional benefit of the techniques presented here is that the quality of different datasets can be numerically evaluated and tied together with the quantity of data, and ultimately, the performance of the architecture in the problem domain.


title: Gravitational waveforms from the inspiral of compact binaries in the Brans-Dicke theory in an expanding Universe

abstract: In modified gravity theories, such as the Brans-Dicke theory, the background evolution of the Universe and the perturbation around it are different from that in general relativity. Therefore, the gravitational waveforms used to study standard sirens in these theories should be modified. The modifications of the waveforms can be classified into two categories: wave generation effects and wave propagation effects. Hitherto, the waveforms used to study standard sirens in the modified gravity theories incorporate only the wave propagation effects and ignore the wave generation effects; while the waveforms focusing on the wave generation effects, such as the post-Newtonian waveforms, do not incorporate the wave propagation effects and cannot be directly applied to the sources with non-negligible redshifts in the study of standard sirens. In this work, we construct the consistent waveforms for standard sirens in the Brans-Dicke theory. The wave generation effects include the emission of the scalar breathing polarization $h_b$ and the corrections to the tensor polarizations $h_+$ and $h_\times$; the wave propagation effect is the modification of the luminosity distance for the gravitational waveforms. Using the consistent waveforms, we analyze the parameter estimation biases due to the ignorance of the wave generation effects. Considering the observations by the Einstein Telescope, we find that the ratio of the theoretical bias to the statistical error of the redshifted chirp mass is two orders of magnitude larger than that of the source distance. For black hole-neutron star binary systems like GW191219, the theoretical bias of the redshifted chirp mass can be several times larger than the statistical error.


title: Critical Peeling of Tethered Nanoribbons

abstract: The peeling of an immobile adsorbed membrane is a well known problem in engineering and macroscopic tribology. In the classic setup, picking up at one extreme and pulling off results in a peeling force that is a decreasing function of the pickup angle. As one end is lifted, the detachment front retracts to meet the immobile tail. At the nanoscale, interesting situations arise with the peeling of graphene nanoribbons (GNRs) on gold, as realized, e.g., by atomic force microscopy. The nanosized system shows a constant-force steady peeling regime, where the tip lifting h produces no retraction of the ribbon detachment point, and just an advancement h of the free tail end. This is opposite to the classic case, where the detachment point retracts and the tail end stands still. Here we characterise, by analytical modeling and numerical simulations, a third, experimentally relevant, setup where the nanoribbon, albeit structurally lubric, does not have a freely moving tail end, which is instead elastically tethered. Surprisingly, novel nontrivial scaling exponents appear that regulate the peeling evolution. As the detachment front retracts and the tethered tail is stretched, power laws of h characterize the shrinking of the adhered length the growth of peeling force and the peeling angle. These exponents precede the final total detachment as a critical point, where the entire ribbon eventually hangs suspended between the tip and tethering spring. These analytical predictions are confirmed by realistic MD simulations, retaining the full atomistic description, also confirming their survival at finite experimental temperatures.


title: Estimating Dynamic Games with Unknown Information Structure

abstract: This paper studies identification and estimation of dynamic games when the underlying information structure is unknown to the researcher. To tractably characterize the set of model predictions while maintaining weak assumptions on players' information, we introduce Markov correlated equilibrium, a dynamic analog of Bayes correlated equilibrium. The set of Markov correlated equilibrium predictions coincides with the set of Markov perfect equilibrium predictions that can arise when the players might observe more signals than assumed by the analyst. We characterize the sharp identified sets under varying assumptions on what the players minimally observe. We also propose computational strategies for dealing with the non-convexities that arise in dynamic environments.


title: Slicing of Probabilistic Programs based on Specifications

abstract: This paper presents the first slicing approach for probabilistic programs based on specifications. We show that when probabilistic programs are accompanied by their specifications in the form of pre- and post-condition, we can exploit this semantic information to produce specification-preserving slices strictly more precise than slices yielded by conventional techniques based on data/control dependency. To achieve this goal, our technique is based on the backward propagation of post-conditions via the greatest pre-expectation transformer -- the probabilistic counterpart of Dijkstra weakest pre-condition transformer. The technique is termination-sensitive, allowing to preserve the partial as well as the total correctness of probabilistic programs w.r.t. their specifications. It is modular, featuring a local reasoning principle, and is formally proved correct. As fundamental technical ingredients of our technique, we design and prove sound verification condition generators for establishing the partial and total correctness of probabilistic programs, which are of interest on their own and can be exploited elsewhere for other purposes. On the practical side, we demonstrate the applicability of our approach by means of a few illustrative examples and a case study from the probabilistic modelling field. We also describe an algorithm for computing least slices among the space of slices derived by our technique.


title: Description of collective magnetization processes with machine learning models

abstract: This work introduces a latent space method to calculate the demagnetization reversal process of multigrain permanent magnets. The algorithm consists of two deep learning models based on neural networks. The embedded Stoner-Wohlfarth method is used as a reduced order model for computing samples to train and test the machine learning approach. The work is a proof of concept of the method since the used microstructures are simple and the only varying parameters are the magnetic anisotropy axes of the hard magnetic grains. A convolutional autoencoder is used for nonlinear dimensionality reduction, in order to reduce the required amount of training samples for predicting the hysteresis loops. We enriched the loss function with physical information about the underlying problem which increases the accuracy of the machine learning approach. A deep learning regressor is operating in the latent space of the autoencoder. The predictor takes a series of previously encoded magnetization states and outputs the next magnetization state along the hysteresis curve. To predict the complete demagnetization loop, we apply a recursive learning scheme.


title: Max-min Rate Deployment Optimization for Backhaul-limited Robotic Aerial 6G Small Cells

abstract: To overcome the limited on-board battery issue of nominal airborne base stations (ABSs), we are exploring the use of robotic airborne base station (RABS) with energy neutral grasping end-effectors that are able to autonomously perch at tall urban landforms. Specifically, this paper studies a heterogeneous network (HetNet) assisted by a movable RABS as a small cell which connects to a macro base station (MBS) through a limited-capacity wireless backhaul link, which can be deemed as another major challenge. To exploit the potential gains that the mobility of RABS can bring in the system, the minimum rate among all users is maximized by jointly optimizing the RABS deployment, user association and subcarrier allocation. This problem is initially formulated as a binary polynomial optimization (BPO) problem. After reformulating it as a nonconvex quadratically constrained quadratic programming (QCQP), we propose a semidefinite relaxation (SDR) based heuristic method to capture a high-quality solution in polynomial time. Numerical results reveal that deploying a RABS as the small cell can improve the minimum data rate by 95.43% at most and 33.97% on average, and the developed SDR heuristic algorithm significantly outperforms the linear relaxation (LR) baseline method.


title: Almost 3-Approximate Correlation Clustering in Constant Rounds

abstract: We study parallel algorithms for correlation clustering. Each pair among $n$ objects is labeled as either "similar" or "dissimilar". The goal is to partition the objects into arbitrarily many clusters while minimizing the number of disagreements with the labels. Our main result is an algorithm that for any $\epsilon > 0$ obtains a $(3+\epsilon)$-approximation in $O(1/\epsilon)$ rounds (of models such as massively parallel computation, local, and semi-streaming). This is a culminating point for the rich literature on parallel correlation clustering. On the one hand, the approximation (almost) matches a natural barrier of 3 for combinatorial algorithms. On the other hand, the algorithm's round-complexity is essentially constant. To achieve this result, we introduce a simple $O(1/\epsilon)$-round parallel algorithm. Our main result is to provide an analysis of this algorithm, showing that it achieves a $(3+\epsilon)$-approximation. Our analysis draws on new connections to sublinear-time algorithms. Specifically, it builds on the work of Yoshida, Yamamoto, and Ito [STOC'09] on bounding the "query complexity" of greedy maximal independent set. To our knowledge, this is the first application of this method in analyzing the approximation ratio of any algorithm.


title: Broadband Coherent Multidimensional Variational Measurement

abstract: Standard Quantum Limit (SQL) of a classical mechanical force detection results from quantum back action perturbing evolution of a mechanical system. In this paper we show that usage of a multidimensional optical transducer may enable a broadband quantum back action evading measurement. We study a corresponding technique for measurement of a resonant signal force acting on a linear mechanical oscillator coupled to an optical system with three optical modes with separation nearly equal to the mechanical frequency. The measurement is performed by optical pumping of the central optical mode and measuring the light escaping the two other modes. By detecting optimal quadrature components of the optical modes and post-processing the measurement results we are able to exclude the back action in a broad frequency band and characterize the force with sensitivity better than SQL. We discuss how proposed scheme relates to multidimensional system containing quantum-mechanics-free subsystems (QMFS) which can evade the SQL using idea of so called "negative mass".


title: Accuracy Convergent Field Predictors

abstract: Several predictive algorithms are described. Highlighted are variants that make predictions by superposing fields associated to the training data instances. They operate seamlessly with categorical, continuous, and mixed data. Predictive accuracy convergence is also discussed as a criteria for evaluating predictive algorithms. Methods are described on how to adapt algorithms in order to make them achieve predictive accuracy convergence.


title: Three-dimensional weak gravitational lensing of the 21-cm radiation background

abstract: We study weak gravitational lensing by the cosmic large-scale structure of the 21-cm radiation background in the 3d-weak lensing formalism. The interplay between source distance measured at finite resolution, visibility and lensing terms is analysed in detail and the resulting total covariance $C_{\ell}(k,k')$ is derived. The effect of lensing correlates different multipoles through convolution, breaking the statistical homogeneity of the 21-cm radiation background. This homogeneity breaking can be exploited to reconstruct the lensing field $\hat{\phi}_{\ell m}(\kappa)$ and noise lensing reconstruction $N_{\ell}^{\hat{\phi}}$ by means of quadratic estimators. The effects related to the actual measurement process (redshift precision and visibility terms) change drastically the values of the off-diagonal terms of the total covariance $C_{\ell}(k,k')$. It is expected that the detection of lensing effects on a 21-cm radiation background will require sensitive studies and high-resolution observations by future low-frequency radio arrays such as the SKA survey.


title: Phase transition of photons and gravitons in a Casimir box

abstract: A first order phase transition for photons and gravitons in a Casimir box is studied analytically from first principles with a detailed understanding of symmetry breaking due to the boundary conditions. It is closely related to Bose-Einstein condensation and accompanied by a quantum phase transition whose control parameter is the chemical potential for optical helicity.


title: Forced microrheology of active colloids

abstract: Particle-tracking microrheology of dilute active (self-propelled) colloidal suspensions is studied by considering the external force required to maintain the steady motion of an immersed constant-velocity colloidal probe. If the probe speed is zero, the suspension microstructure is isotropic but exhibits a boundary accumulation of active bath particles at contact due to their self-propulsion. As the probe moves through the suspension, the microstructure is distorted from the nonequilibrium isotropic state, which allows us to define a microviscosity for the suspension using the Stokes drag law. For a slow probe, we show that active suspensions exhibit a swim-thinning behavior in which their microviscosity is gradually lowered from that of passive suspensions as the swim speed increases. When the probe speed is fast, the suspension activity is obscured by the rapid advection of the probe and the measured microviscosity is indistinguishable from that of passive suspensions. Generally for finite activity, the suspension exhibits a velocity-thinning behavior -- though with a zero-velocity plateau lower than passive suspensions -- as a function of the probe speed. These behaviors originate from the interplay between the suspension activity and the hard-sphere excluded-volume interaction between the probe and a bath particle.


title: A Review on Viewpoints and Path-planning for UAV-based 3D Reconstruction

abstract: Unmanned aerial vehicles (UAVs) are widely used platforms to carry data capturing sensors for various applications. The reason for this success can be found in many aspects: the high maneuverability of the UAVs, the capability of performing autonomous data acquisition, flying at different heights, and the possibility to reach almost any vantage point. The selection of appropriate viewpoints and planning the optimum trajectories of UAVs is an emerging topic that aims at increasing the automation, efficiency and reliability of the data capturing process to achieve a dataset with desired quality. On the other hand, 3D reconstruction using the data captured by UAVs is also attracting attention in research and industry. This review paper investigates a wide range of model-free and model-based algorithms for viewpoint and path planning for 3D reconstruction of large-scale objects. The analyzed approaches are limited to those that employ a single-UAV as a data capturing platform for outdoor 3D reconstruction purposes. In addition to discussing the evaluation strategies, this paper also highlights the innovations and limitations of the investigated approaches. It concludes with a critical analysis of the existing challenges and future research perspectives.


title: Polarizability, plasmons, and screening in 1T${^\prime}$-MoS$_2$ with tilted Dirac bands

abstract: In the presence of an external vertical electric field and strain, it is evident that 1T${^\prime}$-MoS$_2$ exhibits tilted Dirac bands which are valley-spin-polarized. Additionally, this material experiences a topological phase change between a topological insulator and band insulator for a critical value of the electric field. Using linear response theory, we calculated the polarization function which is in turn employed to obtain the dielectric function. This latter quantity is subsequently utilized in calculations to determine the plasmons dispersion relation, their decay rate and impurity screening corresponding to various levels of doping, the critical applied vertical electric field strengths and the spin-orbit coupling gap in 1T${^\prime}$-MoS$_2$ with tilted Dirac bands.


title: Computing solution space properties of combinatorial optimization problems via generic tensor networks

abstract: We introduce a unified framework to compute the solution space properties of a broad class of combinatorial optimization problems. These properties include finding one of the optimum solutions, counting the number of solutions of a given size, and enumeration and sampling of solutions of a given size. Using the independent set problem as an example, we show how all these solution space properties can be computed in the unified approach of generic tensor networks. We demonstrate the versatility of this computational tool by applying it to several examples, including computing the entropy constant for hardcore lattice gases, studying the overlap gap properties, and analyzing the performance of quantum and classical algorithms for finding maximum independent sets.


title: Odor Descriptor Understanding through Prompting

abstract: Embeddings from contemporary natural language processing (NLP) models are commonly used as numerical representations for words or sentences. However, odor descriptor words, like "leather" or "fruity", vary significantly between their commonplace usage and their olfactory usage, as a result traditional methods for generating these embeddings do not suffice. In this paper, we present two methods to generate embeddings for odor words that are more closely aligned with their olfactory meanings when compared to off-the-shelf embeddings. These generated embeddings outperform the previous state-of-the-art and contemporary fine-tuning/prompting methods on a pre-existing zero-shot odor-specific NLP benchmark.


title: Empowering parameter-efficient transfer learning by recognizing the kernel structure in self-attention

abstract: The massive amount of trainable parameters in the pre-trained language models (PLMs) makes them hard to be deployed to multiple downstream tasks. To address this issue, parameter-efficient transfer learning methods have been proposed to tune only a few parameters during fine-tuning while freezing the rest. This paper looks at existing methods along this line through the \textit{kernel lens}. Motivated by the connection between self-attention in transformer-based PLMs and kernel learning, we propose \textit{kernel-wise adapters}, namely \textit{Kernel-mix}, that utilize the kernel structure in self-attention to guide the assignment of the tunable parameters. These adapters use guidelines found in classical kernel learning and enable separate parameter tuning for each attention head. Our empirical results, over a diverse set of natural language generation and understanding tasks, show that our proposed adapters can attain or improve the strong performance of existing baselines.


title: Category-Independent Articulated Object Tracking with Factor Graphs

abstract: Robots deployed in human-centric environments may need to manipulate a diverse range of articulated objects, such as doors, dishwashers, and cabinets. Articulated objects often come with unexpected articulation mechanisms that are inconsistent with categorical priors: for example, a drawer might rotate about a hinge joint instead of sliding open. We propose a category-independent framework for predicting the articulation models of unknown objects from sequences of RGB-D images. The prediction is performed by a two-step process: first, a visual perception module tracks object part poses from raw images, and second, a factor graph takes these poses and infers the articulation model including the current configuration between the parts as a 6D twist. We also propose a manipulation-oriented metric to evaluate predicted joint twists in terms of how well a compliant robot controller would be able to manipulate the articulated object given the predicted twist. We demonstrate that our visual perception and factor graph modules outperform baselines on simulated data and show the applicability of our factor graph on real world data.


title: Muon Detector for Underground Tomography

abstract: We utilise muons from cosmic ray to explore hidden underground archaeological structures. Presented here is the design, simulation studies and first laboratory results of a compact, scintillators based, cosmic ray muon telescope for underground muon radiography.


title: Admissible Hom-Novikov-Poisson and Hom-Gelfand-Dorfman color Hom-algebras

abstract: The main feature of color Hom-algebras is that the identities defining the structures are twisted by even linear maps. The purpose of this paper is to introduce and give some constructions of admissible Hom-Novikov-Poisson color Hom-algebras and Hom-Gelfand-Dorfman color Hom-algebras. Their bimodules and matched pairs are defined and the relevant properties and theorems are given. Also, the connections between Hom-Novikov-Poisson color Hom-algebras and Hom-Gelfand-Dorfman color Hom-algebras is proved. Furthermore, we show that the class of admissible Hom-Novikov-Poisson color Hom-algebras is closed under tensor product.


title: On the symmetries of a Kaehler manifold

abstract: In this manuscript we study natural symmetries of Kaehler manifolds: constant holomorphic sectional curvature Kaheler manifolds, semisymmetric Kaehler manifolds and holomorphically pseudosymmetric Kaehler manifolds. We get characterization results, as well as a geometric interpretation of the complex Tachibana tensor.


title: Monte Cimone: Paving the Road for the First Generation of RISC-V High-Performance Computers

abstract: The new open and royalty-free RISC-V ISA is attracting interest across the whole computing continuum, from microcontrollers to supercomputers. High-performance RISC-V processors and accelerators have been announced, but RISC-V-based HPC systems will need a holistic co-design effort, spanning memory, storage hierarchy interconnects and full software stack. In this paper, we describe Monte Cimone, a fully-operational multi-blade computer prototype and hardware-software test-bed based on U740, a double-precision capable multi-core, 64-bit RISC-V SoC. Monte Cimone does not aim to achieve strong floating-point performance, but it was built with the purpose of "priming the pipe" and exploring the challenges of integrating a multi-node RISC-V cluster capable of providing an HPC production stack including interconnect, storage and power monitoring infrastructure on RISC-V hardware. We present the results of our hardware/software integration effort, which demonstrate a remarkable level of software and hardware readiness and maturity - showing that the first generation of RISC-V HPC machines may not be so far in the future.


title: Possible Solution to the Triple Alpha Fine-Tuning Problem: Spallation Reactions during Planet Formation

abstract: Carbon is produced during the helium burning phase of sufficiently massive stars through the triple alpha process. The $0^+$ energy level of the carbon nucleus allows for resonant nuclear reactions, which act to greatly increase the carbon yields compared to the non-resonant case. Many authors have argued that small changes to the energy level of this resonance would lead to a significantly lower carbon abundance in the universe, and this sensitivity is often considered an example of fine-tuning. By considering spallation reactions occuring during the process of planet formation, this paper presents a partial solution to this triple alpha fine-tuning problem. Young stellar objects generate substantial luminosities of particle radiation (cosmic rays) that can drive nuclear reactions through spallation. If the standard triple alpha process is inoperative, stars tend to synthesize oxygen (and other alpha elements) rather than carbon. Cosmic rays can interact with oxygen nuclei to produce carbon while planets are forming. The resulting carbon abundances are significant, but much smaller than those observed in our universe. However, for a range of conditions -- as delineated herein -- spallation reactions can result in carbon-to-oxygen ratios roughly comparable to those found on Earth and thereby obviate the triple alpha fine-tuning problem.


title: Exact recovery algorithm for Planted Bipartite Graph in Semi-random Graphs

abstract: The problem of finding the largest induced balanced bipartite subgraph in a given graph is NP-hard. This problem is closely related to the problem of finding the smallest Odd Cycle Transversal. In this work, we consider the following model of instances: starting with a set of vertices $V$, a set $S \subseteq V$ of $k$ vertices is chosen and an arbitrary $d$-regular bipartite graph is added on it; edges between pairs of vertices in $S \times (V \setminus S)$ and $(V \setminus S) \times (V \setminus S)$ are added with probability $p$. Since for $d=0$, the problem reduces to recovering a planted independent set, we don't expect efficient algorithms for $k=o(\sqrt{n})$. This problem is a generalization of the planted balanced biclique problem where the bipartite graph induced on $S$ is a complete bipartite graph; [Lev18] gave an algorithm for recovering $S$ in this problem when $k=\Omega(\sqrt{n})$. Our main result is an efficient algorithm that recovers (w.h.p.) the planted bipartite graph when $k=\Omega_p(\sqrt{n \log n})$ for a large range of parameters. Our results also hold for a natural semi-random model of instances, which involve the presence of a monotone adversary. Our proof shows that a natural SDP relaxation for the problem is integral by constructing an appropriate solution to it's dual formulation. Our main technical contribution is a new approach for constructing the dual solution where we calibrate the eigenvectors of the adjacency matrix to be the eigenvectors of the dual matrix. We believe that this approach may have applications to other recovery problems in semi-random models as well. When $k=\Omega(\sqrt{n})$, we give an algorithm for recovering $S$ whose running time is exponential in the number of small eigenvalues in graph induced on $S$; this algorithm is based on subspace enumeration techniques due to the works of [KT07,ABS10,Kol11].


title: Precise Regret Bounds for Log-loss via a Truncated Bayesian Algorithm

abstract: We study the sequential general online regression, known also as the sequential probability assignments, under logarithmic loss when compared against a broad class of experts. We focus on obtaining tight, often matching, lower and upper bounds for the sequential minimax regret that are defined as the excess loss it incurs over a class of experts. After proving a general upper bound, we consider some specific classes of experts from Lipschitz class to bounded Hessian class and derive matching lower and upper bounds with provably optimal constants. Our bounds work for a wide range of values of the data dimension and the number of rounds. To derive lower bounds, we use tools from information theory (e.g., Shtarkov sum) and for upper bounds, we resort to new "smooth truncated covering" of the class of experts. This allows us to find constructive proofs by applying a simple and novel truncated Bayesian algorithm. Our proofs are substantially simpler than the existing ones and yet provide tighter (and often optimal) bounds.


title: Resilient Edge: Can we achieve Network Resiliency at the IoT Edge using LPWAN and WiFi?

abstract: Edge computing has gained attention in recent years due to the adoption of many Internet of Things (IoT) applications in domestic, industrial and wild settings. The resiliency and reliability requirements of these applications vary from non-critical (best delivery efforts) to safety-critical with time-bounded guarantees. The network connectivity of IoT edge devices remains the central critical component that needs to meet the time-bounded Quality of Service (QoS) and fault-tolerance guarantees of the applications. Therefore, in this work, we systematically investigate how to meet IoT applications mixed-criticality QoS requirements in multi-communication networks. We (i) present the network resiliency requirements of IoT applications by defining a system model (ii) analyse and evaluate the bandwidth, latency, throughput, maximum packet size of many state-of-the-art LPWAN technologies, such as Sigfox, LoRa, and LTE (CAT-M1/NB-IoT) and Wi-Fi, (iii) implement and evaluate an adaptive system Resilient Edge and Criticality-Aware Best Fit (CABF) resource allocation algorithm to meet the application resiliency requirements using Raspberry Pi 4 and Pycom FiPy development board having five multi-communication networks. We present our findings on how to achieve 100% of the best-effort high criticality level message delivery using multi-communication networks


title: Homotopy Path Algebras

abstract: We define a basic class of algebras which we call homotopy path algebras. We find that such algebras always admit a cellular resolution and detail the intimate relationship between these algebras, stratifications of topological spaces, and entrance/exit paths. As examples, we prove versions of homological mirror symmetry due to Bondal-Ruan for toric varieties and due to Berglund-H\"ubsch-Krawitz for hypersurfaces with maximal symmetry. We also demonstrate that a form of shellability implies Koszulity and the existence of a minimal cellular resolution. In particular, when the algebra determined by the image of the toric Frobenius morphism is directable, then it is Koszul and admits a minimal cellular resolution.


title: Rate-Constrained Shaping Codes for Finite-State Channels With Cost

abstract: Shaping codes are used to generate code sequences in which the symbols obey a prescribed probability distribution. They arise naturally in the context of source coding for noiseless channels with unequal symbol costs. Recently, shaping codes have been proposed to extend the lifetime of flash memory and reduce DNA synthesis time. In this paper, we study a general class of shaping codes for noiseless finite-state channels with cost and i.i.d. sources. We establish a relationship between the code rate and minimum average symbol cost. We then determine the rate that minimizes the average cost per source symbol (total cost). An equivalence is established between codes minimizing average symbol cost and codes minimizing total cost, and a separation theorem is proved, showing that optimal shaping can be achieved by a concatenation of optimal compression and optimal shaping for a uniform i.i.d. source.


title: Developing a semiclassical Wentzel-Kramers-Brillouin theory for $\alpha-\mathcal{T}_3$ model

abstract: We have developed a complete semiclassical Wentzel-Kramers-Brillouin (WKB) theory for $\alpha-\mathcal{T}_3$ model which describes a wide class of existing pseudospin-1 Dirac cone materials. By expanding the sought wave functions in a series over the powers of Planck constant $\hbar$, we have obtained the leading order expansion term which is the key quantity required for calculating the electronic and transport properties of a semiclassical electron in $\alpha-\mathcal{T}_3$. We have derived the transport equations connecting each two consecutive orders of the wave function expansion and solved them to obtained the first order WKB wavefunction. We have also discussed the applicability of the obtained approximation and how these results could be used to investigate various tunneling and transport properties of $\alpha-\mathcal{T}_3$ materials with non-trivial potential profiles. Our results could be also helpful for constructing electronics devices and transistors based on innovative flat-band Dirac materials.


title: Optimal Lighting Control in Greenhouses Using Bayesian Neural Networks for Sunlight Prediction

abstract: Controlling the environmental parameters, including light in greenhouses, increases the crop yield; however, the electricity cost of supplemental lighting can be high. Therefore, the importance of applying cost-effective lighting methods arises. In this paper, an optimal supplemental lighting control approach is developed considering a variational inference Bayesian Neural Network (BNN) model for sunlight prediction. The predictive model is validated through testing the model on the historical solar data of a site located at North Carolina ($R^{2}$=0.9971, RMSE=1.8%). The proposed lighting approach is shown to minimize electricity cost by considering the BNN-based sunlight prediction, plant light needs, and variable electricity pricing when solving the underlying optimization problem. For evaluation, the new strategy is compared to: 1) a Markov-based prediction method, which solves the same optimization problem, assuming a Markov model for sunlight prediction; 2) a heuristic method which aims to supply a fixed amount of light. Simulation studies are conducted to examine the electricity cost improvements of the BNN-based approach. The results show that the BNN-based approach reduces cost by (on average) 2.27% and 43.91% compared to the Markov prediction-based method and the heuristic method, respectively, throughout a year.


title: Approximating linear response of physical chaos

abstract: Parametric derivatives of statistics are highly desired quantities in prediction, design optimization and uncertainty quantification. In the presence of chaos, the rigorous computation of these quantities is certainly possible, but mathematically complicated and computationally expensive. Based on Ruelle's formalism, this paper shows that the sophisticated linear response algorithm can be dramatically simplified in higher-dimensional systems featuring a statistical homogeneity in the physical space. We argue that the contribution of the SRB (Sinai-Ruelle-Bowen) measure change, which is an integral part of the full linear response, can be completely neglected if the objective function is appropriately aligned with unstable manifolds. This abstract condition could potentially be satisfied by a vast family of real-world chaotic systems, regardless of the physical meaning and mathematical form of the objective function and perturbed parameter. We demonstrate several numerical examples that support these conclusions and that present the use and performance of a reduced linear response algorithm. In the numerical experiments, we consider physical models described by differential equations, including Lorenz 63, Lorenz 96, and Kuramoto-Sivashinsky.


title: Extension of the Partial Integral Equation Representation to GPDE Input-Output Systems

abstract: It has been shown that the existence of a Partial Integral Equation (PIE) representation of a Partial Differential Equation (PDE) simplifies many numerical aspects of analysis, simulation, and optimal control. However, the PIE representation has not previously been extended to many of the complex, higher-order PDEs such as may be encountered in speculative or data-based models. In this paper, we propose PIE representations for a large class of such PDE models, including higher-order derivatives, boundary-valued inputs, and coupling with Ordinary Differential Equations. The main technical contribution which enables this extension is a generalization of Cauchy's rule for repeated integration. The process of conversion of a complex PDE model to a PIE is simplified through a PDE modeling interface in the open-source software PIETOOLS. Several numerical tests and illustrations are used to demonstrate the results.


title: Proposal for a Damping-Ring-Free Electron Injector for Future Linear Colliders

abstract: The current designs of future electron-positron linear colliders incorporate large and complex damping rings to produce asymmetric beams for beamstrahlung suppression. Here we present the design of an electron injector capable of delivering flat electron beams with phase-space partition comparable to the electron-beam parameters produced downstream of the damping ring in the proposed international linear collider (ILC) design. Our design does not employ a damping ring but is instead based on cross-plane phase-space-manipulation techniques. The performance of the proposed configuration, its sensitivity to jitter along with its impact on spin-polarization is investigated. The proposed paradigm could be adapted to other linear collider concepts under consideration and offers a path toward significant cost and complexity reduction.


title: FRC-TOuNN: Topology Optimization of Continuous Fiber Reinforced Composites using Neural Network

abstract: In this paper, we present a topology optimization (TO) framework to simultaneously optimize the matrix topology and fiber distribution of functionally graded continuous fiber-reinforced composites (FRC). Current approaches in density-based TO for FRC use the underlying finite element mesh both for analysis and design representation. This poses several limitations while enforcing sub-element fiber spacing and generating high-resolution continuous fibers. In contrast, we propose a mesh-independent representation based on a neural network (NN) both to capture the matrix topology and fiber distribution. The implicit NN-based representation enables geometric and material queries at a higher resolution than a mesh discretization. This leads to the accurate extraction of functionally-graded continuous fibers. Further, by integrating the finite element simulations into the NN computational framework, we can leverage automatic differentiation for end-to-end automated sensitivity analysis, i.e., we no longer need to manually derive cumbersome sensitivity expressions. We demonstrate the effectiveness and computational efficiency of the proposed method through several numerical examples involving various objective functions. We also show that the optimized continuous fiber reinforced composites can be directly fabricated at high resolution using additive manufacturing.


title: Synthetic Point Cloud Generation for Class Segmentation Applications

abstract: Maintenance of industrial facilities is a growing hazard due to the cumbersome process needed to identify infrastructure degradation. Digital Twins have the potential to improve maintenance by monitoring the continuous digital representation of infrastructure. However, the time needed to map the existing geometry makes their use prohibitive. We previously developed class segmentation algorithms to automate digital twinning, however a vast amount of annotated point clouds is needed. Currently, synthetic data generation for automated segmentation is non-existent. We used Helios++ to automatically segment point clouds from 3D models. Our research has the potential to pave the ground for efficient industrial class segmentation.


title: Airport Digital Twins for Resilient Disaster Management Response

abstract: Airports are constantly facing a variety of hazards and threats from natural disasters to cybersecurity attacks and airport stakeholders are confronted with making operational decisions under irregular conditions. We introduce the concept of the foundational twin, which can serve as a resilient data platform, incorporating multiple data sources and enabling the interaction between an umbrella of twins. We then focus on providing data sources and metrics for each foundational twin, with an emphasis on the environmental airport twin for major US airports.


title: The TeV Diffuse Cosmic Neutrino Spectrum and the Nature of Astrophysical Neutrino Sources

abstract: The diffuse flux of cosmic neutrinos has been measured by the IceCube Observatory from TeV to PeV energies. We show that an improved characterization of this flux at the lower energies, TeV and sub-TeV, reveals important information on the nature of the astrophysical neutrino sources in a model-independent way. Most significantly, it could confirm the present indications that neutrinos originate in cosmic environments that are optically thick to GeV-TeV $\gamma$-rays. This conclusion will become inevitable if a steeper or even uninterrupted neutrino power law is observed in the TeV region. In such $\gamma$-ray-obscured sources, the $\gamma$-rays that inevitably accompany cosmic neutrinos will cascade down to MeV-GeV energies. The requirement that the cascaded $\gamma$-ray flux accompanying cosmic neutrinos should not exceed the observed diffuse $\gamma$-ray background, puts constraints on the peak energy and density of the radiation fields in the sources. Our calculations inspired by the existing data suggest that a fraction of the observed diffuse MeV-GeV $\gamma$-ray background may be contributed by neutrino sources with intense radiation fields that obscure the high-energy $\gamma$-ray emission accompanying the neutrinos.


title: Diamonds and forward variance models

abstract: In this non-technical introduction to diamond trees and forests, we focus on their application to computation in stochastic volatility models written in forward variance form, rough volatility models in particular.


title: Decoupled-and-Coupled Networks: Self-Supervised Hyperspectral Image Super-Resolution with Subpixel Fusion

abstract: Enormous efforts have been recently made to super-resolve hyperspectral (HS) images with the aid of high spatial resolution multispectral (MS) images. Most prior works usually perform the fusion task by means of multifarious pixel-level priors. Yet the intrinsic effects of a large distribution gap between HS-MS data due to differences in the spatial and spectral resolution are less investigated. The gap might be caused by unknown sensor-specific properties or highly-mixed spectral information within one pixel (due to low spatial resolution). To this end, we propose a subpixel-level HS super-resolution framework by devising a novel decoupled-and-coupled network, called DC-Net, to progressively fuse HS-MS information from the pixel- to subpixel-level, from the image- to feature-level. As the name suggests, DC-Net first decouples the input into common (or cross-sensor) and sensor-specific components to eliminate the gap between HS-MS images before further fusion, and then fully blends them by a model-guided coupled spectral unmixing (CSU) net. More significantly, we append a self-supervised learning module behind the CSU net by guaranteeing the material consistency to enhance the detailed appearances of the restored HS product. Extensive experimental results show the superiority of our method both visually and quantitatively and achieve a significant improvement in comparison with the state-of-the-arts. Furthermore, the codes and datasets will be available at https://sites.google.com/view/danfeng-hong for the sake of reproducibility.


title: End-to-End Rubbing Restoration Using Generative Adversarial Networks

abstract: Rubbing restorations are significant for preserving world cultural history. In this paper, we propose the RubbingGAN model for restoring incomplete rubbing characters. Specifically, we collect characters from the Zhang Menglong Bei and build up the first rubbing restoration dataset. We design the first generative adversarial network for rubbing restoration. Based on the dataset we collect, we apply the RubbingGAN to learn the Zhang Menglong Bei font style and restore the characters. The results of experiments show that RubbingGAN can repair both slightly and severely incomplete rubbing characters fast and effectively.


title: Provable Probabilistic Safety and Feasibility-Assured Control for Autonomous Vehicles using Exponential Control Barrier Functions

abstract: With the increasing need for safe control in the domain of autonomous driving, model-based safety-critical control approaches are widely used, especially Control Barrier Function (CBF)-based approaches. Among them, Exponential CBF (eCBF) is particularly popular due to its realistic applicability to high-relative-degree systems. However, for most of the optimization-based controllers utilizing CBF-based constraints, solution feasibility is a common issue arising from potential conflict among different constraints. Moreover, how to incorporate uncertainty into the eCBF-based constraints in high-relative-degree systems to account for safety remains an open challenge. In this paper, we present a novel approach to extend an eCBF-based safe critical controller to a probabilistic setting to handle potential motion uncertainty from system dynamics. More importantly, we leverage an optimization-based technique to provide a solution feasibility guarantee in run time, while ensuring probabilistic safety. Lane changing and intersection handling are demonstrated as two use cases, and experiment results are provided to show the effectiveness of the proposed approach.


title: Light Communication for Controlling Industrial Robots

abstract: Optical Wireless Communication (OWC) is regarded as an auspicious communication approach that can outperform the existing wireless technology. It utilizes LED lights, whose subtle variation in radiant intensity generate a binary data stream. This is perceived by a photodiode, that converts it to electric signals for further interpretation. This article aims at exploring the use of this emerging technology in order to control wirelessly industrial robots, overcoming the need for wires, especially in environments where radio waves are not working due to environmental factors or not allowed for safety reasons. We performed experiments to ensure the suitability and efficiency of OWC based technology for the aforementioned scope and "in vitro" tests in various Line-of-Sight (LoS) and Non-Line-of-Sight (NLoS) configurations to observe the system throughput and reliability. The technology performance in the "clear LoS" and in the presence of a transparent barrier, were also analyzed.


title: Reasoning about inter-procedural security requirements in IoT applications

abstract: The importance of information security dramatically increased and will further grow due to the shape and nature of the modern computing industry. Software is published at a continuously increasing pace. The Internet of Things and security protocols are two examples of domains that pose a great security challenge, due to how diverse the needs for those software may be, and a generalisation of the capabilities regarding the toolchain necessary for testing is becoming a necessity. Oftentimes, these software are designed starting from a formal model, which can be verified with appropriate model checkers. These models, though, do not represent the actual implementation, which can deviate from the model and hence certain security properties might not be inherited from the model, or additional issues could be introduced in the implementation. In this paper we describe a proposal for a novel technique to assess software security properties from LLVM bitcode. We perform various static analyses, such as points-to analysis, call graph and control-flow graph, with the aim of deriving from them an 'accurate enough' formal model of the paths taken by the program, which are then going to be examined via consolidated techniques by matching them against a set of defined rules. The proposed workflow then requires further analysis with more precise methods if a rule is violated, in order to assess the actual feasibility of such path(s). This step is required as the analyses performed to derive the model to analyse are over-approximating the behaviour of the software.


title: DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving

abstract: Boolean MaxSAT, as well as generalized formulations such as Min-MaxSAT and Max-hybrid-SAT, are fundamental optimization problems in Boolean reasoning. Existing methods for MaxSAT have been successful in solving benchmarks in CNF format. They lack, however, the ability to handle 1) (non-CNF) hybrid constraints, such as XORs and 2) generalized MaxSAT problems natively. To address this issue, we propose a novel dynamic-programming approach for solving generalized MaxSAT problems with hybrid constraints -- called \emph{Dynamic-Programming-MaxSAT} or DPMS for short -- based on Algebraic Decision Diagrams (ADDs). With the power of ADDs and the (graded) project-join-tree builder, our versatile framework admits many generalizations of CNF-MaxSAT, such as MaxSAT, Min-MaxSAT, and MinSAT with hybrid constraints. Moreover, DPMS scales provably well on instances with low width. Empirical results indicate that DPMS is able to solve certain problems quickly, where other algorithms based on various techniques all fail. Hence, DPMS is a promising framework and opens a new line of research that invites more investigation in the future.


title: Data-Driven Approximations of Chance Constrained Programs in Nonstationary Environments

abstract: We study sample average approximations (SAA) of chance constrained programs. SAA methods typically approximate the actual distribution in the chance constraint using an empirical distribution constructed from random samples assumed to be independent and identically distributed according to the actual distribution. In this paper, we consider a nonstationary variant of this problem, where the random samples are assumed to be independently drawn in a sequential fashion from an unknown and possibly time-varying distribution. This nonstationarity may be driven by changing environmental conditions present in many real-world applications. To account for the potential nonstationarity in the data generation process, we propose a novel robust SAA method exploiting information about the Wasserstein distance between the sequence of data-generating distributions and the actual chance constraint distribution. As a key result, we obtain distribution-free estimates of the sample size required to ensure that the robust SAA method will yield solutions that are feasible for the chance constraint under the actual distribution with high confidence.


title: GOCPT: Generalized Online Canonical Polyadic Tensor Factorization and Completion

abstract: Low-rank tensor factorization or completion is well-studied and applied in various online settings, such as online tensor factorization (where the temporal mode grows) and online tensor completion (where incomplete slices arrive gradually). However, in many real-world settings, tensors may have more complex evolving patterns: (i) one or more modes can grow; (ii) missing entries may be filled; (iii) existing tensor elements can change. Existing methods cannot support such complex scenarios. To fill the gap, this paper proposes a Generalized Online Canonical Polyadic (CP) Tensor factorization and completion framework (named GOCPT) for this general setting, where we maintain the CP structure of such dynamic tensors during the evolution. We show that existing online tensor factorization and completion setups can be unified under the GOCPT framework. Furthermore, we propose a variant, named GOCPTE, to deal with cases where historical tensor elements are unavailable (e.g., privacy protection), which achieves similar fitness as GOCPT but with much less computational cost. Experimental results demonstrate that our GOCPT can improve fitness by up to 2:8% on the JHU Covid data and 9:2% on a proprietary patient claim dataset over baselines. Our variant GOCPTE shows up to 1:2% and 5:5% fitness improvement on two datasets with about 20% speedup compared to the best model.


title: Learnability of Competitive Threshold Models

abstract: Modeling the spread of social contagions is central to various applications in social computing. In this paper, we study the learnability of the competitive threshold model from a theoretical perspective. We demonstrate how competitive threshold models can be seamlessly simulated by artificial neural networks with finite VC dimensions, which enables analytical sample complexity and generalization bounds. Based on the proposed hypothesis space, we design efficient algorithms under the empirical risk minimization scheme. The theoretical insights are finally translated into practical and explainable modeling methods, the effectiveness of which is verified through a sanity check over a few synthetic and real datasets. The experimental results promisingly show that our method enjoys a decent performance without using excessive data points, outperforming off-the-shelf methods.


title: Two-dimensional characterization of three-dimensional magnetic bubbles in Fe$_3$Sn$_2$ nanostructures

abstract: We report differential phase contrast scanning transmission electron microscopy (TEM) of nanoscale magnetic objects in Kagome ferromagnet Fe$_3$Sn$_2$ nanostructures. This technique can directly detect the deflection angle of a focused electron beam, thus allowing clear identification of the real magnetic structures of two magnetic objects including three-ring and complex arch-shaped vortices in Fe$_3$Sn$_2$ by Lorentz transmission electron microscopy imaging. Numerical calculations based on real material-specific parameters well reproduced the experimental results, showing that the magnetic objects can be attributed to integral magnetizations of two types of complex three-dimensional (3D) magnetic skyrmion bubbles with depth-modulated spin twisting. Magnetic configurations obtained using the high-resolution TEM are generally considered as two-dimensional (2D) magnetic objects previously. Our results imply the importance of the integral magnetizations of underestimated 3D magnetic structures in 2D TEM magnetic characterizations.


title: Efficient Representation of Large-Alphabet Probability Distributions

abstract: A number of engineering and scientific problems require representing and manipulating probability distributions over large alphabets, which we may think of as long vectors of reals summing to $1$. In some cases it is required to represent such a vector with only $b$ bits per entry. A natural choice is to partition the interval $[0,1]$ into $2^b$ uniform bins and quantize entries to each bin independently. We show that a minor modification of this procedure -- applying an entrywise non-linear function (compander) $f(x)$ prior to quantization -- yields an extremely effective quantization method. For example, for $b=8 (16)$ and $10^5$-sized alphabets, the quality of representation improves from a loss (under KL divergence) of $0.5 (0.1)$ bits/entry to $10^{-4} (10^{-9})$ bits/entry. Compared to floating point representations, our compander method improves the loss from $10^{-1}(10^{-6})$ to $10^{-4}(10^{-9})$ bits/entry. These numbers hold for both real-world data (word frequencies in books and DNA $k$-mer counts) and for synthetic randomly generated distributions. Theoretically, we set up a minimax optimality criterion and show that the compander $f(x) ~\propto~ \mathrm{ArcSinh}(\sqrt{(1/2) (K \log K) x})$ achieves near-optimal performance, attaining a KL-quantization loss of $\asymp 2^{-2b} \log^2 K$ for a $K$-letter alphabet and $b\to \infty$. Interestingly, a similar minimax criterion for the quadratic loss on the hypercube shows optimality of the standard uniform quantizer. This suggests that the $\mathrm{ArcSinh}$ quantizer is as fundamental for KL-distortion as the uniform quantizer for quadratic distortion.


title: Select and Calibrate the Low-confidence: Dual-Channel Consistency based Graph Convolutional Networks

abstract: The Graph Convolutional Networks (GCNs) have achieved excellent results in node classification tasks, but the model's performance at low label rates is still unsatisfactory. Previous studies in Semi-Supervised Learning (SSL) for graph have focused on using network predictions to generate soft pseudo-labels or instructing message propagation, which inevitably contains the incorrect prediction due to the over-confident in the predictions. Our proposed Dual-Channel Consistency based Graph Convolutional Networks (DCC-GCN) uses dual-channel to extract embeddings from node features and topological structures, and then achieves reliable low-confidence and high-confidence samples selection based on dual-channel consistency. We further confirmed that the low-confidence samples obtained based on dual-channel consistency were low in accuracy, constraining the model's performance. Unlike previous studies ignoring low-confidence samples, we calibrate the feature embeddings of the low-confidence samples by using the neighborhood's high-confidence samples. Our experiments have shown that the DCC-GCN can more accurately distinguish between low-confidence and high-confidence samples, and can also significantly improve the accuracy of low-confidence samples. We conducted extensive experiments on the benchmark datasets and demonstrated that DCC-GCN is significantly better than state-of-the-art baselines at different label rates.


title: A split special Lagrangian calibration associated with frame vorticity

abstract: Let M be an oriented three-dimensional Riemannian manifold. We define a notion of vorticity of local sections of the bundle SO(M) --> M of all its positively oriented orthonormal tangent frames. When M is a space form, we relate the concept to a suitable invariant split pseudo-Riemannian metric on Iso_o (M) \cong SO(M): A local section has positive vorticity if and only if it determines a space-like submanifold. In the Euclidean case we find explicit homologically volume maximizing sections using a split special Lagrangian calibration. We introduce the concept of optimal frame vorticity and give an optimal screwed global section for the three-sphere. We prove that it is also homologically volume maximizing (now using a common one-point split calibration). Besides, we show that no optimal section can exist in the Euclidean and hyperbolic cases.


title: DxFormer: A Decoupled Automatic Diagnostic System Based on Decoder-Encoder Transformer with Dense Symptom Representations

abstract: Diagnosis-oriented dialogue system queries the patient's health condition and makes predictions about possible diseases through continuous interaction with the patient. A few studies use reinforcement learning (RL) to learn the optimal policy from the joint action space of symptoms and diseases. However, existing RL (or Non-RL) methods cannot achieve sufficiently good prediction accuracy, still far from its upper limit. To address the problem, we propose a decoupled automatic diagnostic framework DxFormer, which divides the diagnosis process into two steps: symptom inquiry and disease diagnosis, where the transition from symptom inquiry to disease diagnosis is explicitly determined by the stopping criteria. In DxFormer, we treat each symptom as a token, and formalize the symptom inquiry and disease diagnosis to a language generation model and a sequence classification model respectively. We use the inverted version of Transformer, i.e., the decoder-encoder structure, to learn the representation of symptoms by jointly optimizing the reinforce reward and cross entropy loss. Extensive experiments on three public real-world datasets prove that our proposed model can effectively learn doctors' clinical experience and achieve the state-of-the-art results in terms of symptom recall and diagnostic accuracy.


title: A prediction-correction ADMM for multistage stochastic variational inequalities

abstract: The multistage stochastic variational inequality is reformulated into a variational inequality with separable structure through introducing a new variable. The prediction-correction ADMM which was originally proposed in [B.-S. He, L.-Z. Liao and M.-J. Qian, J. Comput. Math., 24 (2006), 693--710] for solving deterministic variational inequalities in finite dimensional spaces is adapted to solve the multistage stochastic variational inequality. Weak convergence of the sequence generated by that algorithm is proved under the conditions of monotonicity and Lipschitz continuity. When the sample space is a finite set, the corresponding multistage stochastic variational inequality is defined on a finite dimensional Hilbert space and the strong convergence of the sequence naturally holds true. A numerical example in that case is given to show the efficiency of the algorithm.


title: Cover time of graphs with bounded genus

abstract: The cover time of a finite connected graph is the expected number of steps needed for a simple random walk on the graph to visit all vertices of the graph. It is known that the cover time of any finite connected $n$-vertex graph is at least $(1 + o(1)) n \log n$ and at most $(1 + o(1)) \frac{4}{27} n^3$. By Jonasson and Schramm, the cover time of any bounded-degree finite connected $n$-vertex planar graph is at least $c n(\log n)^2$ and at most $6n^2$, where $c$ is a positive constant depending only on the maximal degree of the graph. In particular, the lower bound is established via the use of circle packing of planar graphs on the Riemann sphere. In this paper, we show that the cover time of any finite $n$-vertex graph $G$ with maximum degree $\Delta$ on the compact Riemann surface $S$ of given genus $g$ is at least $c n(\log n)^2/ \Delta(g + 1)$ and at most $(6 + o(1))n^2$, where $c$ is an absolute constant, if $n$ is sufficiently large and three sufficient conditions for $S$ and a circle packing of $G$ filling $S$.


title: Nonparaxiality-triggered Landau-Zener transition in topological photonic waveguides

abstract: Photonic lattices have been widely used for simulating quantum physics, owing to the similar evolutions of paraxial waves and quantum particles. However, nonparaxial wave propagations in photonic lattices break the paradigm of the quantum-optical analogy. Here, we reveal that nonparaxiality exerts stretched and compressed forces on the energy spectrum in the celebrated Aubry-Andre-Harper model. By exploring the mini-gaps induced by the finite size of the different effects of nonparaxiality, we experimentally present that the expansion of one band gap supports the adiabatic transfer of boundary states while Landau-Zener transition occurs at the narrowing of the other gap, whereas identical transport behaviors are expected for the two gaps under paraxial approximation. Our results not only serve as a foundation of future studies of dynamic state transfer but also inspire applications leveraging nonparaxial transitions as a new degree of freedom.


title: Silence is Sweeter Than Speech: Self-Supervised Model Using Silence to Store Speaker Information

abstract: Self-Supervised Learning (SSL) has made great strides recently. SSL speech models achieve decent performance on a wide range of downstream tasks, suggesting that they extract different aspects of information from speech. However, how SSL models store various information in hidden representations without interfering is still poorly understood. Taking the recently successful SSL model, HuBERT, as an example, we explore how the SSL model processes and stores speaker information in the representation. We found that HuBERT stores speaker information in representations whose positions correspond to silences in a waveform. There are several pieces of evidence. (1) We find that the utterances with more silent parts in the waveforms have better Speaker Identification (SID) accuracy. (2) If we use the whole utterances for SID, the silence part always contributes more to the SID task. (3) If we only use the representation of a part of the utterance for SID, the silenced part has higher accuracy than the other parts. Our findings not only contribute to a better understanding of SSL models but also improve performance. By simply adding silence to the original waveform, HuBERT improved its accuracy on SID by nearly 2%.


title: Sparse Gaussian processes for solving nonlinear PDEs

abstract: This article proposes an efficient numerical method for solving nonlinear partial differential equations (PDEs) based on sparse Gaussian processes (SGPs). Gaussian processes (GPs) have been extensively studied for solving PDEs by formulating the problem of finding a reproducing kernel Hilbert space (RKHS) to approximate a PDE solution. The approximated solution lies in the span of base functions generated by evaluating derivatives of different orders of kernels at sample points. However, the RKHS specified by GPs can result in an expensive computational burden due to the cubic computation order of the matrix inverse. Therefore, we conjecture that a solution exists on a ``condensed" subspace that can achieve similar approximation performance, and we propose a SGP-based method to reformulate the optimization problem in the ``condensed" subspace. This significantly reduces the computation burden while retaining desirable accuracy. The paper rigorously formulates this problem and provides error analysis and numerical experiments to demonstrate the effectiveness of this method. The numerical experiments show that the SGP method uses fewer than half the uniform samples as inducing points and achieves comparable accuracy to the GP method using the same number of uniform samples, resulting in a significant reduction in computational cost. Our contributions include formulating the nonlinear PDE problem as an optimization problem on a ``condensed" subspace of RKHS using SGP, as well as providing an existence proof and rigorous error analysis. Furthermore, our method can be viewed as an extension of the GP method to account for general positive semi-definite kernels.


title: Recurrent Dynamic Embedding for Video Object Segmentation

abstract: Space-time memory (STM) based video object segmentation (VOS) networks usually keep increasing memory bank every several frames, which shows excellent performance. However, 1) the hardware cannot withstand the ever-increasing memory requirements as the video length increases. 2) Storing lots of information inevitably introduces lots of noise, which is not conducive to reading the most important information from the memory bank. In this paper, we propose a Recurrent Dynamic Embedding (RDE) to build a memory bank of constant size. Specifically, we explicitly generate and update RDE by the proposed Spatio-temporal Aggregation Module (SAM), which exploits the cue of historical information. To avoid error accumulation owing to the recurrent usage of SAM, we propose an unbiased guidance loss during the training stage, which makes SAM more robust in long videos. Moreover, the predicted masks in the memory bank are inaccurate due to the inaccurate network inference, which affects the segmentation of the query frame. To address this problem, we design a novel self-correction strategy so that the network can repair the embeddings of masks with different qualities in the memory bank. Extensive experiments show our method achieves the best tradeoff between performance and speed. Code is available at https://github.com/Limingxing00/RDE-VOS-CVPR2022.


title: Kupershmidt operators on Hom-Malcev algebras and their deformation

abstract: The main feature of Hom-algebras is that the identities defining the structures are twisted by linear maps. The purpose of this paper is to introduce and study a Hom-type generalization of pre-Malcev algebras, called Hom-pre-Malcev algebras. We also introduce the notion of Kupershmidt operators of Hom-Malcev and Hom-pre-Malcev algebras and show the connections between Hom-Malcev and Hom-pre-Malcev algebras using Kupershmidt operators. Hom-pre-Malcev algebras generalize Hom-pre-Lie algebras to the Hom-alternative setting and fit into a bigger framework with a close relationship with Hom-pre-alternative algebras. Finally, we establish a deformation theory of Kupershmidt operators on a Hom-Malcev algebra in consistence with the general principles of deformation theories and introduce the notion of Nijenhuis elements.


title: Results of the NeurIPS'21 Challenge on Billion-Scale Approximate Nearest Neighbor Search

abstract: Despite the broad range of algorithms for Approximate Nearest Neighbor Search, most empirical evaluations of algorithms have focused on smaller datasets, typically of 1 million points~\citep{Benchmark}. However, deploying recent advances in embedding based techniques for search, recommendation and ranking at scale require ANNS indices at billion, trillion or larger scale. Barring a few recent papers, there is limited consensus on which algorithms are effective at this scale vis-\`a-vis their hardware cost. This competition compares ANNS algorithms at billion-scale by hardware cost, accuracy and performance. We set up an open source evaluation framework and leaderboards for both standardized and specialized hardware. The competition involves three tracks. The standard hardware track T1 evaluates algorithms on an Azure VM with limited DRAM, often the bottleneck in serving billion-scale indices, where the embedding data can be hundreds of GigaBytes in size. It uses FAISS~\citep{Faiss17} as the baseline. The standard hardware track T2 additional allows inexpensive SSDs in addition to the limited DRAM and uses DiskANN~\citep{DiskANN19} as the baseline. The specialized hardware track T3 allows any hardware configuration, and again uses FAISS as the baseline. We compiled six diverse billion-scale datasets, four newly released for this competition, that span a variety of modalities, data types, dimensions, deep learning models, distance functions and sources. The outcome of the competition was ranked leaderboards of algorithms in each track based on recall at a query throughput threshold. Additionally, for track T3, separate leaderboards were created based on recall as well as cost-normalized and power-normalized query throughput.


title: Tuning the magnetic anisotropy and topological phase with electronic correlation in single-layer H-FeBr$_2$

abstract: Electronic correlation can strongly influence the electronic properties of two-dimensional (2D) materials with open d- or f-orbitals. Herein, by taking single-layer (SL) H-FeBr$_2$ as a representative of the SL H-FeX$_2$ (X=Cl, Br, I) family, we investigated the electronic correlation effects in the magnetic anisotropy and electronic topology of such a system based on first-principles calculations with DFT+\textit{U} approach. Our result is that the magnetic anisotropy energy (MAE) of SL H-FeBr$_2$ shows a non-monotonic evolution behaviour with increasing electronic correlation strength, which is mainly due to the competition between different element-resolved MAEs of Fe and Br. Further investigations show that the evolution of element-resolved MAE arises from the variation of the spin-orbital coupling (SOC) interaction between different orbitals in each atom. Moreover, tuning the strength of the electronic correlation can drive the occurrence of band inversions, causing the system to undergoes multiple topological phase transitions, resulting in a quantum anomalous valley Hall (QAVH) effect. These exotic properties are universal for the SL H-FeX$_2$ (X = Cl, Br, I) family. Our work sheds light on the role of electronic correlation effects in tuning magnetic and electronic structures in the SL H-FeX$_2$ (X = Cl, Br, I) family, which could guide advances in the development of new spintronics and valleytronics devices based on these materials.


title: Properties of symbolic powers of edge ideals of weighted oriented graphs

abstract: Let $D$ be a weighted oriented graph and $I(D)$ be its edge ideal. We provide one method to find all the minimal generators of $ I_{\subseteq C} $, where $ C $ is a maximal strong vertex cover of $D$ and $ I_{\subseteq C} $ is the intersections of irreducible ideals associated to the strong vertex covers contained in $C$. If $ D^{\prime} $ is an induced digraph of $D$, under certain condition on the strong vertex covers of $ D^{\prime} $ and $D$, we show that $ {I(D^{\prime})}^{(s)} \neq {I(D^{\prime})}^s $ for some $s \geq 2$ implies $ {I(D)}^{(s)} \neq {I(D)}^s $. We characterize all the maximal strong vertex covers of $D$ such that at most one edge is oriented into each of its vertex and $w(x) \geq 2$ if $\deg_D(x)\geq 2 $ for all $x \in V(D)$. If $ D $ is a weighted rooted tree with degree of root is $ 1 $ and $ w(x) \geq 2 $ when $ \deg_D(x) \geq 2 $ for all $ x \in V(D) $, we show that $ {I(D)}^{(s)} = {I(D)}^s $ for all $s \geq 2$


title: Scheduled Multi-task Learning for Neural Chat Translation

abstract: Neural Chat Translation (NCT) aims to translate conversational text into different languages. Existing methods mainly focus on modeling the bilingual dialogue characteristics (e.g., coherence) to improve chat translation via multi-task learning on small-scale chat translation data. Although the NCT models have achieved impressive success, it is still far from satisfactory due to insufficient chat translation data and simple joint training manners. To address the above issues, we propose a scheduled multi-task learning framework for NCT. Specifically, we devise a three-stage training framework to incorporate the large-scale in-domain chat translation data into training by adding a second pre-training stage between the original pre-training and fine-tuning stages. Further, we investigate where and how to schedule the dialogue-related auxiliary tasks in multiple training stages to effectively enhance the main chat translation task. Extensive experiments in four language directions (English-Chinese and English-German) verify the effectiveness and superiority of the proposed approach. Additionally, we have made the large-scale in-domain paired bilingual dialogue dataset publicly available to the research community.


title: Context-Aware Abbreviation Expansion Using Large Language Models

abstract: Motivated by the need for accelerating text entry in augmentative and alternative communication (AAC) for people with severe motor impairments, we propose a paradigm in which phrases are abbreviated aggressively as primarily word-initial letters. Our approach is to expand the abbreviations into full-phrase options by leveraging conversation context with the power of pretrained large language models (LLMs). Through zero-shot, few-shot, and fine-tuning experiments on four public conversation datasets, we show that for replies to the initial turn of a dialog, an LLM with 64B parameters is able to exactly expand over 70% of phrases with abbreviation length up to 10, leading to an effective keystroke saving rate of up to about 77% on these exact expansions. Including a small amount of context in the form of a single conversation turn more than doubles abbreviation expansion accuracies compared to having no context, an effect that is more pronounced for longer phrases. Additionally, the robustness of models against typo noise can be enhanced through fine-tuning on noisy data.


title: Next-to-leading order QCD corrections to $Z\to \eta_Q+Q+\bar{Q}$

abstract: It has been found that at a high luminosity $e^+ e^-$ collider, sizable $\eta_c+c\bar{c}X$ and $\eta_b+b\bar{b}X$ events can be produced when it works around the $Z$ peak. In this paper, we calculate the decay widths of $Z \to \eta_c+c+\bar{c}+X$ and $Z \to \eta_b+b+\bar{b}+X$ up to next-to-leading order (NLO) accuracy. We find that the NLO corrections are significant in these two processes. After including the NLO corrections, the decay widths of $Z \to \eta_c+c+\bar{c}+X$ and $Z \to \eta_b+b+\bar{b}+X$ are enhanced by about $37\%$ and $28\%$ for the case of $\mu_R=2m_c$ and $\mu_R=2m_b$, respectively. The differential decay widths $d\Gamma/ds_1$ and $d\Gamma/dz$ for these two decay processes are also analyzed.


title: On the Performance Optimization of Two-way Hybrid VLC/RF based IoT System over Cellular Spectrum

abstract: This paper investigates the system outage performance of a useful architecture of two-way hybrid visible light communication/radio frequency (VLC/RF) communication using overlay mode of cooperative cognitive radio network (CCRN). The demand of high data rate application can be fulfilled using VLC link and communication over a wide area of coverage with high reliability can be achieved through RF link. In the proposed architecture, cooperative communication between two licensed user (LU) nodes is accomplished via an aggregation agent (AA). AA can perform like a relay node and in return, it can access the LU spectrum for two-way communications with Internet-of-Things (IoT) device. First, closed form expressions of outage probability of both LU and IoT communication are established. On the basis of these expressions, optimization problems are formulated to achieve minimum outage probability of both LU and IoT network. The impacts of both VLC and RF system parameters on these systems outage probability and throughput are finally shown in simulation results.


title: Transformer-Empowered 6G Intelligent Networks: From Massive MIMO Processing to Semantic Communication

abstract: It is anticipated that 6G wireless networks will accelerate the convergence of the physical and cyber worlds and enable a paradigm-shift in the way we deploy and exploit communication networks. Machine learning, in particular deep learning (DL), is expected to be one of the key technological enablers of 6G by offering a new paradigm for the design and optimization of networks with a high level of intelligence. In this article, we introduce an emerging DL architecture, known as the transformer, and discuss its potential impact on 6G network design. We first discuss the differences between the transformer and classical DL architectures, and emphasize the transformer's self-attention mechanism and strong representation capabilities, which make it particularly appealing for tackling various challenges in wireless network design. Specifically, we propose transformer-based solutions for various massive multiple-input multiple-output (MIMO) and semantic communication problems, and show their superiority compared to other architectures. Finally, we discuss key challenges and open issues in transformer-based solutions, and identify future research directions for their deployment in intelligent 6G networks.


title: Real transmission and reflection zeros of periodic structures with a bound state in the continuum

abstract: For lossless periodic structures with a proper symmetry, the transmission and reflection spectra often have peaks and dips that are truly $100\%$ and $0\%$, respectively. The full peaks and zero dips typically appear near resonant frequencies, and they are robust with respect to structural perturbations that preserve the required symmetry. However, current theories on the existence of full peaks and zero dips are incomplete and difficult to use. For periodic structures with a bound state in the continuum (BIC), we present a new theory on the existence of real transmission and reflection zeros that correspond to the zero dips in the transmission and reflection spectra. Our theory is relatively simple, complete, and easy to use. Numerical examples are presented to validate the new theory.