title: The Navier-Stokes equations: on the existence of a weak solution enjoying the energy equality

abstract: Under the assumption of an initial datum divergence free and in L2, we prove the existence of a weak solution to the Navier-Stokes initial boundary value problem enjoying the energy equality on (0,t), almost everywhere in t>0, in particular, for all t $\in [\theta, \infty)$, with $\theta := \theta(||v0||2)$. Also, the result allows us to refine some others.


title: Self-Supervised Guided Segmentation Framework for Unsupervised Anomaly Detection

abstract: Unsupervised anomaly detection is a challenging task in industrial applications since it is impracticable to collect sufficient anomalous samples. In this paper, a novel Self-Supervised Guided Segmentation Framework (SGSF) is proposed by jointly exploring effective generation method of forged anomalous samples and the normal sample features as the guidance information of segmentation for anomaly detection. Specifically, to ensure that the generated forged anomaly samples are conducive to model training, the Saliency Augmentation Module (SAM) is proposed. SAM introduces a saliency map to generate saliency Perlin noise map, and develops an adaptive segmentation strategy to generate irregular masks in the saliency region. Then, the masks are utilized to generate forged anomalous samples as negative samples for training. Unfortunately, the distribution gap between forged and real anomaly samples makes it difficult for models trained based on forged samples to effectively locate real anomalies. Towards this end, the Self-supervised Guidance Network (SGN) is proposed. It leverages the self-supervised module to extract features that are noise-free and contain normal semantic information as the prior knowledge of the segmentation module. The segmentation module with the knowledge of normal patterns segments out the abnormal regions that are different from the guidance features. To evaluate the effectiveness of SGSF for anomaly detection, extensive experiments are conducted on three anomaly detection datasets. The experimental results show that SGSF achieves state-of-the-art anomaly detection results.


title: Visual Anomaly Detection Via Partition Memory Bank Module and Error Estimation

abstract: Reconstruction method based on the memory module for visual anomaly detection attempts to narrow the reconstruction error for normal samples while enlarging it for anomalous samples. Unfortunately, the existing memory module is not fully applicable to the anomaly detection task, and the reconstruction error of the anomaly samples remains small. Towards this end, this work proposes a new unsupervised visual anomaly detection method to jointly learn effective normal features and eliminate unfavorable reconstruction errors. Specifically, a novel Partition Memory Bank (PMB) module is proposed to effectively learn and store detailed features with semantic integrity of normal samples. It develops a new partition mechanism and a unique query generation method to preserve the context information and then improves the learning ability of the memory module. The proposed PMB and the skip connection are alternatively explored to make the reconstruction of abnormal samples worse. To obtain more precise anomaly localization results and solve the problem of cumulative reconstruction error, a novel Histogram Error Estimation module is proposed to adaptively eliminate the unfavorable errors by the histogram of the difference image. It improves the anomaly localization performance without increasing the cost. To evaluate the effectiveness of the proposed method for anomaly detection and localization, extensive experiments are conducted on three widely-used anomaly detection datasets. The encouraging performance of the proposed method compared to the recent approaches based on the memory module demonstrates its superiority.


title: Ergodicity in glass relaxation

abstract: We derive an equation for the glass relaxation. In the derivation, the Zwanzig-Mori projection method is not applied explicitly, which makes our equation different from the mode coupling theory. Due to the nonlinearity, it is difficult to solve the equation to get the full behaviors of the glass relaxation. But we can simplify the equation when time approaches infinity and obtain the static result analytically. The static result shows that the density correlation function decays to zero finally, meaning that the glass relaxation is ergodic. In this study, we also find that the force fluctuation of one individual particle averaged in the glass is sensitive to the temperature and is suggested to be a parameter to reflect the structural transition for the glass relaxation.


title: Image Quality Assessment for Foliar Disease Identification (AgroPath)

abstract: Crop diseases are a major threat to food security and their rapid identification is important to prevent yield loss. Swift identification of these diseases are difficult due to the lack of necessary infrastructure. Recent advances in computer vision and increasing penetration of smartphones have paved the way for smartphone-assisted disease identification. Most of the plant diseases leave particular artifacts on the foliar structure of the plant. This study was conducted in 2020 at Department of Computer Science and Engineering, University of Engineering and Technology, Lahore, Pakistan to check leaf-based plant disease identification. This study provided a deep neural network-based solution to foliar disease identification and incorporated image quality assessment to select the image of the required quality to perform identification and named it Agricultural Pathologist (Agro Path). The captured image by a novice photographer may contain noise, lack of structure, and blur which result in a failed or inaccurate diagnosis. Moreover, AgroPath model had 99.42% accuracy for foliar disease identification. The proposed addition can be especially useful for application of foliar disease identification in the field of agriculture.


title: Self-supervised similarity models based on well-logging data

abstract: Adopting data-based approaches leads to model improvement in numerous Oil&Gas logging data processing problems. These improvements become even more sound due to new capabilities provided by deep learning. However, usage of deep learning is limited to areas where researchers possess large amounts of high-quality data. We present an approach that provides universal data representations suitable for solutions to different problems for different oil fields with little additional data. Our approach relies on the self-supervised methodology for sequential logging data for intervals from well, so it also doesn't require labelled data from the start. For validation purposes of the received representations, we consider classification and clusterization problems. We as well consider the transfer learning scenario. We found out that using the variational autoencoder leads to the most reliable and accurate models. approach We also found that a researcher only needs a tiny separate data set for the target oil field to solve a specific problem on top of universal representations.


title: Hybrid nano-domain structures of organic-inorganic perovskites from molecule-cage coupling effects

abstract: In hybrid perovskites, the organic molecules and inorganic frameworks exhibit distinct static and dynamic characteristics. Their coupling will lead to unprecedented phenomena, which have attracted wide research interests. In this paper, we employed Deep Potential molecular dynamics (DPMD), a large-scale MD simulation scheme with DFT accuracy, to study $\mathrm{FA/MAPbI_3}$ hybrid perovskites. A spontaneous hybrid nano-domain behavior, namely multiple molecular rotation nano-domains embedded into a single $\mathrm{[PbI_6]^{4-}}$ octahedra rotation domain, was firstly discovered at low temperatures. The behavior originates from the interplay between the long range order of molecular rotation and local lattice deformation, and clarifies the puzzling diffraction patterns of $\mathrm{FAPbI_3}$ at low temperatures. Our work provides new insights into the structural characteristics and stability of hybrid perovskite, as well as new ideas for the structural characterization of organic-inorganic coupled systems.


title: Integer group determinants for ${\rm C}_{2}^{4}$

abstract: We determine all possible values of the integer group determinant of ${\rm C}_{2}^{4}$, where ${\rm C}_{2}$ is the cyclic group of order $2$.


title: YOLO v3: Visual and Real-Time Object Detection Model for Smart Surveillance Systems(3s)

abstract: Can we see it all? Do we know it All? These are questions thrown to human beings in our contemporary society to evaluate our tendency to solve problems. Recent studies have explored several models in object detection; however, most have failed to meet the demand for objectiveness and predictive accuracy, especially in developing and under-developed countries. Consequently, several global security threats have necessitated the development of efficient approaches to tackle these issues. This paper proposes an object detection model for cyber-physical systems known as Smart Surveillance Systems (3s). This research proposes a 2-phase approach, highlighting the advantages of YOLO v3 deep learning architecture in real-time and visual object detection. A transfer learning approach was implemented for this research to reduce training time and computing resources. The dataset utilized for training the model is the MS COCO dataset which contains 328,000 annotated image instances. Deep learning techniques such as Pre-processing, Data pipelining, and detection was implemented to improve efficiency. Compared to other novel research models, the proposed model's results performed exceedingly well in detecting WILD objects in surveillance footages. An accuracy of 99.71% was recorded, with an improved mAP of 61.5.


title: Newton--Okounkov bodies of curve classes

abstract: The purpose of the paper is to initiate the development of the theory of Newton Okounkov bodies of curve classes. Our denition is based on making a fundamental property of NewtonOkounkov bodies hold also in the curve case: the volume of the NewtonOkounkov body of a curve is a volume-type function of the original curve. This construction allows us to conjecture a new relation between NewtonOkounkov bodies, we prove it in certain cases.


title: Hard congestion limit of the dissipative Aw-Rascle system

abstract: In this study, we analyse the famous Aw-Rascle system in which the difference between the actual and the desired velocities (the offset function) is a gradient of a singular function of the density. This leads to a dissipation in the momentum equation which vanishes when the density is zero. The resulting system of PDEs can be used to model traffic or suspension flows in one dimension with the maximal packing constraint taken into account. After proving the global existence of smooth solutions, we study the so-called "hard congestion limit", and show the convergence of a subsequence of solutions towards a weak solution of an hybrid freecongested system. In the context of suspension flows, this limit can be seen as the transition from a suspension regime, driven by lubrication forces, towards a granular regime, driven by the contact between the grains.


title: Hierarchical null controllability of a semilinear degenerate parabolic equation with a gradient term

abstract: In this paper, we apply the hierarchical strategy to a semilinear weakly degenerate parabolic equation involving a gradient term. We use the Stackelberg-Nash strategy with one leader which tries to drive the solution to zero and two followers intended to solve a Nash equilibrium corresponding to a bi-objective optimal control problem. Since the system is semilinear, the functionals are not convex in general. To overcome this difficulty, we first prove the existence and uniqueness of the Nash quasi-equilibrium, which is a weaker formulation of the Nash equilibrium. Next, with additional conditions, we establish the equivalence between the Nash quasi-equilibrium and the Nash equilibrium. We establish a suitable Carleman inequality for the adjoint system and then an observability inequality. Based on this observability inequality, we prove the null controllability of the linearized system. Then, due to the Kakutani's fixed point Theorem, we obtain the null controllability of the main system.


title: Factorization of skew polynomials over k((u))

abstract: Let $k$ be a perfect field of characteristic $p > 0$, and let $K = k((u))$ be the field of Laurent series over $K$. We study the skew polynomial ring $K[T, \Phi]$, where $\Phi$ is an endomorphism of $K$ that extends a Frobenius endomorphism of $k$. We give a description of the irreducible skew polynomials, develop an analogue of the theory of the Newton polygon in this context, and classify the similarity classes of irreducible elements.


title: Quantum-inspired algorithm applied to extreme learning

abstract: Quantum-inspired singular value decomposition (SVD) is a technique to perform SVD in logarithmic time with respect to the dimension of a matrix, given access to the matrix embedded in a segment-tree data structure. The speedup is possible through the efficient sampling of matrix elements according to their norms. Here, we apply it to extreme learning which is a machine learning framework that performs linear regression using random feature vectors generated through a random neural network. The extreme learning is suited for the application of quantum-inspired SVD in that it first requires transforming each data to a random feature during which we can construct the data structure with a logarithmic overhead with respect to the number of data. We implement the algorithm and observe that it works order-of-magnitude faster than the exact SVD when we use high-dimensional feature vectors. However, we also observe that, for random features generated by random neural networks, we can replace the norm-based sampling in the quantum-inspired algorithm with uniform sampling to obtain the same level of test accuracy due to the uniformity of the matrix in this case. The norm-based sampling becomes effective for more non-uniform matrices obtained by optimizing the feature mapping. It implies the non-uniformity of matrix elements is a key property of the quantum-inspired SVD. This work is a first step toward the practical application of the quantum-inspired algorithm.


title: Limit sets of cyclic quaternionic Kleinian groups

abstract: In this paper, we consider the natural action of $\mathrm{SL}(3, \mathbb{H})$ on the quaternionic projective space $ \mathbb{P}_{\mathbb{H}}^2$. Under this action, we investigate limit sets for cyclic subgroups of $\mathrm{SL}(3, \mathbb{H})$. We compute two types of limit sets, which were introduced by Kulkarni and Conze-Guivarc'h, respectively.


title: Shuffle-QUDIO: accelerate distributed VQE with trainability enhancement and measurement reduction

abstract: The variational quantum eigensolver (VQE) is a leading strategy that exploits noisy intermediate-scale quantum (NISQ) machines to tackle chemical problems outperforming classical approaches. To gain such computational advantages on large-scale problems, a feasible solution is the QUantum DIstributed Optimization (QUDIO) scheme, which partitions the original problem into $K$ subproblems and allocates them to $K$ quantum machines followed by the parallel optimization. Despite the provable acceleration ratio, the efficiency of QUDIO may heavily degrade by the synchronization operation. To conquer this issue, here we propose Shuffle-QUDIO to involve shuffle operations into local Hamiltonians during the quantum distributed optimization. Compared with QUDIO, Shuffle-QUDIO significantly reduces the communication frequency among quantum processors and simultaneously achieves better trainability. Particularly, we prove that Shuffle-QUDIO enables a faster convergence rate over QUDIO. Extensive numerical experiments are conducted to verify that Shuffle-QUDIO allows both a wall-clock time speedup and low approximation error in the tasks of estimating the ground state energy of molecule. We empirically demonstrate that our proposal can be seamlessly integrated with other acceleration techniques, such as operator grouping, to further improve the efficacy of VQE.


title: The topological entanglement entropy of black holes in loop quantum gravity

abstract: Topological order (long-range entanglement) play important role in modern condensed matter physics. In this paper, we will show that the four dimensional black hole can also have topological order, by showing that the topological entanglement entropy is non-zero. The properties of the topological order show that the large diffeomorphisms will act as symmetry (not gauge) transformation on the physical states. More importantly, the long-range entanglement will make the Hawking radiation pure.


title: Full-Program Induction: Verifying Array Programs sans Loop Invariants

abstract: Arrays are commonly used in a variety of software to store and process data in loops. Automatically proving safety properties of such programs that manipulate arrays is challenging. We present a novel verification technique, called full-program induction, for proving (a sub-class of) quantified as well as quantifier-free properties of programs manipulating arrays of parametric size $N$. Instead of inducting over individual loops, our technique inducts over the entire program (possibly containing multiple loops) directly via the program parameter $N$. The technique performs non-trivial transformations of the given program and pre-conditions during the inductive step. The transformations assist in effectively reducing the assertion checking problem by transforming a program with multiple loops to a program which has fewer and simpler loops or is loop-free. Significantly, full-program induction does not require generation or use of loop-specific invariants. To assess the efficacy of our technique, we have developed a prototype tool called Vajra. We demonstrate the performance of Vajra vis-a-vis several state-of-the-art tools on a large set of array manipulating benchmarks from the international software verification competition (SV-COMP) and on several programs inspired by algebraic functions that perform polynomial computations.


title: A Novel Observer-Centric Approach for Detecting Faults in Islanded AC Microgrids with Uncertainties

abstract: Fault detection is vital in ensuring AC microgrids' reliable and resilient operation. Its importance lies in swiftly identifying and isolating faults, preventing cascading failures, and enabling rapid power restoration. This paper proposes a strategy based on observers and residuals for detecting internal faults in grid-forming inverters with power-sharing coordination. The dynamics of the inverters are captured through a nonlinear state space model. The design of our observers and residuals considers $H_{-}/H_{\infty}$ conditions to ensure robustness against disturbances and responsiveness to faults. The proposed design is less restrictive than existing observer-based fault detection schemes by leveraging the properties of quadratic inner-boundedness and one-sided Lipschitz conditions. The internal faults considered in this paper include actuator faults, busbar faults, and inverter bridge faults, which are modeled using vector-matrix representations that modify the state space model of the inverters. One significant advantage of the proposed approach is its cost-effectiveness, as it does not require additional sensors. Experiments are conducted on an islanded AC microgrid with three inductive lines, four inductive loads, and four grid-forming inverters to validate the merits of the proposed fault detection strategy. The results demonstrate that our design outperforms existing methods in the field.


title: Study of pnictides for photovoltaic applications

abstract: For the transition into a sustainable mode of energy usage, it is important to develop photovoltaic materials that exhibit better solar-to-electricity conversion efficiencies, a direct optimal band gap, and made of non-toxic, earth abundant elements compared to the state-of-the-art silicon photovoltaics. Here, we explore the non-redox-active pnictide chemical space, including binary A$_3$B$_2$, ternary AA'$_2$B$_2$, and quaternary AA'A"B$_2$ compounds (A, A', A" = Ca, Sr, or Zn; B = N or P), as candidate beyond-Si photovoltaics using density functional theory calculations. Specifically, we evaluate the ground state configurations, band gaps, and 0 K thermodynamic stability for all 20 pnictide compositions considered, besides computing the formation energy of cation vacancies, anion vacancies, and cation anti-sites in a subset of candidate compounds. Importantly, we identify SrZn$_2$N$_2$, SrZn$_2$P$_2$, and CaZn$_2$P$_2$ to be promising candidates, exhibiting optimal (1.1-1.5 eV) hybrid-functional-calculated band gaps, stability at 0 K, and high resistance to point defects (formation energies $>$1 eV), while other possible candidates include ZnCa$_2$N$_2$ and ZnSr$_2$N$_2$, which may be susceptible to N-vacancy formation. We hope that our study will contribute to the practical development of pnictide semiconductors as beyond-silicon light absorbers.


title: Ablation Path Saliency

abstract: Various types of saliency methods have been proposed for explaining black-box classification. In image applications, this means highlighting the part of the image that is most relevant for the current decision. Unfortunately, the different methods may disagree and it can be hard to quantify how representative and faithful the explanation really is. We observe however that several of these methods can be seen as edge cases of a single, more general procedure based on finding a particular path through the classifier's domain. This offers additional geometric interpretation to the existing methods. We demonstrate furthermore that ablation paths can be directly used as a technique of its own right. This is able to compete with literature methods on existing benchmarks, while giving more fine-grained information and better opportunities for validation of the explanations' faithfulness.


title: Dynamics of an interfacial bubble controls adhesion mechanics in a van der Waals heterostructure

abstract: 2D van der Waals heterostructures (vdWH) can result in novel functionality that crucially depends on interfacial structure and disorder. Bubbles at the vdWH interface can modify the interfacial structure. We probe the dynamics of a bubble at the interface of a graphene-hBN vdWH by using it as the drumhead of a NEMS device because nanomechanical devices are exquisite sensors. For drums with different interfacial bubbles, we measure the evolution of the resonant frequency and spatial mode shape as a function of electrostatic pulling. We show that the hysteretic detachment of layers of vdWH is triggered by the growth of large bubbles. The bubble growth takes place due to the concentration of stress resembling the initiation of fracture. The small bubbles at the heterostructure interface do not result in delamination as they are smaller than a critical fracture length. We provide insight into frictional dynamics and interfacial fracture of vdWH.


title: An update on Fermi-LAT transients in the Galactic plane, including strong activity of Cygnus X-3 in mid-2020

abstract: We present a search for Galactic transient gamma-ray sources using 13 years of the Fermi Large Area Telescope data. The search is based on a recently developed variable-size sliding-time-window (VSSTW) analysis and aimed at studying variable gamma-ray emission from binary systems, including novae, gamma-ray binaries, and microquasars. Compared to the previous search for transient sources at random positions in the sky with 11.5 years of data, we included gamma rays with energies down to 500 MeV, increased a number of test positions, and extended the data set by adding data collected between February 2020 and July 2021. These refinements allowed us to detect an additional three novae, V1324 Sco, V5855 Sgr, V357 Mus, and one gamma-ray binary, PSR B1259-63, with the VSSTW method. Our search revealed a gamma-ray flare from the microquasar, Cygnus X-3, occurred in 2020. When applied to equal quarters of the data, the analysis provided us with detections of repeating signals from PSR B1259-63, LS I +61 303, PSR J2021+4026, and Cygnus X-3. While the Cygnus X-3 was bright in gamma rays in mid-2020, it was in a soft X-ray state and we found that its gamma-ray emission was modulated with the orbital period.


title: Accurate ab initio modeling of solid solution strengthening in high entropy alloys

abstract: High entropy alloys (HEA) represent a class of materials with promising properties, such as high strength and ductility, radiation damage tolerance, etc. At the same time, a combinatorially large variety of compositions and a complex structure render them quite hard to study using conventional methods. In this work, we present a computationally efficient methodology based on ab initio calculations within the coherent potential approximation. To make the methodology predictive, we apply an exchange-correlation correction to the equation of state and take into account thermal effects on the magnetic state and the equilibrium volume. The approach shows good agreement with available experimental data on bulk properties of solid solutions. As a particular case, the workflow is applied to a series of iron-group HEA to investigate their solid solution strengthening within a parameter-free model based on the effective medium representation of an alloy. The results reveal intricate interactions between alloy components, which we analyze by means of a simple model of local bonding. Thanks to its computational efficiency, the methodology can be used as a basis for an adaptive learning workflow for optimal design of HEA.


title: On the Complexity of Deterministic Nonsmooth and Nonconvex Optimization

abstract: In this paper, we present several new results on minimizing a nonsmooth and nonconvex function under a Lipschitz condition. Recent work shows that while the classical notion of Clarke stationarity is computationally intractable up to some sufficiently small constant tolerance, the randomized first-order algorithms find a $(\delta, \epsilon)$-Goldstein stationary point with the complexity bound of $\tilde{O}(\delta^{-1}\epsilon^{-3})$, which is independent of dimension $d \geq 1$~\citep{Zhang-2020-Complexity, Davis-2022-Gradient, Tian-2022-Finite}. However, the deterministic algorithms have not been fully explored, leaving open several problems in nonsmooth nonconvex optimization. Our first contribution is to demonstrate that the randomization is \textit{necessary} to obtain a dimension-independent guarantee, by proving a lower bound of $\Omega(d)$ for any deterministic algorithm that has access to both $1^{st}$ and $0^{th}$ oracles. Furthermore, we show that the $0^{th}$ oracle is \textit{essential} to obtain a finite-time convergence guarantee, by showing that any deterministic algorithm with only the $1^{st}$ oracle is not able to find an approximate Goldstein stationary point within a finite number of iterations up to sufficiently small constant parameter and tolerance. Finally, we propose a deterministic smoothing approach under the \textit{arithmetic circuit} model where the resulting smoothness parameter is exponential in a certain parameter $M > 0$ (e.g., the number of nodes in the representation of the function), and design a new deterministic first-order algorithm that achieves a dimension-independent complexity bound of $\tilde{O}(M\delta^{-1}\epsilon^{-3})$.


title: Randomized Rank-Revealing QLP for Low-Rank Matrix Decomposition

abstract: The pivoted QLP decomposition is computed through two consecutive pivoted QR decompositions, and provides an approximation to the singular value decomposition. This work is concerned with a partial QLP decomposition of low-rank matrices computed through randomization, termed Randomized Unpivoted QLP (RU-QLP). Like pivoted QLP, RU-QLP is rank-revealing and yet it utilizes random column sampling and the unpivoted QR decomposition. The latter modifications allow RU-QLP to be highly parallelizable on modern computational platforms. We provide an analysis for RU-QLP, deriving bounds in spectral and Frobenius norms on: i) the rank-revealing property; ii) principal angles between approximate subspaces and exact singular subspaces and vectors; and iii) low-rank approximation errors. Effectiveness of the bounds is illustrated through numerical tests. We further use a modern, multicore machine equipped with a GPU to demonstrate the efficiency of RU-QLP. Our results show that compared to the randomized SVD, RU-QLP achieves a speedup of up to 7.1 times on the CPU and up to 2.3 times with the GPU.


title: Neutrino non-radiative decay and the diffuse supernova neutrino background

abstract: We revisit the possibility that neutrinos undergo non-radiative decay. We investigate the potential to extract information on the neutrino lifetime-to-mass ratio from the diffuse supernova neutrino background. To this aim, we explicitly consider the current uncertainties on the core-collapse supernova rate and the fraction of failed supernovae. We present predictions in a full 3 neutrino framework in the absence and presence of neutrino non-radiative decay, for the Super-Kamiokande+Gd, the JUNO, the Hyper-Kamiokande, and the DUNE experiments, that should observe the diffuse supernova neutrino background in the near future. Our results show the importance of a 3 neutrino treatment of neutrino decay and of identifying the neutrino mass ordering to break possible degeneracies between DSNB predictions in the presence of decay and standard physics.


title: Learned Force Fields Are Ready For Ground State Catalyst Discovery

abstract: We present evidence that learned density functional theory (``DFT'') force fields are ready for ground state catalyst discovery. Our key finding is that relaxation using forces from a learned potential yields structures with similar or lower energy to those relaxed using the RPBE functional in over 50\% of evaluated systems, despite the fact that the predicted forces differ significantly from the ground truth. This has the surprising implication that learned potentials may be ready for replacing DFT in challenging catalytic systems such as those found in the Open Catalyst 2020 dataset. Furthermore, we show that a force field trained on a locally harmonic energy surface with the same minima as a target DFT energy is also able to find lower or similar energy structures in over 50\% of cases. This ``Easy Potential'' converges in fewer steps than a standard model trained on true energies and forces, which further accelerates calculations. Its success illustrates a key point: learned potentials can locate energy minima even when the model has high force errors. The main requirement for structure optimisation is simply that the learned potential has the correct minima. Since learned potentials are fast and scale linearly with system size, our results open the possibility of quickly finding ground states for large systems.


title: Convergence rate of the (1+1)-evolution strategy on locally strongly convex functions with lipschitz continuous gradient and their monotonic transformations

abstract: Evolution strategy (ES) is one of promising classes of algorithms for black-box continuous optimization. Despite its broad successes in applications, theoretical analysis on the speed of its convergence is limited on convex quadratic functions and their monotonic transformation. In this study, an upper bound and a lower bound of the rate of linear convergence of the (1+1)-ES on locally $L$-strongly convex functions with $U$-Lipschitz continuous gradient are derived as $\exp\left(-\Omega_{d\to\infty}\left(\frac{L}{d\cdot U}\right)\right)$ and $\exp\left(-\frac1d\right)$, respectively. Notably, any prior knowledge on the mathematical properties of the objective function such as Lipschitz constant is not given to the algorithm, whereas the existing analyses of derivative-free optimization algorithms require them.


title: RetiFluidNet: A Self-Adaptive and Multi-Attention Deep Convolutional Network for Retinal OCT Fluid Segmentation

abstract: Optical coherence tomography (OCT) helps ophthalmologists assess macular edema, accumulation of fluids, and lesions at microscopic resolution. Quantification of retinal fluids is necessary for OCT-guided treatment management, which relies on a precise image segmentation step. As manual analysis of retinal fluids is a time-consuming, subjective, and error-prone task, there is increasing demand for fast and robust automatic solutions. In this study, a new convolutional neural architecture named RetiFluidNet is proposed for multi-class retinal fluid segmentation. The model benefits from hierarchical representation learning of textural, contextual, and edge features using a new self-adaptive dual-attention (SDA) module, multiple self-adaptive attention-based skip connections (SASC), and a novel multi-scale deep self supervision learning (DSL) scheme. The attention mechanism in the proposed SDA module enables the model to automatically extract deformation-aware representations at different levels, and the introduced SASC paths further consider spatial-channel interdependencies for concatenation of counterpart encoder and decoder units, which improve representational capability. RetiFluidNet is also optimized using a joint loss function comprising a weighted version of dice overlap and edge-preserved connectivity-based losses, where several hierarchical stages of multi-scale local losses are integrated into the optimization process. The model is validated based on three publicly available datasets: RETOUCH, OPTIMA, and DUKE, with comparisons against several baselines. Experimental results on the datasets prove the effectiveness of the proposed model in retinal OCT fluid segmentation and reveal that the suggested method is more effective than existing state-of-the-art fluid segmentation algorithms in adapting to retinal OCT scans recorded by various image scanning instruments.


title: A New Conformal Invariant for four-Dimensional Hypersurfaces

abstract: A new conformally invariant energy for four-dimensional hypersurfaces is devised. It renders possible the study of a large class of curvature energies, and we show that their critical points are smooth. As corollaries, we obtain the regularity of the critical points of the four-dimensional analogues of the Willmore energy, of the $Q$-curvature energy, but also that Bach-flat hypersurfaces are smooth, along with relevant estimates.


title: On some classification of finite-dimensional Hopf algebras over the Hopf algebra $H_{b:1}^*$ of Kashina

abstract: Let $H$ be the dual of $16$-dimensional nontrivial semisimple Hopf algebra $H_{b:1}$ in the classification work of Kashina \cite{K00}. We completely determine all finite-dimensional Nichols algebras satisfying $\mathcal{B}(N)\cong \bigotimes_{i\in I}\mathcal{B}(N_i)$, where $N=\bigoplus_{i\in I}N_i$, each $N_i$ is a simple object in $_H^H\mathcal{YD}$. Under this assumption, we classify all those Hopf algebras of finite-dimensional growth from the semisimple Hopf algebra $H$ via the relevant Nichols algebras $\mathcal B(N)$.


title: STEMPO -- dynamic X-ray tomography phantom

abstract: This is the documentation for Spatio-TEmporal Motor-POwered (STEMPO) phantom for dynamic X-ray tomography. Provided are different measurements designed for testing dynamic tomography reconstruction algorithms. The measured data and additional materials are available at www.fips.fi/dataset.php and doi.org/10.5281/zenodo.7081688 for open use by the scientific community, as long as the data and this documentation are appropriately referenced. The files contain: (1) measurement data (sinograms) from one static scan and two dynamic scans (same movement but different choice of projection directions). All data is provided both for 2D and 3D geometry in varying resolution levels; (2) approximation of the ground truth obtained using the known motion model; and (3) short example codes to showcase how the data could be used to test and validate dynamic tomography algorithms.


title: A Monte-Carlo based relativistic radiation hydrodynamics code with a higher-order scheme

abstract: We develop a new relativistic radiation hydrodynamics code based on the Monte-Carlo algorithm. In this code, we implement a new scheme to achieve the second-order accuracy in time in the limit of a large packet number for solving the interaction between matter and radiation. This higher-order time integration scheme is implemented in the manner to guarantee the energy-momentum conservation to the precision of the geodesic integrator. The spatial dependence of radiative processes, such as the packet propagation, emission, absorption, and scattering, are also taken into account up to the second-order accuracy. We validate our code by solving various test-problems following the previous studies; one-zone thermalization, dynamical diffusion, radiation dragging, radiation mediated shock-tube, shock-tube in the optically thick limit, and Eddington limit problems. We show that our code reproduces physically appropriate results with reasonable accuracy and also demonstrate that the second-order accuracy in time and space is indeed achieved with our implementation for one-zone and one-dimensional problems.


title: Approximation in Hilbert spaces of the Gaussian and other weighted power series kernels

abstract: This article considers linear approximation based on function evaluations in reproducing kernel Hilbert spaces of the Gaussian kernel and a more general class of weighted power series kernels on the interval $[-1, 1]$. We derive almost matching upper and lower bounds on the worst-case error, measured both in the uniform and $L^2([-1,1])$-norm, in these spaces. The results show that if the power series kernel expansion coefficients $\alpha_n^{-1}$ decay at least factorially, their rate of decay controls that of the worst-case error. Specifically, (i) the $n$th minimal error decays as $\alpha_n^{{ -1/2}}$ up to a sub-exponential factor and (ii) for any $n$ sampling points in $[-1, 1]$ there exists a linear algorithm whose error is $\alpha_n^{{ -1/2}}$ up to an exponential factor. For the Gaussian kernel the dominating factor in the bounds is $(n!)^{-1/2}$.


title: Legal Case Document Similarity: You Need Both Network and Text

abstract: Estimating the similarity between two legal case documents is an important and challenging problem, having various downstream applications such as prior-case retrieval and citation recommendation. There are two broad approaches for the task -- citation network-based and text-based. Prior citation network-based approaches consider citations only to prior-cases (also called precedents) (PCNet). This approach misses important signals inherent in Statutes (written laws of a jurisdiction). In this work, we propose Hier-SPCNet that augments PCNet with a heterogeneous network of Statutes. We incorporate domain knowledge for legal document similarity into Hier-SPCNet, thereby obtaining state-of-the-art results for network-based legal document similarity. Both textual and network similarity provide important signals for legal case similarity; but till now, only trivial attempts have been made to unify the two signals. In this work, we apply several methods for combining textual and network information for estimating legal case similarity. We perform extensive experiments over legal case documents from the Indian judiciary, where the gold standard similarity between document-pairs is judged by law experts from two reputed Law institutes in India. Our experiments establish that our proposed network-based methods significantly improve the correlation with domain experts' opinion when compared to the existing methods for network-based legal document similarity. Our best-performing combination method (that combines network-based and text-based similarity) improves the correlation with domain experts' opinion by 11.8% over the best text-based method and 20.6\% over the best network-based method. We also establish that our best-performing method can be used to recommend / retrieve citable and similar cases for a source (query) case, which are well appreciated by legal experts.


title: Real-RawVSR: Real-World Raw Video Super-Resolution with a Benchmark Dataset

abstract: In recent years, real image super-resolution (SR) has achieved promising results due to the development of SR datasets and corresponding real SR methods. In contrast, the field of real video SR is lagging behind, especially for real raw videos. Considering the superiority of raw image SR over sRGB image SR, we construct a real-world raw video SR (Real-RawVSR) dataset and propose a corresponding SR method. We utilize two DSLR cameras and a beam-splitter to simultaneously capture low-resolution (LR) and high-resolution (HR) raw videos with 2x, 3x, and 4x magnifications. There are 450 video pairs in our dataset, with scenes varying from indoor to outdoor, and motions including camera and object movements. To our knowledge, this is the first real-world raw VSR dataset. Since the raw video is characterized by the Bayer pattern, we propose a two-branch network, which deals with both the packed RGGB sequence and the original Bayer pattern sequence, and the two branches are complementary to each other. After going through the proposed co-alignment, interaction, fusion, and reconstruction modules, we generate the corresponding HR sRGB sequence. Experimental results demonstrate that the proposed method outperforms benchmark real and synthetic video SR methods with either raw or sRGB inputs. Our code and dataset are available at https://github.com/zmzhang1998/Real-RawVSR.


title: Impact of Feedback Type on Explanatory Interactive Learning

abstract: Explanatory Interactive Learning (XIL) collects user feedback on visual model explanations to implement a Human-in-the-Loop (HITL) based interactive learning scenario. Different user feedback types will have different impacts on user experience and the cost associated with collecting feedback since different feedback types involve different levels of image annotation. Although XIL has been used to improve classification performance in multiple domains, the impact of different user feedback types on model performance and explanation accuracy is not well studied. To guide future XIL work we compare the effectiveness of two different user feedback types in image classification tasks: (1) instructing an algorithm to ignore certain spurious image features, and (2) instructing an algorithm to focus on certain valid image features. We use explanations from a Gradient-weighted Class Activation Mapping (GradCAM) based XIL model to support both feedback types. We show that identifying and annotating spurious image features that a model finds salient results in superior classification and explanation accuracy than user feedback that tells a model to focus on valid image features.


title: Lower Bound Proof for the Size of BDDs representing a Shifted Addition

abstract: Decision Diagrams(DDs) are one of the most popular representations for boolean functions. They are widely used in the design and verification of circuits. Different types of DDs have been proven to represent important functions in polynomial space and some types (like Binary Decision Diagrams(BDDs)) also allow operations on diagrams in polynomial time. However, there is no type which was proven capable of representing arbitrary boolean functions in polynomial space with regard to the input size. In particular for BDDs it is long known that integer multiplication is one of the functions, where the output BDDs have exponential size. In this paper, we show that this also holds for an integer addition where one of the operands is shifted to the right by an arbitrary value. We call this function the Shifted Addition. Our interest in this function is motivated through its occurrence during the floating point addition.


title: Recent ATLAS Results on Forward Physics and Diffraction

abstract: The ATLAS detector at the LHC is equipped with dedicated systems designed for the detection of forward protons produced in diffractive and photon-induced processes. These detectors significantly extend the ATLAS physics reach. Recent measurements performed using these forward proton detectors: elastic proton-proton scattering, exclusive charged pion-pair production, and two-photon production of lepton pairs are presented.


title: A complete family of Alexandrov-Fenchel inequalities for convex capillary hypersurfaces in the half-space

abstract: In this paper, we study the locally constrained inverse curvature flow for hypersurfaces in the half-space with $\theta$-capillary boundary, which was recently introduced by Wang-Weng-Xia. Assume that the initial hypersurface is strictly convex with the contact angle $\theta\in (0,\pi/2]$. We prove that the solution of the flow remains to be strictly convex for $t>0$, exists for all positive time and converges smoothly to a spherical cap. As an application, we prove a complete family of Alexandrov-Fenchel inequalities for convex capillary hypersurfaces in the half-space with the contact angle $\theta\in(0,\pi/2]$. Along the proof, we develop a new tensor maximum principle for parabolic equations on compact manifold with proper Neumann boundary condition.


title: EOD: The IEEE GRSS Earth Observation Database

abstract: In the era of deep learning, annotated datasets have become a crucial asset to the remote sensing community. In the last decade, a plethora of different datasets was published, each designed for a specific data type and with a specific task or application in mind. In the jungle of remote sensing datasets, it can be hard to keep track of what is available already. With this paper, we introduce EOD - the IEEE GRSS Earth Observation Database (EOD) - an interactive online platform for cataloguing different types of datasets leveraging remote sensing imagery.


title: Bayesian Inference with Projected Densities

abstract: Constraints are a natural choice for prior information in Bayesian inference. In various applications, the parameters of interest lie on the boundary of the constraint set. In this paper, we use a method that implicitly defines a constrained prior such that the posterior assigns positive probability to the boundary of the constraint set. We show that by projecting posterior mass onto the constraint set, we obtain a new posterior with a rich probabilistic structure on the boundary of that set. If the original posterior is a Gaussian, then such a projection can be done efficiently. We apply the method to Bayesian linear inverse problems, in which case samples can be obtained by repeatedly solving constrained least squares problems, similar to a MAP estimate, but with perturbations in the data. When combined into a Bayesian hierarchical model and the constraint set is a polyhedral cone, we can derive a Gibbs sampler to efficiently sample from the hierarchical model. To show the effect of projecting the posterior, we applied the method to deblurring and computed tomography examples.


title: Neural-FacTOR: Neural Representation Learning for Website Fingerprinting Attack over TOR Anonymity

abstract: TOR (The Onion Router) network is a widely used open source anonymous communication tool, the abuse of TOR makes it difficult to monitor the proliferation of online crimes such as to access criminal websites. Most existing approches for TOR network de-anonymization heavily rely on manually extracted features resulting in time consuming and poor performance. To tackle the shortcomings, this paper proposes a neural representation learning approach to recognize website fingerprint based on classification algorithm. We constructed a new website fingerprinting attack model based on convolutional neural network (CNN) with dilation and causal convolution, which can improve the perception field of CNN as well as capture the sequential characteristic of input data. Experiments on three mainstream public datasets show that the proposed model is robust and effective for the website fingerprint classification and improves the accuracy by 12.21% compared with the state-of-the-art methods.


title: Delayed Geometric Discounts: An Alternative Criterion for Reinforcement Learning

abstract: The endeavor of artificial intelligence (AI) is to design autonomous agents capable of achieving complex tasks. Namely, reinforcement learning (RL) proposes a theoretical background to learn optimal behaviors. In practice, RL algorithms rely on geometric discounts to evaluate this optimality. Unfortunately, this does not cover decision processes where future returns are not exponentially less valuable. Depending on the problem, this limitation induces sample-inefficiency (as feed-backs are exponentially decayed) and requires additional curricula/exploration mechanisms (to deal with sparse, deceptive or adversarial rewards). In this paper, we tackle these issues by generalizing the discounted problem formulation with a family of delayed objective functions. We investigate the underlying RL problem to derive: 1) the optimal stationary solution and 2) an approximation of the optimal non-stationary control. The devised algorithms solved hard exploration problems on tabular environment and improved sample-efficiency on classic simulated robotics benchmarks.


title: Absolute $\rm ^3$He polarimetry for a double-chambered cell using transmission of thermal neutrons

abstract: We present an absolute $^3$He polarimetry method based on thermal neutron transmission for a double-chambered cell. This method utilizes the fact that a $^3$He nucleus has a large absorption cross section and a spin dependence for thermal neutrons. The cell had a pumping chamber and a target chamber. Polarized $^3$He gas was produced in the pumping chamber by SEOP and then diffused into the target chamber. The $^3$He polarization in the target chamber was determined by comparing the neutron transmissions with the polarized and unpolarized targets. The measurement was performed at the RIKEN Accelerator-Driven Compact Neutron Source. The $^3$He polarization in the target chamber was determined with a statistical error of 1.8% and systematic uncertainty of 0.6%. This method can be used to obtain high-precision data of spin observables in few-nucleon scattering for the investigation of nuclear forces.


title: On Projections to Linear Subspaces

abstract: The merit of projecting data onto linear subspaces is well known from, e.g., dimension reduction. One key aspect of subspace projections, the maximum preservation of variance (principal component analysis), has been thoroughly researched and the effect of random linear projections on measures such as intrinsic dimensionality still is an ongoing effort. In this paper, we investigate the less explored depths of linear projections onto explicit subspaces of varying dimensionality and the expectations of variance that ensue. The result is a new family of bounds for Euclidean distances and inner products. We showcase the quality of these bounds as well as investigate the intimate relation to intrinsic dimensionality estimation.


title: Magnetohydrodynamic simulation of coronal mass ejections using interplanetary scintillation data observed from radio sites ISEE and LOFAR

abstract: Interplanetary scintillation (IPS) is a useful tool for detecting coronal mass ejections (CMEs) throughout interplanetary space. Global magnetohydrodynamic (MHD) simulations of the heliosphere, which are usually used to predict the arrival and geo-effectiveness of CMEs, can be improved using IPS data. In this study, we demonstrate an MHD simulation that includes IPS data from multiple stations to improve CME modelling. The CMEs, which occurred on 09-10 September 2017, were observed over the period 10-12 September 2017 using the Low-Frequency Array (LOFAR) and IPS array of the Institute for Space-Earth Environmental Research (ISEE), Nagoya University, as they tracked through the inner heliosphere. We simulated CME propagation using a global MHD simulation, SUSANOO-CME, in which CMEs were modeled as spheromaks, and the IPS data were synthesised from the simulation results. The MHD simulation suggests that the CMEs merged in interplanetary space, forming complicated IPS g-level distributions in the sky map. We found that the MHD simulation that best fits both LOFAR and ISEE data provided a better reconstruction of the CMEs and a better forecast of their arrival at Earth than from measurements when these simulations were fit from the ISEE site alone. More IPS data observed from multiple stations at different local times in this study can help reconstruct the global structure of the CME, thus improving and evaluating the CME modelling.


title: Tartarus: A Benchmarking Platform for Realistic And Practical Inverse Molecular Design

abstract: The efficient exploration of chemical space to design molecules with intended properties enables the accelerated discovery of drugs, materials, and catalysts, and is one of the most important outstanding challenges in chemistry. Encouraged by the recent surge in computer power and artificial intelligence development, many algorithms have been developed to tackle this problem. However, despite the emergence of many new approaches in recent years, comparatively little progress has been made in developing realistic benchmarks that reflect the complexity of molecular design for real-world applications. In this work, we develop a set of practical benchmark tasks relying on physical simulation of molecular systems mimicking real-life molecular design problems for materials, drugs, and chemical reactions. Additionally, we demonstrate the utility and ease of use of our new benchmark set by demonstrating how to compare the performance of several well-established families of algorithms. Surprisingly, we find that model performance can strongly depend on the benchmark domain. We believe that our benchmark suite will help move the field towards more realistic molecular design benchmarks, and move the development of inverse molecular design algorithms closer to designing molecules that solve existing problems in both academia and industry alike.


title: On the mean curvature type flow for convex capillary hypersurfaces in the ball

abstract: In this paper, we study the mean curvature type flow for hypersurfaces in the unit Euclidean ball with capillary boundary, which was introduced by Wang-Xia and Wang-Weng. We show that if the initial hypersurface is strictly convex, then the solution of this flow is strictly convex for $t>0$, exists for all positive time and converges smoothly to a spherical cap. As an application, we prove a family of new Alexandrov-Fenchel inequalities for convex hypersurfaces in the unit Euclidean ball with capillary boundary.


title: Unifying Model-Based and Neural Network Feedforward: Physics-Guided Neural Networks with Linear Autoregressive Dynamics

abstract: Unknown nonlinear dynamics often limit the tracking performance of feedforward control. The aim of this paper is to develop a feedforward control framework that can compensate these unknown nonlinear dynamics using universal function approximators. The feedforward controller is parametrized as a parallel combination of a physics-based model and a neural network, where both share the same linear autoregressive (AR) dynamics. This parametrization allows for efficient output-error optimization through Sanathanan-Koerner (SK) iterations. Within each SK-iteration, the output of the neural network is penalized in the subspace of the physics-based model through orthogonal projection-based regularization, such that the neural network captures only the unmodelled dynamics, resulting in interpretable models.


title: BAU production in the $S_N$-breaking Standard Model

abstract: CP violation (CPV) and the baryon asymmetry of the universe (BAU) are two of the most significant unresolved problems in physics. This article presents further research on the CPV problem in the standard model (SM) with thirty-two candidate sets of the ten "natural" parameters that exhibit the same CKM performance. These parameters are considered "natural" because they consist solely of the Yukawa couplings and the vacuum expectation value (VEV) of the unique Higgs doublet in the SM. We then investigate the CPV problem and the BAU problem using the Jarlskog measure of CPV, $\Delta_{CP}=J(m^2_t -m^2_c)(m^2_t -m^2_u)(m^2_c -m^2_u)(m^2_b -m^2_s)(m^2_b -m^2_d)(m^2_s -m^2_d)/ T^{12}$, given that CP symmetry is violated following the breakdowns of $S_N$ symmetries. Subsequently, we perform numerical tests in a simplified scenario where eight of the ten parameters are fixed, and the remaining two parameters are allowed to vary from their $S_2$-symmetric values ${\bf (x,~y)}=(-1,~1)$ to their current values in all thirty-two parameter sets. To estimate the enhancement of CPV in such processes, we propose a ratio $R_{\Delta} \equiv \Delta_{CP} / \Delta^{(0)}_{CP}$ between the running $\Delta_{CP}$ and its current value, denoted by $\Delta^{(0)}_{CP}$, which is approximately $10^{-20}$. In all thirty-two cases, the three-dimensional (3D) plots of $R_{\Delta}$ exhibit many regions that stick out of the $R_{\Delta}=10^{10}$ plane, especially in regions very close to ${\bf (x,~y)}=(-1,~1)$. These results demonstrate that the $S_N$-breaking Standard Model is already sufficient to violate CP symmetry explicitly and generate a significant amount of BAU. Furthermore, it solves existing problems without creating new ones.


title: Information-Theoretic Hashing for Zero-Shot Cross-Modal Retrieval

abstract: Zero-shot cross-modal retrieval (ZS-CMR) deals with the retrieval problem among heterogenous data from unseen classes. Typically, to guarantee generalization, the pre-defined class embeddings from natural language processing (NLP) models are used to build a common space. In this paper, instead of using an extra NLP model to define a common space beforehand, we consider a totally different way to construct (or learn) a common hamming space from an information-theoretic perspective. We term our model the Information-Theoretic Hashing (ITH), which is composed of two cascading modules: an Adaptive Information Aggregation (AIA) module; and a Semantic Preserving Encoding (SPE) module. Specifically, our AIA module takes the inspiration from the Principle of Relevant Information (PRI) to construct a common space that adaptively aggregates the intrinsic semantics of different modalities of data and filters out redundant or irrelevant information. On the other hand, our SPE module further generates the hashing codes of different modalities by preserving the similarity of intrinsic semantics with the element-wise Kullback-Leibler (KL) divergence. A total correlation regularization term is also imposed to reduce the redundancy amongst different dimensions of hash codes. Sufficient experiments on three benchmark datasets demonstrate the superiority of the proposed ITH in ZS-CMR. Source code is available in the supplementary material.


title: Design of the on-board data compression for the bolometer data of LiteBIRD

abstract: LiteBIRD is a space-borne experiment dedicated to detecting large-scale $B$-mode anisotropies in the linear polarization of the Cosmic Microwave Background (CMB) predicted by the theory of inflation. It is planned to be launched in the late 2020s to the second Lagrange point (L2) of the Sun-Earth system. LiteBIRD will map the sky in 15 frequency bands. In comparison to $\it{Planck}$ HFI, the previous low-temperature bolometer-based satellite for CMB observations, the number of detector has increased by two orders of magnitude, up to $\sim$5000 detectors in total. The data rate is 19 Hz from each detector. The bandpass to the ground is limited to 10 Mbps using the X-band for a few hours per day. These require the data to be compressed by more than 50 %. The exact value depends on how much information entropy is contained in the real data. We have thus evaluated the compression by simulating the time-ordered data of polarization sensitive bolometers. The foreground emission, detector noise, cosmic ray glitches, leakage from the CMB intensity to polarization, etc. are simulated. We investigated several algorithms and demonstrated that the required compression ratio can be achieved by some of them. We describe the details of this evaluation and propose algorithms that can be employed in the on-board digital electronics of LiteBIRD.


title: Model Predictive Monitoring of Dynamical Systems for Signal Temporal Logic Specifications

abstract: Online monitoring aims to evaluate or to predict, at runtime, whether or not the behaviors of a system satisfy some desired specification. It plays a key role in safety-critical cyber-physical systems. In this work, we propose a new monitoring approach, called model predictive monitoring, for specifications described by Signal Temporal Logic (STL) formulae. Specifically, we assume that the observed state traces are generated by an underlying dynamical system whose model is known but the control law is unknown. The main idea is to use the dynamic of the system to predict future states when evaluating the satisfaction of the STL formulae. To this end, effective approaches for the computation of feasible sets of STL formulae are provided. We show that, by explicitly utilizing the model information of the dynamical system, the proposed online monitoring algorithm can falsify or certify of the specification in advance compared with existing algorithms, where no model information is used. We also demonstrate the proposed monitoring algorithm by several real world case studies.


title: Frequency Distribution of Prime Numbers between an Integer and its Square: A Case Study

abstract: The chronicle of prime numbers travel back thousands of years in human history. Not only the traits of prime numbers have surprised people, but also all those endeavors made for ages to find a pattern in the appearance of prime numbers has been captivating them. Until recently, it was firmly believed that prime numbers do not maintain any pattern of occurrence among themselves. This statement is conferred not to be completely true. This paper is also an attempt to discover a pattern in the occurrence of prime numbers. This work intends to introduce some mathematical well-known equations that point to the existence of a simplistic pattern in the number of primes within the range of a number and its square. We assume that the rigorous evaluation of the perceived pattern may benefit in many aspects such as applications of encryption, algorithms concerning prime numbers, and many more.


title: Modeling Content-Emotion Duality via Disentanglement for Empathetic Conversation

abstract: The task of empathetic response generation aims to understand what feelings a speaker expresses on his/her experiences and then reply to the speaker appropriately. To solve the task, it is essential to model the content-emotion duality of a dialogue, which is composed of the content view (i.e., what personal experiences are described) and the emotion view (i.e., the feelings of the speaker on these experiences). To this end, we design a framework to model the Content-Emotion Duality (CEDual) via disentanglement for empathetic response generation. With disentanglement, we encode the dialogue history from both the content and emotion views, and then generate the empathetic response based on the disentangled representations, thereby both the content and emotion information of the dialogue history can be embedded in the generated response. The experiments on the benchmark dataset EMPATHETICDIALOGUES show that the CEDual model achieves state-of-the-art performance on both automatic and human metrics, and it also generates more empathetic responses than previous methods.


title: Imprinting spatial helicity structure of vector vortex beam on spin texture in semiconductors

abstract: We present the transfer of the spatially variant polarization of topologically structured light to the spatial spin texture in a semiconductor quantum well. The electron spin texture, which is a circular pattern with repeating spin-up and spin-down states whose repetition rate is determined by the topological charge, is directly excited by a vector vortex beam with a spatial helicity structure. The generated spin texture efficiently evolves into a helical spin wave pattern owing to the spin-orbit effective magnetic fields in the persistent spin helix state by controlling the spatial wave number of the excited spin mode. By tuning the repetition length and azimuthal angle, we simultaneously generate helical spin waves with opposite phases by a single beam.


title: Spontaneous symmetry emergence in a Hermitian system without symmetry

abstract: Spontaneous symmetry breaking in systems with symmetry is a cornerstone phenomenon accompanying second-order phase transitions. Here, we predict the opposite phenomenon, namely, spontaneous symmetry emergence in a system without symmetry. On the example of two coupled oscillators interacting non-symmetrically with a set of oscillators whose frequencies uniformly fill a finite frequency range, we demonstrate that the system state can acquire symmetry, which is not inherent to the system Hamiltonian. The emergence of symmetry manifests itself in a change of the system dynamics, which can be interpreted as a phase transition in a Hermitian system without symmetry.


title: Quantum enhancement of a single quantum battery by repeated interactions with large spins

abstract: A generalized collision model is developed to investigate coherent charging a single quantum battery by repeated interactions with many-atom large spins, where collective atom operators are adopted and the battery is modeled by a uniform energy ladder. For an initially empty battery, we derive analytical results of the average number of excitations and hence the charging power in the short-time limit. Our analytical results show that a faster charging and an increased amount of the power in the coherent protocol uniquely arise from the phase coherence of the atoms. Finally, we show that the charging power defined by the so-called ergotropy almost follows our analytical result, due to a nearly pure state of the battery in the short-time limit.


title: Improving Multi-fidelity Optimization with a Recurring Learning Rate for Hyperparameter Tuning

abstract: Despite the evolution of Convolutional Neural Networks (CNNs), their performance is surprisingly dependent on the choice of hyperparameters. However, it remains challenging to efficiently explore large hyperparameter search space due to the long training times of modern CNNs. Multi-fidelity optimization enables the exploration of more hyperparameter configurations given budget by early termination of unpromising configurations. However, it often results in selecting a sub-optimal configuration as training with the high-performing configuration typically converges slowly in an early phase. In this paper, we propose Multi-fidelity Optimization with a Recurring Learning rate (MORL) which incorporates CNNs' optimization process into multi-fidelity optimization. MORL alleviates the problem of slow-starter and achieves a more precise low-fidelity approximation. Our comprehensive experiments on general image classification, transfer learning, and semi-supervised learning demonstrate the effectiveness of MORL over other multi-fidelity optimization methods such as Successive Halving Algorithm (SHA) and Hyperband. Furthermore, it achieves significant performance improvements over hand-tuned hyperparameter configuration within a practical budget.


title: Continuous finite elements satisfying a strong discrete Miranda--Talenti identity

abstract: This article introduces continuous $H^2$-nonconforming finite elements in two and three space dimensions which satisfy a strong discrete Miranda--Talenti inequality in the sense that the global $L^2$ norm of the piecewise Hessian is bounded by the $L^2$ norm of the piecewise Laplacian. The construction is based on globally continuous finite element functions with $C^1$ continuity on the vertices (2D) or edges (3D). As an application, these finite elements are used to approximate uniformly elliptic equations in non-divergence form under the Cordes condition without additional stabilization terms. For the biharmonic equation in three dimensions, the proposed methods has less degrees of freedom than existing nonconforming schemes of the same order. Numerical results in two and three dimensions confirm the practical feasibility of the proposed schemes.


title: MASADA: From Microlensing Planet Mass-Ratio Function to Planet Mass Function

abstract: Using current technology, gravitational microlensing is the only method that can measure planet masses over the full parameter space of planet and stellar-host masses and at a broad range of planet-host separations. I present a comprehensive program to transform the $\sim 150$ planet/host mass ratio measurements from the first 6 full seasons of the KMTNet survey into planet mass measurements via late-time adaptive optics (AO) imaging on 30m-class telescopes. This program will enable measurements of the overall planet mass function, the planet frequency as a function of Galactic environment and the planet mass functions within different environments. I analyze a broad range of discrete and continuous degeneracies as well as various false positives and false negatives, and I present a variety of methods to resolve these. I analyze the propagation from measurement uncertainties to mass and distance errors and show that these present the greatest difficulties for host masses $0.13\lesssim(M/M_\odot)\lesssim 0.4$, i.e., fully convective stars supported by the ideal gas law, and for very nearby hosts. While work can begin later this decade using AO on current telescopes, of order 90% of the target sample must await 30m-class AO. I present extensive tables with information that is useful to plan observations of more than 100 of these planets and provide additional notes for a majority of these. Applying the same approach to two earlier surveys with 6 and 8 planets, respectively, I find that 11 of these 14 planets already have mass measurements by a variety of techniques. These provide suggestive evidence that planet frequency may be higher for nearby stars, $D_L\lesssim 4$ kpc compared to those in or near the Galactic bulge. Finally, I analyze the prospects for making the planet mass-function measurement for the case that current astronomical capabilities are seriously degraded.


title: Lightning-induced chemistry on tidally-locked Earth-like exoplanets

abstract: Determining the habitability and interpreting atmospheric spectra of exoplanets requires understanding their atmospheric physics and chemistry. We use a 3-D Coupled Climate-Chemistry Model, the Met Office Unified Model with the UK Chemistry and Aerosols framework, to study the emergence of lightning and its chemical impact on tidally-locked Earth-like exoplanets. We simulate the atmosphere of Proxima Centauri b orbiting in the Habitable Zone of its M-dwarf star, but the results apply to similar M-dwarf orbiting planets. Our chemical network includes the Chapman ozone reactions and hydrogen oxide (HO$_{\mathrm{x}}$=H+OH+HO$_2$) and nitrogen oxide (NO$_{\mathrm{x}}$=NO+NO$_2$) catalytic cycles. We find that photochemistry driven by stellar radiation (177-850 nm) supports a global ozone layer between 20-50 km. We parameterise lightning flashes as a function of cloud-top height and the resulting production of nitric oxide (NO) from the thermal decomposition of N$_2$ and O$_2$. Rapid dayside convection over and around the substellar point results in lightning flash rates of up to 0.16 flashes km$^{-2}$yr$^{-1}$, enriching the dayside atmosphere below altitudes of 20 km in NO$_{\mathrm{x}}$. Changes in dayside ozone are determined mainly by UV irradiance and the HO$_{\mathrm{x}}$ catalytic cycle. ~45% of the planetary dayside surface remains at habitable temperatures (T$_{\mathrm{surf}}$>273.15 K) and the ozone layer reduces surface UV radiation levels to 15%. Dayside-nightside thermal gradients result in strong winds that subsequently advect NO$_{\mathrm{x}}$ towards the nightside, where the absence of photochemistry allows NO$_{\mathrm{x}}$ chemistry to involve reservoir species. Our study also emphasizes the need for accurate UV stellar spectra to understand the atmospheric chemistry of exoplanets.


title: Fixed points of enriched contraction mappings in 2-normed spaces

abstract: Very recently, Berinde and P\u{a}curar obtained in [V. Berinde and M. P\u{a}curar, Approximating fixed points of enriched contractions in Banach spaces. Journal of Fixed Point Theory and Applications. \textbf{22}(2) (2020), 1--10.] an interesting generalization of the Banach contractive mapping principle in the framework of Banach spaces. The aim of this paper is to prove some fixed point theorems which extend the results of Berinde and P\u{a}curar to the case of 2-normed spaces.


title: Observation of confinement-induced resonances in a 3D lattice

abstract: We report on the observation of confinement-induced resonances for strong three-dimensional (3D) confinement in a lattice potential. Starting from a Mott-insulator state with predominantly single-site occupancy, we detect loss and heating features at specific values for the confinement length and the 3D scattering length. Two independent models, based on the coupling between the center-of-mass and the relative motion of the particles as mediated by the lattice, predict the resonance positions to a good approximation, suggesting a universal behavior. Our results extend confinement-induced resonances to any dimensionality and open up an alternative method for interaction tuning and controlled molecule formation under strong 3D confinement.


title: Understanding differences of the OA uptake within the German university landscape (2010-2020). Part 1: journal-based OA

abstract: This study investigates the determinants for the uptake of Full and Hybrid Open Access (OA) in the university landscape of Germany. It adapts the governance equaliser as a heuristic for this purpose and distinguishes between three factors: The disciplinary profile (academic self-governance), infrastructures and services of universities that aim to support OA (managerial self-governance) and large transformative agreements (part of state regulation). The uptake of OA, the influence of the disciplinary profile of universities and the influence of transformative agreements is measured by combining several data sources (incl. Web of Science, Unpaywall, an authority file of standardised German affiliation information, the ISSN-Gold-OA 4.0 list, and lists of publications covered by transformative agreements). For managerial self-governance, a structured data collection was created by harvesting different sources of information and by manual online search. To determine the explanatory power of the different factors, a series of regression analyses was performed for different periods and for both Full as well as Hybrid OA. As a result of the regression analyses, the most determining factor for the explanation of differences in the uptake of both OA-types turned out to be academic self-governance. For the year 2020, Hybrid OA transformative agreements have become a second relevant factor. However, all variables that reflect local infrastructural support and services for OA (managerial self-governance) turned out to be non-significant. To deepen the understanding of the adoption of OA on the level of institutions, the outcomes of the regression analyses are contextualised by an interview study conducted with 20 OA officers of German universities.


title: Constrained Multi-Agent Path Finding on Directed Graphs

abstract: We discuss C-MP and C-MAPF, generalizations of the classical Motion Planning (MP) and Multi-Agent Path Finding (MAPF) problems on a directed graph G. Namely, we enforce an upper bound on the number of agents that occupy each member of a family of vertex subsets. For instance, this constraint allows maintaining a safety distance between agents. We prove that finding a feasible solution of C-MP and C-MAPF is NP-hard, and we propose a reduction method to convert them to standard MP and MAPF. This reduction method consists in finding a subset of nodes W and a reduced graph G/W, such that a solution of MAPF on G/W provides a solution of C-MAPF on G. Moreover, we study the problem of finding W of maximum cardinality, which is strongly NP-hard.


title: Primitive ideals and Jacobson's structure spaces of noncommutative semigroups

abstract: The purpose of this note is to introduce primitive ideals of noncommutative semigroups and study some topological aspects of the corresponding structure spaces.


title: Phase-controlled asymmetric optomechanical entanglement against optical backscattering

abstract: Quantum entanglement plays a key role in both understanding the fundamental aspects of quantum physics and realizing various quantum devices for practical applications. Here we propose how to achieve coherent switch of optomechanical entanglement in an optical whispering-gallery-mode resonator, by tuning the phase difference of the driving lasers. We find that the optomechanical entanglement and the associated two-mode quantum squeezing can be well tuned in a highly asymmetric way, providing an efficient way to protect and enhance quantum entanglement against optical backscattering, in comparison with conventional symmetric devices. Our findings shed a new light on improving the performance of various quantum devices in practical noisy environment, which is crucial in such a wide range of applications as noise-tolerant quantum processing and the backscattering-immune quantum metrology.


title: Representative volume element approximations in elastoplastic spring networks

abstract: We study the large-scale behavior of a small-strain lattice model for a network composed of elastoplastic springs with random material properties. We formulate the model as an evolutionary rate independent system (ERIS). In an earlier work we derived a homogenized continuum model, which has the form of linearized elastoplasticity, as evolutionary $\Gamma$-limit as the lattice parameter tends to zero. In the present paper we introduce a periodic representative volume element approximation (RVE) for the homogenized system. As a main result we prove convergence of the RVE approximation as the size of the RVE tends to infinity. We also show that the hysteretic stress-strain relation of the effective system can be described with help of a generalized Prandt-Ishlinskii operator, and we prove convergence of a periodic RVE approximation for that operator. We combine the RVE approximation with a numerical scheme for rate-independent systems and obtain a computational scheme that we use to numerically investigate the homogenized system in the specific case when the original network is given by a two-dimensional lattice model. We simulate the response of the system to cyclic and uniaxial, monotonic loading, and numerically investigate the convergence rate of the periodic RVE approximation. In particular, our simulations show that the RVE error decays with the same rate as the RVE error in the static case of linear elasticity.


title: Dynamical many-body delocalization transition of a Tonks gas in a quasi-periodic driving potential

abstract: The quantum kicked rotor is well-known for displaying dynamical (Anderson) localization. It has recently been shown that a periodically kicked Tonks gas will always localize and converge to a finite energy steady-state. This steady-state has been described as being effectively thermal with an effective temperature that depends on the parameters of the kick. Here we study a generalization to a quasi-periodic driving with three frequencies which, without interactions, has a metal-insulator Anderson transition. We show that a quasi-periodically kicked Tonks gas goes through a dynamical many-body delocalization transition when the kick strength is increased. The localized phase is still described by a low effective temperature, while the delocalized phase corresponds to an infinite-temperature phase, with the temperature increasing linearly in time. At the critical point, the momentum distribution of the Tonks gas displays different scaling at small and large momenta (contrary to the non-interacting case), signaling a breakdown of the one-parameter scaling theory of localization.


title: Spatio-temporal Keyframe Control of Traffic Simulation using Coarse-to-Fine Optimization

abstract: We present a novel traffic trajectory editing method which uses spatio-temporal keyframes to control vehicles during the simulation to generate desired traffic trajectories. By taking self-motivation, path following and collision avoidance into account, the proposed force-based traffic simulation framework updates vehicle's motions in both the Frenet coordinates and the Cartesian coordinates. With the way-points from users, lane-level navigation can be generated by reference path planning. With a given keyframe, the coarse-to-fine optimization is proposed to efficiently generate the plausible trajectory which can satisfy the spatio-temporal constraints. At first, a directed state-time graph constructed along the reference path is used to search for a coarse-grained trajectory by mapping the keyframe as the goal. Then, using the information extracted from the coarse trajectory as initialization, adjoint-based optimization is applied to generate a finer trajectory with smooth motions based on our force-based simulation. We validate our method with extensive experiments.


title: Multiscale Latent-Guided Entropy Model for LiDAR Point Cloud Compression

abstract: The non-uniform distribution and extremely sparse nature of the LiDAR point cloud (LPC) bring significant challenges to its high-efficient compression. This paper proposes a novel end-to-end, fully-factorized deep framework that encodes the original LPC into an octree structure and hierarchically decomposes the octree entropy model in layers. The proposed framework utilizes a hierarchical latent variable as side information to encapsulate the sibling and ancestor dependence, which provides sufficient context information for the modelling of point cloud distribution while enabling the parallel encoding and decoding of octree nodes in the same layer. Besides, we propose a residual coding framework for the compression of the latent variable, which explores the spatial correlation of each layer by progressive downsampling, and model the corresponding residual with a fully-factorized entropy model. Furthermore, we propose soft addition and subtraction for residual coding to improve network flexibility. The comprehensive experiment results on the LiDAR benchmark SemanticKITTI and MPEG-specified dataset Ford demonstrates that our proposed framework achieves state-of-the-art performance among all the previous LPC frameworks. Besides, our end-to-end, fully-factorized framework is proved by experiment to be high-parallelized and time-efficient and saves more than 99.8% of decoding time compared to previous state-of-the-art methods on LPC compression.


title: NDD: A 3D Point Cloud Descriptor Based on Normal Distribution for Loop Closure Detection

abstract: Loop closure detection is a key technology for long-term robot navigation in complex environments. In this paper, we present a global descriptor, named Normal Distribution Descriptor (NDD), for 3D point cloud loop closure detection. The descriptor encodes both the probability density score and entropy of a point cloud as the descriptor. We also propose a fast rotation alignment process and use correlation coefficient as the similarity between descriptors. Experimental results show that our approach outperforms the state-of-the-art point cloud descriptors in both accuracy and efficency. The source code is available and can be integrated into existing LiDAR odometry and mapping (LOAM) systems.


title: Multidimensional population modeling with transition structures

abstract: The aim of this paper is to describe a population model with transition. We analyze the spectral properties of the transition matrix considering both irreducible and reducible structures. We give physical interpretations of these properties to population dynamics.


title: Routing and QoS Policy Optimization in SD-WAN

abstract: In modern SD-WAN networks, a global controller continuously optimizes application and user intents by selecting the proper routing policies for each application. Nevertheless, the competition between flows can still occur at each overlay link and it may degrade Quality of Service (QoS). To mitigate performance degradations in case of congestion, QoS policies can also be dynamically optimized to limit the rate of low-priority flows and share the bandwidth among all flows in a fair manner. This demonstration presents a comprehensive control plane architecture to coordinate path selection and rate allocation, in order to meet application requirements while optimizing a global objective (e.g., low congestion, best quality, and minimum cost).


title: End-to-end Multilingual Coreference Resolution with Mention Head Prediction

abstract: This paper describes our approach to the CRAC 2022 Shared Task on Multilingual Coreference Resolution. Our model is based on a state-of-the-art end-to-end coreference resolution system. Apart from joined multilingual training, we improved our results with mention head prediction. We also tried to integrate dependency information into our model. Our system ended up in $3^{rd}$ place. Moreover, we reached the best performance on two datasets out of 13.


title: Structure and Phase Transitions of Metastable Hexagonal Uranium Thin Films

abstract: We report a simple technique for the synthesis of uniaxially textured, metastable hexagonal close-packed-like uranium thin films with thicknesses between 175-2800 \r{A}. The initial structure and texture of the layers have been studied via X-ray diffraction and reflectivity and the time-dependent transitions of the samples into various orientations of orthorhombic ${\alpha}$-U have been mapped by similar techniques. The final crystallographic orientations of each system and the timescales on which the transitions occur are found to depend on the lattice parameters of the original layer. The absence of the ${\alpha}$-U (001) orientation in the transition products suggests that the transitions in these layers are mediated by mechanisms other than the [110] transverse acoustic phonon mode previously suggested for the cubic ${\gamma}$-U(110) to hcp-U(00.1) to ${\alpha}$-U(001) displacive phase transition. Alternative transition pathways are discussed.


title: Classification of finite-dimensional Hopf algebras over dual Radford algebras

abstract: We determine and classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose Hopf coradicals are isomorphic to dual Radford algebras of dimension $4p$ for a prime $p>5$. In particular, we obtain families of new examples of finite-dimensional Hopf algebras without the dual Chevalley property.


title: On the Parameterized Intractability of Determinant Maximization

abstract: In the Determinant Maximization problem, given an $n\times n$ positive semi-definite matrix $\bf{A}$ in $\mathbb{Q}^{n\times n}$ and an integer $k$, we are required to find a $k\times k$ principal submatrix of $\bf{A}$ having the maximum determinant. This problem is known to be NP-hard and further proven to be W[1]-hard with respect to $k$ by Koutis. However, there is still room to explore its parameterized complexity in the restricted case, in the hope of overcoming the general-case parameterized intractability. In this study, we rule out the fixed-parameter tractability of Determinant Maximization even if an input matrix is extremely sparse or low rank, or an approximate solution is acceptable. We first prove that Determinant Maximization is NP-hard and W[1]-hard even if an input matrix is an arrowhead matrix; i.e., the underlying graph formed by nonzero entries is a star, implying that the structural sparsity is not helpful. By contrast, Determinant Maximization is known to be solvable in polynomial time on tridiagonal matrices. Thereafter, we demonstrate the W[1]-hardness with respect to the rank $r$ of an input matrix. Our result is stronger than Koutis' result in the sense that any $k\times k$ principal submatrix is singular whenever $k>r$. We finally give evidence that it is W[1]-hard to approximate Determinant Maximization parameterized by $k$ within a factor of $2^{-c\sqrt{k}}$ for some universal constant $c>0$. Our hardness result is conditional on the Parameterized Inapproximability Hypothesis posed by Lokshtanov, Ramanujan, Saurab, and Zehavi, which asserts that a gap version of Binary Constraint Satisfaction Problem is W[1]-hard. To complement this result, we develop an $\varepsilon$-additive approximation algorithm that runs in $\varepsilon^{-r^2}\cdot r^{O(r^3)}\cdot n^{O(1)}$ time for the rank $r$ of an input matrix, provided that the diagonal entries are bounded.


title: Lifetime of the $B^+_c$ meson in relation to flavour anomalies

abstract: The Standard Model decay rate of the $B_c$ meson is discussed together with a novel approach that uses experimental data in combination with an operator product expansion. In the new method differences of $B,\,D$ and $B_c$ meson decay rates are considered for which the free-quark contributions drop out, leading to a reduction of the theory prediction.


title: Corrections to the instanton configuration as baryon in holographic QCD

abstract: In this work, we first derive the corrections to the instanton configuration of the flavored gauge field in the D4-D8 model with generic flavor numbers. Then, as the instanton configuration on the D8-branes represents equivalently baryon in this model, keeping our corrections in hand, we systemically study the spectrum of baryon, heavy-light baryon or heavy-light meson and find it is possible to fit the experimental data with the meson data in this model. Besides, we briefly outline how to include the interaction of glueball and heavy-light meson or baryon with our corrections, evaluate numerically the decay rate of the heavy-light meson or baryonic matter involving glueball. Since it is possible to fit all the spectra with same choice of the parameters to the experimental data, we believe our corrections improve the framework of D4-D8 model and the corrected instanton configuration is also useful to investigate other properties of baryon in holography.


title: Unveiling the nitrogen-rich massive star in the metal-poor galaxy NGC 4068

abstract: We report the identification of the unusual emission-line stellar-like object in the nearby low-metallicity (Z ~ 0.1Zsun) dwarf galaxy NGC 4068. Our observations performed with long-slit spectrograph and Fabry-Perot interferometer demonstrate high velocity dispersion in Ha line, presence of HeII4686A line and peculiarly low [SII]/[NII] fluxes ratio for this object. From observational data, we derived that the object represents a single star of high bolometric luminosity L~1.5*10^6 Lsun surrounded by an expanding nebula with kinematical age of t ~ 0.5Myr. The nebula exhibits significant nitrogen overabundance (log(N/O) ~ -0.05, that is by ~1.4dex higher than expected for low-metallicity galaxies). We suggested that this is a massive blue supergiant (BSG) or Wolf-Rayet (WR) star surrounded by its ejecta interacting with the interstellar medium. We calculated the models of the nebula using CLOUDY photoionization code, applying CMFGEN-modelled BSG and WR stars as ionisation sources. We found a best agreement between the modelled and observed spectra for the model assuming ionization by low-metallicity WR star of mass M*~80Msun, ionizing the nebula through the strong wind and enriching the interstellar medium with nitrogen.


title: From Silicon Shield to Carbon Lock-in ? The Environmental Footprint of Electronic Components Manufacturing in Taiwan (2015-2020)

abstract: Taiwan plans to rapidly increase its industrial production capacity of electronic components while concurrently setting policies for its ecological transition. Given that the island is responsible for the manufacturing of a significant part of worldwide electronics components, the sustainability of the Taiwanese electronics industry is therefore of critical interest. In this paper, we survey the environmental footprint of 16 Taiwanese electronic components manufacturers (ECM) using corporate sustainability responsibility reports (CSR). Based on data from 2015 to 2020, this study finds out that our sample of 16 manufacturers increased its greenhouse gases (GHG) emissions by 7.5\% per year, its final energy and electricity consumption by 8.8\% and 8.9\%, and the water usage by 6.1\%. We show that the volume of manufactured electronic components and the environmental footprints compiled in this study are strongly correlated, which suggests that relative efficiency gains are not sufficient to curb the environmental footprint at the national scale. Given the critical nature of electronics industry for Taiwan's geopolitics and economics, the observed increase of energy consumption and the slow renewable energy roll-out, these industrial activities could create a carbon lock-in, blocking the Taiwanese government from achieving its carbon reduction goals and its sustainability policies. Besides, the European Union, the USA or even China aim at developing an industrial ecosystem targeting sub-10nm CMOS technology nodes similar to Taiwan. This study thus provides important insights regarding the environmental implications associated with such a technology roadmap. All data and calculation models used in this study are provided as supplementary material.


title: Asymptotics of the hard edge Pearcey determinant

abstract: We study the Fredholm determinant of an integral operator associated to the hard edge Pearcey kernel. This determinant appears in a variety of random matrix and non-intersecting paths models. By relating the logarithmic derivatives of the Fredholm determinant to a $3 \times 3$ Riemann-Hilbert problem, we obtain asymptotics of the determinant, which is also known as the large gap asymptotics for the corresponding point process.


title: Polynomial invariants for cactuses

abstract: Graph invariants are a useful tool in graph theory. Not only do they encode useful information about the graphs to which they are associated, but complete invariants can be used to distinguish between non-isomorphic graphs. Polynomial invariants for graphs such as the well-known Tutte polynomial have been studied for several years, and recently there has been interest to also define such invariants for phylogenetic networks, a special type of graph that arises in the area of evolutionary biology. Recently Liu gave a complete invariant for (phylogenetic) trees. However, the polynomial invariants defined thus far for phylogenetic networks that are not trees require vertex labels and either contain a large number of variables, or they have exponentially many terms in the number of reticulations. This can make it difficult to compute these polynomials and to use them to analyse unlabelled networks. In this paper, we shall show how to circumvent some of these difficulties for rooted cactuses and cactuses. As well as being important in other areas such as operations research, rooted cactuses contain some common classes of phylogenetic networks such phylogenetic trees and level-1 networks. More specifically, we define a polynomial $F$ that is a complete invariant for the class of rooted cactuses without vertices of indegree 1 and outdegree 1 that has 5 variables, and a polynomial $Q$ that is a complete invariant for the class of rooted cactuses that has 6 variables \vince{whose degree can be bounded linearly in terms of the size of the rooted cactus}. We also explain how to extend the $Q$ polynomial to define a complete invariant for leaf-labelled rooted cactuses as well as (unrooted) cactuses.


title: Exploiting Hybrid Active and Passive Multiple Access via Slotted ALOHA-Driven Backscatter Communications

abstract: In conventional backscatter communication (BackCom) systems, time division multiple access (TDMA) and frequency division multiple access (FDMA) are generally adopted for multiuser backscattering due to their simplicity in implementation. However, as the number of backscatter devices (BDs) proliferates, there will be a high overhead under the traditional centralized control techniques, and the inter-user coordination is unaffordable for the passive BDs, which are of scarce concern in existing works and remain unsolved. To this end, in this paper, we propose a slotted ALOHA-based random access for BackCom systems, in which each BD is randomly chosen and is allowed to coexist with one active device for hybrid multiple access. To excavate and evaluate the performance, a resource allocation problem for max-min transmission rate is formulated, where transmit antenna selection, receive beamforming design, reflection coefficient adjustment, power control, and access probability determination are jointly considered. To deal with this intractable problem, we first transform the objective function with the max-min form into an equivalent linear one, and then decompose the resulting problem into three sub-problems. Next, a block coordinate descent (BCD)-based greedy algorithm with a penalty function, successive convex approximation, and linear programming are designed to obtain sub-optimal solutions for tractable analysis. Simulation results demonstrate that the proposed algorithm outperforms benchmark algorithms in terms of transmission rate and fairness.


title: Finiteness of analytic cohomology of Lubin-Tate $(\varphi_L,\Gamma_L)$-modules

abstract: We prove finiteness and base change properties for analytic cohomology of families of $L$-analytic $(\varphi_L,\Gamma_L)$-modules parametrised by affinoid algebras in the sense of Tate. For technical reasons we work over a field $K$ containing a period of the Lubin-Tate group, which allows us to describe analytic cohomology in terms of an explicit generalized Herr complex.