title: Inpainting at Modern Camera Resolution by Guided PatchMatch with Auto-Curation

abstract: Recently, deep models have established SOTA performance for low-resolution image inpainting, but they lack fidelity at resolutions associated with modern cameras such as 4K or more, and for large holes. We contribute an inpainting benchmark dataset of photos at 4K and above representative of modern sensors. We demonstrate a novel framework that combines deep learning and traditional methods. We use an existing deep inpainting model LaMa to fill the hole plausibly, establish three guide images consisting of structure, segmentation, depth, and apply a multiply-guided PatchMatch to produce eight candidate upsampled inpainted images. Next, we feed all candidate inpaintings through a novel curation module that chooses a good inpainting by column summation on an 8x8 antisymmetric pairwise preference matrix. Our framework's results are overwhelmingly preferred by users over 8 strong baselines, with improvements of quantitative metrics up to 7.4 over the best baseline LaMa, and our technique when paired with 4 different SOTA inpainting backbones improves each such that ours is overwhelmingly preferred by users over a strong super-res baseline.


title: The provability logic of all provability predicates

abstract: We prove that the provability logic of all provability predicates is exactly Fitting, Marek, and Truszczy\'nski's pure logic of necessitation $\mathsf{N}$. Moreover, we introduce three extensions $\mathsf{N4}$, $\mathsf{NR}$, and $\mathsf{NR4}$ of $\mathsf{N}$ and investigate the arithmetical semantics of these logics. In fact, we prove that $\mathsf{N4}$, $\mathsf{NR}$, and $\mathsf{NR4}$ are the provability logics of all provability predicates satisfying the third condition $\mathbf{D3}$ of the derivabiity conditions, all Rosser's provability predicates, and all Rosser's provability predicates satisfying $\mathbf{D3}$, respectively.


title: Measurement of Branching Fraction and Longitudinal Polarization in $B^0 \to \rho^+ \rho^-$ Decays at Belle II

abstract: We present a measurement of the branching fraction and longitudinal polarization of $B^0 \to \rho^+ \rho^-$ decays. SuperKEKB electron-positron collision data corresponding to 189~fb$^{-1}$ of integrated luminosity and containing $198 \times 10^6 B\bar{B}$ pairs collected with the Belle II detector are used. We obtain \begin{eqnarray*} \mathcal{B}(B^0\to\rho^+\rho^-) &=& [2.67\pm0.28\,(\mathrm{stat})\,\pm0.28\,(\mathrm{syst})] \times 10^{-5}, \end{eqnarray*} \begin{eqnarray*} f_L &=& 0.956\pm0.035\,(\mathrm{stat})\,\pm 0.033\,(\mathrm{syst}), \end{eqnarray*} These results are consistent with previous measurements and can be used to constrain penguin pollution and to extract the quark-mixing angle $\phi_2$.


title: Arithmetical completeness theorems for monotonic modal logics

abstract: We investigate modal logical aspects of provability predicates $\mathrm{Pr}_T(x)$ satisfying the following condition: $\mathbf{M}$: If $T \vdash \varphi \to \psi$, then $T \vdash \mathrm{Pr}_T(\ulcorner \varphi \urcorner) \to \mathrm{Pr}_T(\ulcorner \psi \urcorner)$. We prove the arithmetical completeness theorems for monotonic modal logics $\mathsf{MN}$, $\mathsf{MN4}$, $\mathsf{MNP}$, $\mathsf{MNP4}$, and $\mathsf{MND}$ with respect to provability predicates satisfying the condition $\mathbf{M}$. That is, we prove that for each logic $L$ of them, there exists a $\Sigma_1$ provability predicate $\mathrm{Pr}_T(x)$ satisfying $\mathbf{M}$ such that the provability logic of $\mathrm{Pr}_T(x)$ is exactly $L$. In particular, the modal formulas $\mathrm{P}$: $\neg \Box \bot$ and $\mathrm{D}$: $\neg (\Box A \land \Box \neg A)$ are not equivalent over non-normal modal logic and correspond to two different formalizations $\neg \mathrm{Pr}_T(\ulcorner 0=1 \urcorner)$ and $\neg \big(\mathrm{Pr}_T(\ulcorner \varphi \urcorner) \land \mathrm{Pr}_T(\ulcorner \neg \varphi \urcorner) \bigr)$ of consistency statements, respectively. Our results separate these formalizations in terms of modal logic.


title: Efficient all-perovskite tandem solar cells by dual-interface optimisation of vacuum-deposited wide-bandgap perovskite

abstract: Tandem perovskite solar cells beckon as lower cost alternatives to conventional single junction solar cells, with all-perovskite tandem photovoltaic architectures showing power conversion efficiencies up to 26.4%. Solution-processing approaches for the perovskite layers have enabled rapid 2optimization of perovskite solar technologies, but new deposition routes are necessary to enable modularity and scalability, facilitating further efficiency improvements and technology adoption. Here, we utilise a 4-source vacuum deposition method to deposit FA$_{0.7}$ Cs$_{0.3}$Pb(I$_x$Br$_{1-x}$)$_3$ perovskite, where the bandgap is widened through fine control over the halide content. We show how the combined use of a MeO-2PACz self-assembled monolayer as hole transporting material and passivation of the perovskite absorber with ethylenediammonium diiodide reduces non-radiative losses, with this dual-interface treatment resulting in efficiencies of 17.8% in solar cells based on vacuum deposited perovskites with bandgap of 1.76 eV. By similarly passivating a narrow bandgap FA$_{0.75}$Cs$_{0.25}$Pb$_{0.5}$Sn$_{0.5}$I$_3$ perovskite and combining it with sub-cells of evaporated FA$_{0.7}$Cs$_{0.3}$Pb(I$_{0.64}$Br$_{0.36}$)$_3$, we report a 2-terminal all-perovskite tandem solar cell with champion open circuit voltage and power conversion efficiency of 2.06 V and 24.1%, respectively. The implementation of our dry deposition method enables high reproducibility in complex device architectures, opening avenues for modular, scalable multi-junction devices where the substrate choice is unrestricted.


title: Graphene Quantum Dot with Divacancy and Topological Defects: A Novel Material for Promoting Prompt and Delayed Fluorescence of Tunable Wavelengths

abstract: This work demonstrates the unique approach of introducing divacancy imperfections in topological Stone-Wales type defected graphene quantum dots for harvesting both singlet and triplet excitons, essential for fabricating fluorescent organic light-emitting diodes. Here, we first reveal that structural relaxation of these systems establishes the high-spin triplet state as the stable ground state at room temperature, thereby significantly increasing their potential in designing spintronic devices. Our extensive electron-correlated computations then demonstrate that the energetic ordering of the singlet and triplet states in these relaxed structures can trigger both prompt and delayed fluorescence of different wavelengths through various decay channels. Particularly, the position of divacancy determines the tunability range of the emission wavelengths. In addition, our results obtained from both multi-reference singles-doubles configurationinteraction (MRSDCI) and first-principles time-dependent density functional theory (TDDFT) methodologies highlight that the synergetic effects of divacancy-position,structural relaxation and spin multiplicity critically govern the nature and magnitude of shift exhibited by the most intense peak of the absorption profile, crucial for designing optoelectronic devices.


title: An Adaptive and Altruistic PSO-based Deep Feature Selection Method for Pneumonia Detection from Chest X-Rays

abstract: Pneumonia is one of the major reasons for child mortality especially in income-deprived regions of the world. Although it can be detected and treated with very less sophisticated instruments and medication, Pneumonia detection still remains a major concern in developing countries. Computer-aided based diagnosis (CAD) systems can be used in such countries due to their lower operating costs than professional medical experts. In this paper, we propose a CAD system for Pneumonia detection from Chest X-rays, using the concepts of deep learning and a meta-heuristic algorithm. We first extract deep features from the pre-trained ResNet50, fine-tuned on a target Pneumonia dataset. Then, we propose a feature selection technique based on particle swarm optimization (PSO), which is modified using a memory-based adaptation parameter, and enriched by incorporating an altruistic behavior into the agents. We name our feature selection method as adaptive and altruistic PSO (AAPSO). The proposed method successfully eliminates non-informative features obtained from the ResNet50 model, thereby improving the Pneumonia detection ability of the overall framework. Extensive experimentation and thorough analysis on a publicly available Pneumonia dataset establish the superiority of the proposed method over several other frameworks used for Pneumonia detection. Apart from Pneumonia detection, AAPSO is further evaluated on some standard UCI datasets, gene expression datasets for cancer prediction and a COVID-19 prediction dataset. The overall results are satisfactory, thereby confirming the usefulness of AAPSO in dealing with varied real-life problems. The supporting source codes of this work can be found at https://github.com/rishavpramanik/AAPSO


title: Triple Sparsification of Graph Convolutional Networks without Sacrificing the Accuracy

abstract: Graph Neural Networks (GNNs) are widely used to perform different machine learning tasks on graphs. As the size of the graphs grows, and the GNNs get deeper, training and inference time become costly in addition to the memory requirement. Thus, without sacrificing accuracy, graph sparsification, or model compression becomes a viable approach for graph learning tasks. A few existing techniques only study the sparsification of graphs and GNN models. In this paper, we develop a SparseGCN pipeline to study all possible sparsification in GNN. We provide a theoretical analysis and empirically show that it can add up to 11.6\% additional sparsity to the embedding matrix without sacrificing the accuracy of the commonly used benchmark graph datasets.


title: Novel Supernumerary Robotic Limb based on Variable Stiffness Actuators for Hemiplegic Patients Assistance

abstract: Loss of upper extremity motor control and function is an unremitting symptom in post-stroke patients. This would impose hardships on accomplishing their daily life activities. Supernumerary robotic limbs (SRLs) were introduced as a solution to regain the lost Degrees of Freedom (DoFs) by introducing an independent new limb. The actuation systems in SRL can be categorized into rigid and soft actuators. Soft actuators have proven advantageous over their rigid counterparts through intrinsic safety, cost, and energy efficiency. However, they suffer from low stiffness, which jeopardizes their accuracy. Variable Stiffness Actuators (VSAs) are newly developed technologies that have been proven to ensure accuracy and safety. In this paper, we introduce the novel Supernumerary Robotic Limb based on Variable Stiffness Actuators. Based on our knowledge, the proposed proof-of-concept SRL is the first that utilizes Variable Stiffness Actuators. The developed SRL would assist post-stroke patients in bi-manual tasks, e.g., eating with a fork and knife. The modeling, design, and realization of the system are illustrated. The proposed SRL was evaluated and verified for its accuracy via predefined trajectories. The safety was verified by utilizing the momentum observer for collision detection, and several post-collision reaction strategies were evaluated through the Soft Tissue Injury Test. The assistance process is qualitatively verified through standard user-satisfaction questionnaire.


title: Study of detecting behavioral signatures within DeepFake videos

abstract: There is strong interest in the generation of synthetic video imagery of people talking for various purposes, including entertainment, communication, training, and advertisement. With the development of deep fake generation models, synthetic video imagery will soon be visually indistinguishable to the naked eye from a naturally capture video. In addition, many methods are continuing to improve to avoid more careful, forensic visual analysis. Some deep fake videos are produced through the use of facial puppetry, which directly controls the head and face of the synthetic image through the movements of the actor, allow the actor to 'puppet' the image of another. In this paper, we address the question of whether one person's movements can be distinguished from the original speaker by controlling the visual appearance of the speaker but transferring the behavior signals from another source. We conduct a study by comparing synthetic imagery that: 1) originates from a different person speaking a different utterance, 2) originates from the same person speaking a different utterance, and 3) originates from a different person speaking the same utterance. Our study shows that synthetic videos in all three cases are seen as less real and less engaging than the original source video. Our results indicate that there could be a behavioral signature that is detectable from a person's movements that is separate from their visual appearance, and that this behavioral signature could be used to distinguish a deep fake from a properly captured video.


title: Preconditioned Central Moment Lattice Boltzmann Method on a Rectangular Lattice Grid for Accelerated Computations of Inhomogeneous Flows

abstract: Convergence acceleration of flow simulations to their steady states at lower Mach numbers can be achieved via preconditioning the lattice Boltzmann (LB) schemes that alleviate the associated numerical stiffness, which have so far been constructed on square lattices. We present a new central moment LB method on rectangular lattice grids for efficient computations of inhomogeneous and anisotropic flows by solving the preconditioned Navier-Stokes (PNS) equations. Moment equilibria corrections are derived via a Chapman-Enskog analysis for eliminating the truncation errors due to grid-anisotropy arising from the use of the rectangular lattice and the non-Galilean invariant cubic velocity errors resulting from an aliasing effect on the standard D2Q9 lattice for consistently recovering the PNS equations. Such corrections depend on the diagonal components of the velocity gradients, which are locally obtained from the second order non-equilibrium moments and parameterized by an associated grid aspect ratio $r$ and a preconditioning parameter $\gamma$, and the speed of sound in the collision model is naturally adapted to $r$ via a physically consistent strategy. We develop our approach by using a robust non-orthogonal moment basis and the central moment equilibria are based on a matching principle, leading to simpler expressions for the corrections for using the rectangular grids and for representing the viscosities as functions of the relaxation parameters, $r$ and $\gamma$, and its implementation is modular allowing a ready extension of the existing LB schemes based on the square lattice. Numerical simulations of inhomogeneous and anisotropic shear-driven bounded flows using the preconditioned rectangular central moment LB method demonstrate the accuracy and significant reductions in the numbers of steps to reach the steady states for various sets of characteristic parameters.


title: HSIC-InfoGAN: Learning Unsupervised Disentangled Representations by Maximising Approximated Mutual Information

abstract: Learning disentangled representations requires either supervision or the introduction of specific model designs and learning constraints as biases. InfoGAN is a popular disentanglement framework that learns unsupervised disentangled representations by maximising the mutual information between latent representations and their corresponding generated images. Maximisation of mutual information is achieved by introducing an auxiliary network and training with a latent regression loss. In this short exploratory paper, we study the use of the Hilbert-Schmidt Independence Criterion (HSIC) to approximate mutual information between latent representation and image, termed HSIC-InfoGAN. Directly optimising the HSIC loss avoids the need for an additional auxiliary network. We qualitatively compare the level of disentanglement in each model, suggest a strategy to tune the hyperparameters of HSIC-InfoGAN, and discuss the potential of HSIC-InfoGAN for medical applications.


title: Potterian Economics

abstract: Recent studies in psychology and neuroscience offer systematic evidence that fictional works exert a surprisingly strong influence on readers and have the power to shape their opinions and worldviews. Building on these findings, we study what we term Potterian economics, the economic ideas, insights, and structure, found in Harry Potter books, to assess how the books might affect economic literacy. A conservative estimate suggests that more than 7.3 percent of the world population has read the Harry Potter books, and millions more have seen their movie adaptations. These extraordinary figures underscore the importance of the messages the books convey. We explore the Potterian economic model and compare it to professional economic models to assess the consistency of the Potterian economic principles with the existing economic models. We find that some of the principles of Potterian economics are consistent with economists models. Many other principles, however, are distorted and contain numerous inaccuracies, contradicting professional economists views and insights. We conclude that Potterian economics can teach us about the formation and dissemination of folk economics, the intuitive notions of naive individuals who see market transactions as a zero-sum game, who care about distribution but fail to understand incentives and efficiency, and who think of prices as allocating wealth but not resources or their efficient use.


title: Analysis of Temporal Robustness in Massive Machine Type Communications

abstract: The evolution of fifth generation (5G) networks needs to support the latest use cases, which demand robust network connectivity for the collaborative performance of the network agents, like multi-robot systems and vehicle to anything (V2X) communication. Unfortunately, the user device's limited communication range and battery constraint confirm the unfitness of known robustness metrics suggested for fixed networks, when applied to time-switching communication graphs. Furthermore, the calculation of most of the existing robustness metrics involves non-deterministic polynomial-time complexity, and hence are best-fitted only for small networks. Despite a large volume of works, the complete analysis of a $\textit{low-complexity}$ temporal robustness metric for a communication network is absent in the literature, and the present work aims to fill this gap. More in detail, our work provides a stochastic analysis of network robustness for a massive machine type communication (mMTC) network. The numerical investigation corroborates the exactness of the proposed analytical framework for temporal robustness metric. Along with studying the impact on network robustness of various system parameters, such as cluster head (CH) probability, power threshold value, network size, and node failure probability, we justify the observed trend of numerical results probabilistically.


title: Towards Robust Deep Learning using Entropic Losses

abstract: Current deep learning solutions are well known for not informing whether they can reliably classify an example during inference. One of the most effective ways to build more reliable deep learning solutions is to improve their performance in the so-called out-of-distribution detection task, which essentially consists of "know that you do not know" or "know the unknown". In other words, out-of-distribution detection capable systems may reject performing a nonsense classification when submitted to instances of classes on which the neural network was not trained. This thesis tackles the defiant out-of-distribution detection task by proposing novel loss functions and detection scores. Uncertainty estimation is also a crucial auxiliary task in building more robust deep learning systems. Therefore, we also deal with this robustness-related task, which evaluates how realistic the probabilities presented by the deep neural network are. To demonstrate the effectiveness of our approach, in addition to a substantial set of experiments, which includes state-of-the-art results, we use arguments based on the principle of maximum entropy to establish the theoretical foundation of the proposed approaches. Unlike most current methods, our losses and scores are seamless and principled solutions that produce accurate predictions in addition to fast and efficient inference. Moreover, our approaches can be incorporated into current and future projects simply by replacing the loss used to train the deep neural network and computing a rapid score for detection.


title: Proof-of-Learning is Currently More Broken Than You Think

abstract: Proof-of-Learning (PoL) proposes that a model owner logs training checkpoints to establish a proof of having expended the computation necessary for training. The authors of PoL forego cryptographic approaches and trade rigorous security guarantees for scalability to deep learning. They empirically argued the benefit of this approach by showing how spoofing--computing a proof for a stolen model--is as expensive as obtaining the proof honestly by training the model. However, recent work has provided a counter-example and thus has invalidated this observation. In this work we demonstrate, first, that while it is true that current PoL verification is not robust to adversaries, recent work has largely underestimated this lack of robustness. This is because existing spoofing strategies are either unreproducible or target weakened instantiations of PoL--meaning they are easily thwarted by changing hyperparameters of the verification. Instead, we introduce the first spoofing strategies that can be reproduced across different configurations of the PoL verification and can be done for a fraction of the cost of previous spoofing strategies. This is possible because we identify key vulnerabilities of PoL and systematically analyze the underlying assumptions needed for robust verification of a proof. On the theoretical side, we show how realizing these assumptions reduces to open problems in learning theory.We conclude that one cannot develop a provably robust PoL verification mechanism without further understanding of optimization in deep learning.


title: Learning Financial Networks with High-frequency Trade Data

abstract: Financial networks are typically estimated by applying standard time series analyses to price-based economic variables collected at low-frequency (e.g., daily or monthly stock returns or realized volatility). These networks are used for risk monitoring and for studying information flows in financial markets. High-frequency intraday trade data sets may provide additional insights into network linkages by leveraging high-resolution information. However, such data sets pose significant modeling challenges due to their asynchronous nature, nonlinear dynamics, and nonstationarity. To tackle these challenges, we estimate financial networks using random forests. The edges in our network are determined by using microstructure measures of one firm to forecast the sign of the change in a market measure (either realized volatility or returns kurtosis) of another firm. We first investigate the evolution of network connectivity in the period leading up to the U.S. financial crisis of 2007-09. We find that the networks have the highest density in 2007, with high degree connectivity associated with Lehman Brothers in 2006. A second analysis into the nature of linkages among firms suggests that larger firms tend to offer better predictive power than smaller firms, a finding qualitatively consistent with prior works in the market microstructure literature.


title: Constrained self-supervised method with temporal ensembling for fiber bundle detection on anatomic tracing data

abstract: Anatomic tracing data provides detailed information on brain circuitry essential for addressing some of the common errors in diffusion MRI tractography. However, automated detection of fiber bundles on tracing data is challenging due to sectioning distortions, presence of noise and artifacts and intensity/contrast variations. In this work, we propose a deep learning method with a self-supervised loss function that takes anatomy-based constraints into account for accurate segmentation of fiber bundles on the tracer sections from macaque brains. Also, given the limited availability of manual labels, we use a semi-supervised training technique for efficiently using unlabeled data to improve the performance, and location constraints for further reduction of false positives. Evaluation of our method on unseen sections from a different macaque yields promising results with a true positive rate of ~0.90. The code for our method is available at https://github.com/v-sundaresan/fiberbundle_seg_tracing.


title: The effect of fast noise on the fidelity of trapped-ions quantum gates

abstract: High fidelity single and multi-qubit operations compose the backbone of quantum information processing. This fidelity is based on the ability to couple single- or two-qubit levels in an extremely coherent and precise manner. A necessary condition for coherent quantum evolution is a highly stable local oscillator driving these transitions. Here we study the effect of fast noise, that is noise at frequencies much higher than the local oscillator linewidth, on the fidelity of one- and two-qubit gates in a trapped-ion system. We analyze and measure the effect of fast noise on single qubit operations including resonant $\pi$ rotations and off-resonant sideband transitions . We further analyze the effect of fast phase noise on the Molmer-Sorensen two-qubit gate. We find a unified and simple way to estimate the performance of all of these operations through a single parameter given by the noise power spectral density at the qubit response frequency. While our analysis focuses on phase noise and on trapped-ion systems, it is relevant for other sources of fast noise as well as for other qubit systems in which spin-like qubits are coupled by a common bosonic field. Our analysis can help in guiding the deign of quantum hardware platforms and gates, improving their fidelity towards fault-tolerant quantum computing.


title: Transformer-based assignment decision network for multiple object tracking

abstract: Data association is a crucial component for any multiple object tracking (MOT) method that follows the tracking-by-detection paradigm. To generate complete trajectories such methods employ a data association process to establish assignments between detections and existing targets during each timestep. Recent data association approaches try to solve a multi-dimensional linear assignment task or a network flow minimization problem or either tackle it via multiple hypotheses tracking. However, during inference an optimization step that computes optimal assignments is required for every sequence frame adding significant computational complexity in any given solution. To this end, in the context of this work we introduce Transformer-based Assignment Decision Network (TADN) that tackles data association without the need of any explicit optimization during inference. In particular, TADN can directly infer assignment pairs between detections and active targets in a single forward pass of the network. We have integrated TADN in a rather simple MOT framework, we designed a novel training strategy for efficient end-to-end training and demonstrate the high potential of our approach for online visual tracking-by-detection MOT on two popular benchmarks, i.e. MOT17 and UA-DETRAC. Our proposed approach outperforms the state-of-the-art in most evaluation metrics despite its simple nature as a tracker which lacks significant auxiliary components such as occlusion handling or re-identification. The implementation of our method is publicly available at https://github.com/psaltaath/tadn-mot.


title: First Post-Minkowskian approach to turbulent gravity

abstract: We compute the metric fluctuations induced by a turbulent energy-matter tensor within the first order Post-Minkowskian approximation. It is found that the turbulent energy cascade can in principle interfere with the process of black hole formation, leading to a potentially strong coupling between these two highly nonlinear phenomena. It is further found that a power-law turbulent energy spectrum $E(k) \sim k^{-n}$ generates metric fluctuations scaling like $x^{n-2}$, where $x$ is a four-dimensional distance from an arbitrary origin in spacetime. This highlights the onset of metric singularities whenever $n <2$, meaning that $2d$ fluid turbulence ($n=3$) yields smooth %(differentiable) metric fluctuations, scaling like $x$, while $3d$ turbulence ($n=5/3$) yields a weakly singular metric $x^{-1/3}$and purely random fluctuations, $n=1$, generate a stronger $1/x$ singularity. Finally, the effect of metric fluctuations on the geodesic motion of test particles is also discussed as a potential technique to extract information on the spectral characteristics of fluctuating spacetime.


title: Computing higher graph gonality is hard

abstract: In the theory of divisors on multigraphs, the $r^{th}$ divisorial gonality of a graph is the minimum degree of a rank $r$ divisor on that graph. It was proved by Gijswijt et al. that the first divisorial gonality of a finite graph is NP-hard to compute. We generalize their argument to prove that it is NP-hard to compute the $r^{th}$ divisorial gonality of a finite graph for all $r$. We use this result to prove that it is NP-hard to compute $r^{th}$ stable divisorial gonality for a finite graph, and to compute $r^{th}$ divisorial gonality for a metric graph. We also prove these problems are APX-hard, and we study the NP-completeness of these problems.


title: Operator Splitting Based Dynamic Iteration for Linear Port-Hamiltonian Systems

abstract: A dynamic iteration scheme for linear differential-algebraic port-Hamil\-tonian systems based on Lions-Mercier-type operator splitting methods is developed. The dynamic iteration is monotone in the sense that the error is decreasing and no stability conditions are required. The developed iteration scheme is even new for linear port-Hamiltonian systems. The obtained algorithm is applied to multibody systems and electrical networks.


title: Upper bound on the regularity of the Lyapunov exponent for random products of matrices

abstract: We prove that if $\mu$ is a finitely supported measure on $\text{SL}_2(\mathbb{R})$ with positive Lyapunov exponent but not uniformly hyperbolic, then the Lyapunov exponent function is not $\alpha$-H\"older around $\mu$ for any $\alpha$ exceeding the Shannon entropy of $\mu$ over the Lyapunov exponent of $\mu$.


title: A comparison of a commercial hydrodynamics TCAD solver and Fermi kinetics transport convergence for GaN HEMTs

abstract: Various simulations of a GaN HEMT are used to study the behaviors of two different energy-transport models: the Fermi kinetics transport model and a hydrodynamics transport model as it is implemented in the device simulator Sentaurus from Synopsys. The electron transport and heat flow equations of the respective solvers are described in detail. The differences in the description of electron flux and the discretization methods are highlighted. Next, the transport models are applied to the same simulated device structure using identical meshes, boundary conditions, and material parameters. Static simulations show the numerical convergence of Fermi kinetics to be consistently quadratic or faster, whereas the hydrodynamic model is often sub-quadratic. Further comparisons of large signal transient simulations reveal the hydrodynamic model produces certain anomalous electron ensemble behaviors within the transistor structure. The fundamentally different electron dynamics produced by the two models suggest an underlying cause for their different numerical convergence characteristics.


title: Topics in polar actions

abstract: These are the notes for a series of lectures at the Institute of Geometry and Topology of the University of Stuttgart, Germany, in July 13-15, 2022. We assume basic knowledge of isometric actions on Riemannian manifolds, including the normal slice theorem and the principal orbit type theorem. Lecture 1 introduces polar actions and culminates with Heintze, Liu and Olmos's argument to characterize them in terms of integrability of the distribution of normal spaces to the principal orbits. The other two lectures are devoted to two of Lytchak and Thorbergsson's results. In Lecture 2 we briefly review Riemannian orbifolds from the metric point of view, and explain their characterization of orbifold points in the orbit space of a proper and isometric action in terms of polarity of the slice representation above. In Lecture 3 we present their proof of the fact that variationally complete actions in the sense of Bott and Samelson on non-negatively curved manifolds are hyperpolar. The appendix contains explanations of some results used in the lectures, namely: a more or less self-contained derivation of Wilking's transversal Jacobi equation; a discussion of Cartan's and Hermann's criterions for the existence of totally geodesic submanifolds, and a criterion for the polarity of isometric actions on symmetric spaces.


title: Generalizability Analysis of Graph-based Trajectory Predictor with Vectorized Representation

abstract: Trajectory prediction is one of the essential tasks for autonomous vehicles. Recent progress in machine learning gave birth to a series of advanced trajectory prediction algorithms. Lately, the effectiveness of using graph neural networks (GNNs) with vectorized representations for trajectory prediction has been demonstrated by many researchers. Nonetheless, these algorithms either pay little attention to models' generalizability across various scenarios or simply assume training and test data follow similar statistics. In fact, when test scenarios are unseen or Out-of-Distribution (OOD), the resulting train-test domain shift usually leads to significant degradation in prediction performance, which will impact downstream modules and eventually lead to severe accidents. Therefore, it is of great importance to thoroughly investigate the prediction models in terms of their generalizability, which can not only help identify their weaknesses but also provide insights on how to improve these models. This paper proposes a generalizability analysis framework using feature attribution methods to help interpret black-box models. For the case study, we provide an in-depth generalizability analysis of one of the state-of-the-art graph-based trajectory predictors that utilize vectorized representation. Results show significant performance degradation due to domain shift, and feature attribution provides insights to identify potential causes of these problems. Finally, we conclude the common prediction challenges and how weighting biases induced by the training process can deteriorate the accuracy.


title: The existence of UFO implies projectively universal morphisms

abstract: Let $\mathcal C$ be a concrete category. We prove that if $\mathcal{C}$ admits a universally free object $\mathsf F$, then there is a projectively universal morphism $u\colon \mathsf F\to \mathsf F$, i.e., a morphism $u$ such that for any $B\in \mathcal{C}$ and $\tau\in {\rm Mor}(B)$ there exists an epimorphism $\pi\in {\rm Mor}(\mathsf F, B)$ such that $\pi \tau = u \pi$. This builds upon and extends various ideas by Darji and Matheron (Proc. Am. Math. Soc. 145 (2017)) who proved such a result for the category of separable Banach spaces with contractive operators as well as certain classes of dynamical systems on compact metric spaces. Specialising from our abstract setting, we conclude that the result applies to various categories of Banach spaces/lattices/algebras, C*-algebras, etc.


title: Lattice studies of supersymmetric gauge theories

abstract: Supersymmetry plays prominent roles in the study of quantum field theory and in many proposals for potential new physics beyond the standard model. Lattice field theory provides a non-perturbative regularization suitable for strongly interacting systems. This invited review briefly summarizes significant recent progress in lattice investigations of supersymmetric field theories, as well as some of the challenges that remain to be overcome. I focus on progress in three areas: supersymmetric Yang--Mills (SYM) theories in fewer than four space-time dimensions, as well as both minimal N=1 SYM and maximal N=4 SYM in four dimensions. I also highlight superQCD and sign problems as prominent challenges that will be important to address in future work.


title: Improved Pancreatic Tumor Detection by Utilizing Clinically-Relevant Secondary Features

abstract: Pancreatic cancer is one of the global leading causes of cancer-related deaths. Despite the success of Deep Learning in computer-aided diagnosis and detection (CAD) methods, little attention has been paid to the detection of Pancreatic Cancer. We propose a method for detecting pancreatic tumor that utilizes clinically-relevant features in the surrounding anatomical structures, thereby better aiming to exploit the radiologist's knowledge compared to other, conventional deep learning approaches. To this end, we collect a new dataset consisting of 99 cases with pancreatic ductal adenocarcinoma (PDAC) and 97 control cases without any pancreatic tumor. Due to the growth pattern of pancreatic cancer, the tumor may not be always visible as a hypodense lesion, therefore experts refer to the visibility of secondary external features that may indicate the presence of the tumor. We propose a method based on a U-Net-like Deep CNN that exploits the following external secondary features: the pancreatic duct, common bile duct and the pancreas, along with a processed CT scan. Using these features, the model segments the pancreatic tumor if it is present. This segmentation for classification and localization approach achieves a performance of 99% sensitivity (one case missed) and 99% specificity, which realizes a 5% increase in sensitivity over the previous state-of-the-art method. The model additionally provides location information with reasonable accuracy and a shorter inference time compared to previous PDAC detection methods. These results offer a significant performance improvement and highlight the importance of incorporating the knowledge of the clinical expert when developing novel CAD methods.


title: Reconfigurable Intelligent Surface Enabled Over-the-Air Uplink Non-orthogonal Multiple Access

abstract: Innovative reconfigurable intelligent surface (RIS) technologies are rising and recognized as promising candidates to enhance 6G and beyond wireless communication systems. RISs acquire the ability to manipulate electromagnetic signals, thus, offering a degree of control over the wireless channel and the potential for many more benefits. Furthermore, active RIS designs have recently been introduced to combat the critical double fading problem and other impairments passive RIS designs may possess. In this paper, the potential and flexibility of active RIS technology are exploited for uplink systems to achieve virtual non-orthogonal multiple access (NOMA) through power disparity over-the-air rather than controlling transmit powers at the user side. Specifically, users with identical transmit power, path loss, and distance can communicate with a base station sharing time and frequency resources in a NOMA fashion with the aid of the proposed hybrid RIS system. Here, the RIS is partitioned into active and passive parts and the distinctive partitions serve different users aligning their phases accordingly while introducing a power difference to the users' signals to enable NOMA. First, the end-to-end system model is presented considering two users. Furthermore, outage probability calculations and theoretical error probability analysis are discussed and reinforced with computer simulation results.


title: Relativistic Effects and GRB Polarization in Power-Law Evolution

abstract: Despite decades of polarization observations and high-significance polarized $\gamma$-ray, X-ray, optical, and radio emissions in gamma-ray bursts (GRBs) have been accumulating in dozens of cases, people have yet to find a consistent scenario for understanding the globally observed timing properties of GRB polarization to date. Here, we report that the observed properties of GRB polarization exhibit a four-segment timing evolution at the cosmological distance: (I) an initial hump early on (within the first few seconds); (II) a later on power-law decay (from $\sim$10$^{1}$ to $\sim$10$^{4}$ s), which takes the form of $\pi_{\rm obs} \propto t^{-0.50 \pm 0.02}$; (III) afterwards a late-time rebrightening hump (from $\sim$10$^{4}$ to $\sim$10$^{5}$ s); and (IV) finally a flatting power-law decay (from $\sim$ 10$^{5}$ to $\sim$ 10$^{7}$ s), with the the form of $\pi_{\rm obs} \propto t^{-0.21 \pm 0.08}$. These findings may present a challenge to the mainstream of polarization models that assume the polarization time evolution change in different emission regions. We show that these results can be explained by relativistic and geometric effects of a highly relativistic and magnetized jet generated by the central engine, and "magnetic patches" distributed as a globally random but locally coherent form. Our analysis suggests that there is a single dominant mechanism that might account for the global observational properties of GRB polarization, and other emission mechanisms and effects might play a role in spatially local and temporally short effects on GRB polarization.


title: Development of a mobile robot assistant for wind turbines manufacturing

abstract: The thrust for increased rating capacity of wind turbines has resulted into larger generators, longer blades, and taller towers. Presently, up to 16 MW wind turbines are being offered by wind turbines manufacturers which is nearly a 60 percent increase in the design capacity over the last five years. Manufacturing of these turbines involves assembling of gigantic sized components. Due to the frequent design changes and the variety of tasks involved, conventional automation is not possible making it a labor-intensive activity. However the handling and assembling of large components are challenging the human capabilities. The article proposes the use of mobile robotic assistants for partial automation of wind turbines manufacturing. The robotic assistant can result into reducing production costs, and better work conditions. The article presents development of a robot assistant for human operators to effectively perform assembly of wind turbines. The case is from a leading wind turbines manufacturer. The developed system is also applicable to other cases of large component manufacturing involving intensive manual effort.


title: Effect of the external fields in high Chern number quantum anomalous Hall insulators

abstract: A quantum anomalous Hall state with high Chern number has so far been realized in multiplayer structures consisting of alternating magnetic and undoped topological insulator layers. However, in previous proposals, the Chern number can be only tuned by varying the doping concentration or the width of the magnetic topological insulator layers. This drawback largely restrict the applications of dissipationless chiral edge currents in electronics since the number of conducting channels remains fixed. In this work, we propose a way of varying the Chern number at will in these multilayered structures by means of an external electric field applied along the stacking direction. In the presence of an electric field in the stacking direction, the inverted bands of the unbiased structure coalesce and hybridize, generating new inverted bands and collapsing the previously inverted ones. In this way, the number of Chern states can be tuned externally in the sample, without the need of modifying the number and width of the layers or the doping level. We showed that this effect can be uncovered by the variation of the transverse conductance as a function of the electric field at constant injection energy at the Fermi level.


title: Implementing Window Functions in a Column-Store with Late Materialization (Extended Version)

abstract: A window function is a generalization of the aggregation operation. Unlike aggregation, the cardinality of its output is always the same as the cardinality of input. That is, the semantics of this operator imply computing values for extra attributes for each row, depending on its context, either expressed by a sliding window or a previously evaluated row. Window functions are a very powerful tool, which is also popular among data analysts and supported by the majority of industrial DBMSes. It allows to gracefully express quite complex use-cases, such as running sums and averages, local maximum and minimum, and different types of ranking. Since they can be expressed without self-joins and correlated subqueries, their evaluation can be performed much more efficiently. In this paper we discuss an implementation of window functions inside a disk-based column-store with late materialization. Late materialization is a technique that aims to keep tuple reconstruction back from individual columns as long as possible. Initially popular in the late 00's, it is rarely considered nowadays. However, in case of window functions it allows to substantially lower memory footprint. Another contribution of this paper is the application of a segment tree to computing RANGE-based window functions.


title: Optimal transport through a toll

abstract: We address the problem of optimal transport with a quadratic cost functional and a constraint on the flux through a constriction along the path. The constriction, conceptually represented by a toll station, limits the flow rate across. We provide a precise formulation which, in addition, is amenable to generalization in higher dimensions. We work out in detail the case of transport in one dimension by proving existence and uniqueness of solution. Under suitable regularity assumptions we give an explicit construction of the transport plan. Generalization of flux constraints to higher dimensions and possible extensions of the theory are discussed.


title: Reconfigurable Application-Specific Photonic Integrated Circuit for solving Partial Differential Equations

abstract: Solving mathematical equations faster and more efficiently has been a Holy Grail for centuries for scientists and engineers across all disciplines. While electronic digital circuits have revolutionized equation solving in recent decades, it has become apparent that performance gains from brute-force approaches of compute-solvers are quickly saturating over time. Instead, paradigms that leverage the universes natural tendency to minimize a systems free energy, such as annealers or Ising Machines, are being sought after due to favorable complexity scaling. Here we introduce a programmable analog solver leveraging the mathematical formal equivalence between Maxwells equations and photonic circuitry. It features a mesh network of nanophotonic beams to find solutions to partial differential equations. As an example, we designed, fabricated, and demonstrated a novel application-specific photonic integrated circuit comprised of electro-optically reconfigurable nodes, and experimentally validated 90% accuracy with respect to a commercial solver. Finally, we tested this photonic integrated chip performance by simulating thermal diffusion on a spacecrafts heat shield during re-entry to a planets atmosphere. The programmable light-circuitry presented herein offers a facile route for solving complex problems and thus will have profound potential applications across many scientific and engineering fields.


title: D-optimal Data Fusion: Exact and Approximation Algorithms

abstract: We study the D-optimal Data Fusion (DDF) problem, which aims to select new data points, given an existing Fisher information matrix, so as to maximize the logarithm of the determinant of the overall Fisher information matrix. We show that the DDF problem is NP-hard and has no constant-factor polynomial-time approximation algorithm unless P $=$ NP. Therefore, to solve the DDF problem effectively, we propose two convex integer-programming formulations and investigate their corresponding complementary and Lagrangian-dual problems. We also develop scalable randomized-sampling and local-search algorithms with provable performance guarantees. Leveraging the concavity of the objective functions in the two proposed formulations, we design an exact algorithm, aimed at solving the DDF problem to optimality. We further derive a family of submodular valid inequalities and optimality cuts, which can significantly enhance the algorithm performance. Finally, we test our algorithms using real-world data on the new phasor-measurement-units placement problem for modern power grids, considering the existing conventional sensors. Our numerical study demonstrates the efficiency of our exact algorithm and the scalability and high-quality outputs of our approximation algorithms.


title: A priori estimates for multidimensional BSDEs with integrable data

abstract: We study Backward Stochastic Differential Equations on a probability space equipped with a Brownian filtration. We assume that the terminal value and the generator at zero are merely integrable. Moreover, the generator is assumed to be non-increasing with respect to the value variable (with no restrictions on the growth) and Lipschitz continuous, with sublinear growth, with respect to the control variable. We provide a priori estimate and stability result for solutions to the aforementioned BSDEs.


title: Dark Energy and Neutrino Superfluids

abstract: We show that the neutrino mass, the dark matter and the dark energy can be explained in a unified framework, postulating a new invisible Born-Infeld field, which we name "non-linear dark photon", undergoing a meV-scale dynamical transmutation and coupled to neutrinos. Dark energy genesis is dynamically explained as a byproduct of the dark photon condensation, inducing the bare massless neutrinos to acquire an effective mass around the meV scale. It is fascinating to contemplate the channel induced by the non-linear dark photon leading to the pairing of the non-relativistic neutrinos, hence generating a cosmological superfluid state. As a consequence, the appearance of a light neutrino composite boson is predicted, providing a good cold dark matter candidate. In particular, if our model is enriched by an extra global Lepton number $U_L(1)$ symmetry, then the neutrino pair can be identified with a composite Majoron field with intriguing phenomenological implications for the neutrinoless-double-beta-decay ($0\nu\beta\beta$). Our model carries interesting phenomenological implications since dark energy, dark matter and the neutrino mass are time-varying dynamical variables, as a consequence of the non-linear Born-Infeld interaction terms. Limits arising from PLANCK+SNe+BAO collaborations data are also discussed. Finally, our model allows for an inverse hierarchy of neutrino masses, with interesting implications for the JUNO experiment.


title: Effect of a Micro-scale Dislocation Pileup on the Atomic-Scale Multi-variant Phase Transformation and Twinning

abstract: In this paper, we perform concurrent atomistic-continuum (CAC) simulations to (i) characterize the internal stress induced by the microscale dislocation pileup at an atomically structured interface; (ii) decompose this stress into two parts, one of which is from the dislocations behind the pileup tip according to the Eshelby model and the other is from the dislocations at the pileup tip according to a super-dislocation model; and (iii) assess how such internal stresses contribute to the atomic-scale phase transformations (PTs), reverse PTs, and twinning. The main novelty of this work is to unify the atomistic description of the interface and the coarse-grained (CG) description of the lagging dislocations away from the interface within one single framework. Our major findings are: (a) the interface dynamically responds to a pileup by forming steps/ledges, the height of which is proportional to the number of dislocations arriving at the interface; (b) when the pre-sheared sample is compressed, a direct square-to-hexagonal PT occurs ahead of the pileup tip and eventually grows into a wedge shape; (c) upon a further increase of the loading, part of the newly formed hexagonal phase transforms back to the square phase. The square product phase resulting from this reverse PT forms a twin with respect to the initial square phase. All phase boundaries (PBs) and twin boundaries (TBs) are stationary and correspond to zero thermodynamic Eshelby driving forces; and (d) the stress intensity induced by a pileup consisting of 16 dislocations reduces the stress required for initiating a PT by a factor of 5.5, comparing with that in the sample containing no dislocations. This work is the first characterization of the behavior of PTs/twinning resulting from the reaction between a microscale dislocation slip and an atomically structured interface.


title: Optimal Operation of HVDC Interconnector: Irish Case

abstract: In September 2018 EirGrid launched the new electricity market. These new market arrangements integrate the all island electricity market with European electricity markets, making optimal use of cross border transmission assets. Ireland operates three operational HVDC interconnectors: Moyle, East-West, and Greenlink and one in development Celtic interconnector which connect Ireland to Scotland, Wales, and France respectively. Irish market operator, EirGrid, can maximize their operational profit by using the price difference in these electricity markets. We propose a profit maximization modelling which considers the line losses and price difference in these different electricity markets and identifies the optimal import/export of power using HVDC interconnectors. These models in future should incorporate the distribution losses, renewable energy curtailment, and Irish power network congestion levels. The proposed modeling is the first step towards implementing a multi-objective HVDC interconnector operating strategy.


title: On the $L^2$ well-posedness and decay estimate of third order Benjamin-Ono equation

abstract: We consider the $L^2$ well-posedness of third order Benjamin-Ono equation. We show that by means of a normal form and a gauge transformation, the equation can be changed into an Airy-type equation. A second goal of this work is to establish that the solutions to the nonlinear third order Benjamin-Ono equation problem exhibit a dispersive decay estimate analogue to the corresponding linear associated problem. The key ingredient is the use of a nonlinear vector field method.


title: Ground state properties of the periodic Anderson model with electron-phonon interactions

abstract: The periodic Anderson model (PAM) is a fundamental model describing heavy fermion systems. In this paper, we examine the PAM with electron-phonon interactions. Introducing a new analytical method based on operator inequalities, we prove that the ground state at half-filling is unique and a singlet. We also prove that the ground state exhibits short-range antiferromagnetism.


title: Origin of the low energy resonance in the double photoionization of pyrene and coronene, and its absence in the double photoionization of corannulene

abstract: The low energy resonance in the double photoionization of the aromatic hydrocarbons pyrene (C$_{16}$H$_{10}$) and coronene (C$_{24}$H$_{12}$) is investigated theoretically using an approach based on the one-dimension Hubbard model for $\pi$-conjugated systems with nearest-neighbor interactions. The Independent Subsystem Approximation, where the perimeter and interior carbon atoms are treated as independent entities, is employed. Since no low energy resonances have been found in aromatic hydrocarbons where there are only perimeter carbon atoms, we attribute the low energy resonances in pyrene and coronene to the interior carbon atoms. However, corannulene (C$_{20}$H$_{10}$) having five interior carbon atoms does not exhibit a low-energy resonance in the experimental data. We attribute the absence of this resonance to the odd number of interior carbon atoms.


title: Exceptional set estimates for radial projections in $\mathbb{R}^n$

abstract: We prove two conjectures in this paper. The first conjecture is by Lund, Pham and Thu: Given a Borel set $A\subset \mathbb{R}^n$ such that $\dim A\in (k,k+1]$ for some $k\in\{1,\dots,n-1\}$. For $0<s<k$, we have \[ \text{dim}(\{y\in \mathbb{R}^n \setminus A\mid \text{dim} (\pi_y(A)) < s\})\leq \max\{k+s -\dim A,0\}. \] The second conjecture is by Liu: Given a Borel set $A\subset \mathbb{R}^n$, then \[ \text{dim} (\{x\in \mathbb{R}^n \setminus A \mid \text{dim}(\pi_x(A))<\text{dim} A\}) \leq \lceil \text{dim} A\rceil. \]


title: Local eigenvalue statistics for higher-rank Anderson models after Dietlein-Elgart

abstract: We use the method of eigenvalue level spacing developed by Dietlein and Elgart (arXiv:1712.03925) to prove that the local eigenvalue statistics (LES) for the Anderson model on $Z^d$, with uniform higher-rank $m \geq 2$, single-site perturbations, is given by a Poisson point process with intensity measure $n(E_0)~ds$, where $n(E_0)$ is the density of states at energy $E_0$ in the region of localization near the spectral band edges. This improves the result of Hislop and Krishna (arXiv:1809.01236), who proved that the LES is a compound Poisson process with L\'evy measure supported on the set $\{1, 2, \ldots, m \}$. Our proofs are an application of the ideas of Dieltein and Elgart to these higher-rank lattice models with two spectral band edges, and illustrate, in a simpler setting, the key steps of the proof of Dieltein and Elgart.


title: Microscopic many-body theory of two-dimensional coherent spectroscopy of excitons and trions in atomically thin transition metal dichalcogenides

abstract: We present a microscopic many-body theory of the recently measured two-dimensional coherent spectroscopy (2DCS) of excitons and trions in monolayer MoSe$_{2}$ materials {[}K. Hao \textit{et al.}, Nano Lett. \textbf{16}, 5109 (2016){]}, where excitons and trions can be well interpreted as repulsive and attractive polarons, respectively, in the dilute limit of exciton density. We derive a simple relation for the 2DCS spectrum in terms of a modified, mixing time-dependent polaron Green function, which is valid in the single exciton limit. Our simulated spectra are in excellent qualitative agreement with experiments without introducing any phenomenological parameters such as decoherence rates. In particular, quantum beats between the off-diagonal crosspeaks in the experimental 2DCS spectra are well reproduced. Our work, therefore, clarifies the microscopic principle that underlies the observed optical signals of exciton-trion coherence. We find that there are two quantitative discrepancies between theory and experiment: the smaller than expected crosspeak strength and the slightly unsynchronized quantum beats at different crosspeaks. Tentatively, we attribute these residual discrepancies to the finite exciton density and the resultant polaron-polaron interaction, which is not taken into account in our theory.


title: Principles of operator algebras

abstract: This is an introduction to the algebras $A\subset B(H)$ that the bounded linear operators $T:H\to H$ can form, once a complex Hilbert space $H$ is given. Motivated by quantum mechanics, we are mostly interested in the von Neumann algebras, which are stable under taking adjoints, $T\to T^*$, and weakly closed. When the algebra has a trace $tr:A\to\mathbb C$, we can think of it as being of the form $A=L^\infty(X)$, with $X$ being a quantum measured space, and of particular interest is the free case, where the center of the algebra is $Z(A)=\mathbb C$. Following Murray, von Neumann, Connes, Jones, Voiculescu, Woronowicz, we discuss here the basic properties of such algebras $A$, and how to do algebra, geometry, analysis and probability on the underlying quantum spaces $X$.


title: Ferroelectric 2D Antimony Oxides with Wide Bandgaps

abstract: The first two-dimensional (2D) polymorphs of antimony dioxide, namely, $\gamma$-Sb$_2$O$_4$ and $\delta$-Sb$_2$O$_4$, are predicted using the evolutionary algorithm combined with first-principles density functional theory (DFT) calculations. Out-of-plane ferroelectricity is found in $\gamma$-Sb$_2$O$_4$, while in-plane ferroelectricity is found in $\delta$-Sb$_2$O$_4$. The predicted dipole moments of $\gamma$-Sb$_2$O$_4$ and $\delta$-Sb$_2$O$_4$ phases are 36.63 and 14.96 e\r{A}, respectively, implying that they can be good candidates for making ferroelectric devices. The calculations show that doping with other group V elements or applying strain can lower the switching energy barriers and thus facilitate switching. Results from GW calculations show indirect band gaps of 5.51 and 3.39 eV for $\gamma$-Sb$_2$O$_4$ and $\delta$-Sb$_2$O$_4$ in their monolayers, respectively. Raman spectra are calculated to facilitate the experimental investigation of the predicted structures. The existence of both in-plane and out-of-plane 2D ferroelectricity and the large band gaps make this material system particularly interesting for potential applications.


title: Gacha Game: When Prospect Theory Meets Optimal Pricing

abstract: I study the optimal pricing process for selling a unit good to a buyer with prospect theory preferences. In the presence of probability weighting, the buyer is dynamically inconsistent and can be either sophisticated or naive about her own inconsistency. If the buyer is naive, the uniquely optimal mechanism is to sell a ``loot box'' that delivers the good with some constant probability in each period. In contrast, if the buyer is sophisticated, the uniquely optimal mechanism introduces worst-case insurance: after successive failures in obtaining the good from all previous loot boxes, the buyer can purchase the good at full price.


title: Maximal Large Deviations and Slow Recurrences in Weakly Chaotic Systems

abstract: We prove a maximal-type large deviation principle for dynamical systems with arbitrarily slow polynomial mixing rates. Also several applications, particularly to billiard systems, are presented.


title: Moon-packing around an Earth-mass Planet

abstract: All 4 giant planets in the Solar System host systems of multiple moons, whereas the terrestrial planets only host up to 2 moons. The Earth can capture small asteroids as temporary satellites, which begs the question as to how many moons could stably orbit the Earth, or an Earth-mass exoplanet. We perform a series of N-body simulations of closely-spaced equal mass moons in nested orbits around an Earth-mass planet orbiting a Sun-like star. The innermost moon begins near the host planets Roche radius, and the system is packed until the outermost moon begins near the stability limit for single moons. The initial spacing of the moons follows an iterative scheme commonly used for studies of compact planetary systems around single stars. For 3-moons system, we generate MEGNO maps to calculate periodic and chaotic regions and to identify the destabilizing MMRs. Our calculations show that the maximum number of moons depends on the assumed masses of the satellites (Ceres-, Pluto-, and Luna-mass) that could maintain stable orbits in a tightly-packed environment. Through our N-body simulations, we find stable configurations for up to 7 $\pm$ 1 Ceres-mass, 4 $\pm$ 1 Pluto-mass, and 3 $\pm$ 1 Luna-mass moons. However, outward tidal migration will likely play a substantial role in the number of moons on stable orbits over the 10 Gyr stellar lifetime of a Sun-like star.


title: An FPGA framework for Interferometric Vision-Based Navigation (iVisNav)

abstract: Interferometric Vision-Based Navigation (iVisNav) is a novel optoelectronic sensor for autonomous proximity operations. iVisNav employs laser emitting structured beacons and precisely characterizes six degrees of freedom relative motion rates by measuring changes in the phase of the transmitted laser pulses. iVisNav's embedded package must efficiently process high frequency dynamics for robust sensing and estimation. A new embedded system for least squares-based rate estimation is developed in this paper. The resulting system is capable of interfacing with the photonics and implement the estimation algorithm in a field-programmable gate array. The embedded package is shown to be a hardware/software co-design handling estimation procedure using finite precision arithmetic for high-speed computation. The accuracy of the finite precision FPGA hardware design is compared with the floating-point software evaluation of the algorithm on MATLAB to benchmark its performance and statistical consistency with the error measures. Implementation results demonstrate the utility of FPGA computing capabilities for high-speed proximity navigation using iVisNav.


title: $\mathcal C_1$-diagrams of slim rectangular semimodular lattices permit quotient diagrams

abstract: Slim semimodular lattices (for short, SPS lattices) and slim rectangular lattices (for short, SR lattices) were introduced by G. Gr\"atzer and E. Knapp in 2007 and 2009. These lattices are necessarily finite and planar, and they have been studied in more then four dozen papers since 2007. They are best understood with the help of their $\mathcal C_1$-diagrams, introduced by the author in 2017. For a diagram $F$ of a finite lattice $L$ and a congruence $\alpha$ of $L$, we define the ``quotient diagram'' $F/\alpha$ by taking the maximal elements of the $\alpha$-blocks and preserving their geometric positions. While $F/\alpha$ is not even a Hasse diagram in general, we prove that whenever $L$ is an SR lattice and $F$ is a $\mathcal C_1$-diagram of $L$, then $F/\alpha$ is a $\mathcal C_1$-diagram of $L/\alpha$, which is an SR lattice or a chain. The class of lattices isomorphic to the congruence lattices of SPS lattices is closed under taking filters. We prove that this class is closed under two more constructions, which are inverses of taking filters in some sense; one of the two respective proofs relies on an inverse of the quotient diagram construction.


title: Cyber Pirates Ahoy! An Analysis of Cybersecurity Challenges in the Shipping Industry

abstract: Maritime shipping has become a trillion-dollar industry that now impacts the economy of virtually every country around the world. It is therefore no surprise that countries and companies have spent billions of dollars to modernize shipping vessels and ports with various technologies. However, the implementation of these technologies has also caught the attention of cybercriminals. For example, a cyberattack on one shipping company resulted in nearly $300 millions in financial losses. Hence, this paper describes cybersecurity vulnerabilities present in the international shipping business. The contribution of this paper is the identification and dissection of cyber vulnerabilities specific to the shipping industry, along with how and why these potential vulnerabilities exist.


title: Shap-CAM: Visual Explanations for Convolutional Neural Networks based on Shapley Value

abstract: Explaining deep convolutional neural networks has been recently drawing increasing attention since it helps to understand the networks' internal operations and why they make certain decisions. Saliency maps, which emphasize salient regions largely connected to the network's decision-making, are one of the most common ways for visualizing and analyzing deep networks in the computer vision community. However, saliency maps generated by existing methods cannot represent authentic information in images due to the unproven proposals about the weights of activation maps which lack solid theoretical foundation and fail to consider the relations between each pixel. In this paper, we develop a novel post-hoc visual explanation method called Shap-CAM based on class activation mapping. Unlike previous gradient-based approaches, Shap-CAM gets rid of the dependence on gradients by obtaining the importance of each pixel through Shapley value. We demonstrate that Shap-CAM achieves better visual performance and fairness for interpreting the decision making process. Our approach outperforms previous methods on both recognition and localization tasks.


title: Continual Learning for Tumor Classification in Histopathology Images

abstract: Recent years have seen great advancements in the development of deep learning models for histopathology image analysis in digital pathology applications, evidenced by the increasingly common deployment of these models in both research and clinical settings. Although such models have shown unprecedented performance in solving fundamental computational tasks in DP applications, they suffer from catastrophic forgetting when adapted to unseen data with transfer learning. With an increasing need for deep learning models to handle ever changing data distributions, including evolving patient population and new diagnosis assays, continual learning models that alleviate model forgetting need to be introduced in DP based analysis. However, to our best knowledge, there is no systematic study of such models for DP-specific applications. Here, we propose CL scenarios in DP settings, where histopathology image data from different sources/distributions arrive sequentially, the knowledge of which is integrated into a single model without training all the data from scratch. We then established an augmented dataset for colorectal cancer H&E classification to simulate shifts of image appearance and evaluated CL model performance in the proposed CL scenarios. We leveraged a breast tumor H&E dataset along with the colorectal cancer to evaluate CL from different tumor types. In addition, we evaluated CL methods in an online few-shot setting under the constraints of annotation and computational resources. We revealed promising results of CL in DP applications, potentially paving the way for application of these methods in clinical practice.


abstract: Blackbox adversarial attacks can be categorized into transfer- and query-based attacks. Transfer methods do not require any feedback from the victim model, but provide lower success rates compared to query-based methods. Query attacks often require a large number of queries for success. To achieve the best of both approaches, recent efforts have tried to combine them, but still require hundreds of queries to achieve high success rates (especially for targeted attacks). In this paper, we propose a novel method for Blackbox Attacks via Surrogate Ensemble Search (BASES) that can generate highly successful blackbox attacks using an extremely small number of queries. We first define a perturbation machine that generates a perturbed image by minimizing a weighted loss function over a fixed set of surrogate models. To generate an attack for a given victim model, we search over the weights in the loss function using queries generated by the perturbation machine. Since the dimension of the search space is small (same as the number of surrogate models), the search requires a small number of queries. We demonstrate that our proposed method achieves better success rate with at least 30x fewer queries compared to state-of-the-art methods on different image classifiers trained with ImageNet. In particular, our method requires as few as 3 queries per image (on average) to achieve more than a 90% success rate for targeted attacks and 1-2 queries per image for over a 99% success rate for untargeted attacks. Our method is also effective on Google Cloud Vision API and achieved a 91% untargeted attack success rate with 2.9 queries per image. We also show that the perturbations generated by our proposed method are highly transferable and can be adopted for hard-label blackbox attacks. We also show effectiveness of BASES for hiding attacks on object detectors.


title: Improved Point Estimation for the Rayleigh Regression Model

abstract: The Rayleigh regression model was recently proposed for modeling amplitude values of synthetic aperture radar (SAR) image pixels. However, inferences from such model are based on the maximum likelihood estimators, which can be biased for small signal lengths. The Rayleigh regression model for SAR images often takes into account small pixel windows, which may lead to inaccurate results. In this letter, we introduce bias-adjusted estimators tailored for the Rayleigh regression model based on: (i) the Cox and Snell's method; (ii) the Firth's scheme; and (iii) the parametric bootstrap method. We present numerical experiments considering synthetic and actual SAR data sets. The bias-adjusted estimators yield nearly unbiased estimates and accurate modeling results.

categories: stat.ME cs.CV eess.IV physics.data-an stat.AP


title: Some geometric inequalities related to Liouville equation

abstract: In this paper, we prove that if $u$ is a solution to the Liouville equation \begin{align} \label{scalliouville} \Delta u+e^{2u} =0 \quad \mbox{in $\mathbb{R}^2$,} \end{align}then the diameter of $\mathbb{R}^2$ under the conformal metric $g=e^{2u}\delta$ is bounded below by $\pi$. Here $\delta$ is the Euclidean metric in $\mathbb{R}^2$. Moreover, we explicitly construct a family of solutions such that the corresponding diameters of $\mathbb{R}^2$ range over $[\pi,2\pi)$. We also discuss supersolutions. We show that if $u$ is a supersolution and $\int_{\mathbb{R}^2} e^{2u} dx<\infty$, then the diameter of $\mathbb{R}^2$ under the metric $e^{2u}\delta$ is less than or equal to $2\pi$. For radial supersolutions, we use both analytical and geometric approaches to prove some inequalities involving conformal lengths and areas of disks in $\mathbb{R}^2$. We also discuss the connection of the above results with the sphere covering inequality in the case of Gaussian curvature bounded below by $1$. Higher dimensional generalizations are also discussed.


title: Transition state theory characterizes thin film macrospin dynamics driven by an oscillatory magnetic field: Inertial effects

abstract: Understanding the magnetization switching process in ferromagnetic thin films is essential for many technological applications. We investigate the effects of periodic driving via magnetic fields on a macrospin system under explicit consideration of inertial dynamics. This is usually achieved by extending the Landau-Lifshitz-Gilbert equation with a term including the second time derivative of the magnetization. The dynamics of the magnetization switching can then be characterized by its switching rate. We apply methods from transition state theory for driven systems to resolve the rate of magnetization switching in this general case. In doing so, we find that magnetization exhibits resonance-like behavior under certain driving conditions, and it can be affected strongly by the system's relaxation rate.


title: Variability Signatures of a Burst Process in Flaring Gamma-ray Blazars

abstract: Blazars exhibit stochastic flux variability across the electromagnetic spectrum, often exhibiting heavy-tailed flux distributions, commonly modeled as lognormal. However, Tavecchio et al. (2020) and Adams et al. (2022) found that the high-energy gamma-ray flux distributions of several of the brightest flaring Fermi-LAT flat spectrum radio quasars (FSRQs) are well modeled by an even heavier-tailed distribution, which we show is the inverse gamma distribution. We propose an autoregressive inverse gamma variability model in which an inverse gamma flux distribution arises as a consequence of a shot-noise process. In this model, discrete bursts are individually unresolved and averaged over within time bins, as in the analysis of Fermi-LAT data. Stochastic variability on timescales longer than the time bin duration is modeled using first-order autoregressive structure. The flux distribution becomes approximately lognormal in the limiting case of many weak bursts. The fractional variability is predicted to decrease as the time bin duration increases. Using simulated light curves, we show that the proposed model is consistent with the typical gamma-ray variability properties of FSRQs and BL Lac objects. The model parameters can be physically interpreted as the average burst rate, the burst fluence, and the timescale of long-term stochastic fluctuations.


title: 2-D Rayleigh Autoregressive Moving Average Model for SAR Image Modeling

abstract: Two-dimensional (2-D) autoregressive moving average (ARMA) models are commonly applied to describe real-world image data, usually assuming Gaussian or symmetric noise. However, real-world data often present non-Gaussian signals, with asymmetrical distributions and strictly positive values. In particular, SAR images are known to be well characterized by the Rayleigh distribution. In this context, the ARMA model tailored for 2-D Rayleigh-distributed data is introduced -- the 2-D RARMA model. The 2-D RARMA model is derived and conditional likelihood inferences are discussed. The proposed model was submitted to extensive Monte Carlo simulations to evaluate the performance of the conditional maximum likelihood estimators. Moreover, in the context of SAR image processing, two comprehensive numerical experiments were performed comparing anomaly detection and image modeling results of the proposed model with traditional 2-D ARMA models and competing methods in the literature.

categories: stat.ME eess.IV eess.SP math.ST physics.data-an stat.TH


title: Transmission Neural Networks: From Virus Spread Models to Neural Networks

abstract: This work connects models for virus spread on networks with their equivalent neural network representations. Based on this connection, we propose a new neural network architecture, called Transmission Neural Networks (TransNNs) where activation functions are primarily associated with links and are allowed to have different activation levels. Furthermore, this connection leads to the discovery and the derivation of three new activation functions with tunable or trainable parameters. Moreover, we prove that TransNNs with a single hidden layer and a fixed non-zero bias term are universal function approximators. Finally, we present new fundamental derivations of continuous time epidemic network models based on TransNNs.


title: Self-dual codes over $\mathbb{F}_5$ and $s$-extremal unimodular lattices

abstract: New $s$-extremal extremal unimodular lattices in dimensions $38$, $40$, $42$ and $44$ are constructed from self-dual codes over $\mathbb{F}_5$ by Construction A. In the process of constructing these codes, we obtain a self-dual $[44,22,14]$ code over $\mathbb{F}_5$. In addition, the code implies a $[43,22,13]$ code over $\mathbb{F}_5$. These codes have larger minimum weights than the previously known $[44,22]$ codes and $[43,22]$ codes, respectively.


title: An Unsupervised Learning Approach for Spectrum Allocation in Terahertz Communication Systems

abstract: We propose a new spectrum allocation strategy, aided by unsupervised learning, for multiuser terahertz communication systems. In this strategy, adaptive sub-band bandwidth is considered such that the spectrum of interest can be divided into sub-bands with unequal bandwidths. This strategy reduces the variation in molecular absorption loss among the users, leading to the improved data rate performance. We first formulate an optimization problem to determine the optimal sub-band bandwidth and transmit power, and then propose the unsupervised learning-based approach to obtaining the near-optimal solution to this problem. In the proposed approach, we first train a deep neural network (DNN) while utilizing a loss function that is inspired by the Lagrangian of the formulated problem. Then using the trained DNN, we approximate the near-optimal solutions. Numerical results demonstrate that comparing to existing approaches, our proposed unsupervised learning-based approach achieves a higher data rate, especially when the molecular absorption coefficient within the spectrum of interest varies in a highly non-linear manner.


title: Moduli Spaces of Sheaves on General Blow-ups of $\mathbb{P}^2$

abstract: Let $X$ be the blow-up of $\mathbb{P}^2$ along $m$ general points, and $A=H-\sum \varepsilon_iE_i$ be a generic polarization with $0<\varepsilon_i\ll1$. We classify the Chern characters which satisfy the weak Brill-Noether property, i.e. a general sheaf in $M_A({\bf{v}})$, the moduli space of slope stable sheaves with Chern character ${\bf{v}}$, has at most one non-zero cohomology. We further give a necessary and sufficient condition for the existence of stable sheaves. Our strategy is to specialize to the case when the $m$ points are collinear.


title: Learning Omnidirectional Flow in 360-degree Video via Siamese Representation

abstract: Optical flow estimation in omnidirectional videos faces two significant issues: the lack of benchmark datasets and the challenge of adapting perspective video-based methods to accommodate the omnidirectional nature. This paper proposes the first perceptually natural-synthetic omnidirectional benchmark dataset with a 360-degree field of view, FLOW360, with 40 different videos and 4,000 video frames. We conduct comprehensive characteristic analysis and comparisons between our dataset and existing optical flow datasets, which manifest perceptual realism, uniqueness, and diversity. To accommodate the omnidirectional nature, we present a novel Siamese representation Learning framework for Omnidirectional Flow (SLOF). We train our network in a contrastive manner with a hybrid loss function that combines contrastive loss and optical flow loss. Extensive experiments verify the proposed framework's effectiveness and show up to 40% performance improvement over the state-of-the-art approaches. Our FLOW360 dataset and code are available at https://siamlof.github.io/.


title: Bias Reducing Multitask Learning on Mental Health Prediction

abstract: There has been an increase in research in developing machine learning models for mental health detection or prediction in recent years due to increased mental health issues in society. Effective use of mental health prediction or detection models can help mental health practitioners re-define mental illnesses more objectively than currently done, and identify illnesses at an earlier stage when interventions may be more effective. However, there is still a lack of standard in evaluating bias in such machine learning models in the field, which leads to challenges in providing reliable predictions and in addressing disparities. This lack of standards persists due to factors such as technical difficulties, complexities of high dimensional clinical health data, etc., which are especially true for physiological signals. This along with prior evidence of relations between some physiological signals with certain demographic identities restates the importance of exploring bias in mental health prediction models that utilize physiological signals. In this work, we aim to perform a fairness analysis and implement a multi-task learning based bias mitigation method on anxiety prediction models using ECG data. Our method is based on the idea of epistemic uncertainty and its relationship with model weights and feature space representation. Our analysis showed that our anxiety prediction base model introduced some bias with regards to age, income, ethnicity, and whether a participant is born in the U.S. or not, and our bias mitigation method performed better at reducing the bias in the model, when compared to the reweighting mitigation technique. Our analysis on feature importance also helped identify relationships between heart rate variability and multiple demographic groupings.


title: Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part I: Definitions & Basic Properties

abstract: For general quadratically-constrained quadratic programming (QCQP), we propose a parabolic relaxation described with convex quadratic constraints. An interesting property of the parabolic relaxation is that the original non-convex feasible set is contained on the boundary of the parabolic relaxation. Under certain assumptions, this property enables one to recover near-optimal feasible points via objective penalization. Moreover, through an appropriate change of coordinates that requires a one-time computation of an optimal basis, the easier-to-solve parabolic relaxation can be made as strong as a semidefinite programming (SDP) relaxation, which can be effective in accelerating algorithms that require solving a sequence of convex surrogates. The majority of theoretical and computational results are given in the next part of this work [57].


title: Training Process of Unsupervised Learning Architecture for Gravity Spy Dataset

abstract: Transient noise appearing in the data from gravitational-wave detectors frequently causes problems, such as instability of the detectors and overlapping or mimicking gravitational-wave signals. Because transient noise is considered to be associated with the environment and instrument, its classification would help to understand its origin and improve the detector's performance. In a previous study, an architecture for classifying transient noise using a time-frequency 2D image (spectrogram) is proposed, which uses unsupervised deep learning combined with variational autoencoder and invariant information clustering. The proposed unsupervised-learning architecture is applied to the Gravity Spy dataset, which consists of Advanced Laser Interferometer Gravitational-Wave Observatory (Advanced LIGO) transient noises with their associated metadata to discuss the potential for online or offline data analysis. In this study, focused on the Gravity Spy dataset, the training process of unsupervised-learning architecture of the previous study is examined and reported.


title: Graph R-CNN: Towards Accurate 3D Object Detection with Semantic-Decorated Local Graph

abstract: Two-stage detectors have gained much popularity in 3D object detection. Most two-stage 3D detectors utilize grid points, voxel grids, or sampled keypoints for RoI feature extraction in the second stage. Such methods, however, are inefficient in handling unevenly distributed and sparse outdoor points. This paper solves this problem in three aspects. 1) Dynamic Point Aggregation. We propose the patch search to quickly search points in a local region for each 3D proposal. The dynamic farthest voxel sampling is then applied to evenly sample the points. Especially, the voxel size varies along the distance to accommodate the uneven distribution of points. 2) RoI-graph Pooling. We build local graphs on the sampled points to better model contextual information and mine point relations through iterative message passing. 3) Visual Features Augmentation. We introduce a simple yet effective fusion strategy to compensate for sparse LiDAR points with limited semantic cues. Based on these modules, we construct our Graph R-CNN as the second stage, which can be applied to existing one-stage detectors to consistently improve the detection performance. Extensive experiments show that Graph R-CNN outperforms the state-of-the-art 3D detection models by a large margin on both the KITTI and Waymo Open Dataset. And we rank first place on the KITTI BEV car detection leaderboard. Code will be available at \url{https://github.com/Nightmare-n/GraphRCNN}.


title: Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part II: Theoretical & Computational Results

abstract: In the first part of this work [32], we introduce a convex parabolic relaxation for quadratically-constrained quadratic programs, along with a sequential penalized parabolic relaxation algorithm to recover near-optimal feasible solutions. In this second part, we show that starting from a feasible solution or a near-feasible solution satisfying certain regularity conditions, the sequential penalized parabolic relaxation algorithm convergences to a point which satisfies Karush-Kuhn-Tucker optimality conditions. Next, we present numerical experiments on benchmark non-convex QCQP problems as well as large-scale instances of system identification problem demonstrating the efficiency of the proposed approach.


title: Constraints on the axial-vector and pseudo-scalar mediated WIMP-nucleus interactions from PandaX-4T experiment

abstract: We present the constraints on the axial-vector and pseudo-scalar mediated WIMP-nucleus interactions from the PandaX-4T experiment, using the data set corresponding to a total exposure of 0.63~tonne$\cdot$year. No significant signal excess is observed, and the most stringent upper limits to date on the spin-dependent WIMP-neutron scattering cross section are set at 90\% confidence level with the minimum WIMP-neutron scattering cross section of 5.8$\times 10^{-42}$\si{\cm^{2}} for WIMP mass of 40~\si{\GeV/}$c^2$. Exclusion limits on the axial-vector and pseudo-scalar simplified models are also derived.


title: Green's Function and Pointwise Behaviors of the Vlasov-Poisson-Fokker-Planck System

abstract: The pointwise space-time behaviors of the Green's function and the global solution to the Vlasov-Poisson-Fokker-Planck (VPFP) system in spatial three dimension are studied in this paper. It is shown that the Green's function consists of the diffusion waves decaying exponentially in time but algebraically in space, and the singular kinetic waves which become smooth for all $(t,x,v)$ when $t>0.$ Furthermore, we establish the pointwise space-time behaviors of the global solution to the nonlinear VPFP system when the initial data is not necessarily smooth in terms of the Green's function.


title: Full Set of Superconducting Parameters of K$_3$C$_{60}$

abstract: The superconducting parameters are the key for building or identifying the theory responsible for the mechanism of superconductivity. Such parameters for fulleride superconductors have not been well established despite the tremendous efforts over the past 30 years. Here we provide a full set of parameters through a systematic study on a well-characterized K$_{3}$C$_{60}$ sample. The obtained high upper critical field of 33.0$\pm$0.5 T from the direct electrical transport measurements together with the relatively high critical temperature and large critical current density classifies K$_{3}$C$_{60}$ as a promising three-dimensional superconducting magnet material with the advantage of the rich carbon abundance on the Earth. This high upper critical field along with the large reduced superconducting energy gap and strong phonon self-energy effect supports the strong electron-phonon coupling interactions in this superconductor. The evaluation of all self-consistently obtained parameters suggests the unconventional nature of the superconductivity for K$_3$C$_{60}$ with the joint contributions from the strong electron-phonon coupling and electron correlations. These results and findings are important not only for fundamentally understanding the superconductivity in fullerides but also for future superconducting magnet developments and applications.


title: Cosmological perturbations in the spatially covariant gravity with a dynamical lapse function

abstract: We investigate the scalar perturbations in a class of spatially covariant gravity theory with a dynamical lapse function. Generally, there are two scalar degrees of freedom due to the presence of the velocity of the lapse function. We treat the scalar perturbations as analogues of those in a two-field inflationary mode, in which one is light mode and the other is the heavy mode. This is justified by the fact that the scalar mode due to the dynamical lapse function becomes infinitely heavy in the limit when the lapse function reduces to be an auxiliary variable. The standard approaches of multiple filed perturbations can be applied to deal with our model. By integrating out the heavy mode and derive the effective theory for the single light field, we find the solution to the single mode in the form of plane waves. Then we calculate the corrections to the power spectrum of the light mode from the heavy mode, by making use of the standard perturbative method of field theory. At last, when the two fields are not weakly coupled, we find a power law mode for the coupled system in large scales.


title: Generalized Estimators, Slope, Efficiency, and Fisher Information Bounds

abstract: Point estimators may not exist, need not be unique, and their distributions are not parameter invariant. Generalized estimators provide distributions that are parameter invariant, unique, and exist when point estimates do not. Comparing point estimators using variance is less useful when estimators are biased. A squared slope $\Lambda$ is defined that can be used to compare both point and generalized estimators and is unaffected by bias. Fisher information $I$ and variance are fundamentally different quantities: the latter is defined at a distribution that need not belong to a family, while the former cannot be defined without a family of distributions, $M$. Fisher information and $\Lambda$ are similar quantities as both are defined on the tangent bundle $T\!M$ and $I$ provides an upper bound, $\Lambda\le I$, that holds for all sample sizes -- asymptotics are not required. Comparing estimators using $\Lambda$ rather than variance supports Fisher's claim that $I$ provides a bound even in small samples. $\Lambda$-efficiency is defined that extends the efficiency of unbiased estimators based on variance. While defined by the slope, $\Lambda$-efficiency is simply $\rho^{2}$, the square of the correlation between estimator and score function.


title: An Enclave-based TEE for SE-in-SoC in RISC-V Industry

abstract: Secure Element (SE) in SoC sees an increasing adoption in industry. Many applications in IoT devices are bound to the SE because it provides strong cryptographic functions and physical protection. Though SE-in-SoC provides strong proven isolation for software programs, it also brings more design complexity and higher cost to PCB board building. More, SE-in-SoC may still have security concerns, such as malware installation and user impersonation. In this work, we employ TEE, a hardware-backed security technique, for protecting SE-in-SoC and RISCV. In particular, we construct various enclaves for isolating applications and manipulating the SE, with the inherently-secure primitives provided by RISC-V. Using hardware and software co-design, the solution ensures trusted execution and secure communication among applications. The security of SE is further protected by enforcing the SE to be controlled by a trusted enclave and making the RISC-V core resilient to side-channel attacks.


title: Estimation of Heterogeneous Treatment Effects Using Quantile Regression with Interactive Fixed Effects

abstract: We study the estimation of heterogeneous effects of group-level policies, using quantile regression with interactive fixed effects. Our approach can identify distributional policy effects, particularly effects on inequality, under a type of difference-in-differences assumption. We provide asymptotic properties of our estimators and an inferential method. We apply the model to evaluate the effect of the minimum wage policy on earnings between 1967 and 1980 in the United States. Our results suggest that the minimum wage policy has a significant negative impact on the between-inequality but little effect on the within-inequality.


title: Debiased Cross-modal Matching for Content-based Micro-video Background Music Recommendation

abstract: Micro-video background music recommendation is a complicated task where the matching degree between videos and uploader-selected background music is a major issue. However, the selection of the user-generated content (UGC) is biased caused by knowledge limitations and historical preferences among music of each uploader. In this paper, we propose a Debiased Cross-Modal (DebCM) matching model to alleviate the influence of such selection bias. Specifically, we design a teacher-student network to utilize the matching of segments of music videos, which is professional-generated content (PGC) with specialized music-matching techniques, to better alleviate the bias caused by insufficient knowledge of users. The PGC data is captured by a teacher network to guide the matching of uploader-selected UGC data of the student network by KL-based knowledge transfer. In addition, uploaders' personal preferences of music genres are identified as confounders that spuriously correlate music embeddings and background music selections, resulting in the learned recommender system to over-recommend music from the majority groups. To resolve such confounders in the UGC data of the student network, backdoor adjustment is utilized to deconfound the spurious correlation between music embeddings and prediction scores. We further utilize Monte Carlo (MC) estimator with batch-level average as the approximations to avoid integrating the entire confounder space calculated by the adjustment. Extensive experiments on the TT-150k-genre dataset demonstrate the effectiveness of the proposed method towards the selection bias. The code is publicly available on: \url{https://github.com/jing-1/DebCM}.


title: PDE-Based Optimization for Advection Diffusion Equation in 2D Domain

abstract: In this paper, we propose a PDE-based optimization motivated by the problem of microfluidic heat transfer to finding the optimal incompressible velocity fields in 2D domain. To solve this optimization model, we use spectral method to discretize the model to obtain an ODE based optimization. This way significantly reduces the complexity of the discretization optimization model, and gives a more accurate approximation of the original PDE based optimization. Some theoretical results are obtained.