title: Distributed Cooperative Control and Optimization of Connected Automated Vehicles Platoon Against Cut-in Behaviors of Social Drivers

abstract: Connected automated vehicles (CAVs) have brought new opportunities to improve traffic throughput and reduce energy consumption. However, the uncertain lane-change behaviors (LCBs) of surrounding vehicles (SVs) as an uncontrollable factor significantly threaten the driving safety and the consistent movement of a group of platoon CAVs. How to ensure safe, efficient, and fuel economic platoon control poses a key challenge faced by researchers in complex traffic environments. This study proposes a dynamic platoon management and cooperative driving framework for a mixed traffic flow consisting of multiple CAVs and possible human-driven vehicles (HDVs) as the SVs on unsignalized roads. In the proposed framework, the leader CAV of the platoon provides a high-level automatic driving decision to the follower CAVs by developing an optimal trajectory estimation of the HDVs while distributed observers and tracking controllers are properly implemented by the follower CAVs. Specifically, the proposed framework consists of three stages. At the observation stage, the cruising information of all the SVs will be collected by the leader CAV through the Cellular-Vehicle-to-X (C-V2X) infrastructure, while an automatic decision-making driving assistance system (ADMDSS) is constructed to determine the driving states of the platoon. When the HDVs approach the communication range of the platoon, in the prediction stage, the trajectories of the HDVs as the target vehicles will be estimated and the reference trajectory planning for the leader CAV and the cooperative controller design for the follower CAVs will be respectively activated by using C-V2X infrastructure. Simulation cases are presented to illustrate the effectiveness of the proposed approaches.


title: Shape optimization for contact problems in linear elasticity

abstract: This thesis deals with shape optimization for contact mechanics. More specifically, the linear elasticity model is considered under the small deformations hypothesis, and the elastic body is assumed to be in contact (sliding or with Tresca friction) with a rigid foundation. The mathematical formulations studied are two regularized versions of the original variational inequality: the penalty formulation and the augmented Lagrangian formulation. In order to get the shape derivatives associated to those two non-differentiable formulations, we suggest an approach based on directional derivatives. Especially, we derive sufficient conditions for the solution to be shape differentiable. This allows to develop a gradient-based topology optimization algorithm, built on these derivatives and a level-set representation of shapes. The algorithm also benefits from a mesh-cutting technique, which gives an explicit representation of the shape at each iteration, and enables to apply the boundary conditions strongly on the contact zone. The different steps of the method are detailed. Then, to validate the approach, some numerical results on two-dimensional and three-dimensional benchmarks are presented.


title: PV-RCNN++: Semantical Point-Voxel Feature Interaction for 3D Object Detection

abstract: Large imbalance often exists between the foreground points (i.e., objects) and the background points in outdoor LiDAR point clouds. It hinders cutting-edge detectors from focusing on informative areas to produce accurate 3D object detection results. This paper proposes a novel object detection network by semantical point-voxel feature interaction, dubbed PV-RCNN++. Unlike most of existing methods, PV-RCNN++ explores the semantic information to enhance the quality of object detection. First, a semantic segmentation module is proposed to retain more discriminative foreground keypoints. Such a module will guide our PV-RCNN++ to integrate more object-related point-wise and voxel-wise features in the pivotal areas. Then, to make points and voxels interact efficiently, we utilize voxel query based on Manhattan distance to quickly sample voxel-wise features around keypoints. Such the voxel query will reduce the time complexity from O(N) to O(K), compared to the ball query. Further, to avoid being stuck in learning only local features, an attention-based residual PointNet module is designed to expand the receptive field to adaptively aggregate the neighboring voxel-wise features into keypoints. Extensive experiments on the KITTI dataset show that PV-RCNN++ achieves 81.60$\%$, 40.18$\%$, 68.21$\%$ 3D mAP on Car, Pedestrian, and Cyclist, achieving comparable or even better performance to the state-of-the-arts.


title: Cooperative coevolutionary hybrid NSGA-II with Linkage Measurement Minimization for Large-scale Multi-objective optimization

abstract: In this paper, we propose a variable grouping method based on cooperative coevolution for large-scale multi-objective problems (LSMOPs), named Linkage Measurement Minimization (LMM). And for the sub-problem optimization stage, a hybrid NSGA-II with a Gaussian sampling operator based on an estimated convergence point is proposed. In the variable grouping stage, according to our previous research, we treat the variable grouping problem as a combinatorial optimization problem, and the linkage measurement function is designed based on linkage identification by the nonlinearity check on real code (LINC-R). We extend this variable grouping method to LSMOPs. In the sub-problem optimization stage, we hypothesize that there is a higher probability of existing better solutions around the Pareto Front (PF). Based on this hypothesis, we estimate a convergence point at every generation of optimization and perform Gaussian sampling around the convergence point. The samples with good objective value will participate in the optimization as elites. Numerical experiments show that our variable grouping method is better than some popular variable grouping methods, and hybrid NSGA-II has broad prospects for multi-objective problem optimization.


title: An Energy Activity Dataset for Smart Homes

abstract: A smart home energy dataset that records miscellaneous energy consumption data is publicly offered. The proposed energy activity dataset (EAD) has a high data type diversity in contrast to existing load monitoring datasets. In EAD, a simple data point is labeled with the appliance, brand, and event information, whereas a complex data point has an extra application label. Several discoveries have been made on the energy consumption patterns of many appliances. Load curves of the appliances are measured when different events and applications are triggered and utilized. A revised longest-common-subsequence (LCS) similarity measurement algorithm is proposed to calculate energy dataset similarities. Thus, the data quality prior information becomes available before training machine learning models. In addition, a subsample convolutional neural network (SCNN) is put forward. It serves as a non-intrusive optical character recognition (OCR) approach to obtain energy data directly from monitors of power meters. The link for the EAD dataset is: https://drive.google.com/drive/folders/1zn0V6Q8eXXSKxKgcs8ZRValL5VEn3anD


title: Mining Android API Usage to Generate Unit Test Cases for Pinpointing Compatibility Issues

abstract: Despite being one of the largest and most popular projects, the official Android framework has only provided test cases for less than 30% of its APIs. Such a poor test case coverage rate has led to many compatibility issues that can cause apps to crash at runtime on specific Android devices, resulting in poor user experiences for both apps and the Android ecosystem. To mitigate this impact, various approaches have been proposed to automatically detect such compatibility issues. Unfortunately, these approaches have only focused on detecting signature-induced compatibility issues (i.e., a certain API does not exist in certain Android versions), leaving other equally important types of compatibility issues unresolved. In this work, we propose a novel prototype tool, JUnitTestGen, to fill this gap by mining existing Android API usage to generate unit test cases. After locating Android API usage in given real-world Android apps, JUnitTestGen performs inter-procedural backward data-flow analysis to generate a minimal executable code snippet (i.e., test case). Experimental results on thousands of real-world Android apps show that JUnitTestGen is effective in generating valid unit test cases for Android APIs. We show that these generated test cases are indeed helpful for pinpointing compatibility issues, including ones involving semantic code changes.


title: DPVisCreator: Incorporating Pattern Constraints to Privacy-preserving Visualizations via Differential Privacy

abstract: Data privacy is an essential issue in publishing data visualizations. However, it is challenging to represent multiple data patterns in privacy-preserving visualizations. The prior approaches target specific chart types or perform an anonymization model uniformly without considering the importance of data patterns in visualizations. In this paper, we propose a visual analytics approach that facilitates data custodians to generate multiple private charts while maintaining user-preferred patterns. To this end, we introduce pattern constraints to model users' preferences over data patterns in the dataset and incorporate them into the proposed Bayesian network-based Differential Privacy (DP) model PriVis. A prototype system, DPVisCreator, is developed to assist data custodians in implementing our approach. The effectiveness of our approach is demonstrated with quantitative evaluation of pattern utility under the different levels of privacy protection, case studies, and semi-structured expert interviews.


title: Integrated Sideband-Resolved SERS with a Dimer on a Nanobeam Hybrid

abstract: In analogy to cavity optomechanics, enhancing specific sidebands of a Raman process with narrowband optical resonators would allow for parametric amplification, entanglement of light and molecular vibrations, and reduced transduction noise. We report on the demonstration of waveguide-addressable sideband-resolved surface-enhanced Raman scattering (SERS). We realized a hybrid plasmonic-photonic resonator consisting of a 1D photonic crystal cavity decorated with a sub-20 nm gap dimer nanoantenna. Hybrid resonances in the near-IR provide designer Q-factors of 1000, and $Q/V=(\lambda^3/10^6)^{-1}$, with SERS signal strength on par with levels found in state-of-the-art purely plasmonic systems. We evidence Fano-lineshapes in the SERS enhancement of organic molecules, and quantitatively separate out the pump enhancement and optical reservoir contributions.


title: Structured eigenvalue backward errors for rational matrix polynomials with symmetry structures

abstract: We derive computable formulas for the structured backward errors of a complex number $\lambda$ when considered as an approximate eigenvalue of rational matrix polynomials that carry a symmetry structure. We consider symmetric, skew-symmetric, T-even, T-odd, Hermitian, skew-Hermitian, $*$-even, $*$-odd, and $*$-palindromic structures. Numerical experiments show that the backward errors with respect to structure-preserving and arbitrary perturbations are significantly different.


title: Industrial Requirements for Supporting AI-Enhanced Model-Driven Engineering

abstract: There is an increasing interest in research on the combination of AI techniques and methods with MDE. However, there is a gap between AI and MDE practices, as well as between researchers and practitioners. This paper tackles this gap by reporting on industrial requirements in this field. In the AIDOaRt research project, practitioners and researchers collaborate on AI-augmented automation supporting modeling, coding, testing, monitoring, and continuous development in cyber-physical systems. The project specifically lies at the intersection of industry and academia collaboration with several industrial use cases. Through a process of elicitation and refinement, 78 high-level requirements were defined, and generalized into 30 generic requirements by the AIDOaRt partners. The main contribution of this paper is the set of generic requirements from the project for enhancing the development of cyber-physical systems with artificial intelligence, DevOps, and model-driven engineering, identifying the hot spots of industry needs in the interactions of MDE and AI. Future work will refine, implement and evaluate solutions toward these requirements in industry contexts.


title: Light-YOLOv5: A Lightweight Algorithm for Improved YOLOv5 in Complex Fire Scenarios

abstract: Fire-detection technology is of great importance for successful fire-prevention measures. Image-based fire detection is one effective method. At present, object-detection algorithms are deficient in performing detection speed and accuracy tasks when they are applied in complex fire scenarios. In this study, a lightweight fire-detection algorithm, Light-YOLOv5 (You Only Look Once version five), is presented. First, a separable vision transformer (SepViT) block is used to replace several C3 modules in the final layer of a backbone network to enhance both the contact of the backbone network to global in-formation and the extraction of flame and smoke features; second, a light bidirectional feature pyramid network (Light-BiFPN) is designed to lighten the model while improving the feature extraction and balancing speed and accuracy features during a fire-detection procedure; third, a global attention mechanism (GAM) is fused into the network to cause the model to focus more on the global dimensional features and further improve the detection accuracy of the model; and finally, the Mish activation function and SIoU loss are utilized to simultaneously increase the convergence speed and enhance the accuracy. The experimental results show that compared to the original algorithm, the mean average accuracy (mAP) of Light-YOLOv5 increases by 3.3%, the number of parameters decreases by 27.1%, and the floating point operations (FLOPs) decrease by 19.1%. The detection speed reaches 91.1 FPS, which can detect targets in complex fire scenarios in real time.


title: StoryTrans: Non-Parallel Story Author-Style Transfer with Discourse Representations and Content Enhancing

abstract: Non-parallel text style transfer is an important task in natural language generation. However, previous studies concentrate on the token or sentence level, such as sentence sentiment and formality transfer, but neglect long style transfer at the discourse level. Long texts usually involve more complicated author linguistic preferences such as discourse structures than sentences. In this paper, we formulate the task of non-parallel story author-style transfer, which requires transferring an input story into a specified author style while maintaining source semantics. To tackle this problem, we propose a generation model, named StoryTrans, which leverages discourse representations to capture source content information and transfer them to target styles with learnable style embeddings. We use an additional training objective to disentangle stylistic features from the learned discourse representation to prevent the model from degenerating to an auto-encoder. Moreover, to enhance content preservation, we design a mask-and-fill framework to explicitly fuse style-specific keywords of source texts into generation. Furthermore, we constructed new datasets for this task in Chinese and English, respectively. Extensive experiments show that our model outperforms strong baselines in overall performance of style transfer and content preservation.


title: BFL: a Logic to Reason about Fault Trees

abstract: Safety-critical infrastructures must operate safely and reliably. Fault tree analysis is a widespread method used to assess risks in these systems: fault trees (FTs) are required - among others - by the Federal Aviation Authority, the Nuclear Regulatory Commission, in the ISO26262 standard for autonomous driving and for software development in aerospace systems. Although popular both in industry and academia, FTs lack a systematic way to formulate powerful and understandable analysis queries. In this paper, we aim to fill this gap and introduce Boolean Fault tree Logic (BFL), a logic to reason about FTs. BFL is a simple, yet expressive logic that supports easier formulation of complex scenarios and specification of FT properties. Alongside BFL, we present model checking algorithms based on binary decision diagrams (BDDs) to analyse specified properties in BFL, patterns and an algorithm to construct counterexamples. Finally, we propose a case-study application of BFL by analysing a COVID19-related FT.


title: Distributed Observers-based Cooperative Platooning Tracking Control and Intermittent Optimization for Connected Automated Vehicles with Unknown Jerk Dynamics

abstract: The unknown sharp changes of vehicle acceleration rates, also called the unknown jerk dynamics, may significantly affect the driving performance of the leader vehicle in a platoon, resulting in more drastic car-following movements in platooning tracking control, which could cause safety and traffic capacity concerns. To address these issues, in this paper, we investigate cooperative platooning tracking control and intermittent optimization problems for connected automated vehicles (CAVs) with a nonlinear car-following model. We assume that the external inputs of the leader CAV contain unknown but bounded jerk parameters, and the acceleration signals of the leader CAV are known only to a few neighboring follower CAVs in a free-design but directed communication network. To solve these problems, a distributed observer law is developed to provide a reference signal expressed as an estimated unknown jerk dynamic of the leader CAV and implemented by each follower CAV. Then, a novel distributed platooning tracking control protocol is proposed to construct the cooperative tracking controllers under identical inter-vehicle constraints, which can ensure a desired safety distance among the CAVs and allow each follower CAV to track their leader CAV by using only local information interaction. We also present a novel intermittent sampling condition and a robust intermittent optimization design that can ensure optimally scheduled feedback gains for the cooperative platooning tracking controllers to minimize the control cost under nonidentical inter-vehicle constraints and unknown jerk dynamics. Simulation case studies are carried out to illustrate the effectiveness of the proposed approaches


title: Will you infect me with your opinion?

abstract: Opinion formation is one of the most fascinating phenomena observed in human communities, and the ability to predict and to control the dynamics of this process is interesting from the theoretical as well as practical point of view. Although there are many sophisticated models of opinion formation, they often lack the connection with real life data, and there are still sociological processes that need to be explained. To address this, we propose a model describing the dynamics of opinion formation which mimics the process of the virus or disease spreading in the population. The introduced model is motivated by the model of disease spread with three possible channels - direct contact, indirect contact, and contact with "contaminated" elements. We demonstrate that the presence of "contaminated" elements, which in the case of on-line communities can be represented as the content published on the Internet, has considerable impact on the process of opinion formation. We argue that by using a simple mechanism of opinion spreading via passive elements, the introduced model captures the meaningful elements of opinion formation in complex communities. The presented work provides a step towards formulating universal laws governing social as well as physical or technical systems.


title: The PWLR Graph Representation: A Persistent Weisfeiler-Lehman scheme with Random Walks for Graph Classification

abstract: This paper presents the Persistent Weisfeiler-Lehman Random walk scheme (abbreviated as PWLR) for graph representations, a novel mathematical framework which produces a collection of explainable low-dimensional representations of graphs with discrete and continuous node features. The proposed scheme effectively incorporates normalized Weisfeiler-Lehman procedure, random walks on graphs, and persistent homology. We thereby integrate three distinct properties of graphs, which are local topological features, node degrees, and global topological invariants, while preserving stability from graph perturbations. This generalizes many variants of Weisfeiler-Lehman procedures, which are primarily used to embed graphs with discrete node labels. Empirical results suggest that these representations can be efficiently utilized to produce comparable results to state-of-the-art techniques in classifying graphs with discrete node labels, and enhanced performances in classifying those with continuous node features.


title: Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

abstract: Semi-unification is the combination of first-order unification and first-order matching. The undecidability of semi-unification has been proven by Kfoury, Tiuryn, and Urzyczyn in the 1990s by Turing reduction from Turing machine immortality (existence of a diverging configuration). The particular Turing reduction is intricate, uses non-computational principles, and involves various intermediate models of computation. The present work gives a constructive many-one reduction from the Turing machine halting problem to semi-unification. This establishes RE-completeness of semi-unification under many-one reductions. Computability of the reduction function, constructivity of the argument, and correctness of the argument is witnessed by an axiom-free mechanization in the Coq proof assistant. Arguably, this serves as comprehensive, precise, and surveyable evidence for the result at hand. The mechanization is incorporated into the existing, well-maintained Coq library of undecidability proofs. Notably, a variant of Hooper's argument for the undecidability of Turing machine immortality is part of the mechanization.


title: Double $J/\psi$ production as a test of parton momentum correlations in double parton scattering

abstract: Using the GS09 model we predict the possible impact of the parton momentum correlation on the $J/\psi$-pair production at the Spin Physics Detector at the Nuclotron-based Ion Collider Facility. The double $J/\psi$ production and the effective cross sections are calculated.


title: An AFDM-Based Integrated Sensing and Communications

abstract: This paper considers an affine frequency division multiplexing (AFDM)-based integrated sensing and communications (ISAC) system, where the AFDM waveform is used to simultaneously carry communications information and sense targets. To realize AFDM-based sensing functionality, two parameter estimation methods are designed to process echoes in the time domain and the discrete affine Fourier transform (DAFT) domain, respectively. It allows us to decouple delay and Doppler shift in the fast time axis and can maintain good sensing performance even in large Doppler shift scenarios. Numerical results verify the effectiveness of our proposed AFDM-based system in high mobility scenarios.


title: A shape optimization algorithm based on directional derivatives for three-dimensional contact problems

abstract: This work deals with shape optimization for contact mechanics. More specifically, the linear elasticity model is considered under the small deformations hypothesis, and the elastic body is assumed to be in contact (sliding or with Tresca friction) with a rigid foundation. The mathematical formulations studied are two regularized versions of the original variational inequality: the penalty formulation and the augmented Lagrangian formulation. In order to get the shape derivatives associated to those two non-differentiable formulations, we follow an approach based on directional derivatives \cite{chaudet2020shape,chaudet2021shape}. This allows us to develop a gradient-based topology optimization algorithm, built on these derivatives and a level-set representation of shapes. The algorithm also benefits from a mesh-cutting technique, which gives an explicit representation of the shape at each iteration, and enables us to apply the boundary conditions strongly on the contact zone. The different steps of the method are detailed. Then, to validate the approach, some numerical results on two-dimensional and three-dimensional benchmarks are presented.


title: An Accurate and Hardware-Efficient Dual Spike Detector for Implantable Neural Interfaces

abstract: Spike detection plays a central role in neural data processing and brain-machine interfaces (BMIs). A challenge for future-generation implantable BMIs is to build a spike detector that features both low hardware cost and high performance. In this work, we propose a novel hardware-efficient and high-performance spike detector for implantable BMIs. The proposed design is based on a dual-detector architecture with adaptive threshold estimation. The dual-detector comprises two separate TEO-based detectors that distinguish a spike occurrence based on its discriminating features in both high and low noise scenarios. We evaluated the proposed spike detection algorithm on the Wave Clus dataset. It achieved an average detection accuracy of 98.9%, and over 95% in high-noise scenarios, ensuring the reliability of our method. When realized in hardware with a sampling rate of 16kHz and 7-bits resolution, the detection accuracy is 97.4%. Designed in 65nm TSMC process, a 256-channel detector based on this architecture occupies only 682$\mu m^2$ /Channel and consumes 0.07$\mu$W/Channel, improving over the state-of-the-art spike detectors by 39.7% in power consumption and 78.8% in area, while maintaining a high accuracy.


title: Towards In-distribution Compatibility in Out-of-distribution Detection

abstract: Deep neural network, despite its remarkable capability of discriminating targeted in-distribution samples, shows poor performance on detecting anomalous out-of-distribution data. To address this defect, state-of-the-art solutions choose to train deep networks on an auxiliary dataset of outliers. Various training criteria for these auxiliary outliers are proposed based on heuristic intuitions. However, we find that these intuitively designed outlier training criteria can hurt in-distribution learning and eventually lead to inferior performance. To this end, we identify three causes of the in-distribution incompatibility: contradictory gradient, false likelihood, and distribution shift. Based on our new understandings, we propose a new out-of-distribution detection method by adapting both the top-design of deep models and the loss function. Our method achieves in-distribution compatibility by pursuing less interference with the probabilistic characteristic of in-distribution features. On several benchmarks, our method not only achieves the state-of-the-art out-of-distribution detection performance but also improves the in-distribution accuracy.


title: Prediction of fluid flow in porous media by sparse observations and physics-informed PointNet

abstract: We predict steady-state Stokes flow of fluids within porous media at pore scales using sparse point observations and a novel class of physics-informed neural networks, called "physics-informed PointNet" (PIPN). Taking the advantages of PIPN into account, three new features become available compared to physics-informed convolutional neural networks for porous medium applications. First, the input of PIPN is exclusively the pore spaces of porous media (rather than both the pore and grain spaces). This feature diminishes required computer memory. Second, PIPN represents the boundary of pore spaces smoothly and realistically (rather than pixel-wise representations). Third, spatial resolution can vary over the physical domain (rather than equally spaced resolutions). This feature enables users to reach an optimal resolution with a minimum computational cost. The performance of our framework is evaluated by the study of the influence of noisy sensor data, pressure observations, and spatial correlation length.


title: Distributed Dynamic Platoons Control and Junction Crossing Optimization for Mixed Traffic Flows in Smart Cities- Part I. Fundamentals, Theoretical and Automatic Decision Framework

abstract: This article studies the problems of distributed dynamic platoons control and smart junction crossing optimization for a mixed traffic flow with connected automated vehicles(CAVs) and social human-driven vehicles(HDVs) in a smart city. The goal of this two-part article is to provide an automatic decision framework to ensure the safe and efficient cruising and crossing junctions with multiple dynamic and resilient platoons CAVs, while against the social driving behaviors(SDBs) of the HDVs considered as surrounding vehicles(SVs) and unknown traffic lights connected by Cellular-Vehicle-to-X (C-V2X) infrastructure. We shall show that despite the nonlinearity, non-smoothness, and uncertainty of mixed traffic flows in smart cities, the solutions of safe, efficient, and fuel economic platoon CAVs control for the above problems can be solved by our proposed automatic decision and smart crossing assistant system(ADSCAS) that includes four decision stages and six cruising states characterized within this article. More precisely, in part I, we provide a dynamic platoon management strategy to determine the platoon size with respect to the SDBs of the preceding HDVs and upcoming traffic lights, where the dynamic platoon size is composed of minimizing safe distances and nonlinear functions of the platoon's cruising velocity. We also present the decision and switching scheme for a finite state machine of platoons in the ADSCAS, the design of the reference trajectory planning, and the solution of the fuel economic optimization problem.


title: Joint Learning Content and Degradation Aware Feature for Blind Super-Resolution

abstract: To achieve promising results on blind image super-resolution (SR), some attempts leveraged the low resolution (LR) images to predict the kernel and improve the SR performance. However, these Supervised Kernel Prediction (SKP) methods are impractical due to the unavailable real-world blur kernels. Although some Unsupervised Degradation Prediction (UDP) methods are proposed to bypass this problem, the \textit{inconsistency} between degradation embedding and SR feature is still challenging. By exploring the correlations between degradation embedding and SR feature, we observe that jointly learning the content and degradation aware feature is optimal. Based on this observation, a Content and Degradation aware SR Network dubbed CDSR is proposed. Specifically, CDSR contains three newly-established modules: (1) a Lightweight Patch-based Encoder (LPE) is applied to jointly extract content and degradation features; (2) a Domain Query Attention based module (DQA) is employed to adaptively reduce the inconsistency; (3) a Codebook-based Space Compress module (CSC) that can suppress the redundant information. Extensive experiments on several benchmarks demonstrate that the proposed CDSR outperforms the existing UDP models and achieves competitive performance on PSNR and SSIM even compared with the state-of-the-art SKP methods.


title: Remarks on mathematical structure of the Staruszkiewicz theory

abstract: The purpose of this note is threefold: (i) to recall (with some points made more explicit) the mathematical Weyl algebra model formulation, given before, of the Staruszkiewicz theory of quantum Coulomb field; (ii) to add some new elements to the discussion of the representation of the Lorentz group within this model; (iii) to comment on some statements on the structure of the theory which appeared recently.


title: Intermediate Ricci curvatures and Gromov's Betti number bound

abstract: We consider intermediate Ricci curvatures $Ric_k$ on a closed Riemannian manifold $M^n$. These interpolate between the Ricci curvature when $k=n-1$ and the sectional curvature when $k=1$. By establishing a surgery result for Riemannian metrics with $Ric_k>0$, we show that Gromov's upper Betti number bound for sectional curvature bounded below fails to hold for $Ric_k>0$ when $\lfloor n/2 \rfloor+2 \le k \le n-1$. This was previously known only in the case of positive Ricci curvature.


title: Computing T-optimal designs via nested semi-infinite programming and twofold adaptive discretization

abstract: Modeling real processes often results in several suitable models. In order to be able to distinguish, or discriminate, which model best represents a phenomenon, one is interested, e.g., in so-called T-optimal designs. These consist of the (design) points from a generally continuous design space at which the models deviate most from each other, under the condition that they are best fitted to those points. Thus, the T-criterion represents a bi-level optimization problem, which can be transferred into a semi-infinite one, but whose solution is very unstable or time consuming for non-linear models and non-convex lower- and upper-level problems. If one considers only a finite number of possible design points, a numerically well tractable linear semi-infinite optimization problem arises. Since this is only an approximation of the original model discrimination problem, we propose an algorithm which alternately and adaptively refines discretizations of the parameter as well as of the design space and, thus, solves a sequence of LSIPs. We prove convergence of our method and its subroutine and show on the basis of discrimination tasks from process engineering that our approach is stable and can outperform the known methods.


title: Dynamics of Hot QCD Matter -- Current Status and Developments

abstract: The discovery and characterization of hot and dense QCD matter, known as Quark Gluon Plasma (QGP), remains the most international collaborative effort and synergy between theorists and experimentalists in modern nuclear physics to date. The experimentalists around the world not only collect an unprecedented amount of data in heavy-ion collisions, at Relativistic Heavy Ion Collider (RHIC), at Brookhaven National Laboratory (BNL) in New York, USA, and the Large Hadron Collider (LHC), at CERN in Geneva, Switzerland but also analyze these data to unravel the mystery of this new phase of matter that filled a few microseconds old universe, just after the Big Bang. In the meantime, advancements in theoretical works and computing capability extend our wisdom about the hot-dense QCD matter and its dynamics through mathematical equations. The exchange of ideas between experimentalists and theoreticians is crucial for the progress of our knowledge. The motivation of this first conference named "HOT QCD Matter 2022" is to bring the community together to have a discourse on this topic. In this article, there are 36 sections discussing various topics in the field of relativistic heavy-ion collisions and related phenomena that cover a snapshot of the current experimental observations and theoretical progress. This article begins with the theoretical overview of relativistic spin-hydrodynamics in the presence of the external magnetic field, followed by the Lattice QCD results on heavy quarks in QGP, and finally, it ends with an overview of experiment results.


title: Rethinking Skip Connections in Encoder-decoder Networks for Monocular Depth Estimation

abstract: Skip connections are fundamental units in encoder-decoder networks, which are able to improve the feature propagtion of the neural networks. However, most methods with skip connections just connected features with the same resolution in the encoder and the decoder, which ignored the information loss in the encoder with the layers going deeper. To leverage the information loss of the features in shallower layers of the encoder, we propose a full skip connection network (FSCN) for monocular depth estimation task. In addition, to fuse features within skip connections more closely, we present an adaptive concatenation module (ACM). Further more, we conduct extensive experiments on the ourdoor and indoor datasets (i.e., the KITTI dataste and the NYU Depth V2 dataset) for FSCN and FSCN gets the state-of-the-art results.


title: Modeling Adaptive Fine-grained Task Relatedness for Joint CTR-CVR Estimation

abstract: In modern advertising and recommender systems, multi-task learning (MTL) paradigm has been widely employed to jointly predict diverse user feedbacks (e.g. click and purchase). While, existing MTL approaches are either rigid to adapt to different scenarios, or only capture coarse-grained task relatedness, thus making it difficult to effectively transfer knowledge across tasks. To address these issues, in this paper, we propose an Adaptive Fine-grained Task Relatedness modeling approach, AdaFTR, for joint CTR-CVR estimation. Our approach is developed based on a parameter-sharing MTL architecture, and introduces a novel adaptive inter-task representation alignment method based on contrastive learning.Given an instance, the inter-task representations of the same instance are considered as positive, while the representations of another random instance are considered as negative. Furthermore, we explicitly model fine-grained task relatedness as the contrast strength (i.e. the temperature coefficient in InfoNCE loss) at the instance level. For this purpose, we build a relatedness prediction network, so that it can predict the contrast strength for inter-task representations of an instance. In this way, we can adaptively set the temperature for contrastive learning in a fine-grained way (i.e. instance level), so as to better capture task relatedness. Both offline evaluation with public e-commerce datasets and online test in a real advertising system at Alibaba have demonstrated the effectiveness of our approach.


title: Coefficients at powers of logarithms in the HD+MSL renormalization scheme

abstract: For renormalizable theories with a single coupling constant regularized by higher derivatives we investigate the coefficients at powers of logarithms present in the renormalization constants assuming that divergences are removed by minimal subtractions of logarithms. According to this (HD+MSL) renormalization prescription the renormalization constants include only powers of $\ln\Lambda/\mu$, where $\Lambda$ and $\mu$ are the dimensionful regularization parameter and the renormalization point, respectively. We construct general explicit expressions for arbitrary coefficients at powers of this logarithm present in the coupling constant renormalization and in the field renormalization constant which relate them to the $\beta$-function and (in the latter case) to the corresponding anomalous dimension. To check the correctness, we compare the results with the explicit four-loop calculation made earlier for ${\cal N}=1$ SQED and (for the supersymmetric case) rederive a relation between the renormalization constants following from the NSVZ equation.


title: Numerical modeling of the multi-stage Stern$\unicode{x2013}$Gerlach experiment by Frisch and Segr\`e using co-quantum dynamics via the Bloch equation

abstract: We numerically study the spin flip in the Frisch$\unicode{x2013}$Segr\`e experiment, the first multi-stage Stern$\unicode{x2013}$Gerlach experiment, within the context of the novel co-quantum dynamics theory. We model the middle stage responsible for spin rotation by sampling the atoms with the Monte Carlo method and solving the dynamics of the electron and nuclear magnetic moments numerically according to the Bloch equation. Our results show that, without using any fitting parameters, the co-quantum dynamics closely reproduces the experimental observation reported by Frisch and Segr\`e in 1933, which has so far lacked theoretical predictions.


title: On the Relation Between Affinely Adjustable Robust Linear Complementarity and Mixed-Integer Linear Feasibility Problems

abstract: We consider adjustable robust linear complementarity problems and extend the results of Biefel et al. (2022) towards convex and compact uncertainty sets. Moreover, for the case of polyhedral uncertainty sets, we prove that computing an adjustable robust solution of a given linear complementarity problem is equivalent to solving a properly chosen mixed-integer linear feasibility problem.


title: Planar Confluent Orthogonal Drawings of 4-Modal Digraphs

abstract: In a planar confluent orthogonal drawing (PCOD) of a directed graph (digraph) vertices are drawn as points in the plane and edges as orthogonal polylines starting with a vertical segment and ending with a horizontal segment. Edges may overlap in their first or last segment, but must not intersect otherwise. PCODs can be seen as a directed variant of Kandinsky drawings or as planar L-drawings of subdivisions of digraphs. The maximum number of subdivision vertices in an edge is then the split complexity. A PCOD is upward if each edge is drawn with monotonically increasing y-coordinates and quasi-upward if no edge starts with decreasing y-coordinates. We study the split complexity of PCODs and (quasi-)upward PCODs for various classes of graphs.


title: Gender-dependent Contribution, Code and Creativity in a Virtual Programming Course

abstract: Since computer science is still mainly male dominated, academia, industry and education jointly seek ways to motivate and inspire girls, for example by introducing them to programming at an early age. The recent COVID-19 pandemic has forced many such endeavours to move to an online setting. While the gender-dependent differences in programming courses have been studied previously, for example revealing that girls may feel safer in same-sex groups, much less is known about gender-specific differences in online programming courses. In order to investigate whether gender-specific differences can be observed in online courses, we conducted an online introductory programming course for Scratch, in which we observed the gender-specific characteristics of participants with respect to how they interact, their enjoyment, the code they produce, and the creativity exposed by their programs. Overall, we observed no significant differences between how girls participated in all-female vs. mixed groups, and girls generally engaged with the course more actively than boys. This suggests that online courses can be a useful means to avoid gender-dependent group dynamics. However, when encouraging creative freedom in programming, girls and boys seem to fall back to socially inherited stereotypical behavior also in an online setting, influencing the choice of programming concepts applied. This may inhibit learning and is a challenge that needs to be addressed independently of whether courses are held online.


title: On the computation of the difference Galois groups of order three equations

abstract: In this paper we consider the problem of computing the difference Galois groups of order three equations for a large class of difference operators including the shift operator (Case S), the $q$-difference operator (Case Q), the Mahler operator (Case M) and the elliptic case (Case E). We show that the general problem can be reduced to several ancillary problems. We prove criteria to detect the irreducible and imprimitive Galois groups. Finally, we give a sufficient condition of differential transcendence of solutions of order three difference equations. We also compute the difference Galois group of an equation suggested by Wadim Zudilin.


title: The role of symmetrical inhomogeneity in problems of electromagnetic wave propagation

abstract: Media with symmetric inhomogeneity have been of great interest due to numerous effects which occur when electromagnetic waves propagate through such media. In general, the inhomogeneity of a certain medium means that the refraction index of the medium is not constant and has some sort of spatial dependency. These types of media are called gradient index (GRIN) media. Different optical effects related to GRIN media are described by GRIN optics. GRIN optics examines different phenomena related to the gradient of the refractive index of the medium and/or the material. Electromagnetic waves propagating in such materials result in many effects that are being exploited to produce lenses, optical fibers, and other devices. By symmetric inhomogeneity, we refer to the case when the inhomogeneity of the medium or material is not an arbitrary function of position but has some sort of symmetry. In this dissertation, our primary focus is on two types of inhomogeneous media. Firstly, we examine photonic crystals which are optical structures where the refractive index changes periodically. The other type of inhomogeneity, that is examined, is the case when the refractive index of a medium is a continuous function of position. Moreover, the central focus is given to profiles possessing different symmetries. Specifically, we investigate the effects occurring in Maxwell Fish eye profile which has spherical symmetry as well as an extended symmetry which will be thoroughly studied in Chapters 3 and 4.


title: Structure and transport properties of poly(ethylene oxide) based cross-linked polymer electrolytes -- A Molecular Dynamics Simulations study

abstract: We present an extensive molecular dynamics (MD) simulation study of poly(ethylene oxide) (PEO) based densely cross-linked polymers, focussing on structural properties as well as the systems dynamics in the presence of lithium salt. Motivated by experimental findings for networks with short PEO strands we employ a combination of LiTFSI (Lithium bis(trifluoromethanesulfonyl)imide) and LiDFOB (Lithium difluoro(oxalato)borate). Recently, it has been shown that such multi-salt systems outperform classical single salt systems (Shaji et al., Energy Storage Materials, 2022, 44, 263). To analyse the microscopic scenario we employ an analytical model, originally developed for non-cross-linked polymer electrolytes or blends (Maitra et al., Phys. Rev. Lett., 2007, 98, 227802 and Diddens et al., J. Electrochem. Soc., 2017, 164, E3225-E3231). Excluding very short PEO strands, the local dynamics is only slightly restricted compared to linear PEO and is not significantly dependent on the network structure. The transfer of lithium ions between PEO chains and the motion along the polymer backbone may be controlled through the employed salt.


title: Common Patterns in Block-Based Robot Programs

abstract: Programmable robots are engaging and fun to play with, interact with the real world, and are therefore well suited to introduce young learners to programming. Introductory robot programming languages often extend existing block-based languages such as Scratch. While teaching programming with such languages is well established, the interaction with the real world in robot programs leads to specific challenges, for which learners and educators may require assistance and feedback. A practical approach to provide this feedback is by identifying and pointing out patterns in the code that are indicative of good or bad solutions. While such patterns have been defined for regular block-based programs, robot-specific programming aspects have not been considered so far. The aim of this paper is therefore to identify patterns specific to robot programming for the Scratch-based mBlock programming language, which is used for the popular mBot and Codey Rocky robots. We identify: (1) 26 bug patterns, which indicate erroneous code; (2) three code smells, which indicate code that may work but is written in a confusing or difficult to understand way; and (3) 18 code perfumes, which indicate aspects of code that are likely good. We extend the LitterBox analysis framework to automatically identify these patterns in mBlock programs. Evaluated on a dataset of 3,540 mBlock programs, we find a total of 6,129 instances of bug patterns, 592 code smells and 14,495 code perfumes. This demonstrates the potential of our approach to provide feedback and assistance to learners and educators alike for their mBlock robot programs.


title: Vanadium oxide metal-insulator phase transition in different types of one-dimensional photonic microcavities

abstract: The optical properties of vanadium dioxide ($VO_2$) can be tuned via metal-insulator transition. In this work different types of one-dimensional photonic structure-based microcavities that embed vanadium dioxide have been studied in the spectral range between 900 nm and 2000 nm. In particular, $VO_2$ has been sandwiched between: i) two photonic crystals made of $SiO_2$ and $ZrO_2$; ii) two aperiodic structures made of $SiO_2$ and $ZrO_2$ that follow the Thue-Morse sequence; iii) two disordered photonic structures, made of $SiO_2$ and $ZrO_2$ in which the disorder is introduced either by a random sequence of the two materials or by a random variation of the thicknesses of the layers; iv) two four material-based photonic crystals made of $SiO_2$, $Al_2O_3$, $Y_2O_3$, and $ZrO_2$. The ordered structures i and iv show, respectively, one and two intense transmission valleys with defect modes, while the aperiodic and disordered structures ii and iii show a manifold of transmission valleys due to their complex layered configurations. The metal-insulator transition of $VO_2$, controlled by temperature, results in a modulation of the optical properties of the microcavities.


title: Understanding Diversity in Session-Based Recommendation

abstract: Current session-based recommender systems (SBRSs) mainly focus on maximizing recommendation accuracy, while few studies have been devoted to improve diversity beyond accuracy. Meanwhile, it is unclear how the accuracy-oriented SBRSs perform in terms of diversity. Besides, the asserted "trade-off" relationship between accuracy and diversity has been increasingly questioned in the literature. Towards the aforementioned issues, we conduct a holistic study to particularly examine the recommendation performance of representative SBRSs w.r.t. both accuracy and diversity, striving for better understanding the diversity-related issues for SBRSs and providing guidance on designing diversified SBRSs. Particularly, for a fair and thorough comparison, we deliberately select state-of-the-art non-neural, deep neural, and diversified SBRSs, by covering more scenarios with appropriate experimental setups, e.g., representative datasets, evaluation metrics, and hyper-parameter optimization technique. Our empirical results unveil that: 1) non-diversified methods can also obtain satisfying performance on diversity, which might even surpass diversified ones; and 2) the relationship between accuracy and diversity is quite complex. Besides the "trade-off" relationship, they might be positively correlated with each other, that is, having a same-trend (win-win or lose-lose) relationship, which varies across different methods and datasets. Additionally, we further identify three possible influential factors on diversity in SBRSs (i.e., granularity of item categorization, session diversity of datasets, and length of recommendation lists).


title: Minimum Input Design for Direct Data-driven Property Identification of Unknown Linear Systems

abstract: In a direct data-driven approach, this paper studies the {\em property identification(ID)} problem to analyze whether an unknown linear system has a property of interest, e.g., stabilizability and structural properties. In sharp contrast to the model-based analysis, we approach it by directly using the input and state feedback data of the unknown system. Via a new concept of sufficient richness of input sectional data, we first establish the necessary and sufficient condition for the minimum input design to excite the system for property ID. Specifically, the input sectional data is sufficiently rich for property ID {\em if and only if} it spans a linear subspace that contains a property dependent minimum linear subspace, any basis of which can also be easily used to form the minimum excitation input. Interestingly, we show that many structural properties can be identified with the minimum input that is however unable to identify the explicit system model. Overall, our results rigorously quantify the advantages of the direct data-driven analysis over the model-based analysis for linear systems in terms of data efficiency.


title: X-ray Emissions from the Jovian System

abstract: The Jovian system is a treasure trove of X-ray sources: diverse and dynamic atmospheric and auroral emissions, diffuse radiation belt and Io torus emissions, and plasma-surface interactions with Jupiter's moons. The system is a rich natural laboratory for astronomical X-rays with each region showcasing its own X-ray production processes: scattering and fluorescence of solar corona emissions; charge exchange emissions from energetic ions; Inverse-Compton, thermal and non-thermal bremsstrahlung emissions from relativistic electrons; and fingerprint fluorescence lines indicative of elemental composition and the potential for life on the Galilean satellites. For the high energy astrophysics domain, perhaps Jupiter's greatest attribute is the opportunity to connect observed X-ray emissions with in-situ plasma and magnetic field measurements of the precise physical processes that lead to them - irreplaceable ground truths for systems that cannot be visited in-situ. Such simultaneous studies have revealed that Jupiter's spectacular soft X-ray flares and pulsations are produced by wave-particle interactions, while the bremsstrahlung aurorae vary with magnetodisk reconnection and dipolarisation. While many remote signatures remain to be linked with their source processes, the future is bright, with synergistic Chandra, NuSTAR, XMM-Newton and Juno in-situ measurements continuing to provide revolutionary insights in the coming years, while JUICE and Europa missions with ATHENA and possibly Lynx will enable a new legacy. However, to truly characterise some emissions (e.g. mapping Galilean satellite elemental composition) in-situ X-ray instrumentation is a necessity. Recent advances enable compact, lightweight, X-ray instrumentation perfectly suited for Jupiter science. The chapter closes by reviewing feasible, low-risk concepts that would paradigm-shift our understanding of the system.


title: Common Problems and Effects of Feedback on Fun When Programming Ozobots in Primary School

abstract: Computational thinking is increasingly introduced at primary school level, usually with some form of programming activity. In particular, educational robots provide an opportunity for engaging students with programming through hands-on experiences. However, primary school teachers might not be adequately prepared for teaching computer science related topics, and giving feedback to students can often be challenging: Besides the content of the feedback (e.g., what problems have to be handled), the way the feedback is given is also important, as it can lead to negative emotional effects. To support teachers with the way of giving feedback on common problems when teaching programming with robotics, we conducted a study consisting of seven workshops with three third and four fourth grade primary school classes. Within seven different activities, the 116 primary school children first programmed the Ozobot Evo robot in the pen-and-paper mode and then on a digital device. Throughout these activities we collected data on the problems the students encountered, the feedback given, and the fun they experienced. Our analysis reveals eight categories of problems, which we summarise in this paper together with corresponding possible feedback. We observed that problems that are urgent or can harm the students' self-efficacy have a negative impact on how enjoyable an activity is perceived. While direct instruction significantly decreased the experienced fun, hints had a positive effect. Generally, we found programming the Ozobot Evo to be encouraging for both girls and boys. To support teachers, we discuss ideas for giving encouraging feedback on common problems of Ozobot Evo programming activities and how our findings transfer to other robots.


title: Measurement of minute volumes of chiral molecules using in-fiber polarimetry

abstract: We report an opto-fluidic method that enables to efficiently measure the enantiomeric excess of chiral molecules at low concentration. The approach is to monitor the optical activity induced by a Kagome-lattice hollow-core photonic crystal fiber filled with a sub-ul volume of chiral compound. The technique also allows monitoring the enzymatic racemization of R mandelic acid.


title: Multi Spectral Switchable Infra-Red Reflectance Resonances in Highly Subwavelength Partially Oxidized Vanadium Thin Films

abstract: Phase transition materials are promising for realization of switchable optics. In this work, we show reflectance resonances in the near-infrared and long-wave infrared wavelengths in highly subwavelength partially oxidized Vanadium thin films. These partially oxidized films consist of a multilayer of Vanadium dioxide and Vanadium as shown using Raman spectroscopy and four-probe measurements. As Vanadium dioxide is a phase transition material that shows insulator to metal phase transition at 68 C, the observed infra-red resonances can be switched with temperature into a high-reflectance state. The wavelength of these resonances are passively tunable as a function of the oxidation duration. The obtained reflectance resonance at near-infrared wavelength red shifts from 1.78 um to 2.68 um with increasing oxidation duration while the long-wavelength infrared resonance blue shifts from 12.68 um to 9.96 um. To find the origin of the reflectance resonances, we model the reflectance spectra as a function of the oxidation duration using the transfer matrix method. The presented model captures the dual reflectance resonances reasonably well. These passive wavelength-tunable and switchable resonances with easy to fabricate lithography-free multilayer structure will be useful for multispectral applications such as camouflage, spectral selective microbolometer, and thermal management.


title: Quantile absolute deviation

abstract: The median absolute deviation (MAD) is a popular robust measure of statistical dispersion. However, when it is applied to non-parametric distributions (especially multimodal, discrete, or heavy-tailed), lots of statistical inference issues arise. Even when it is applied to distributions with slight deviations from normality and these issues are not actual, the Gaussian efficiency of the MAD is only 37% which is not always enough. In this paper, we introduce the quantile absolute deviation (QAD) as a generalization of the MAD. This measure of dispersion provides a flexible approach to analyzing properties of non-parametric distributions. It also allows controlling the trade-off between robustness and statistical efficiency. We use the trimmed Harrell-Davis median estimator based on the highest density interval of the given width as a complimentary median estimator that gives increased finite-sample Gaussian efficiency compared to the sample median and a breakdown point matched to the QAD. As a rule of thumb, we suggest using two new measures of dispersion called the standard QAD and the optimal QAD. They give 54% and 65% of Gaussian efficiency having breakdown points of 32% and 14% respectively.


title: Long-Term Simulations of Dynamical Ejecta: Homologous Expansion and Kilonova Properties

abstract: Accurate numerical-relativity simulations are essential to study the rich phenomenology of binary neutron star systems. In this work, we focus on the material that is dynamically ejected during the merger process and on the kilonova transient it produces. Typically, radiative transfer simulations of kilonova light curves from ejecta make the assumption of homologous expansion, but this condition might not always be met at the end of usually very short numerical-relativity simulations. In this article, we adjust the infrastructure of the BAM code to enable longer simulations of the dynamical ejecta with the aim of investigating when the condition of homologous expansion is satisfied. In fact, we observe that the deviations from a perfect homologous expansion are about 30% at roughly 100ms after the merger. To determine how these deviations might affect the calculation of kilonova light curves, we extract the ejecta data for different reference times and use them as input for radiative transfer simulations. Our results show that the light curves for extraction times later than 80ms after the merger deviate by less than 0.4mag and are mostly consistent with numerical noise. Accordingly, deviations from the homologous expansion for the dynamical ejecta component are negligible for the purpose of kilonova modelling.


title: Integral formulas for a foliated sub-Riemannian manifold

abstract: In this article, we deduce a series of integral formulas for a foliated sub-Riemannian manifold, which is a new geometric concept denoting a Riemannian manifold equipped with a distribution ${\mathcal D}$ and a foliation ${\mathcal F}$, whose tangent bundle is a subbundle of ${\mathcal D}$. Our integral formulas generalize some results for foliated Riemannian manifolds and involve the shape operators of ${\mathcal F}$ with respect to normals in ${\mathcal D}$ and the curvature tensor of induced connection on ${\mathcal D}$. The formulas also include arbitrary functions $f_j\ (0\le j<\dim{\mathcal F})$ depending on scalar invariants of the shape operators, and for a special choice of $f_j$ reduce to integral formulas with the Newton transformations of the shape operators. We apply our formulas to foliated sub-Riemannian manifolds with restrictions on the curvature and extrinsic geometry of ${\mathcal F}$ and to codimension-one foliations.


title: Minimizers for the energy of eccentricity matrices of trees

abstract: The eccentricity matrix of a connected graph $G$, denoted by $\mathcal{E}(G)$, is obtained from the distance matrix of $G$ by keeping the largest nonzero entries in each row and each column and leaving zeros in the remaining ones. The eigenvalues of $\mathcal{E}(G)$ are the $\mathcal{E}$-eigenvalues of $G$. The eccentricity energy (or the $\mathcal{E}$-energy) of $G$ is the sum of the absolute values of all $\mathcal{E}$-eigenvalues of $G$. In this article, we determine the unique tree with the minimum second largest $\mathcal{E}$-eigenvalue among all trees on $n$ vertices other than the star. Also, we characterize the trees with minimum $\mathcal{E}$-energy among all trees on $n$ vertices.


title: Field of View and contrast limitations of stellar interferometers. A quick review

abstract: Field of View (FoV) and contrast limitations of stellar interferometers have been the scope of numerous publications for more than thirty years. Recently, this topic regained some interest since long-baseline terrestrial interferometers or space borne nulling interferometers are envisioned for detecting and characterizing extra-solar planets orbiting in the habitable zone of their parent star. This goal supposes to achieving sufficient contrast ratio in the high angular frequency domain, thus on the whole interferometer FoV. In this paper are reviewed some of the contrast and FoV limiting factors, including spectral bandwidth, flux mismatches, fringe tracking, telescope image quality, atmosphere seeing, optical conjugation mismatch of the telescopes pupils, influence of anamorphous optics, pupil aberrations, signal-to-noise ratio and deviations with respect to the golden rule of imaging interferometers. Finally, a tentative classification of all these factors is provided.


title: Price of MEV: Towards a Game Theoretical Approach to MEV

abstract: Maximal (also miner) extractable value, or MEV, usually refers to the value that privileged players can extract by strategically ordering, censoring, and placing transactions in a blockchain. Each blockchain network, which we refer to as a domain, has its own consensus, ordering, and block-creation mechanisms, which gives rise to different optimal strategies to extract MEV. The strategic behaviour of rational players, known as searchers, lead to MEV games that have different impacts and externalities in each domain. Several ordering mechanisms, which determine the inclusion and position of transactions in a block, have been considered to construct alternative games to organise MEV extraction, and minimize negative externalities; examples include sealed bid auctions, first input first output, and private priority gas auctions. However, to date, no sufficiently formal and abstract definition of MEV games have been made. In this paper, we take a step toward the formalization of MEV games and compare different ordering mechanisms and their externalities. In particular, we attempt to formalize games that arise from common knowledge MEV opportunities, such as arbitrage and sandwich attacks. In defining these games, we utilise a theoretical framework that provides groundwork for several important roles and concepts, such as the searcher, sequencer, domain, and bundle. We also introduce the price of MEV as the price of anarchy of MEV games, a measure that provides formal comparison between different ordering mechanisms.


title: Exploring Semantic Attributes from A Foundation Model for Federated Learning of Disjoint Label Spaces

abstract: Conventional centralised deep learning paradigms are not feasible when data from different sources cannot be shared due to data privacy or transmission limitation. To resolve this problem, federated learning has been introduced to transfer knowledge across multiple sources (clients) with non-shared data while optimising a globally generalised central model (server). Existing federated learning paradigms mostly focus on transferring holistic high-level knowledge (such as class) across models, which are closely related to specific objects of interest so may suffer from inverse attack. In contrast, in this work, we consider transferring mid-level semantic knowledge (such as attribute) which is not sensitive to specific objects of interest and therefore is more privacy-preserving and scalable. To this end, we formulate a new Federated Zero-Shot Learning (FZSL) paradigm to learn mid-level semantic knowledge at multiple local clients with non-shared local data and cumulatively aggregate a globally generalised central model for deployment. To improve model discriminative ability, we propose to explore semantic knowledge augmentation from external knowledge for enriching the mid-level semantic space in FZSL. Extensive experiments on five zeroshot learning benchmark datasets validate the effectiveness of our approach for optimising a generalisable federated learning model with mid-level semantic knowledge transfer.


title: Porous Semiconductors: Growth and Applications

abstract: Big pores, small pores, ordered pores, random pores, they all have a function and as is often found, show behaviour in new materials that is not always predicted or obvious at the outset. I started my research journey trying to put extremely thin films onto near-perfect III-V crystals to control (opto)electronic properties and when the first TEM on our campus showed remarkable pore growth and structure in InP almost 21 years ago, the electrochemical modification of the InP made more sense. In this paper, I will summarise a few aspects of research into porous materials and semiconductors, from porous InP that led to studies of other porous semiconductors such as silicon, GaN, ZnO and Indium Tin oxide (ITO), to periodically ordered photonic crystal porous structures and some optical, thermal and electrochemical properties, photocatalysis, studies in batteries and related that were enabled or modified by the porous structure.


title: Partition-Tolerant and Byzantine-Tolerant Decision-Making for Distributed Robotic Systems with IOTA and ROS 2

abstract: With the increasing ubiquity of autonomous robotic solutions, the interest in their connectivity and in the cooperation within multi-robot systems is rising. Two aspects that are a matter of current research are robot security and secure multi-robot collaboration robust to byzantine agents. Blockchain and other distributed ledger technologies (DLTs) have been proposed to address the challenges in both domains. Nonetheless, some key challenges include scalability and deployment within real-world networks. This paper presents an approach to integrating IOTA and ROS 2 for more scalable DLT-based robotic systems while allowing for network partition tolerance after deployment. This is, to the best of our knowledge, the first implementation of IOTA smart contracts for robotic systems, and the first integrated design with ROS 2. This is in comparison to the vast majority of the literature which relies on Ethereum. We present a general IOTA+ROS 2 architecture leading to partition-tolerant decision-making processes that also inherit byzantine tolerance properties from the embedded blockchain structures. We demonstrate the effectiveness of the proposed framework for a cooperative mapping application in a system with intermittent network connectivity. We show both superior performance with respect to Ethereum in the presence of network partitions, and a low impact in terms of computational resource utilization. These results open the path for wider integration of blockchain solutions in distributed robotic systems with less stringent connectivity and computational requirements.


title: A note on the Schur and Phillips lemmas

abstract: It is well-known that every weakly convergent sequence in $\ell_1$ is convergent in the norm topology (Schur's lemma). Phillips' lemma asserts even more strongly that if a sequence $(\mu_n)_{n\in\mathbb N}$ in $\ell_\infty'$ converges pointwise on $\{0,1\}^\mathbb N$ to $0$, then its $\ell_1$-projection converges in norm to $0$. In this note we show how the second category version of Schur's lemma, for which a short proof is included, can be used to replace in Phillips' lemma $\{0,1\}^\mathbb N$ by any of its subsets which contains all finite sets and having some kind of interpolation property for finite sets.


title: Counting crucial permutations with respect to monotone patterns

abstract: Recently, Avgustinovich, Kitaev, and Taranenko defined five types of $(k, \ell)-$crucial permutations, which are maximal permutations that do not contain an increasing subsequence of length $k$ or a decreasing subsequence of length $\ell$. Further, Avgustinovich, Kitaev, and Taranenko began the enumeration of the $(k, \ell)-$crucial permutations of the minimal length and the next minimal length and the $(k, 3)-$crucial permutations of all lengths for each of the five types of $(k,\ell)-$crucial permutations. In this paper, we complete the enumeration that Avgustinovich, Kitaev, and Taranenko began.


title: Nulling interferometry in space does not require a rotating telescope array

abstract: Space borne nulling interferometry in the mid-infrared waveband is one of the most promising techniques for characterizing the atmospheres of extra-solar planets orbiting in the habitable zone of their parent star, and possibly discovering life markers. One of its most difficult challenges is the control of free-flying telescope spacecrafts moving around a central combiner in order to modulating the planet signal, within accuracy better than one micrometer at least. Moreover, the whole array must be reconfigured regularly in order to observe different celestial targets, thus increasing the risk of loosing one or more spacecrafts and aborting the mission before its normal end. In this paper is described a simplified optical configuration where the telescopes do not need to be rotated, and the number of necessary array reconfigurations is minimized. It allows efficient modulation of the planet signal, only making use of rotating prisms or mirrors located into the central combiner. In this paper the general principle of a nulling interferometer with a fixed telescope array is explained. Mathematical relations are established in order to determining the planet modulation signal. Numerical simulations are carried out for three different arrangements of the collecting telescopes. They confirm that nulling interferometry in space does not require a rotating telescope array


title: How to Extend the Abstraction Refinement Model for Systems with Emergent Behavior ?

abstract: The Abstraction Refinement Model has been widely adopted since it was firstly proposed many decades ago. This powerful model of software evolution process brings important properties into the system under development, properties such as the guarantee that no extra behavior (specifically harmful behaviors) will be observed once the system is deployed. However, perfect systems with such a guarantee are not a common thing to find in real world cases, anomalies and unspecified behaviors will always find a way to manifest in our systems, behaviors that are addressed in this paper with the name "emergent behavior". In this paper, we extend the Abstract Refinement Model to include the concept of the emergent behavior. Eventually, this should enable system developers to: (i) Concretely define what an emergent behavior is, (ii) help reason about the potential sources of the emergent behavior along the development process, which in return will help in controlling the emergent behavior at early steps of the development process.


title: Supporting Medical Relation Extraction via Causality-Pruned Semantic Dependency Forest

abstract: Medical Relation Extraction (MRE) task aims to extract relations between entities in medical texts. Traditional relation extraction methods achieve impressive success by exploring the syntactic information, e.g., dependency tree. However, the quality of the 1-best dependency tree for medical texts produced by an out-of-domain parser is relatively limited so that the performance of medical relation extraction method may degenerate. To this end, we propose a method to jointly model semantic and syntactic information from medical texts based on causal explanation theory. We generate dependency forests consisting of the semantic-embedded 1-best dependency tree. Then, a task-specific causal explainer is adopted to prune the dependency forests, which are further fed into a designed graph convolutional network to learn the corresponding representation for downstream task. Empirically, the various comparisons on benchmark medical datasets demonstrate the effectiveness of our model.


title: On Tsunami Waves induced by Atmospheric Pressure Shock Waves after the 2022 Hunga Tonga-Hunga Ha'apai Volcano Eruption

abstract: Employing a linear shallow water equation (LSWE) model in the spherical coordinates, this paper investigates the tsunami waves generated by the atmospheric pressure shock waves due to the explosion of the submarine volcano Hunga Tonga-Hunga Ha'apai on January 15, 2022. Using the selected 59 atmospheric pressure records in the Pacific Ocean, an empirical atmospheric pressure model is first constructed. Applying the atmospheric pressure model and realistic bathymetric data in the LSWE model, tsunami generation and propagation are simulated in the Pacific Ocean. The numerical results show clearly the co-existence of the leading locked waves, propagating with the speed of the atmospheric pressure waves (~1,100 km/hr), and the trailing free waves, propagating with long gravity ocean wave celerity (~ 750 km/hr). During the event, tsunamis were reported by 41 DART buoys in the Pacific Ocean, which require corrections because of the occurrence of atmospheric pressure waves. The numerically simulated tsunami arrival time and the amplitudes of the wave crest and trough of the leading locked waves compare reasonably well with the corrected DART measurements. The comparisons for the trailing waves are less satisfactory, since free waves could also have been generated by other tsunami generation mechanisms, which have not been considered in the present model, and by the scattering of locked waves over changing bathymetry. In this regard, the numerical results show clearly that the deep Tonga trench (~ 10 km) amplifies the trailing waves in the Southeast part of the Pacific Ocean via the Proudman resonance condition.


title: Prompt Tuning with Soft Context Sharing for Vision-Language Models

abstract: Vision-language models have recently shown great potential on many tasks in computer vision. Meanwhile, prior work demonstrates prompt tuning designed for vision-language models could acquire superior performance on few-shot image recognition compared to linear probe, a strong baseline. In practice, many few-shot tasks are inherently correlated, particularly within specialized domains. However, such information is overlooked previously. Inspired by the fact that modeling task relationship by multi-task learning can usually boost performance, we propose a novel method SoftCPT (Soft Context Sharing for Prompt Tuning) to tune pre-trained vision-language models on multiple target few-shot tasks jointly. Specifically, we design a task-shared meta network to generate prompt context for each task using task name together with a learnable task context as input. The parameters of this meta network as well as the task context are tuned on the joint training set of all tasks. As such, the prompt context of all tasks will be shared in a soft manner. Extensive experiments across four multi-task few-shot datasets covering 44 tasks and 1593 categories demonstrate that SoftCPT significantly outperforms single-task prompt tuning methods, highlighting the effectiveness of multi-task learning for vision-language prompt tuning. Code is available at https://github.com/kding1225/softcpt.


title: On global approximate controllability of a quantum particle in a box by moving walls

abstract: We study a system composed of a free quantum particle trapped in a box whose walls can change their position. We prove the global approximate controllability of the system. That is, any initial state can be driven arbitrarily close to any target state in the Hilbert space of the free particle with a predetermined final position of the box. To this purpose we consider weak solutions of the Schr\"odinger equation and use a stability theorem for the time-dependent Schr\"odinger equation.


title: A Hamiltonian approach to small time local attainability of manifolds for nonlinear control systems

abstract: This paper develops a new approach to small time local attainability of smooth manifolds of any dimension, possibly with boundary and to prove H\"older continuity of the minimum time function. We give explicit pointwise conditions of any order by using higher order hamiltonians which combine derivatives of the controlled vector field and the functions that locally define the target. For the controllability of a point our sufficient conditions extend some classically known results for symmetric or control affine systems, using the Lie algebra instead, but for targets of higher dimension our approach and results are new. We find our sufficient higher order conditions explicit and easy to use for targets with curvature and general control systems.


title: Extremal planar graphs with no cycles of particular lengths

abstract: In this paper we estimate the planar Tur\'an number $\mathrm{ex}_\mathcal{P}(n,H)$ of some graphs $H$, i.e., the maximum number of edges in a planar graph $G$ of $n$ vertices not containing $H$ as a subgraph. We give a new, short proof when $H=C_5$, and study the cases when $G$ is bipartite or triangle-free and $H$ is a short even cycle. The proofs are mostly new applications or variants of the "contribution method" introduced by Ghosh, Gy\H{o}ri, Martin, Paulos and Xiao in arXiv:2004.14094.


title: Thomson scattering diagnostic at the gas dynamic trap

abstract: The incoherent Thomson scattering diagnostic with multiple line of sight is installed at the gas dynamic trap (GDT) for measurements of radial profiles of the plasma electron temperature and density. The diagnostic is based on a Nd:YAG laser with the wavelength of $1064 nm$. Its collecting lens uses $90^\circ$ scattering geometry having eleven lines of sight in total. At the current stage, six of them are equipped with interference filter spectrometers. Results of the initial operation within a month-long experimental campaign at GDT show that radial profiles are delivered with the accuracy of few percent for $T_e \geqslant 20 eV$ and $n_e \geqslant 10^{19} m^{-3}$. The next planned boost of the diagnostic performance is upgrade with the pulse burst laser to study a fast dynamics of plasma parameters in every GDT shot.


title: Comparative work for the source identification in parabolic inverse problem based on Taylor and Chebyshev wavelet methods

abstract: In this article, we study wavelet collocation methods based on Taylor and Chebyshev wavelets for the source identification in parabolic inverse problem. In the proposed method, highest order derivative is written in terms of Taylor and Chebyshev wavelet series and required unknown terms are obtained using successive integration. Taylor series approximation has been utilized to obtain the source control parameter. Convergence analysis is carried out in order to guarantee the accuracy of the method. Numerical results have been obtained based on the proposed methods and it is shown that Taylor wavelet method provide us better result than the Chebyshev wavelet method. CPU time has also been shown to ensure the efficiency of the method.


title: CAEN: A Hierarchically Attentive Evolution Network for Item-Attribute-Change-Aware Recommendation in the Growing E-commerce Environment

abstract: Traditional recommendation systems mainly focus on modeling user interests. However, the dynamics of recommended items caused by attribute modifications (e.g. changes in prices) are also of great importance in real systems, especially in the fast-growing e-commerce environment, which may cause the users' demands to emerge, shift and disappear. Recent studies that make efforts on dynamic item representations treat the item attributes as side information but ignore its temporal dependency, or model the item evolution with a sequence of related users but do not consider item attributes. In this paper, we propose Core Attribute Evolution Network (CAEN), which partitions the user sequence according to the attribute value and thus models the item evolution over attribute dynamics with these users. Under this framework, we further devise a hierarchical attention mechanism that applies attribute-aware attention for user aggregation under each attribute, as well as personalized attention for activating similar users in assessing the matching degree between target user and item. Results from the extensive experiments over actual e-commerce datasets show that our approach outperforms the state-of-art methods and achieves significant improvements on the items with rapid changes over attributes, therefore helping the item recommendation to adapt to the growth of the e-commerce platform.


title: Unequal time Commutators in Friedmann universes: Deterministic evolution of massless fields

abstract: We analyze minimally coupled massless scalar field in a Friedmann (FRW) universe in conformal co-ordinates to model the evolution of tensor perturbations and study the structure of the Wightman function therein. Using a duality map from a power law FRW universe to the de Sitter universe for such fields we obtain unequal time commutation relations between quantum field variables. We demonstrate that the commutation relations are invariant under state change and/or vacuum state selection. Using such commutators it is then possible to construct out of time ordered commutators (OTOC) in the FRW universes. The OTOCs are supposed to suggest the onset of chaotic behavior during the quantum evolution, we see that in case of Friedmann universes, unlike the scalar perturbations, the causal structure arrests the growth of quantum tensor perturbations for all the relevant epochs of the universe e.g. the de Sitter phase, the radiation dominated and the matter dominated era. Therefore the semi classical results of having a large backreaction and omnipresent noise in certain branches of the Friedmann universes with massless fields such as the tensor perturbations remain robust and stable.


title: Lord of the Ring Gratings: Their use as image plane filters for coronagraphy

abstract: Coronagraphy is an efficient technique for identifying and characterizing extra-solar planets orbiting in the habitable zone of their parent star. An important family of coronagraphs is based on amplitude or phase filters placed at an intermediate image plane of the optical system, spreading starlight outside of the so-called Lyot stop located at the exit pupil plane of the instrument. This article explores the potential of circular amplitude and phase gratings employed as image plane coronagraph filters. It presents a theoretical analysis of the simplest case of an amplitude circular grating and introduces an inversion paradigm with respect to classical Lyot coronagraph, by exchanging its image and pupil masks. Various types of circular gratings are considered and their performance is evaluated with the help of numerical simulations. The most promising solutions are presented. We conclude that high attenuation ratios of the starlight are feasible, provided that the system has been carefully optimized


title: A data-enabled physics-informed neural network with comprehensive numerical study on solving neutron diffusion eigenvalue problems

abstract: We present a data-enabled physics-informed neural network (DEPINN) with comprehensive numerical study for solving industrial scale neutron diffusion eigenvalue problems (NDEPs). In order to achieve an engineering acceptable accuracy for complex engineering problems, a very small amount of prior data from physical experiments are suggested to be used, to improve the accuracy and efficiency of training. We design an adaptive optimization procedure with Adam and LBFGS to accelerate the convergence in the training stage. We discuss the effect of different physical parameters, sampling techniques, loss function allocation and the generalization performance of the proposed DEPINN model for solving complex problem. The feasibility of proposed DEPINN model is tested on three typical benchmark problems, from simple geometry to complex geometry, and from mono-energetic equation to two-group equations. Numerous numerical results show that DEPINN can efficiently solve NDEPs with an appropriate optimization procedure. The proposed DEPINN can be generalized for other input parameter settings once its structure been trained. This work confirms the possibility of DEPINN for practical engineering applications in nuclear reactor physics.


title: Pasture Intake Protects Against Commercial Diet-induced Lipopolysaccharide Production Facilitated by Gut Microbiota through Activating Intestinal Alkaline Phosphatase Enzyme in Meat Geese

abstract: In-house feeding system (IHF, a low dietary fiber source) may cause altered cecal microbiota composition and inflammatory responses in meat geese via increased endotoxemia (lipopolysaccharides) with reduced intestinal alkaline phosphatase (ALP) production. The effects of artificial pasture grazing system (AGF, a high dietary fiber source) on modulating gut microbiota architecture and gut barrier functions have not been investigated in meat geese. The intestinal ALP functions to regulate gut microbial homeostasis and barrier function appears to inhibit pro-inflammatory cytokines by reducing LPS-induced reactive oxygen species (ROS) production. The purpose of our study was to investigate whether this enzyme could play a critical role in attenuating ROS generation and then ROS facilitated NF-\k{appa}B pathway-induced systemic inflammation in meat geese. First, we assessed the impacts of IHF and AGF on gut microbial composition via 16 sRNA sequencing in meat geese. In the gut microbiota analysis, meat geese supplemented with pasture demonstrated a significant reduction in microbial richness and diversity compared to IHF meat geese demonstrating antimicrobial, antioxidation, and anti-inflammatory ability of AGF system. Second host markers analysis through protein expression of serum and cecal tissues and quantitative PCR of cecal tissues were evaluated. We confirmed a significant increase in intestinal ALP-induced Nrf2 signaling pathway representing LPS dephosphorylation mediated TLR4/MyD88 induced ROS reduction mechanisms in AGF meat geese. Further, the correlation analysis of top 44 host markers with gut microbiota shows that artificial pasture intake induced gut barrier functions via reducing ROS-mediated NF-\k{appa}B pathway-induced gut permeability, systemic inflammation, and aging phenotypes.


title: A Practical Calibration Method for RGB Micro-Grid Polarimetric Cameras

abstract: Polarimetric imaging has been applied in a growing number of applications in robotic vision (ex. underwater navigation, glare removal, de-hazing, object classification, and depth estimation). One can find on the market RGB Polarization cameras that can capture both color and polarimetric state of the light in a single snapshot. Due to the sensor's characteristic dispersion, and the use of lenses, it is crucial to calibrate these types of cameras so as to obtain correct polarization measurements. The calibration methods that have been developed so far are either not adapted to this type of cameras, or they require complex equipment and time consuming experiments in strict setups. In this paper, we propose a new method to overcome the need for complex optical systems to efficiently calibrate these cameras. We show that the proposed calibration method has several advantages such as that any user can easily calibrate the camera using a uniform, linearly polarized light source without any a priori knowledge of its polarization state, and with a limited number of acquisitions. We will make our calibration code publicly available.


title: naab: A ready-to-use plug-and-play corpus for Farsi

abstract: Huge corpora of textual data are always known to be a crucial need for training deep models such as transformer-based ones. This issue is emerging more in lower resource languages - like Farsi. We propose naab, the biggest cleaned and ready-to-use open-source textual corpus in Farsi. It contains about 130GB of data, 250 million paragraphs, and 15 billion words. The project name is derived from the Farsi word NAAB K which means pure and high grade. We also provide the raw version of the corpus called naab-raw and an easy-to-use preprocessor that can be employed by those who wanted to make a customized corpus.


title: Robust transshipment problem under consistent flow constraints

abstract: In this paper, we study robust transshipment under consistent flow constraints. We consider demand uncertainty represented by a finite set of scenarios and characterize a subset of arcs as so-called fixed arcs. In each scenario, we require an integral flow that satisfies the respective flow balance constraints. In addition, on each fixed arc, we require equal flow for all scenarios. The objective is to minimize the maximum cost occurring among all scenarios. We show that the problem is strongly NP-hard on acyclic digraphs by a reduction from the $(3,B2)$-SAT problem. Furthermore, we prove that the problem is weakly NP-hard on series-parallel digraphs by a reduction from a special case of the \textsc{Partition} problem. If in addition the number of scenarios is constant, we observe the pseudo-polynomial-time solvability of the problem. We provide polynomial-time algorithms for three special cases on series-parallel digraphs. Finally, we present a polynomial-time algorithm for pearl digraphs.


title: Localized creation of yellow single photon emitting carbon complexes in hexagonal boron nitride

abstract: Single photon emitters in solid-state crystals have received a lot of attention as building blocks for numerous quantum technology applications. Fluorescent defects in hexagonal boron nitride (hBN) stand out due to their high luminosity and robust operation at room temperature. The identical emitter fabrication at pre-defined sites is still challenging, which hampers the integration of these defects in optical systems and electro-optical devices. Here, we demonstrate the localized fabrication of hBN emitter arrays by electron beam irradiation using a standard scanning electron microscope with deep sub-micron lateral precision. The emitters are created with a high yield and a reproducible spectrum peaking at 575 nm. Our measurements of optically detected magnetic resonance have not revealed any addressable spin states. Using density functional theory, we attribute the experimentally observed emission lines to carbon-related defects, which are activated by the electron beam. Our scalable approach provides a promising pathway for fabricating room temperature single photon emitters in integrated quantum devices.

categories: quant-ph cond-mat.mes-hall physics.app-ph physics.optics


title: The maximal running time of hypergraph bootstrap percolation

abstract: We show that for every $r\ge 3$, the maximal running time of the $K^{r}_{r+1}$-bootstrap percolation in the complete $r$-uniform hypergraph on $n$ vertices $K_n^r$ is $\Theta(n^r)$. This answers a recent question of Noel and Ranganathan in the affirmative, and disproves a conjecture of theirs. Moreover, we show that the prefactor is of the form $r^{-r} \mathrm{e}^{O(r)}$ as $r\to\infty$.


title: An artificial neural network for surrogate modeling of stress fields in viscoplastic polycrystalline materials

abstract: The purpose of this work is the development of an artificial neural network (ANN) for surrogate modeling of the mechanical response of viscoplastic grain microstructures. To this end, a U-Net-based convolutional neural network (CNN) is trained to account for the history dependence of the material behavior. The training data take the form of numerical simulation results for the von Mises stress field under quasi-static tensile loading. The trained CNN (tCNN) can accurately reproduce both the average response as well as the local von Mises stress field. The tCNN calculates the von Mises stress field of grain microstructures not included in the training dataset about 500 times faster than its calculation based on the numerical solution with a spectral solver of the corresponding initial-boundary-value problem. The tCNN is also successfully applied to other types of microstructure morphologies (e.g., matrix-inclusion type topologies) and loading levels not contained in the training dataset.


title: Quantum anomalous Hall phase and effective in-plane Lande-g factor in an inverted InAs/GaSb quantum well

abstract: The inverted band structure discovered in InAs/GaSb quantum well (QW) is found to host the topological quantum spin Hall (QSH) states. A QSH insulator hosts counterpropagating spin-polarized edge states that are protected by the time-reversal symmetry. The latest experiment reported a robust quantized Hall conductance arising from these QSH states that persists in an in-plane magnetic field as strong as $12$ Tesla. Based on the result of this experiment, we present here a precise calculation of the effective in-plane Lande-\textit{g} factor. We based our calculations on the tight-binding Hamiltonian projected on a square lattice that reproduces a slightly modified Bernevig-Hughes-Zhang (BHZ) Hamiltonian. We also study the topological phase transitions \textit{w.r.t.} a magnetic doping. At suitable doping, one type of spin states penetrate to the bulk of the QW and the system also enters the Quantum Anomalous Hall (QAH) state. We further confirm this through the calculations of quantum Hall conductance which shows a plateau at $e^2/h$ rather than $2e^2/h$ at such a doping state. The paper predicts a certain range of controllable parameters in an inverted QW for enabling a dissipationless charge transport needed for spintronics application.


title: Multidimensional Quantum Walks, with Application to $k$-Distinctness

abstract: While the quantum query complexity of $k$-distinctness is known to be $O\left(n^{3/4-1/4(2^k-1)}\right)$ for any constant $k \geq 4$, the best previous upper bound on the time complexity was $\widetilde{O}\left(n^{1-1/k}\right)$. We give a new upper bound of $\widetilde{O}\left(n^{3/4-1/4(2^k-1)}\right)$ on the time complexity, matching the query complexity up to polylogarithmic factors. In order to achieve this upper bound, we give a new technique for designing quantum walk search algorithms, which is an extension of the electric network framework. We also show how to solve the welded trees problem in $O(n)$ queries and $O(n^2)$ time using this new technique, showing that the new quantum walk framework can achieve exponential speedups.


title: On Stress of a Vertex in a Graph

abstract: The stress of a vertex in a graph is the number of geodesics passing through it (A. Shimbel, 1953). A graph is $k$-stress regular if stress of each of its vertices is $k$. In this paper, we investigate some results and compute stress of vertices in some standard graphs and give a characterization of graphs with all vertices of zero stress except for one. Also we compute stress of vertices in graphs of diameter 2 and in the corona product $K_m \circ G$. Further we prove that any strongly regular graph is stress regular and characterize $k$-stress regular graphs for $k=0,1,2$.