title: Hierarchical Stochastic Scheduling of Multi-Community Integrated Energy Systems in Uncertain Environments via Stackelberg Game

abstract: An operating entity utilizing community-integrated energy systems with a large number of small-scale distributed energy sources can easily trade with existing distribution markets. To solve the energy management and pricing problem of multi-community integrated energy systems (MCIESs) with multi-energy interaction, this study investigated a hierarchical stochastic optimal scheduling method for uncertain environments. To handle multiple uncertainties, a Wasserstein generative adversarial network with a gradient penalty was used to generate renewable scenarios, and the Kmeans++ clustering algorithm was employed to generate typical scenarios. A Stackelberg-based hierarchical stochastic schedule with an integrated demand response was constructed, where the MCIES operator acted as the leader pursuing the maximum net profit by setting energy prices, while the building users were followers who adjusted their energy consumption plans to minimize their total costs. Finally, a distributed iterative solution method based on a metaheuristic was designed. The effectiveness of the proposed method was verified using practical examples.


title: Estimation of Photometric Redshifts. II. Identification of Out-of-Distribution Data with Neural Networks

abstract: In this study, we propose a three-stage training approach of neural networks for both photometric redshift estimation of galaxies and detection of out-of-distribution (OOD) objects. Our approach comprises supervised and unsupervised learning, which enables using unlabeled (UL) data for OOD detection in training the networks. Employing the UL data, which is the dataset most similar to the real-world data, ensures a reliable usage of the trained model in practice. We quantitatively assess the model performance of photometric redshift estimation and OOD detection using in-distribution (ID) galaxies and labeled OOD (LOOD) samples such as stars and quasars. Our model successfully produces photometric redshifts matched with spectroscopic redshifts for the ID samples and identifies well the LOOD objects with more than 98% accuracy. Although quantitative assessment with the UL samples is impracticable due to the lack of labels and spectroscopic redshifts, we also find that our model successfully estimates reasonable photometric redshifts for ID-like UL samples and filter OOD-like UL objects. The code for the model implementation is available at https://github.com/GooLee0123/MBRNN_OOD.


title: The NuSTAR, XMM-Newton, and Suzaku view of A3395 at the intercluster filament interface

abstract: Galaxy clusters are the largest virialized objects in the universe. Their merger dynamics and their interactions with the cosmic filaments that connect them are important for our understanding of the formation of large-scale structure. In addition, cosmic filaments are thought to possess the missing baryons in the universe. Studying the interaction of galaxy clusters and filaments therefore has the potential to unveil the the origin of the baryons and the physical processes that occur during merger stages of galaxy clusters. In this paper, we study the connection between A3395 and the intercluster filament with NuSTAR, XMM-Newton, and Suzaku data. Since the NuSTAR observation is moderately contaminated by scattered light, we present a novel technique developed for disentangling this background from the emission from the intracluster medium. We find that the interface of the cluster and the intercluster filament connecting A3395 and A3391 does not show any signs of heated plasma, as was previously thought. This interface has low temperature, high density, and low entropy, thus we suggest that the gas is cooling, being enhanced by the turbulent or tidal 'weather' driven during the early stage of the merger. Furthermore, our temperature results from the NuSTAR data are in agreement with those from XMM-Newton, and from joint NuSTAR and XMM-Newton analysis for a region with ~25% scattered light contamination within 1 sigma. We show that the temperature constraint of the intracluster medium is valid even when the data are contaminated up to ~25% for ~5 keV cluster emission.


title: E-CRF: Embedded Conditional Random Field for Boundary-caused Class Weights Confusion in Semantic Segmentation

abstract: Modern semantic segmentation methods devote much effect to adjusting image feature representations to improve the segmentation performance in various ways, such as architecture design, attention mechnism, etc. However, almost all those methods neglect the particularity of class weights (in the classification layer) in segmentation models. In this paper, we notice that the class weights of categories that tend to share many adjacent boundary pixels lack discrimination, thereby limiting the performance. We call this issue Boundary-caused Class Weights Confusion (BCWC). We try to focus on this problem and propose a novel method named Embedded Conditional Random Field (E-CRF) to alleviate it. E-CRF innovatively fuses the CRF into the CNN network as an organic whole for more effective end-to-end optimization. The reasons are two folds. It utilizes CRF to guide the message passing between pixels in high-level features to purify the feature representation of boundary pixels, with the help of inner pixels belonging to the same object. More importantly, it enables optimizing class weights from both scale and direction during backpropagation. We make detailed theoretical analysis to prove it. Besides, superpixel is integrated into E-CRF and served as an auxiliary to exploit the local object prior for more reliable message passing. Finally, our proposed method yields impressive results on ADE20K, Cityscapes, and Pascal Context datasets.


title: A quantitative version of the transversality theorem

abstract: The present paper studies a quantitative version of the transversality theorem. More precisely, given a continuous function $g\in \mathcal{C}([0,1]^d,\mathbb{R}^m)$ and a global smooth manifold $W\subset \mathbb{R}^m$ of dimension $p$, we establish a quantitative estimate on the $(d+p-m)$-dimensional Hausdorff measure of the set $\mathcal{Z}_{W}^{g}=\left\{x\in [0,1]^d: g(x)\in W\right\}$. The obtained result is applied to quantify the total number of shock curves in weak entropy solutions to scalar conservation laws with uniformly convex fluxes in one space dimension.


title: Optimal Memory Scheme for Accelerated Consensus Over Multi-Agent Networks

abstract: The consensus over multi-agent networks can be accelerated by introducing agent's memory to the control protocol. In this paper, a more general protocol with the node memory and the state deviation memory is designed. We aim to provide the optimal memory scheme to accelerate consensus. The contributions of this paper are three: (i) For the one-tap memory scheme, we demonstrate that the state deviation memory is useless for the optimal convergence. (ii) In the worst case, we prove that it is a vain to add any tap of the state deviation memory, and the one-tap node memory is sufficient to achieve the optimal convergence. (iii) We show that the two-tap state deviation memory is effective on some special networks, such as star networks. Numerical examples are listed to illustrate the validity and correctness of the obtained results.


title: Hybrid Quantum Benders' Decomposition For Mixed-integer Linear Programming

abstract: The Benders' decomposition algorithm is a technique in mathematical programming for complex mixed-integer linear programming (MILP) problems with a particular block structure. The strategy of Benders' decomposition can be described as a strategy of divide and conquer. The Benders' decomposition algorithm has been employed in a variety of applications such as communication, networking, and machine learning. However, the master problem in Benders' decomposition is still NP-hard, which motivates us to employ quantum computing. In the paper, we propose a hybrid quantum Benders' decomposition algorithm. We transfer the Benders' decomposition's master problem into the quadratic unconstrained binary optimization (QUBO) model and solve it by the state-of-the-art quantum annealer. Then, we analyze the computational results and discuss the feasibility of the proposed algorithm. Due to our reformulation in the master problem in Benders' decomposition, our hybrid algorithm, which takes advantage of both classical and quantum computers, can guarantee the solution quality for solving MILP problems.


title: Non-Asymptotic Analysis of Online Multiplicative Stochastic Gradient Descent

abstract: Past research has indicated that the covariance of the Stochastic Gradient Descent (SGD) error done via minibatching plays a critical role in determining its regularization and escape from low potential points. Motivated by some new research in this area, we prove universality results by showing that noise classes that have the same mean and covariance structure of SGD via minibatching have similar properties. We mainly consider the Multiplicative Stochastic Gradient Descent (M-SGD) algorithm as introduced in previous work, which has a much more general noise class than the SGD algorithm done via minibatching. We establish non asymptotic bounds for the M-SGD algorithm in the Wasserstein distance. We also show that the M-SGD error is approximately a scaled Gaussian distribution with mean $0$ at any fixed point of the M-SGD algorithm.


title: EMDS-6: Environmental Microorganism Image Dataset Sixth Version for Image Denoising, Segmentation, Feature Extraction, Classification and Detection Methods Evaluation

abstract: Environmental microorganisms (EMs) are ubiquitous around us and have an important impact on the survival and development of human society. However, the high standards and strict requirements for the preparation of environmental microorganism (EM) data have led to the insufficient of existing related databases, not to mention the databases with GT images. This problem seriously affects the progress of related experiments. Therefore, This study develops the Environmental Microorganism Dataset Sixth Version (EMDS-6), which contains 21 types of EMs. Each type of EM contains 40 original and 40 GT images, in total 1680 EM images. In this study, in order to test the effectiveness of EMDS-6. We choose the classic algorithms of image processing methods such as image denoising, image segmentation and target detection. The experimental result shows that EMDS-6 can be used to evaluate the performance of image denoising, image segmentation, image feature extraction, image classification, and object detection methods.


title: Pressure-Driven Magneto-Topological Phase Transition in a magnetic Weyl semimetal

abstract: The co-occurrence of phase transitions with local and global order parameters, such as the entangled magnetization and topological invariant, is attractive but has been seldom realized experimentally. Here, by using high-pressure in-situ X-ray diffraction, high-pressure electric transport measurements and high-pressure first-principles calculations, we report a magneto-topological phase transition, i.e., the phenomenon of magnetic materials undergoing different magnetic and topological phases during the process of pressure loading, in a recently discovered magnetic Weyl semimetal Co3Sn2S2. By considering both out-of-plane ferromagnetic and in-plane anti-ferromagnetic components, the calculated results can well fit the experimental data. The calculation results furtherly reveal a pristine Weyl phase with four more pairs of Weyl nodes under low pressures, and a generally-defined Z2 topological insulator phase after the restoration of time-reversal symmetry. Remarkably, the present magneto-topological phase transition involves a pair of crossing bands of two spin channels becoming degenerate. Thus, all the chiral Weyl nodes annihilate with their counterparts from another spin channel, in contrast to the typical annihilation of Weyl pairs from the same bands in inversion-asymmetric systems. Our experiments and theoretical calculations uncover a manner to modulate the diverse topological states by controlling the internal exchange splitting via external physical knobs in topological magnets.


title: Structure of two- and three-alpha systems in cold neutron matter

abstract: We present stability and structure of two- and three-alpha systems embedded in dilute cold neutron matter. By solving a few-alpha Schr\"{o}dinger equation with quasiparticle properties, i.e., effective mass and induced two- and three-alpha interactions, which are evaluated in terms of Fermi polarons, it is shown that $^8 \mathrm{Be}$ and the Hoyle state become bound at densities of about $10^{-4}$ and $10^{-3}$ of the saturation density, respectively. It is also seen that, under cold neutron matter environment, both systems become smaller than the corresponding systems in vacuum. Our results would affect astrophysical models for stellar collapse and neutron star mergers, as well as relevant reaction rates for nucleosynthesis.


title: Semilinear optimal control with Dirac measures

abstract: The purpose of this work is to study an optimal control problem for a semilinear elliptic partial differential equation with a linear combination of Dirac measures as a forcing term; the control variable corresponds to the amplitude of such singular sources. We analyze the existence of optimal solutions and derive first and, necessary and sufficient, second order optimality conditions. We develop a solution technique that discretizes the state and adjoint equations with continuous piecewise linear finite elements; the control variable is already discrete. We analyze the convergence properties of discretizations and obtain, in two dimensions, an a priori error estimate for the underlying approximation of an optimal control variable.


title: Dynamic Coherence-Based EM Ray Tracing Simulations in Vehicular Environments

abstract: 5G applications have become increasingly popular in recent years as the spread of fifth-generation (5G) network deployment has grown. For vehicular networks, mmWave band signals have been well studied and used for communication and sensing. In this work, we propose a new dynamic ray tracing algorithm that exploits spatial and temporal coherence. We evaluate the performance by comparing the results on typical vehicular communication scenarios with GEMV^2, which uses a combination of deterministic and stochastic models, and WinProp, which utilizes the deterministic model for simulations with given environment information. We also compare the performance of our algorithm on complex, urban models and observe a reduction in computation time by 36% compared to GEMV^2 and by 30% compared to WinProp, while maintaining similar prediction accuracy.


title: Joint 3D Object Detection and Tracking Using Spatio-Temporal Representation of Camera Image and LiDAR Point Clouds

abstract: In this paper, we propose a new joint object detection and tracking (JoDT) framework for 3D object detection and tracking based on camera and LiDAR sensors. The proposed method, referred to as 3D DetecTrack, enables the detector and tracker to cooperate to generate a spatio-temporal representation of the camera and LiDAR data, with which 3D object detection and tracking are then performed. The detector constructs the spatio-temporal features via the weighted temporal aggregation of the spatial features obtained by the camera and LiDAR fusion. Then, the detector reconfigures the initial detection results using information from the tracklets maintained up to the previous time step. Based on the spatio-temporal features generated by the detector, the tracker associates the detected objects with previously tracked objects using a graph neural network (GNN). We devise a fully-connected GNN facilitated by a combination of rule-based edge pruning and attention-based edge gating, which exploits both spatial and temporal object contexts to improve tracking performance. The experiments conducted on both KITTI and nuScenes benchmarks demonstrate that the proposed 3D DetecTrack achieves significant improvements in both detection and tracking performances over baseline methods and achieves state-of-the-art performance among existing methods through collaboration between the detector and tracker.


title: Algorithm for equations of Hammerstein type and applications

abstract: Equations of Hammerstein type cover large variety of areas and are of much interest to a wide audience due to the fact that they have applications in numerous areas. Suitable conditions are imposed to obtain a strong convergence result for nonlinear integral equations of Hammerstein type with monotone type mappings. A technique which does not involve the assumption of existence of a real constant whose calculation is unclear has been used in this study to obtain the strong convergence result. Moreover, our technique is applied to show the forced oscillations of finite amplitude of a pendulum as a specific example of nonlinear integral equations of Hammerstein type. Numerical example is given for the illustration of the convergence of the sequences of iteration. These are done to demonstrate to our readers that this approach can be applied to problems arising in physical systems.


title: Charge-ordered state satisfying the Anderson condition in LiRh2O4 arising from local dimer order

abstract: We report on the charge-ordered structure of LiRh2O4 arising below the metal-insulator transition at 170 K. Structural studies using synchrotron X-rays have revealed that the charge-ordered states of Rh3+ and Rh4+ with dimerization are realized in the low-temperature phase below 170 K. Although the low-temperature ground state resembles that of CuIr2S4, a charge ordering pattern satisfying the Anderson condition is realized in LiRh2O4. Based on structural information such as the short-range order of dimers appearing above the transition temperature and the weakening of the correlation between rhodium one-dimensional chains appearing in the crystal structure, we argue that the Coulomb interaction plays an important role in determining the charge ordering patterns.


title: Phase-dependent epitaxy for antimonene growth on silver substrate

abstract: Antimonene is a novel two-dimensional topological semiconductor material with strain driven tunable electronic structure for future electronic and spintronic devices, but the growth of clean antimonene is not fully understood. In this work, the growth process of antimonene on silver substrate has been studied in detail by using density functional theory and particle swarm optimization algorithms. The results show that, in addition to the experimental reported flat honeycomb and $\beta$-phase antimonene, $\alpha$-phase antimonene was observed to be able to grow on thus substrates, and the phases of antimonene were deeply dependent on the reconstructed supercells and surface alloys. It has been demonstrated that the surface alloys on substrate play an active role in the growth of antimonene.


title: Simple Coding Techniques for Many-Hop Relaying

abstract: In this paper, we study the problem of relaying a single bit of information across a series of binary symmetric channels, and the associated trade-off between the number of hops $m$, the transmission time $n$, and the error probability. We introduce a simple, efficient, and deterministic protocol that attains positive information velocity (i.e., a non-vanishing ratio $\frac{m}{n}$ and small error probability) and is significantly simpler than existing protocols that do so. In addition, we characterize the optimal low-noise and high-noise scaling laws of the information velocity, and we adapt our 1-bit protocol to transmit $k$ bits over $m$ hops with $O(m+k)$ transmission time.


title: Semiparametric Conditional Factor Models: Estimation and Inference

abstract: This paper introduces a simple and tractable sieve estimation of semiparametric conditional factor models with latent factors. We establish large-$N$-asymptotic properties of the estimators without requiring large $T$. We also develop a simple bootstrap procedure for conducting inference about the conditional pricing errors as well as the shapes of the factor loading functions. These results enable us to estimate conditional factor structure of a large set of individual assets by utilizing arbitrary nonlinear functions of a number of characteristics without the need to pre-specify the factors, while allowing us to disentangle the characteristics' role in capturing factor betas from alphas (i.e., undiversifiable risk from mispricing). We apply these methods to the cross-section of individual U.S. stock returns and find strong evidence of large nonzero pricing errors that combine to produce arbitrage portfolios with Sharpe ratios above 3. We also document a significant decline in apparent mispricing over time.


title: Planar chiral metasurfaces with maximal tunable chiroptical response driven by bound states in the continuum

abstract: Optical metasurfaces with high-Q chiral resonances can boost light-matter interaction for various applications of chiral response for ultrathin, active, and nonlinear metadevices. Usually, such metasurfaces require sophisticated depth-resolved nanofabrication to realize subwavelength stereo-nanostructures, posing overwhelming challenges, especially in the short-wavelength range. Here, we suggest a novel planar design for chiral metasurfaces supporting bound states in the continuum (BICs) and demonstrate experimentally chiroptical responses with record-high Q-factors (Q=390) and near-perfect circular dichroism (CD=0.93) at optical frequencies. The symmetry-reduced meta-atoms are highly birefringent and support winding elliptical eigen-polarizations with opposite helicity surrounding the BIC polarization singularity, providing a convenient way for achieving maximal planar chirality tuned by either breaking in-plane symmetry or changing illumination direction. Such sharply resonant chirality realized in planar metasurfaces promises various practical applications in classical and quantum optics including chiral sensing, enantiomer selection, and chiral quantum emitters.


title: Recognition of Tactile-related EEG Signals Generated by Self-touch

abstract: Touch is the first sense among human senses. Not only that, but it is also one of the most important senses that are indispensable. However, compared to sight and hearing, it is often neglected. In particular, since humans use the tactile sense of the skin to recognize and manipulate objects, without tactile sensation, it is very difficult to recognize or skillfully manipulate objects. In addition, the importance and interest of haptic technology related to touch are increasing with the development of technologies such as VR and AR in recent years. So far, the focus is only on haptic technology based on mechanical devices. Especially, there are not many studies on tactile sensation in the field of brain-computer interface based on EEG. There have been some studies that measured the surface roughness of artificial structures in relation to EEG-based tactile sensation. However, most studies have used passive contact methods in which the object moves, while the human subject remains still. Additionally, there have been no EEG-based tactile studies of active skin touch. In reality, we directly move our hands to feel the sense of touch. Therefore, as a preliminary study for our future research, we collected EEG signals for tactile sensation upon skin touch based on active touch and compared and analyzed differences in brain changes during touch and movement tasks. Through time-frequency analysis and statistical analysis, significant differences in power changes in alpha, beta, gamma, and high-gamma regions were observed. In addition, major spatial differences were observed in the sensory-motor region of the brain.


title: Minimal controllability problem on linear structural descriptor systems with forbidden nodes

abstract: We consider a minimal controllability problem (MCP), which determines the minimum number of input nodes for a descriptor system to be structurally controllable. We investigate the "forbidden nodes" in descriptor systems, denoting nodes that are unable to establish connections with input components. The three main results of this work are as follows. First, we show a solvability condition for the MCP with forbidden nodes using graph theory such as a bipartite graph and its Dulmage--Mendelsohn decomposition. Next, we derive the optimal value of the MCP with forbidden nodes. The optimal value is determined by an optimal solution for constrained maximum matching, and this result includes that of the standard MCP in the previous work. Finally, we provide an efficient algorithm for solving the MCP with forbidden nodes based on an alternating path algorithm.


title: Application of Linear Filter and Moment Equation for Parametric Rolling in Irregular Longitudinal Waves

abstract: Parametric rolling is one of the dangerous dynamic phenomena. In order to discuss the safety of a vessel when a dangerous phenomenon occurs, it is important to estimate the probability of certain dynamical behavior of the ship with respect to a certain threshold level. In this paper, the moment values are obtained by solving the moment equations. Since the stochastic differential equation(SDE) is needed to obtain the moment equations, the Autoregressive Moving Average(ARMA) filter is used. The effective wave is modeled by using the 6th-order ARMA filter. In addition, the parametric excitation process is modeled by using a non-memory transformation obtained from the relationship between GM and wave elevation. The resulting system of equations is represented by the 8th-order It\^o stochastic differential equation, which consists of a second-order SDE for the ship motion and a 6th-order SDE for the effective wave. This system has nonlinear components. Therefore, the cumulant neglect closure method is used as higher-order moments need to be truncated. Furthermore, the probability density function of roll angle is determined by using moment values obtained from the SDE and the moment equation. Here, two types of the probability density function are suggested and have a good agreement.


title: Analyzing population dynamics models via Sumudu transform

abstract: This study demonstrates how to construct the solutions of a more general form of population dynamics models via a blend of variational iterative method with Sumudu transform. In this paper, population growth models are formulated in the form of delay differential equations of pantograph type which is a general form for the existing models. Innovative ways are presented for obtaining the solutions of population growth models where other analytic methods fail. Stimulating procedures for finding patterns and regularities in seemingly chaotic processes have been elucidated in this paper. How, when and why the changes in population sizes occur can be deduced through this study.


title: A new flavor of correlation and superconductivity in small twist-angle trilayer graphene

abstract: When layers of graphene are rotationally misaligned by the magic angle, the moir\'e superlattice features extremely flat bands. Due to the enhanced density of states, the Coulomb interaction induces a variety of instabilities. The most prominent occur at integer filling and are therefore commonly attributed to spontaneous polarization of the moir\'e unit cell's `flavor' degrees of freedom -- spin, valley, and the flat-band degeneracy. As the dominant member of the hierarchy, these correlated states are thought to crucially determine further instabilities at lower energy scales, such as superconductivity and weaker incompressible states at fractional filling. In this work, we examine the behavior of twisted trilayer graphene in a window of twist angle around $1.3^{\circ}$, well below the expected magic angle of $1.55^{\circ}$. In this small twist angle regime, we find surprisingly narrow bands, which are populated with both an abundance of correlation-driven states at fractional filling as well as robust superconductivity. The absence of linear-in-$T$ resistivity without significant reduction of the superconducting transition temperature, provides insights into the origin of both phenomena. Most remarkably, the hierarchy between integer and fractional filling is absent, indicating that flavor polarization does not play a governing role. The prominence of fractional filling in the small twist angle regime also points towards a longer-range effective Coulomb interaction. Combined, our results shed new light on outstanding questions in the field, while establishing the small twist angle regime as a new paradigm for exploring novel flavors of moir\'e physics.


title: Collaborating with communities: Citizen Science Flood Monitoring in Urban Informal Settlements

abstract: Concerns regarding the impacts of climate change on marginalised communities in the Global South have led to calls for affected communities to be more active as agents in the process of planning for climate change. While the value of involving communities in risk management is increasingly accepted, the development of appropriate tools to support community engagement in flood risk management projects remains nascent. Using the Revitalising Informal Settlements and their Environment (RISE) Program as a case study, the article interrogates the potential of citizen science to include disadvantaged urban communities in project-level flood risk reduction planning processes. This project collected more than 5000 photos taken by 26 community members living in 13 informal settlements in Fiji and Indonesia between 2018 and 2020. The case study documents the method used as well as the results achieved within this 2-year project. It discusses the method developed and implemented, outlines the main results, and provides lessons learned for others embarking on citizen science environmental monitoring projects. The case study indicates that the engagement model and the technology used were key to the success of the flood-monitoring project. The experiences with the practice of monitoring floods in collaboration with communities in Fiji and Indonesia provide insights into how similar projects could advance more participatory risk management practices. The article identifies how this kind of approach can collect valuable flood data while also promoting opportunities for local communities to be heard in the arena of risk reduction and climate change adaptation.


title: Output fusion of MPC and PID and its application in intelligent layered water injection of oilfield

abstract: To improve the dynamic response performance of wave code communication in intelligent layered water injection of oilfield, this paper proposes an output optimal fusion control method based on MPC-PID. Firstly, depending on the well structure and the flow-pressure characteristics of the layer, the steady-state model between the differential pressure and flow of the whole well and different layer sections is established for layered water injection, and the corresponding wave code amplitude at the steady-state operating point of different layer sections is solved, the numerical calculation verifies that the increase of the nozzle opening in a single layer section will drive the pressure and flow curve of the whole well downward. Secondly, combining the dynamic response characteristics and steady-state model of the whole-well water distribution equipment, a dynamic model of layered intelligent water injection is established, and the generation process of the wave code is defined; Finally, the MPC-PID optimal fusion control algorithm structure is designed to derive the fusion control law that minimizes the cost function under fixed weights, , and the optimal weights are calculated by combining the internal model structure of controller, so the optimization performance of each algorithm in the optimal fusion control is balanced. By analyzing the control simulation results, the fast response characteristics of the fusion control method are verified. Meanwhile, the simulation comparison experiments of fast wave code communication under different methods are conducted with the actual working conditions, the results show that the fusion control method has both fast tracking control capability and strong robustness, which effectively enhances the efficiency of wave code communication and shortens the wave code operation time.


title: A code-based hybrid signcryption scheme

abstract: A key encapsulation mechanism (KEM) that takes as input an arbitrary string, i.e., a tag, is known as tag-KEM, while a scheme that combines signature and encryption is called signcryption. In this paper, we present a code-based signcryption tag-KEM scheme. We utilize a code-based signature and an IND-CCA2 (adaptive chosen ciphertext attack) secure version of McEliece's encryption scheme. The proposed scheme uses an equivalent subcode as a public code for the receiver, making the NPcompleteness of the subcode equivalence problem to be one of our main security assumptions. We then base the signcryption tag-KEM to design a code-based hybrid signcryption scheme. A hybrid scheme deploys asymmetric- as well as symmetric-key encryption. We give security analyses of both our schemes in the standard model and prove that they are secure against IND-CCA2 (indistinguishability under adaptive chosen ciphertext attack) and SUF-CMA (strong existential unforgeability under chosen message attack).


title: VPVnet: a velocity-pressure-vorticity neural network method for the Stokes' equations under reduced regularity

abstract: We present VPVnet, a deep neural network method for the Stokes' equations under reduced regularity. Different with recently proposed deep learning methods [40,51] which are based on the original form of PDEs, VPVnet uses the least square functional of the first-order velocity-pressure-vorticity (VPV) formulation ([30]) as loss functions. As such, only first-order derivative is required in the loss functions, hence the method is applicable to a much larger class of problems, e.g. problems with non-smooth solutions. Despite that several methods have been proposed recently to reduce the regularity requirement by transforming the original problem into a corresponding variational form, while for the Stokes' equations, the choice of approximating spaces for the velocity and the pressure has to satisfy the LBB condition additionally. Here by making use of the VPV formulation, lower regularity requirement is achieved with no need for considering the LBB condition. Convergence and error estimates have been established for the proposed method. It is worth emphasizing that the VPVnet method is divergence-free and pressure-robust, while classical inf-sup stable mixed finite elements for the Stokes' equations are not pressure-robust. Various numerical experiments including 2D and 3D lid-driven cavity test cases are conducted to demonstrate its efficiency and accuracy.


title: Kazhdan-Lusztig Algorithm for Whittaker Modules with Arbitrary Infinitesimal Characters

abstract: Let $\mathfrak{g}$ be a complex semisimple Lie algebra. We give a description of characters of irreducible Whittaker modules for $\mathfrak{g}$ with any infinitesimal character, along with a Kazhdan-Lusztig algorithm for computing them. This generalizes Milicic-Soergel's and Romanov's results for integral infinitesimal characters. As a special case, we recover the non-integral Kazhdan-Lusztig conjecture for Verma modules.


title: CLIP-Lite: Information Efficient Visual Representation Learning with Language Supervision

abstract: We propose CLIP-Lite, an information efficient method for visual representation learning by feature alignment with textual annotations. Compared to the previously proposed CLIP model, CLIP-Lite requires only one negative image-text sample pair for every positive image-text sample during the optimization of its contrastive learning objective. We accomplish this by taking advantage of an information efficient lower-bound to maximize the mutual information between the two input modalities. This allows CLIP-Lite to be trained with significantly reduced amounts of data and batch sizes while obtaining better performance than CLIP at the same scale. We evaluate CLIP-Lite by pretraining on the COCO-Captions dataset and testing transfer learning to other datasets. CLIP-Lite obtains a +14.0% mAP absolute gain in performance on Pascal VOC classification, and a +22.1% top-1 accuracy gain on ImageNet, while being comparable or superior to other, more complex, text-supervised models. CLIP-Lite is also superior to CLIP on image and text retrieval, zero-shot classification, and visual grounding. Finally, we show that CLIP-Lite can leverage language semantics to encourage bias-free visual representations that can be used in downstream tasks. Implementation: https://github.com/4m4n5/CLIP-Lite


title: Explore Long-Range Context feature for Speaker Verification

abstract: Capturing long-range dependency and modeling long temporal contexts is proven to benefit speaker verification tasks. In this paper, we propose the combination of the Hierarchical-Split block(HS-block) and the Depthwise Separable Self-Attention(DSSA) module to capture richer multi-range context speaker features from a local and global perspective respectively. Specifically, the HS-block splits the feature map and filters into several groups and stacks them in one block, which enlarges the receptive fields(RFs) locally. The DSSA module improves the multi-head self-attention mechanism by the depthwise-separable strategy and explicit sparse attention strategy to model the pairwise relations globally and captures effective long-range dependencies in each channel. Experiments are conducted on the Voxceleb and SITW. Our best system achieves 1.27% EER on the Voxceleb1 test set and 1.56% on SITW by applying the combination of HS-block and DSSA module.


title: On the hitting probabilities of limsup random fractals

abstract: Let $A$ be a limsup random fractal with indices $\gamma_1, ~\gamma_2 ~$and $\delta$ on $[0,1]^d$. We determine the hitting probability $\mathbb{P}(A\cap G)$ for any analytic set $G$ with the condition $(\star)$$\colon$ $\dim_{\rm H}(G)>\gamma_2+\delta$, where $\dim_{\rm H}$ denotes the Hausdorff dimension. This extends the correspondence of Khoshnevisan, Peres and Xiao [10] by relaxing the condition that the probability $P_n$ of choosing each dyadic hyper-cube is homogeneous and $\lim\limits_{n\to\infty}\frac{\log_2P_n}{n}$ exists. We also present some counterexamples to show the Hausdorff dimension in condition $(\star)$ can not be replaced by the packing dimension.


title: Soliton-pair dynamical transition in mode-locked lasers

abstract: Multi-soliton mode-locked laser waveforms are much sought as a complex light source for research and applications, but are difficult to manipulate effectively because of the elaborate and diverse interactions present. Here we present an experimental, numerical, and theoretical study of the interaction and control of the internal dynamics of a two-soliton waveform in a mode-locked fiber laser. Using the pumping current as a control agent, we demonstrate experimentally a two-orders-of-magnitude reduction in the separation of a bound soliton pair, inducing a dynamical transition between a loosely bound, phase-incoherent pair, and a tightly bound phase-locked pair. We show on the basis of a Haus-model numerical simulation of the recently-proposed noise-mediated interaction theory, that the pulse separation and dynamical transition are governed by the shape of the dispersive-wave pedestals. We explain the dynamical transition by showing analytically, within a simplified theory, that the noise-mediated interaction becomes purely attractive when the pedestals energy drops below a threshold. This work demonstrates the ability to control the waveform through the interaction forces, without external intervention in the light propagation in the laser.


title: New Binary Quantum Codes Constructed from Quasi-Cyclic Codes

abstract: It is well known that quantum codes can be constructed by means of classical symplectic dual-containing codes. This paper considers a family of two-generator quasi-cyclic codes and derives sufficient conditions for these codes to be symplectic dual-containing. Then, a new method for constructing binary quantum codes using symplectic dual-containing codes is proposed. As an application, we construct 8 binary quantum codes that exceed the best-known results. Further, another 36 new binary quantum codes are obtained by propagation rules, all of which improve the lower bound on the minimum distances.


title: Comments on quantum oscillations in two-dimensional insulators induced by graphite gates

abstract: A recent Letter by Zhu et al [Phys. Rev. Lett. 127, 247702 (2021)] claimed a unified mechanism for quantum oscillations (QOs) in graphite-gated 2D devices based on studies of three cases (WTe2, MoTe$_2$/WSe$_2$ heterobilayers and bilayer graphene (BLG)). We find that not only are the claims of Zhu et al based on insufficient evidence in all three cases but also critical aspects are ignored. Their conclusions are hence unreliable.


title: Effects of gas-liquid phase transitions on soundwave propagation: A molecular dynamics study

abstract: To understand ultrasonic cavitation, it is imperative to analyze the effects of the gas-liquid phase transitions on soundwave propagation. Since current methods based on fluid dynamics offer limited information, it is imperative to carry out further research on this phenomenon. In this study, we investigated the effects of cavitation and near-critical fluid on soundwaves using the molecular dynamics (MD) simulations of Lennard-Jones fluids. In the first-order liquid-to-gas transition region (far from the critical point), the waveform does not continuously change with the temperature and source oscillation amplitude owing to the discontinuous change in the density due to the phase transition. Meanwhile, in the continuous transition region (crossing near the critical point), the waveform continuously varies with temperature regardless of the amplitudes because phase separation is not involved in this region. The density fluctuations increase as the amplitude increases; however, it does not affect the waveform. Thus, we clarified that the first-order and continuous transitions have different impacts on soundwaves. Moreover, we determined the acoustic characteristics, such as attenuation and nonlinear parameters, by comparing the results of the numerical solution of Burgers' equation and MD simulation. Burgers' equation clearly describes the soundwave phenomenon until phase separation or bubble formation occurs. In the continuous transition region, the attenuation parameters tend to diverge, reflecting a critical anomaly trend. We observed the bubbles move forward with the oscillation of their radii owing to their interaction with the soundwaves. This is the first direct observation of the interaction using MD simulations.


title: Secretary Matching With Vertex Arrivals and No Rejections

abstract: Most prior work on online matching problems has been with the flexibility of keeping some vertices unmatched. We study three related online matching problems with the constraint of matching every vertex, i.e., with no rejections. We adopt a model in which vertices arrive in uniformly random order and the non-negative edge-weights are arbitrary. For the capacitated online bipartite matching problem, in which the vertices of one side of the graph are offline and those of the other side arrive online, we give a 4.62-competitive algorithm when the capacity of each offline vertex is 2. For the online general (non-bipartite) matching problem, where all vertices arrive online, we give a 3.34-competitive algorithm. We also study the online roommate matching problem (Huzhang et al. 2017), in which each room (offline vertex) holds 2 persons (online vertices). Persons derive non-negative additive utilities from their room as well as roommate. In this model, with the goal of maximizing the social welfare, we give a 7.96-competitive algorithm. This is an improvement over the 24.72 approximation factor in (Huzhang et al. 2017).


title: The role of forward self-similar solutions in the Cauchy problem for semi-linear heat equations with exponential nonlinearity

abstract: We consider the Cauchy problem for semi-linear heat equations with exponential nonlinearity. The main purpose of this paper is to prove the existence of solutions lying on the borderline between global existence and blow-up infinite time. The existence has been shown for semi-linear heat equations with power type nonlinearity. We explain the main strategy to prove the existence. By using the definition of exponential function, we approximate the solution to exponential type equation by that of power type equation. Then we can use directly the knowledge for power type equation.


title: L^{2}-blowup estimates of the plate equation

abstract: We consider the Cauchy problems in n-dimensional Euclidean space for the plate equation with a weighted L^{1}-initial data. We derive optimal estimates of the L^{2}-norm of solutions for n = 1, 2, 3, 4. In particular, such obtained results express infinite time blowup properties in the case when the 0-th moment of the initial velocity does not vanish. The idea to derive them is strongly inspired from an already developed technique by the author's collaborative works.


title: Better Pay Attention Whilst Fuzzing

abstract: Fuzzing is one of the prevailing methods for vulnerability detection. However, even state-of-the-art fuzzing methods become ineffective after some period of time, i.e., the coverage hardly improves as existing methods are ineffective to focus the attention of fuzzing on covering the hard-to-trigger program paths. In other words, they cannot generate inputs that can break the bottleneck due to the fundamental difficulty in capturing the complex relations between the test inputs and program coverage. In particular, existing fuzzers suffer from the following main limitations: 1) lacking an overall analysis of the program to identify the most "rewarding" seeds, and 2) lacking an effective mutation strategy which could continuously select and mutates the more relevant "bytes" of the seeds. In this work, we propose an approach called ATTuzz to address these two issues systematically. First, we propose a lightweight dynamic analysis technique which estimates the "reward" of covering each basic block and selects the most rewarding seeds accordingly. Second, we mutate the selected seeds according to a neural network model which predicts whether a certain "rewarding" block will be covered given certain mutation on certain bytes of a seed. The model is a deep learning model equipped with attention mechanism which is learned and updated periodically whilst fuzzing. Our evaluation shows that ATTuzz significantly outperforms 5 state-of-the-art grey-box fuzzers on 13 popular real-world programs at achieving higher edge coverage and finding new bugs. In particular, ATTuzz achieved 2X edge coverage and 4X bugs detected than AFL over 24-hour runs. Moreover, ATTuzz persistently improves the edge coverage in the long run, i.e., achieving 50% more coverage than AFL in 5 days.


title: GEO-BLEU: Similarity Measure for Geospatial Sequences

abstract: In recent geospatial research, the importance of modeling large-scale human mobility data and predicting trajectories is rising, in parallel with progress in text generation using large-scale corpora in natural language processing. Whereas there are already plenty of feasible approaches applicable to geospatial sequence modeling itself, there seems to be room to improve with regard to evaluation, specifically about measuring the similarity between generated and reference trajectories. In this work, we propose a novel similarity measure, GEO-BLEU, which can be especially useful in the context of geospatial sequence modeling and generation. As the name suggests, this work is based on BLEU, one of the most popular measures used in machine translation research, while introducing spatial proximity to the idea of n-gram. We compare this measure with an established baseline, dynamic time warping, applying it to actual generated geospatial sequences. Using crowdsourced annotated data on the similarity between geospatial sequences collected from over 12,000 cases, we quantitatively and qualitatively show the proposed method's superiority.


title: Linear Discriminant Analysis with High-dimensional Mixed Variables

abstract: Datasets containing both categorical and continuous variables are frequently encountered in many areas, and with the rapid development of modern measurement technologies, the dimensions of these variables can be very high. Despite the recent progress made in modelling high-dimensional data for continuous variables, there is a scarcity of methods that can deal with a mixed set of variables. To fill this gap, this paper develops a novel approach for classifying high-dimensional observations with mixed variables. Our framework builds on a location model, in which the distributions of the continuous variables conditional on categorical ones are assumed Gaussian. We overcome the challenge of having to split data into exponentially many cells, or combinations of the categorical variables, by kernel smoothing, and provide new perspectives for its bandwidth choice to ensure an analogue of Bochner's Lemma, which is different to the usual bias-variance tradeoff. We show that the two sets of parameters in our model can be separately estimated and provide penalized likelihood for their estimation. Results on the estimation accuracy and the misclassification rates are established, and the competitive performance of the proposed classifier is illustrated by extensive simulation and real data studies.


title: PP-HumanSeg: Connectivity-Aware Portrait Segmentation with a Large-Scale Teleconferencing Video Dataset

abstract: As the COVID-19 pandemic rampages across the world, the demands of video conferencing surge. To this end, real-time portrait segmentation becomes a popular feature to replace backgrounds of conferencing participants. While feature-rich datasets, models and algorithms have been offered for segmentation that extract body postures from life scenes, portrait segmentation has yet not been well covered in a video conferencing context. To facilitate the progress in this field, we introduce an open-source solution named PP-HumanSeg. This work is the first to construct a large-scale video portrait dataset that contains 291 videos from 23 conference scenes with 14K fine-labeled frames and extensions to multi-camera teleconferencing. Furthermore, we propose a novel Semantic Connectivity-aware Learning (SCL) for semantic segmentation, which introduces a semantic connectivity-aware loss to improve the quality of segmentation results from the perspective of connectivity. And we propose an ultra-lightweight model with SCL for practical portrait segmentation, which achieves the best trade-off between IoU and the speed of inference. Extensive evaluations on our dataset demonstrate the superiority of SCL and our model. The source code is available at https://github.com/PaddlePaddle/PaddleSeg.


title: System Equivalent Flux Density of a Polarimetric Tripole Radio Interferometer

abstract: System equivalent flux density (SEFD) is an important figure of merit of a radio telescope. This paper aims to derive a general expression for SEFD of a polarimetric tripole interferometer. The derivation makes only two basic and reasonable assumptions. First, the noise under consideration is zero mean and when expressed in complex phasor domain, has independent and identically distributed (iid) real and imaginary components. Correlated and non-identically distributed noise sources are allowed as long as the real and imaginary components remain iid. Second, the system noise is uncorrelated between the elements separated by a baseline distance. The SEFD expression is derived from first principles, that is the standard deviation of the noisy flux estimate in a target direction due to system noise. The resulting SEFD expression is expressed as a simple matrix operation that involves a mixture of the system temperatures of each antenna and the Jones matrix elements. It is not limited to tripoles, but rather, fully extensible to multipole antennas; it is not limited to mutually orthogonal antennas. To illustrate the usefulness of the expression and how the formula is applied, we discuss an example calculation based on a tripole interferometer on lunar orbit for ultra-long wavelengths observation. We compared the SEFD results based on a formula assuming short dipoles and the general expression. As expected, the SEFDs converge at the ultra-long wavelengths where the dipoles are well-approximated as short dipoles. The general SEFD expression can be applied to any multipole antenna systems with arbitrary shapes.


title: Decoding 3D Representation of Visual Imagery EEG using Attention-based Dual-Stream Convolutional Neural Network

abstract: A deep neural network has been successfully applied to an electroencephalogram (EEG)-based brain-computer interface. However, in most studies, the correlation between EEG channels and inter-region relationships are not well utilized, resulting in sub-optimized spatial feature extraction. In this study, we propose an attention-based dual-stream 3D-convolutional neural network that can enhance spatial feature extraction by emphasizing the relationship between channels with dot product-based channel attention and 3D convolution. The proposed method showed superior performance than the comparative models by achieving an accuracy of 0.58 for 4-class visual imagery (VI) EEG classification. Through statistical and neurophysiological analysis, visual motion imagery showed higher alpha-power spectral density (PSD) over the visual cortex than static VI. Also, the VI of swarm dispersion showed higher beta-PSD over the pre-frontal cortex than the VI of swarm aggregation.


title: Factor Models with Sparse VAR Idiosyncratic Components

abstract: We reconcile the two worlds of dense and sparse modeling by exploiting the positive aspects of both. We employ a factor model and assume {the dynamic of the factors is non-pervasive while} the idiosyncratic term follows a sparse vector autoregressive model (VAR) {which allows} for cross-sectional and time dependence. The estimation is articulated in two steps: first, the factors and their loadings are estimated via principal component analysis and second, the sparse VAR is estimated by regularized regression on the estimated idiosyncratic components. We prove the consistency of the proposed estimation approach as the time and cross-sectional dimension diverge. In the second step, the estimation error of the first step needs to be accounted for. Here, we do not follow the naive approach of simply plugging in the standard rates derived for the factor estimation. Instead, we derive a more refined expression of the error. This enables us to derive tighter rates. We discuss the implications of our model for forecasting, factor augmented regression, bootstrap of factor models, and time series dependence networks via semi-parametric estimation of the inverse of the spectral density matrix.


title: Spatial computing in structured spiking neural networks with a robotic embodiment

abstract: One of the challenges of modern neuroscience is creating a "living computer" based on neural networks grown in vitro. Such an artificial device is supposed to perform neurocomputational tasks and interact with the environment when embodied in a robot. Recent studies have identified the most critical challenge, the search for a neural network architecture to implement associative learning. This work proposes a model of modular architecture with spiking neural networks connected by unidirectional couplings. We show that the model enables training a neuro-robot according to Pavlovian conditioning. The robot's performance in obstacle avoidance depends on the ratio of the weights in inter-network couplings. We show that besides STDP, critical factors for successful learning are synaptic and neuronal competitions. We use the recently discovered shortest path rule to implement the synaptic competition. This method is ready for experimental testing. Strong inhibitory couplings implement the neuronal competition in the subnetwork responsible for the unconditional response. Empirical testing of this approach requires a technique for growing neural networks with a given ratio of excitatory and inhibitory neurons not available yet. An alternative is building a hybrid system with in vitro neural networks coupled through hardware memristive connections.


title: Exploring yttrium doped C$_{24}$ fullerene as a high-capacity reversible hydrogen storage material: DFT investigations

abstract: By employing the state-of-the-art density functional theory, we report the hydrogen storage capability of yttrium decorated C$_{24}$ fullerene. Single Y atom attached on C$_{24}$ fullerene can reversibly adsorb a maximum number of 6 H$_2$ molecules with average adsorption energy -0.37 eV and average desorption temperature 477 K, suitable for fuel cell applications. The gravimetric weight content of hydrogen is 8.84 %, which exceeds the target value of 6.5 wt % H by the department of energy (DoE) of the United States. Y atom is strongly bonded to C$_{24}$ fullerene with a binding energy of -3.4 eV due to a charge transfer from Y-4d and Y-5s orbitals to the C-2p orbitals of C$_{24}$ fullerene. The interaction of H$_2$ molecules with the Y atom is due to the Kubas type interaction involving a charge donation from the metal d orbital to H 1s orbital, and back donation causing slight elongation of H-H bond length. The stability of the system at the highest desorption temperature is confirmed by ab-initio molecular dynamics simulations, and the metal-metal clustering formation has been investigated by computing the diffusion energy barrier for the movement of Y atoms. We have corrected all the calculated energies for the van der Waals (vdW) interactions by applying the dispersion energy corrections, in addition to the contribution of the GGA exchange-correlation functional. The C$_{24}$+Y system is stable at room temperature, and at the highest desorption temperature, the presence of a sufficient diffusion energy barrier prevents metal-metal clustering. Furthermore, binding energies of H$_2$ are within the target value by DoE (-0.2-0.7 eV/H$_2$ ), while H$_2$ uptake (8.84 % H) is higher than DoE's criteria. Therefore, we propose that Y decorated C$_{24}$ fullerene can be tailored as a practically viable potential hydrogen storage candidate.


title: On the structure of the solutions to the matrix equation $G^*JG=J$

abstract: We study the mathematical structure of the solution set (and its tangent space) to the matrix equation $G^*JG=J$ for a given square matrix $J$. In the language of pure mathematics, this is a Lie group which is the isometry group for a bilinear (or a sesquilinear) form. Generally these groups are described as intersections of a few special groups. The tangent space to $\{G: G^*JG=J \}$ consists of solutions to the linear matrix equation $X^*J+JX=0$. For the complex case, the solution set of this linear equation was computed by De Ter{\'a}n and Dopico. We found that on its own, the equation $X^*J+JX=0$ is hard to solve. By throwing into the mix the complementary linear equation $X^*J-JX=0$, we find that rather than increasing the complexity, we reduce the complexity. Not only is it possible to now solve the original problem, but we can approach the broader algebraic and geometric structure. One implication is that the two equations form an $\mathfrak{h}$ and $\mathfrak{m}$ pair familiar in the study of pseudo-Riemannian symmetric spaces. We explicitly demonstrate the computation of the solutions to the equation $X^*J\pm XJ=0$ for real and complex matrices. However, any real, complex or quaternionic case with an arbitrary involution (e.g., transpose, conjugate transpose, and the various quaternion transposes) can be effectively solved with the same strategy. We provide numerical examples and visualizations.


title: Dilepton Helical Production in a Vortical Quark-Gluon Plasma

abstract: In this paper, we propose an observable counting a weighted difference between right-handed and left-handed lepton pairs, which is coined dilepton helical rate. The weight is the momentum difference of the lepton pairs projected onto an auxiliary vector. We derive the helical rate in a quark-gluon plasma with a vorticity in the limit when the quark and lepton masses are ignored. We find the helical rate is maximized when the auxiliary vector is parallel to the vorticity, in which case it has a nearly spherical oblate ellipsoidal distribution. We propose that it can be used as a vortical-meter for quark-gluon plasma.


title: Sixth Order Compact Finite Difference Method for 2D Helmholtz Equations with Singular Sources and Reduced Pollution Effect

abstract: Due to its highly oscillating solution, the Helmholtz equation is numerically challenging to solve. To obtain a reasonable solution, a mesh size that is much smaller than the reciprocal of the wavenumber is typically required (known as the pollution effect). High order schemes are desirable, because they are better in mitigating the pollution effect. In this paper, we present a high order compact finite difference method for 2D Helmholtz equations with singular sources, which can also handle any possible combinations of boundary conditions (Dirichlet, Neumann, and impedance) on a rectangular domain. Our method achieves a sixth order consistency for a constant wavenumber, and a fifth order consistency for a piecewise constant wavenumber. To reduce the pollution effect, we propose a new pollution minimization strategy that is based on the average truncation error of plane waves. Our numerical experiments demonstrate the superiority of our proposed finite difference scheme with reduced pollution effect to several state-of-the-art finite difference schemes, particularly in the critical pre-asymptotic region where $\textsf{k} h$ is near $1$ with $\textsf{k}$ being the wavenumber and $h$ the mesh size.


title: Behavioral Foundations of Nested Stochastic Choice and Nested Logit

abstract: We provide the first behavioral characterization of nested logit, a foundational and widely applied discrete choice model, through the introduction of a non-parametric version of nested logit that we call Nested Stochastic Choice (NSC). NSC is characterized by a single axiom that weakens Independence of Irrelevant Alternatives based on revealed similarity to allow for the similarity effect. Nested logit is characterized by an additional menu-independence axiom. Our axiomatic characterization leads to a practical, data-driven algorithm that identifies the true nest structure from choice data. We also discuss limitations of generalizing nested logit by studying the testable implications of cross-nested logit.


title: ImportantAug: a data augmentation agent for speech

abstract: We introduce ImportantAug, a technique to augment training data for speech classification and recognition models by adding noise to unimportant regions of the speech and not to important regions. Importance is predicted for each utterance by a data augmentation agent that is trained to maximize the amount of noise it adds while minimizing its impact on recognition performance. The effectiveness of our method is illustrated on version two of the Google Speech Commands (GSC) dataset. On the standard GSC test set, it achieves a 23.3% relative error rate reduction compared to conventional noise augmentation which applies noise to speech without regard to where it might be most effective. It also provides a 25.4% error rate reduction compared to a baseline without data augmentation. Additionally, the proposed ImportantAug outperforms the conventional noise augmentation and the baseline on two test sets with additional noise added.


title: Federated Nearest Neighbor Classification with a Colony of Fruit-Flies: With Supplement

abstract: The mathematical formalization of a neurological mechanism in the olfactory circuit of a fruit-fly as a locality sensitive hash (Flyhash) and bloom filter (FBF) has been recently proposed and "reprogrammed" for various machine learning tasks such as similarity search, outlier detection and text embeddings. We propose a novel reprogramming of this hash and bloom filter to emulate the canonical nearest neighbor classifier (NNC) in the challenging Federated Learning (FL) setup where training and test data are spread across parties and no data can leave their respective parties. Specifically, we utilize Flyhash and FBF to create the FlyNN classifier, and theoretically establish conditions where FlyNN matches NNC. We show how FlyNN is trained exactly in a FL setup with low communication overhead to produce FlyNNFL, and how it can be differentially private. Empirically, we demonstrate that (i) FlyNN matches NNC accuracy across 70 OpenML datasets, (ii) FlyNNFL training is highly scalable with low communication overhead, providing up to $8\times$ speedup with $16$ parties.


title: Hop-Spanners for Geometric Intersection Graphs

abstract: A $t$-spanner of a graph $G=(V,E)$ is a subgraph $H=(V,E')$ that contains a $uv$-path of length at most $t$ for every $uv\in E$. It is known that every $n$-vertex graph admits a $(2k-1)$-spanner with $O(n^{1+1/k})$ edges for $k\geq 1$. This bound is the best possible for $1\leq k\leq 9$ and is conjectured to be optimal due to Erd\H{o}s' girth conjecture. We study $t$-spanners for $t\in \{2,3\}$ for geometric intersection graphs in the plane. These spanners are also known as \emph{$t$-hop spanners} to emphasize the use of graph-theoretic distances (as opposed to Euclidean distances between the geometric objects or their centers). We obtain the following results: (1) Every $n$-vertex unit disk graph (UDG) admits a 2-hop spanner with $O(n)$ edges; improving upon the previous bound of $O(n\log n)$. (2) The intersection graph of $n$ axis-aligned fat rectangles admits a 2-hop spanner with $O(n\log n)$ edges, and this bound is tight up to a factor of $\log \log n$. (3) The intersection graph of $n$ fat convex bodies in the plane admits a 3-hop spanner with $O(n\log n)$ edges. (4) The intersection graph of $n$ axis-aligned rectangles admits a 3-hop spanner with $O(n\log^2 n)$ edges.


title: Birds Eye View Social Distancing Analysis System

abstract: Social distancing can reduce the infection rates in respiratory pandemics such as COVID-19. Traffic intersections are particularly suitable for monitoring and evaluation of social distancing behavior in metropolises. We propose and evaluate a privacy-preserving social distancing analysis system (B-SDA), which uses bird's-eye view video recordings of pedestrians who cross traffic intersections. We devise algorithms for video pre-processing, object detection and tracking which are rooted in the known computer-vision and deep learning techniques, but modified to address the problem of detecting very small objects/pedestrians captured by a highly elevated camera. We propose a method for incorporating pedestrian grouping for detection of social distancing violations. B-SDA is used to compare pedestrian behavior based on pre-pandemic and pandemic videos in a major metropolitan area. The accomplished pedestrian detection performance is $63.0\%$ $AP_{50}$ and the tracking performance is $47.6\%$ MOTA. The social distancing violation rate of $15.6\%$ during the pandemic is notably lower than $31.4\%$ pre-pandemic baseline, indicating that pedestrians followed CDC-prescribed social distancing recommendations. The proposed system is suitable for deployment in real-world applications.


title: A New Perspective on the Effects of Spectrum in Graph Neural Networks

abstract: Many improvements on GNNs can be deemed as operations on the spectrum of the underlying graph matrix, which motivates us to directly study the characteristics of the spectrum and their effects on GNN performance. By generalizing most existing GNN architectures, we show that the correlation issue caused by the $unsmooth$ spectrum becomes the obstacle to leveraging more powerful graph filters as well as developing deep architectures, which therefore restricts GNNs' performance. Inspired by this, we propose the correlation-free architecture which naturally removes the correlation issue among different channels, making it possible to utilize more sophisticated filters within each channel. The final correlation-free architecture with more powerful filters consistently boosts the performance of learning graph representations. Code is available at https://github.com/qslim/gnn-spectrum.


title: On the Gauss-Epple homomorphism of the braid group $B_n$, and generalizations to Artin groups of crystallographic type

abstract: In this paper, we introduce a broad family of group homomorphisms that we name the Gauss-Epple homomorphisms. In the setting of braid groups, the Gauss-Epple invariant was originally defined by Epple based on a note of Gauss as an action of the braid group $B_n$ on the set $\{1, \dots, n\}\times\mathbb{Z}$; we prove that it is well-defined. We consider the associated group homomorphism from $B_n$ to the symmetric group $\text{Sym}(\{1, \dots, n\}\times\mathbb{Z})$. We prove that this homomorphism factors through $\mathbb{Z}^n\rtimes S_n$ (in fact, its image is an order 2 subgroup of the previous group). We also describe the kernel of the homomorphism and calculate the asymptotic probability that it contains a random braid of a given length. Furthermore, we discuss the super-Gauss-Epple homomorphism, a homomorphism which extends the generalization of the Gauss-Epple homomorphism and describe a related 1-cocycle of the symmetric group $S_n$ on the set of antisymmetric $n\times n$ matrices over the integers. We then generalize the super-Gauss-Epple homomorphism and the associated 1-cocycle to Artin groups of finite type. For future work, we suggest studying possible generalizations to complex reflection groups and computing the vector spaces of Gauss-Epple analogues.


title: Inferring the Rotation Period Distribution of Stars from their Projected Rotation Velocities and Radii: Application to late-F/early-G Kepler Stars

abstract: While stellar rotation periods $P_\mathrm{rot}$ may be measured from broadband photometry, the photometric modulation becomes harder to detect for slower rotators, which could bias measurements of the long-period tail of the $P_\mathrm{rot}$ distribution. Alternatively, the $P_\mathrm{rot}$ distribution of stars can be inferred from their projected rotation velocities $v\sin i$ and radii $R$, without being biased against photometrically quiet stars. We solve this inference problem using a hierarchical Bayesian framework, which (i) is applicable to heteroscedastic measurements of $v\sin i$ and $R$ with non-Gaussian uncertainties and (ii) does not require a simple parametric form for the true $P_\mathrm{rot}$ distribution. We test the method on simulated data sets and show that the true $P_\mathrm{rot}$ distribution can be recovered from $\gtrsim 100$ sets of $v\sin i$ and $R$ measured with precisions of $1\,\mathrm{km/s}$ and $4\%$, respectively, unless the true distribution includes sharp discontinuities. We apply the method to a sample of 144 late-F/early-G dwarfs in the Kepler field with $v\sin i$ measured from Keck/HIRES spectra, and find that the typical rotation periods of these stars are similar to the photometric periods measured from Kepler light curves: we do not find a large population of slow rotators that are missed in the photometric sample, although we find evidence that the photometric sample is biased for young, rapidly-rotating stars. Our results also agree with asteroseismic measurements of $P_\mathrm{rot}$ for Kepler stars with similar ages and effective temperatures, and show that $\approx 1.1\,M_\odot$ stars beyond the middle of their main-sequence lifetimes rotate faster than predicted by standard magnetic braking laws.


title: Minimization of Stochastic First-order Oracle Complexity of Adaptive Methods for Nonconvex Optimization

abstract: Numerical evaluations have definitively shown that, for deep learning optimizers such as stochastic gradient descent, momentum, and adaptive methods, the number of steps needed to train a deep neural network halves for each doubling of the batch size and that there is a region of diminishing returns beyond the critical batch size. In this paper, we determine the actual critical batch size by using the global minimizer of the stochastic first-order oracle (SFO) complexity of the optimizer. To prove the existence of the actual critical batch size, we set the lower and upper bounds of the SFO complexity and prove that there exist critical batch sizes in the sense of minimizing the lower and upper bounds. This proof implies that, if the SFO complexity fits the lower and upper bounds, then the existence of these critical batch sizes demonstrates the existence of the actual critical batch size. We also discuss the conditions needed for the SFO complexity to fit the lower and upper bounds and provide numerical results that support our theoretical results.


title: Contention Based Proportional Fairness (CBPF) Transmission Scheme for Time Slotted Channel Hopping Networks

abstract: Time Slotted Channel Hopping (TSCH) is a Medium Access Control (MAC) protocol introduced in IEEE802.15.4e standard, addressing low power requirements of the Internet of Things (IoT) and Low Power Lossy Networks (LLNs). The 6TiSCH Operation sublayer (6top) of IEEE802.15.4e defines the schedule that includes sleep, transmit and receive routines of the nodes. However, the design of schedule is not specified by the standard. In this paper, we propose a contention based proportional fairness (CBPF) transmission scheme for TSCH networks to maximize the system throughput addressing fair allocation of resources to the nodes. We propose a convex programming based method to achieve the fairness and throughput objectives. We model TSCH MAC as a multichannel slotted aloha and analyse it for a schedule given by the 6top layer. Performance metrics like throughput, delay and energy spent per successful transmission are derived and validated through simulations. The proposed CBPF transmission scheme has been implemented in the IoT-LAB public testbed to evaluate its performance and to compare with the existing scheduling algorithms.


title: Discovering Explanatory Sentences in Legal Case Decisions Using Pre-trained Language Models

abstract: Legal texts routinely use concepts that are difficult to understand. Lawyers elaborate on the meaning of such concepts by, among other things, carefully investigating how have they been used in past. Finding text snippets that mention a particular concept in a useful way is tedious, time-consuming, and, hence, expensive. We assembled a data set of 26,959 sentences, coming from legal case decisions, and labeled them in terms of their usefulness for explaining selected legal concepts. Using the dataset we study the effectiveness of transformer-based models pre-trained on large language corpora to detect which of the sentences are useful. In light of models' predictions, we analyze various linguistic properties of the explanatory sentences as well as their relationship to the legal concept that needs to be explained. We show that the transformer-based models are capable of learning surprisingly sophisticated features and outperform the prior approaches to the task.


title: Coherent control of spin tunneling in a spin-orbit coupled bosonic triple well

abstract: We study the coherent control of spin tunneling for a spin-orbit (SO) coupled boson held in a driven triple well. Under high-frequency approximation, we analytically obtain the quasienergies of the SO-coupled bosonic triple-well system and fine energy band structure is displayed. By adjusting the driving parameters, we reveal that the directed selective spin-flipping or spin-conserving tunneling of a SO-coupled boson occurs along different pathways and in different directions. The analytical results are numerically confirmed and perfect agreements are found. Further, a scheme of quantum spin switch with or without spin-flipping is presented. These results may be useful for quantum information processing and the design of spintronic devices.


title: Moderate deviation expansion for fully quantum tasks

abstract: The moderate deviation regime is concerned with the finite block length trade-off between communication cost and error for information processing tasks in the asymptotic regime, where the communication cost approaches a capacity-like quantity and the error vanishes at the same time. We find exact characterisations of these trade-offs for a variety of fully quantum communication tasks, including quantum source coding, quantum state splitting, entanglement-assisted quantum channel coding, and entanglement-assisted quantum channel simulation. The main technical tool we derive is a tight relation between the partially smoothed max-information and the hypothesis testing relative entropy. This allows us to obtain the expansion of the partially smoothed max-information for i.i.d. states in the moderate deviation regime.


title: Ultrahigh-Frequency Wireless MEMS QCM Biosensor for Direct Label-Free Detection of Biomarkers in a Large Amount of Contaminants

abstract: Label-free biosensors, including conventional quartz-crystal-microbalance (QCM) biosensor, are seriously affected by nonspecific adsorption of contaminants involved in analyte solution, and it is exceptionally difficult to extract the sensor responses caused only by the targets. In this study, we reveal that this difficulty can be overcome with an ultrahigh-frequency wireless QCM biosensor. The sensitivity of a QCM biosensor dramatically improves by thinning the quartz resonator, which also makes the resonance frequency higher, causing high-speed surface movement. Contaminants weakly (nonspecifically) interact with the quartz surface, and they fail to follow the fast surface movement and cannot be detected as the loaded mass. The targets are, however, tightly captured by the receptor proteins immobilized on the surface, and they can move with the surface, contributing to the loaded mass and decreasing the resonant frequency. We develop a MEMS QCM biosensor, in which an AT-cut quartz resonator of 26 {\mu}m thick is packaged without fixing, and demonstrate this phenomenon by comparing the frequency changes of fundamental (about 64 MHz) and ninth (about 576 MHz) modes. At ultrahigh-frequency operation with the ninth mode, the sensor response is independent of the amount of impurity proteins, and the binding affinity is unchanged. We then applied this method for the label-free and sandwich-free direct detection of C-reactive protein (CRP) in serum, and confirmed its applicability.


title: Regular Radial Velocity Variations in Nine G- and K-type Giant Stars: Eight Planets and One Planet Candidate

abstract: We report the detection of radial velocity variations in nine evolved G- and K-type giant stars. The observations were conducted at Okayama Astrophysical Observatory. Planets or planet candidates can best explain these regular variations. However, a coincidence of near 280-day variability among five of them prevents us from fully ruling out stellar origins for some of the variations, since all nine stars behave similarly in stellar properties. In the planet hypotheses to the RV variations, the planets (including one candidate) may survive close to the boundary of the so-called "planet desert" around evolved stars, having orbital periods between 255 and 555 days. Besides, they are the least-massive giant planets detected around G- and K-type giant stars, with minimum masses between 0.45$M_{\rm{J}}$ and 1.34$M_{\rm{J}}$. We further investigated other hypotheses for our detection, yet none of them can better explain regular RV variation. With our detection, it is convinced that year-long regular variation with amplitude down to 15 $\rm{m\ s^{-1}}$ for G- and K-type giant stars is detectable. Moreover, we performed simulations to further confirm the detectability of planets around these stars. Finally, we explored giant planets around intermediate-mass stars, and likewise found a 4 Jupiter mass gap (e.g. Santo et al. 2017), which is probably a boundary of the giant planet population.


title: Performance evaluation of the QOS provisioning ability of IEEE 802.11e WLAN standard for multimedia traffic

abstract: This paper presents an analytical model for the average frame transmission delay and the jitter for the different Access Categories (ACs) of the IEEE 802.11e Enhanced Distributed Channel Access (EDCA) mechanism. Following are the salient features of our model. As defined by the standard we consider (1) the virtual collisions among different ACs inside each EDCA station in addition to external collisions. (2) the effect of priority parameters, such as minimum and maximum values of Contention Window (CW) sizes, Arbitration Inter Frame Space (AIFS). (3) the role of Transmission Opportunity (TXOP) of different ACs. (4) the finite number of retrials a packet experiences before being dropped. Our model and analytical results provide an in-depth understanding of the EDCA mechanism and the effect of Quality of Service (QoS) parameters in the performance of IEEE 802.11e protocol.


title: Lattice thermal conductivity in isotope diamond asymmetric superlattices

abstract: We study lattice thermal conductivity of isotope diamond superlattices consisting of 12C and 13C diamond layers at various superlattice periods. It is found that the thermal conductivity of a superlattice is significantly deduced from that of pure diamond because of the reduction of the phonon group velocity near the folded Brillouin zone. The results show that asymmetric superlattices with different number of layers of 12C and 13C diamonds exhibit higher thermal conductivity than symmetric superlattices even with the same superlattice period, and we find that this can be explained by the trade-off between the effects of phonon specific heat and phonon group velocity. Furthermore, impurities and imperfect superlattice structures are also found to significantly reduce the thermal conductivity, suggesting that these effects can be exploited to control the thermal conductivity over a wide range.


title: Lateral Josephson Junctions as Sensors for Magnetic Microscopy at Nano-Scale

abstract: Lateral Josephson junctions (LJJ) made of two superconducting Nb electrodes coupled by Cu-film are applied to quantify the stray magnetic field of Co-coated cantilevers used in Magnetic Force Microscopy (MFM). The interaction of the magnetic cantilever with LJJ is reflected in the electronic response of LJJ as well as in the phase shift of cantilever oscillations, simultaneously measured. The phenomenon is theorized and used to establish the spatial map of the stray field. Based on our findings, we suggest integrating LJJs directly on the tips of cantilevers and using them as nano-sensors of local magnetic fields in Scanning Probe Microscopes. Such probes are less invasive than conventional magnetic MFM cantilevers and simpler to realize than SQUID-on-tip sensors.


title: On the use of Cortical Magnification and Saccades as Biological Proxies for Data Augmentation

abstract: Self-supervised learning is a powerful way to learn useful representations from natural data. It has also been suggested as one possible means of building visual representation in humans, but the specific objective and algorithm are unknown. Currently, most self-supervised methods encourage the system to learn an invariant representation of different transformations of the same image in contrast to those of other images. However, such transformations are generally non-biologically plausible, and often consist of contrived perceptual schemes such as random cropping and color jittering. In this paper, we attempt to reverse-engineer these augmentations to be more biologically or perceptually plausible while still conferring the same benefits for encouraging robust representation. Critically, we find that random cropping can be substituted by cortical magnification, and saccade-like sampling of the image could also assist the representation learning. The feasibility of these transformations suggests a potential way that biological visual systems could implement self-supervision. Further, they break the widely accepted spatially-uniform processing assumption used in many computer vision algorithms, suggesting a role for spatially-adaptive computation in humans and machines alike. Our code and demo can be found here.


title: Practical Distributed Reception for Wireless Body Area Networks Using Supervised Learning

abstract: Medical applications have driven many areas of engineering to optimize diagnostic capabilities and convenience. In the near future, wireless body area networks (WBANs) are expected to have widespread impact in medicine. To achieve this impact, however, significant advances in research are needed to cope with the changes of the human body's state, which make coherent communications difficult or even impossible. In this paper, we consider a realistic noncoherent WBAN system model where transmissions and receptions are conducted without any channel state information due to the fast-varying channels of the human body. Using distributed reception, we propose several symbol detection approaches where on-off keying (OOK) modulation is exploited, among which a supervised-learning-based approach is developed to overcome the noncoherent system issue. Through simulation results, we compare and verify the performance of the proposed techniques for noncoherent WBANs with OOK transmissions. We show that the well-defined detection techniques with a supervised-learning-based approach enable robust communications for noncoherent WBAN systems.


title: Co-training Transformer with Videos and Images Improves Action Recognition

abstract: In learning action recognition, models are typically pre-trained on object recognition with images, such as ImageNet, and later fine-tuned on target action recognition with videos. This approach has achieved good empirical performance especially with recent transformer-based video architectures. While recently many works aim to design more advanced transformer architectures for action recognition, less effort has been made on how to train video transformers. In this work, we explore several training paradigms and present two findings. First, video transformers benefit from joint training on diverse video datasets and label spaces (e.g., Kinetics is appearance-focused while SomethingSomething is motion-focused). Second, by further co-training with images (as single-frame videos), the video transformers learn even better video representations. We term this approach as Co-training Videos and Images for Action Recognition (CoVeR). In particular, when pretrained on ImageNet-21K based on the TimeSFormer architecture, CoVeR improves Kinetics-400 Top-1 Accuracy by 2.4%, Kinetics-600 by 2.3%, and SomethingSomething-v2 by 2.3%. When pretrained on larger-scale image datasets following previous state-of-the-art, CoVeR achieves best results on Kinetics-400 (87.2%), Kinetics-600 (87.9%), Kinetics-700 (79.8%), SomethingSomething-v2 (70.9%), and Moments-in-Time (46.1%), with a simple spatio-temporal video transformer.


title: ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots

abstract: In this work, we demonstrate the importance of zero velocity information for global navigation satellite system (GNSS) based navigation. The effectiveness of using the zero velocity information with zero velocity update (ZUPT) for inertial navigation applications have been shown in the literature. Here we leverage this information and add it as a position constraint in a GNSS factor graph. We also compare its performance to a GNSS/inertial navigation system (INS) coupled factor graph. We tested our ZUPT aided factor graph method on three datasets and compared it with the GNSS-only factor graph.


title: Quantum simulation of weak-field light-matter interactions

abstract: Simulation of the interaction of light with matter, including at the few-photon level, is important for understanding the optical and optoelectronic properties of materials, and for modeling next-generation non-linear spectroscopies that use entangled light. At the few-photon level the quantum properties of the electromagnetic field must be accounted for with a quantized treatment of the field, and then such simulations quickly become intractable, especially if the matter subsystem must be modeled with a large number of degrees of freedom, as can be required to accurately capture many-body effects and quantum noise sources. Motivated by this we develop a quantum simulation framework for simulating such light-matter interactions on platforms with controllable bosonic degrees of freedom, such as vibrational modes in the trapped ion platform. The key innovation in our work is a scheme for simulating interactions with a continuum field using only a few discrete bosonic modes, which is enabled by a Green's function (response function) formalism. We develop the simulation approach, sketch how the simulation can be performed using trapped ions, and then illustrate the method with numerical examples. Our work expands the reach of quantum simulation to important light-matter interaction models and illustrates the advantages of extracting dynamical quantities such as response functions from quantum simulations.


title: MuxLink: Circumventing Learning-Resilient MUX-Locking Using Graph Neural Network-based Link Prediction

abstract: Logic locking has received considerable interest as a prominent technique for protecting the design intellectual property from untrusted entities, especially the foundry. Recently, machine learning (ML)-based attacks have questioned the security guarantees of logic locking, and have demonstrated considerable success in deciphering the secret key without relying on an oracle, hence, proving to be very useful for an adversary in the fab. Such ML-based attacks have triggered the development of learning-resilient locking techniques. The most advanced state-of-the-art deceptive MUX-based locking (D-MUX) and the symmetric MUX-based locking techniques have recently demonstrated resilience against existing ML-based attacks. Both defense techniques obfuscate the design by inserting key-controlled MUX logic, ensuring that all the secret inputs to the MUXes are equiprobable. In this work, we show that these techniques primarily introduce local and limited changes to the circuit without altering the global structure of the design. By leveraging this observation, we propose a novel graph neural network (GNN)-based link prediction attack, MuxLink, that successfully breaks both the D-MUX and symmetric MUX-locking techniques, relying only on the underlying structure of the locked design, i.e., in an oracle-less setting. Our trained GNN model learns the structure of the given circuit and the composition of gates around the non-obfuscated wires, thereby generating meaningful link embeddings that help decipher the secret inputs to the MUXes. The proposed MuxLink achieves key prediction accuracy and precision up to 100% on D-MUX and symmetric MUX-locked ISCAS-85 and ITC-99 benchmarks, fully unlocking the designs. We open-source MuxLink [1].


title: Blockchain Developments and Innovations

abstract: Blockchain has received expanding interest from various domains. Institutions, enterprises, governments, and agencies are interested in Blockchain potential to augment their software systems. The unique requirements and characteristics of Blockchain platforms raise new challenges involving extensive enhancement to conventional software development processes to meet the needs of these domains. Software engineering approaches supporting Blockchain-oriented developments have been slow to materialize, despite proposals in the literature, and they have yet to be objectively analyzed. A critical appraisal of these innovations is crucial to identify their respective strengths and weaknesses. We present an analytical evaluation of several prominent Blockchain-oriented methods through a comprehensive, criteria-based evaluation framework. The results can be used for comparing, adapting, and developing a new generation of Blockchain-oriented software development processes and innovations.


title: Scattering matrix of elementary excitations in the antiperiodic XXZ spin chain with \eta=i\pi/3

abstract: We study the thermodynamic limit of the antiperiodic XXZ spin chain with the anisotropic parameter $\eta=\frac{\pi i}{3}$. We parameterize eigenvalues of the transfer matrix by their zero points instead of Bethe roots. We obtain patterns of the distribution of zero points. Based on them, we calculate the ground state energy and the elementary excitations in the thermodynamic limit. We also obtain the two-body scattering matrix of elementary excitations. Two types of elementary excitations and three types of scattering processes are discussed in detailed.


title: Tensor Theory for Higher Dimensional Chern Insulators with Large Chern Numbers

abstract: Recent advances in topological artificial systems open the door to realizing topological states in dimensions higher than the usual three-dimensional space. Here, we present a "tensor product" theory, which offers a method to construct Chern insulators with arbitrarily high dimensions and Chern numbers. Particularly, we show that the tensor product of a $d_A$D Chern insulator $\langle \mathcal{H}_A^{(\kappa_{A})}, C_A\rangle$ with a $d_B$D Chern insulator $\langle \mathcal{H}_B^{(\kappa_B)}, C_B\rangle$ leads to a $(d_A+d_B)$D Chern insulator $\langle \mathcal{H}_{A B}^{(\kappa_A\star \kappa_B)},-2C_AC_B\rangle $, where in the brackets, $\mathcal{H}^{(\kappa)}$ is the $d$D Hamiltonian with $d$ even, $C$ is the corresponding $(d/2)$th Chern number, and $\kappa$ labels the five non-chiral Altland-Zirnbauer symmetry classes A, AI, D, AII and C. The four real classes AI, D, AII and C form a Klein four-group under the multiplication `$\star$' with class AI the identity, and class A is the zero element. Our theory leads to novel higher-dimensional topological physics. (i) The construction can generate large higher-order Chern numbers, e.g., for some cases the resultant classification is $8\mathbb{Z}$. (ii) Fascinatingly, the boundary states feature flat nodal hypersurfaces with nontrivial Chern charges. For the constructed $(d_A+d_B)$D Chern insulator, a boundary perpendicular to a direction of $\mathcal{H}_A$ generically hosts $|C_A|$ $d_B$D nodal hypersurfaces, each of which has topological charge $\pm 2C_B$. Under perturbations, each nodal hypersurface bursts into stable unit nodal points, with the total Chern charge conserved. Examples are given to demonstrate our theory, which can be experimentally realized in artificial systems such as acoustic crystals, electric circuit arrays, ultracold atoms, or mechanical networks.


title: Twisted Sectors in Calabi-Yau Type Fermat Polynomial Singularities and Automorphic Forms

abstract: We study one-parameter deformations of Calabi-Yau type Fermat polynomial singularities along degree-one directions. We show that twisted sectors in the vanishing cohomology are components of automorphic forms for certain triangular groups. We prove consequentially that genus zero Gromov-Witten generating series of the corresponding Fermat Calabi-Yau varieties are components of automorphic forms. The main tools we use are mixed Hodge structures for quasi-homogeneous polynomial singularities, Riemann-Hilbert correspondence, and genus zero mirror symmetry.


title: Nonlinear stability of the slowly-rotating Kerr-de Sitter family

abstract: In this paper, we provide a new proof of nonlinear stability of the slowly-rotating Kerr-de Sitter family of black holes as a family of solutions to the Einstein vacuum equations with cosmological constant $\Lambda>0$, originally established by Hintz and Vasy in their seminal work [arXiv:1606.04014]. Using the linear theory developed in an upcoming companion paper, we prove the nonlinear stability of slowly-rotating Kerr-de Sitter using a bootstrap argument, avoiding the need for a Nash-Moser argument, and requiring initial data small only in the $H^6$ norm.


title: Calibrated and Sharp Uncertainties in Deep Learning via Density Estimation

abstract: Accurate probabilistic predictions can be characterized by two properties -- calibration and sharpness. However, standard maximum likelihood training yields models that are poorly calibrated and thus inaccurate -- a 90% confidence interval typically does not contain the true outcome 90% of the time. This paper argues that calibration is important in practice and is easy to maintain by performing low-dimensional density estimation. We introduce a simple training procedure based on recalibration that yields calibrated models without sacrificing overall performance; unlike previous approaches, ours ensures the most general property of distribution calibration and applies to any model, including neural networks. We formally prove the correctness of our procedure assuming that we can estimate densities in low dimensions and we establish uniform convergence bounds. Our results yield empirical performance improvements on linear and deep Bayesian models and suggest that calibration should be increasingly leveraged across machine learning.