title: Stochastic quantization of the $\Phi^3_3$-model

abstract: (Due to the limit on the number of characters for an abstract set by arXiv, the full abstract can not be displayed here. See the abstract in the paper.) We study the construction of the $\Phi^3_3$-measure and complete the program on the (non-)construction of the focusing Gibbs measures, initiated by Lebowitz, Rose, and Speer (1988). This problem turns out to be critical, exhibiting the following phase transition. In the weakly nonlinear regime, we prove normalizability of the $\Phi^3_3$-measure and show that it is singular with respect to the massive Gaussian free field. Moreover, we show that there exists a shifted measure with respect to which the $\Phi^3_3$-measure is absolutely continuous. In the strongly nonlinear regime, by further developing the machinery introduced by the authors (2020), we establish non-normalizability of the $\Phi^3_3$-measure. Due to the singularity of the $\Phi^3_3$-measure with respect to the massive Gaussian free field, this non-normalizability part poses a particular challenge as compared to our previous works. In order to overcome this issue, we first construct a $\sigma$-finite version of the $\Phi^3_3$-measure and show that this measure is not normalizable. Furthermore, we prove that the truncated $\Phi^3_3$-measures have no weak limit in a natural space, even up to a subsequence. We also study the dynamical problem. By adapting the paracontrolled approach, in particular from the works by Gubinelli, Koch, and the first author (2018) and by the authors (2020), we prove almost sure global well-posedness of the hyperbolic $\Phi^3_3$-model and invariance of the Gibbs measure in the weakly nonlinear regime. In the globalization part, we introduce a new, conceptually simple and straightforward approach, where we directly work with the (truncated) Gibbs measure, using the variational formula and ideas from theory of optimal transport.


title: Discrete sampling of correlated random variables modifies the long-time behavior of their extreme value statistics

abstract: We consider the extreme value statistics of correlated random variables that arise from a Langevin equation. Recently, it was shown that the extreme values of the Ornstein-Uhlenbeck process follow a different distribution than those originating from its equilibrium measure, composed of independent and identically distributed Gaussian random variables. Here, we first focus on the discretely sampled Ornstein-Uhlenbeck process, which interpolates between these two limits. We show that in the limit of large times, its extreme values converge to those of the equilibrium distribution, instead of those of the continuously sampled process. This finding folds for any positive sampling interval, with an abrupt transition at zero. We then analyze the Langevin equation for any force that gives rise to a stable equilibrium distribution. For forces which asymptotically grow with the distance from the equilibrium point, the above conclusion continues to hold, and the extreme values for large times correspond to those of independent variables drawn from the equilibrium distribution. However, for forces which asymptotically decay to zero with the distance, the discretely sampled extreme value statistics at large times approach those of the continuously sampled process.

categories: cond-mat.stat-mech math-ph math.MP physics.data-an


title: Non-convex Generalized Nash Games for Energy Efficient Power Allocation and Beamforming in mmWave Networks

abstract: Network management is a fundamental ingredient for efficient operation of wireless networks. With increasing bandwidth, number of antennas and number of users, the amount of information required for network management increases significantly. Therefore, distributed network management is a key to efficient operation of future networks. This paper focuses on the problem of distributed joint beamforming control and power allocation in ad-hoc mmWave networks. Over the shared spectrum, a number of multi-input-multi-output links attempt to minimize their supply power by simultaneously finding the locally optimal power allocation and beamformers in a self-organized manner. Our design considers a family of non-convex quality-of-service constraint and utility functions characterized by monotonicity in the strategies of the various users. We propose a two-stage, decentralized optimization scheme, where the adaptation of power levels and beamformer coefficients are iteratively performed by each link. We first prove that given a set of receive beamformers, the power allocation stage converges to an optimal generalized Nash equilibrium of the generalized power allocation game. Then we prove that iterative minimum-mean-square-error adaptation of the receive beamformer results in an overall converging scheme. Several transmit beamforming schemes requiring different levels of information exchange are also compared in the proposed allocation framework. Our simulation results show that allowing each link to optimize its transmit filters using the direct channel results in a near optimum performance with very low computational complexity, even though the problem is highly non-convex.


title: Dynamics of Ostrowski skew-product: I. Limit laws and Hausdorff dimensions

abstract: We present a dynamical and spectral study of Ostrowski's map based on the use of transfer operators. The Ostroswki dynamical system is obtained as a skew-product of the Gauss map (it has the Gauss map as a base and interval fibers) and produces expansions of real numbers with respect to an irrational base given by continued fractions. By studying spectral properties of the associated transfer operator, we show that the Ostroswki dynamical system admits an absolutely continuous invariant measure with piecewise holomorphic density and exponential mixing properties. We deduce a central limit theorem for associated random variables of an arithmetic nature and motivated by applications in inhomogeneous Diophantine approximation, we get Bowen--Ruelle type implicit estimates in terms of spectral elements for the Hausdorff dimension of a certain bounded digit set.


title: Online Continual Learning For Visual Food Classification

abstract: Food image classification is challenging for real-world applications since existing methods require static datasets for training and are not capable of learning from sequentially available new food images. Online continual learning aims to learn new classes from data stream by using each new data only once without forgetting the previously learned knowledge. However, none of the existing works target food image analysis, which is more difficult to learn incrementally due to its high intra-class variation with the unbalanced and unpredictable characteristics of future food class distribution. In this paper, we address these issues by introducing (1) a novel clustering based exemplar selection algorithm to store the most representative data belonging to each learned food for knowledge replay, and (2) an effective online learning regime using balanced training batch along with the knowledge distillation on augmented exemplars to maintain the model performance on all learned classes. Our method is evaluated on a challenging large scale food image database, Food-1K, by varying the number of newly added food classes. Our results show significant improvements compared with existing state-of-the-art online continual learning methods, showing great potential to achieve lifelong learning for food image classification in real world.


title: Longitudinal Z-boson polarization and the Higgs boson production cross-section

abstract: We present a study of the LHC (and HL-LHC) potential towards a precise determination of the gluon parton distribution function of the proton at intermediate Bjorken-$x$ from measurements of Drell-Yan production. To this extent, we exploit a clean and theoretically well predicted observable: the Drell-Yan lepton angular coefficient $A_0$, associated with the longitudinal polarization of the Z boson. Through a detailed numerical analysis using the open-source xFitter platform, we illustrate how this observable can provide significant sensitivity over current determinations of the gluon PDF, and a reduction in the PDF uncertainty on the Higgs boson production cross-section by a factor of over 50\%.


title: Event2Graph: Event-driven Bipartite Graph for Multivariate Time-series Anomaly Detection

abstract: Modeling inter-dependencies between time-series is the key to achieve high performance in anomaly detection for multivariate time-series data. The de-facto solution to model the dependencies is to feed the data into a recurrent neural network (RNN). However, the fully connected network structure underneath the RNN (either GRU or LSTM) assumes a static and complete dependency graph between time-series, which may not hold in many real-world applications. To alleviate this assumption, we propose a dynamic bipartite graph structure to encode the inter-dependencies between time-series. More concretely, we model time series as one type of nodes, and the time series segments (regarded as event) as another type of nodes, where the edge between two types of nodes describe a temporal pattern occurred on a specific time series at a certain time. Based on this design, relations between time series can be explicitly modelled via dynamic connections to event nodes, and the multivariate time-series anomaly detection problem can be formulated as a self-supervised, edge stream prediction problem in dynamic graphs. We conducted extensive experiments to demonstrate the effectiveness of the design.


title: Spectral Filtering Induced by Non-Hermitian Evolution with Balanced Gain and Loss: Enhancing Quantum Chaos

abstract: The dynamical signatures of quantum chaos in an isolated system are captured by the spectral form factor, which exhibits as a function of time a dip, a ramp, and a plateau, with the ramp being governed by the correlations in the level spacing distribution. While decoherence generally suppresses these dynamical signatures, the nonlinear non-Hermitian evolution with balanced gain and loss (BGL) in an energy-dephasing scenario can enhance manifestations of quantum chaos. In the Sachdev-Ye-Kitaev model and random matrix Hamiltonians, BGL increases the span of the ramp, lowering the dip as well as the value of the plateau, providing an experimentally realizable physical mechanism for spectral filtering. The chaos enhancement due to BGL is optimal over a family of filter functions that can be engineered with fluctuating Hamiltonians.

categories: quant-ph cond-mat.mes-hall hep-th nlin.CD


title: Rare decays of the positronium ion and molecule, $\text{Ps}^{-}\to e^{-}\gamma$ and $\text{Ps}_{2}\to e^{+}e^{-}\gamma,~\gamma\gamma,~e^{+}e^{-}$

abstract: Decay rates of the positronium molecule $\text{Ps}_{2}$ into two photons and into an electron-positron pair are determined. Previous studies find that these rates are very different, \[ \Gamma\left(\text{Ps}_{2}\to e^{+}e^{-}\right)/\Gamma\left(\text{Ps}_{2}\to\gamma\gamma\right)\simeq250\text{ (previous studies)}. \] This is puzzling since both processes have two body final states and are of the same order in the fine structure constant. We propose a simple calculational method and test it with the well-established decay of the positronium ion into an electron and a photon. We then employ it to correct predictions for both these $\text{Ps}_{2}$ decays. We find that previous studies overestimated the $e^{+}e^{-}$ and underestimated the $\gamma\gamma$ channel by factors of about 5.44 and 3.93 respectively. Our results give $\Gamma\left(\text{Ps}_2\to e^+e^-\right)/\Gamma\left(\text{Ps}_2 \to \gamma\gamma\right) \simeq 11.7$.


title: Stable sets of contracts in two-sided markets

abstract: We revisit the problem of existence of stable systems of contracts with arbitrary sets of contracts. We show that stable sets of contracts exists if choices of agents satisfy path-independence. We call such choice functions Plott functions. Our proof is based on application of Zorn lemma to a special poset of semi-stable pairs. Moreover, we construct a dynamic process on the poset (generalizing algorithm Gale and Shapley) steady states of which are stable sets. In Appendix we discuss Lehmann hyper-orders and establish a bijection between the set of Lehmann hyper-orders and the set of Plott functions.


title: Lipschitz regularity of energy-minimal mappings between doubly connected Riemann surfaces

abstract: Let $M$ and $N$ be doubly connected Riemann surfaces with $\mathscr{C}^{1,\alpha}$ boundaries and with nonvanishing conformal metrics $\sigma$ and $\wp$ respectively, and assume that $\wp$ is a smooth metric with bounded Gauss curvature $\mathcal{K}$ and finite area. Assume that ${\Ho}_\rho(M, N)$ is the class of all $\mathscr{W}^{1,2}$ bomeomorphisms between $M$ and $N$ and assume that $\mathcal{E}^\wp: \overline{\Ho}_\rho(M, N)\to \mathbf{R}$ is the Dirichlet-energy functional, where $\overline{\Ho}_\rho(M, N)$ is the closure of ${\Ho}_\rho(M, N)$ in $\mathscr{W}^{1,2}(M,N)$. By using a result of Iwaniec, Kovalev and Onninen in \cite{duke} that the minimizer, is locally Lipschitz, we prove that the minimizer, of the energy functional $\mathcal{E}^\wp$, which is not a diffeomorphism in general, is a globally Lipschitz mapping of $M$ onto $N$.


title: Coherent photoproduction of $J/\psi$ in nucleus-nucleus collisions in the color dipole approach- an update

abstract: We discuss the role of $c \bar c g$-Fock states in the diffractive photoproduction of $J/\psi$-mesons. We build on our earlier description of the process in the color-dipole approach, where we took into account the rescattering of $c \bar c$ pairs using a Glauber-Gribov form of the dipole-nucleus amplitude. We compare the results of our calculations to recent data on the photoproduction of $J/\psi$ by the ALICE and LHCb collaborations.


title: Augmenting GRIPS with Heuristic Sampling for Planning Feasible Trajectories of a Car-Like Robot

abstract: Kinodynamic motion planning for non-holomonic mobile robots is a challenging problem that is lacking a universal solution. One of the computationally efficient ways to solve it is to build a geometric path first and then transform this path into a kinematically feasible one. Gradient-informed Path Smoothing (GRIPS) is a recently introduced method for such transformation. GRIPS iteratively deforms the path and adds/deletes the waypoints while trying to connect each consecutive pair of them via the provided steering function that respects the kinematic constraints. The algorithm is relatively fast but, unfortunately, does not provide any guarantees that it will succeed. In practice, it often fails to produce feasible trajectories for car-like robots with large turning radius. In this work, we introduce a range of modifications that are aimed at increasing the success rate of GRIPS for car-like robots. The main enhancement is adding the additional step that heuristically samples waypoints along the bottleneck parts of the geometric paths (such as sharp turns). The results of the experimental evaluation provide a clear evidence that the success rate of the suggested algorithm is up to 40% higher compared to the original GRIPS and hits the bar of 90%, while its runtime is lower.


title: Strong Conformity and Assembly Bias: Towards a Physical Understanding of the Galaxy-Halo Connection in SDSS Clusters

abstract: Understanding the physical connection between cluster galaxies and massive haloes is key to mitigating systematic uncertainties in next-generation cluster cosmology. We develop a novel method to infer the level of conformity between the stellar mass of the brightest central galaxies~(BCGs) $M_*^{BCG}$ and the satellite richness $\lambda$, defined as their correlation coefficient $\rho_{cc}$ at fixed halo mass, using the abundance and weak lensing of SDSS clusters as functions of $M_*^{BCG}$ and $\lambda$. We detect a halo mass-dependent conformity as $\rho_{cc}{=}0.60{+}0.08\ln(M_h/3{\times}10^{14}M_{\odot}/h)$. The strong conformity successfully resolves the "halo mass equality" conundrum discovered in Zu et al. 2021 -- when split by $M_*^{BCG}$ at fixed $\lambda$, the low and high-$M_*^{BCG}$ clusters have the same average halo mass despite having a $0.34$ dex discrepancy in average $M_*^{BCG}$. On top of the best-fitting conformity model, we develop a cluster assembly bias~(AB) prescription calibrated against the CosmicGrowth simulation, and build a conformity+AB model for the cluster weak lensing measurements. Our model predicts that with a ${\sim}20\%$ lower halo concentration $c$, the low-$M_*^{BCG}$ clusters are ${\sim}10\%$ more biased than the high-$M_*^{BCG}$ systems, in excellent agreement with the observations. We also show that the observed conformity and assembly bias are unlikely due to projection effects. Finally, we build a toy model to argue that while the early-time BCG-halo co-evolution drives the $M_*^{BCG}$-$c$ correlation, the late-time dry merger-induced BCG growth naturally produces the $M_*^{BCG}$-$\lambda$ conformity despite the well-known anti-correlation between $\lambda$ and $c$. Our method paves the path towards simultaneously constraining cosmology and cluster formation with future cluster surveys.


title: Electromagnetic response of hot QCD medium in the presence of background time-varying fields

abstract: The response of the hot QCD medium in the presence of external time dependent electromagnetic fields has been studied within the relativistic Boltzmann transport theory. The impact of the time dependence of the electromagnetic fields and collisional aspects of the medium to the induced electric and Hall current densities has been explored. The non-equilibrium momentum distribution of degrees of freedom has been obtained in the presence of space-time varying electromagnetic fields. Further, the analysis has been extended to an anisotropic QCD medium while incorporating the in-medium interaction effects. It is observed that the electric charge transport is sensitive to the inhomogeneity of the fields and the momentum anisotropy of the QCD medium.


title: The Chang-Marshall Trace Inequality for Sobolev functions in domains in higher dimensional space $\mathbb{R}^n$

abstract: In their celebrated work [5], Chang and Marshall established a critical trace inequality of Moser-Trudinger type for holomorphic functions with mean value zero on unit disc in the complex plane. The main purpose is to address a question proposed to us by S. Y. Alice Chang who asked whether the Chang-Marshall type inequality for holomorphic functions on unit disk in the complex plane holds for Sobolev functions on general domains in higher dimensional Euclidean space $\mathbb{R}^n$ for all $n\ge 2$. We partially answer her question affirmatively.


title: Infinite series of time-dependent Dyson maps

abstract: We propose and explore a scheme that leads to an infinite series of time- dependent Dyson maps which associate different Hermitian Hamiltonians to a uniquely specified time-dependent non-Hermitian Hamiltonian. We identify the underlying sym- metries responsible for this feature respected by various Lewis-Riesenfeld invariants. The latter are used to facilitate the explicit construction of the Dyson maps and metric oper- ators. As a concrete example for which the scheme is worked out in detail we present a two-dimensional system of oscillators that are coupled to each other in a non-Hermitian PT -symmetrical fashion


title: On the automorphism groups of some Leibniz algebras

abstract: We study the automorphism groups of finite-dimensional cyclic Leibniz algebras. In this connection, we consider the relationships between groups, modules over associative rings and Leibniz algebras.


title: Fragments in symmetric configurations with block size 3

abstract: We begin the study of collections of three blocks which can occur in a symmetric configuration with block size 3, $v_3$. Formulae are derived for the number of occurrences of these and it is shown that the triangle, i.e. abf, ace, bcd is a basis. It is also shown that symmetric configurations without triangles exist if and only if $v=15$ or $v \geq 17$. Such configurations containing "many" triangles are also discussed and a complete analysis of the triangle content of those with a cyclic automorphism is given.


title: Self intersections on a pair of pants

abstract: In this paper1 , we use the coding developed by R. Bowen and C. Series to compute the number of self-intersections of a closed geodesic on a pair of pants. We give lower and upper bounds on the number of self-intersections of a closed geodesic on a pair of pants. We prove a conjecture of Moira Chas and Anthony Phillips in [4]. We get also bounds for the number of closed geodesics whose self-intersection number is very close to the maximal self-intersection number on a pair of pants


abstract: Recent works have theoretically and empirically shown that deep neural networks (DNNs) have an inherent vulnerability to small perturbations. Applying the Deep k-Nearest Neighbors (DkNN) classifier, we observe a dramatically increasing robustness-accuracy trade-off as the layer goes deeper. In this work, we propose a Deep Adversarially-Enhanced k-Nearest Neighbors (DAEkNN) method which achieves higher robustness than DkNN and mitigates the robustness-accuracy trade-off in deep layers through two key elements. First, DAEkNN is based on an adversarially trained model. Second, DAEkNN makes predictions by leveraging a weighted combination of benign and adversarial training data. Empirically, we find that DAEkNN improves both the robustness and the robustness-accuracy trade-off on MNIST and CIFAR-10 datasets.


title: Extracting Einstein from the Loop-Level Double-Copy

abstract: The naive double-copy of (multi) loop amplitudes involving massive matter coupled to gauge theories will generically produce amplitudes in a gravitational theory that contains additional contributions from propagating antisymmetric tensor and dilaton states even at tree-level. We present a graph-based approach that combines the method of maximal cuts with double-copy construction to offer a systematic framework to isolate the pure Einstein-Hilbert gravitational contributions through loop level. Indeed this allows for a bootstrap of pure-gravitational results from the double-copy of massive scalar-QCD. We apply this to construct the novel result of the D-dimensional one-loop five-point QFT integrand relevant in the classical limit to generating observables associated with the radiative effects of massive black-hole scattering via pure Einstein-Hilbert gravity.


title: Constructive representation of primitive Pythagorean triples

abstract: The paper presents a systematic construction of primitive Pythagorean triples. The order of enumeration on the set of primitive Pythagorean triples is defined. The order is based on the representation of a primitive Pythagorean triple by dividing the side of the generating square into two groups of factors using gnomons. In paper is shown the inverse mapping of the elements of a primitive Pythagorean triple to the parameters of the partition of the side of the generating square, the representation of primitive Pythagorean triples as the sum of two connected gnomons, a one-to-one correspondence of the connected gnomons of the primitive Pythagorean triple with the corresponding arithmetic progressions. Also the property of such arithmetic progressions as connectedness with each other, namely, partial overlap, is found. The motion (configuration change) of the connected gnomons is shown during the transition of a primitive Pythagorean triple to a general Pythagorean triple, all the terms of which have one common coefficient.


title: The Marine Debris Dataset for Forward-Looking Sonar Semantic Segmentation

abstract: Accurate detection and segmentation of marine debris is important for keeping the water bodies clean. This paper presents a novel dataset for marine debris segmentation collected using a Forward Looking Sonar (FLS). The dataset consists of 1868 FLS images captured using ARIS Explorer 3000 sensor. The objects used to produce this dataset contain typical house-hold marine debris and distractor marine objects (tires, hooks, valves,etc), divided in 11 classes plus a background class. Performance of state of the art semantic segmentation architectures with a variety of encoders have been analyzed on this dataset and presented as baseline results. Since the images are grayscale, no pretrained weights have been used. Comparisons are made using Intersection over Union (IoU). The best performing model is Unet with ResNet34 backbone at 0.7481 mIoU. The dataset is available at https://github.com/mvaldenegro/marine-debris-fls-datasets/


title: Deformations of homotopy theories via algebraic theories

abstract: We develop a homotopical variant of the classic notion of an algebraic theory as a tool for producing deformations of homotopy theories. From this, we extract a framework for constructing and reasoning with obstruction theories and spectral sequences that compute homotopical data starting with purely algebraic data.


title: Algebraic theories of power operations

abstract: We develop and exposit some general algebra useful for working with certain algebraic structures that arise in stable homotopy theory, such as those encoding well-behaved theories of power operations for $\mathbb{E}_\infty$ ring spectra. In particular, we consider Quillen cohomology in the context of algebras over algebraic theories, plethories, and Koszul resolutions for algebras over additive theories. By combining this general algebra with obstruction-theoretic machinery, we obtain tools for computing with $\mathbb{E}_\infty$ algebras over $\mathbb{F}_p$ and over Lubin-Tate spectra. As an application, we demonstrate the existence of $\mathbb{E}_\infty$ periodic complex orientations at heights $h\leq 2$.


title: Observation of ultrafast interfacial Meitner-Auger energy transfer in a van der Waals heterostructure

abstract: Atomically thin layered van der Waals heterostructures feature exotic and emergent optoelectronic properties. With growing interest in these novel quantum materials, the microscopic understanding of fundamental interfacial coupling mechanisms is of capital importance. Here, using multidimensional photoemission spectroscopy, we provide a layer- and momentum-resolved view on ultrafast interlayer electron and energy transfer in a monolayer-WSe$_2$/graphene heterostructure. Depending on the nature of the optically prepared state, we find the different dominating transfer mechanisms: while electron injection from graphene to WSe$_2$ is observed after photoexcitation of quasi-free hot carriers in the graphene layer, we establish an interfacial Meitner-Auger energy transfer process following the excitation of excitons in WSe$_2$. By analysing the time-energy-momentum distributions of excited-state carriers with a rate-equation model, we distinguish these two types of interfacial dynamics and identify the ultrafast conversion of excitons in WSe$_2$ to valence band transitions in graphene. Microscopic calculations find interfacial dipole-monopole coupling underlying the Meitner-Auger energy transfer to dominate over conventional F\"orster- and Dexter-type interactions, in agreement with the experimental observations. The energy transfer mechanism revealed here might enable new hot-carrier-based device concepts with van der Waals heterostructures.


title: On a question of Mend\`es France on normal numbers

abstract: In 2008 or earlier, Michel Mend\`es France asked for an instance of a real number $x$ such that both $x$ and $1/x$ are simply normal to a given integer base $b$. We give a positive answer to this question by constructing a number $x$ such that both $x$ and its reciprocal $1/x$ are continued fraction normal as well as normal to all integer bases greater than or equal to $2$. Moreover, $x$ and $1/x$ are both computable.


title: SSH: A Self-Supervised Framework for Image Harmonization

abstract: Image harmonization aims to improve the quality of image compositing by matching the "appearance" (\eg, color tone, brightness and contrast) between foreground and background images. However, collecting large-scale annotated datasets for this task requires complex professional retouching. Instead, we propose a novel Self-Supervised Harmonization framework (SSH) that can be trained using just "free" natural images without being edited. We reformulate the image harmonization problem from a representation fusion perspective, which separately processes the foreground and background examples, to address the background occlusion issue. This framework design allows for a dual data augmentation method, where diverse [foreground, background, pseudo GT] triplets can be generated by cropping an image with perturbations using 3D color lookup tables (LUTs). In addition, we build a real-world harmonization dataset as carefully created by expert users, for evaluation and benchmarking purposes. Our results show that the proposed self-supervised method outperforms previous state-of-the-art methods in terms of reference metrics, visual quality, and subject user study. Code and dataset are available at \url{https://github.com/VITA-Group/SSHarmonization}.


title: What can Neural Referential Form Selectors Learn?

abstract: Despite achieving encouraging results, neural Referring Expression Generation models are often thought to lack transparency. We probed neural Referential Form Selection (RFS) models to find out to what extent the linguistic features influencing the RE form are learnt and captured by state-of-the-art RFS models. The results of 8 probing tasks show that all the defined features were learnt to some extent. The probing tasks pertaining to referential status and syntactic position exhibited the highest performance. The lowest performance was achieved by the probing models designed to predict discourse structure properties beyond the sentence level.


title: An authentication model based on cryptography

abstract: In this paper we proposed an authentication technique based on the user cards, to improve the authentication process in systems that allows remote access for the users, and raise the security rate during an exchange of their messages. in this technique the server performs two functions, the first function, register the users, and give him user ID, PIN code, and user private card contains secrecy information, which is used to encrypt user messages by using two kinds of encryption symmetric using RC4-Pr and asymmetric using RSA encryption., the second function, distribute the user's public card if the user demand that, in which the user sends the own authentication code with their own user ID and recipient user ID to the authentication check, and then the server sends the user public card to the recipient user, thus the sender user can send the messages to recipient user without back to the server again. We attained confidentiality using RC4-Pr and RSA encryption and message authentication, user signature, and mutual secret key by using RSA encryption. in this paper we also implement the proposal in [1] RC4-pr algorithm which is modified to improve the key weakness of basic RC4.


title: Implicit Regularization of Bregman Proximal Point Algorithm and Mirror Descent on Separable Data

abstract: Bregman proximal point algorithm (BPPA) has witnessed emerging machine learning applications, yet its theoretical understanding has been largely unexplored. We study the computational properties of BPPA through learning linear classifiers with separable data, and demonstrate provable algorithmic regularization of BPPA. For any BPPA instantiated with a fixed Bregman divergence, we provide a lower bound of the margin obtained by BPPA with respect to an arbitrarily chosen norm. The obtained margin lower bound differs from the maximal margin by a multiplicative factor, which inversely depends on the condition number of the distance-generating function measured in the dual norm. We show that the dependence on the condition number is tight, thus demonstrating the importance of divergence in affecting the quality of the learned classifiers. We then extend our findings to mirror descent, for which we establish similar connections between the margin and Bregman divergence, together with a non-asymptotic analysis. Numerical experiments on both synthetic and real-world datasets are provided to support our theoretical findings. To the best of our knowledge, the aforementioned findings appear to be new in the literature of algorithmic regularization.


title: On Morse Index Retrieval

abstract: A smooth function f in a neighbourhood of the unit sphere $S^{n - 1}$ is said to admit index $\lambda$ if it can be extended to a function F in the unit ball $B^n$ such that F has a unique critical point p and the Morse index of p is equal to $\lambda$. It is easy to see that a function f cannot admit two indices of different parity. We prove that for any two indices that differ by two there exists a function f that admits both of them.


title: SCIDA: Self-Correction Integrated Domain Adaptation from Single- to Multi-label Aerial Images

abstract: Most publicly available datasets for image classification are with single labels, while images are inherently multi-labeled in our daily life. Such an annotation gap makes many pre-trained single-label classification models fail in practical scenarios. This annotation issue is more concerned for aerial images: Aerial data collected from sensors naturally cover a relatively large land area with multiple labels, while annotated aerial datasets, which are publicly available (e.g., UCM, AID), are single-labeled. As manually annotating multi-label aerial images would be time/labor-consuming, we propose a novel self-correction integrated domain adaptation (SCIDA) method for automatic multi-label learning. SCIDA is weakly supervised, i.e., automatically learning the multi-label image classification model from using massive, publicly available single-label images. To achieve this goal, we propose a novel Label-Wise self-Correction (LWC) module to better explore underlying label correlations. This module also makes the unsupervised domain adaptation (UDA) from single- to multi-label data possible. For model training, the proposed model only uses single-label information yet requires no prior knowledge of multi-labeled data; and it predicts labels for multi-label aerial images. In our experiments, trained with single-labeled MAI-AID-s and MAI-UCM-s datasets, the proposed model is tested directly on our collected Multi-scene Aerial Image (MAI) dataset.


title: Existence and data dependence results for the fixed points of multivalued mappings

abstract: We introduce multivalued G\'{o}rnicki mapping and various new types of multivalued enriched contractive mappings, viz., multivalued enriched Kannan mapping, multivalued enriched Chatterjea mapping, and multivalued enriched Ciri\'{c}-Reich-Rus mapping. Then we establish some existence results for the fixed points of these multivalued contractive type mappings using the fixed point property of the average operator of the mappings. Furthermore, we present some data dependence results for the fixed points of mentioned classes of mappings.


title: Batched Thompson Sampling for Multi-Armed Bandits

abstract: We study Thompson Sampling algorithms for stochastic multi-armed bandits in the batched setting, in which we want to minimize the regret over a sequence of arm pulls using a small number of policy changes (or, batches). We propose two algorithms and demonstrate their effectiveness by experiments on both synthetic and real datasets. We also analyze the proposed algorithms from the theoretical aspect and obtain almost tight regret-batches tradeoffs for the two-arm case.


title: Dielectric manipulation of polymer translocation dynamics in engineered membrane nanopores

abstract: The alteration of the dielectric membrane properties by membrane engineering techniques such as carbon nanotube (CNT) coating opens the way to novel molecular transport strategies for biosensing purposes. In this article, we predict a macromolecular transport mechanism enabling the dielectric manipulation of the polymer translocation dynamics in dielectric membrane pores confining mixed electrolytes. In the giant permittivity regime of these engineered membranes governed by attractive polarization forces, multivalent ions adsorbed by the membrane nanopore trigger a monovalent ion separation and set an electroosmotic counterion flow. The drag force exerted by this flow is sufficiently strong to suppress and invert the electrophoretic velocity of anionic polymers, and also to generate the mobility of neutral polymers whose speed and direction can be solely adjusted by the charge and concentration of the added multivalent ions. These features identify the dielectrically generated transport mechanism as an efficient mean to drive overall neutral or weakly charged analytes that cannot be controlled by an external voltage. We also reveal that in anionic polymer translocation, multivalent cation addition into the monovalent salt solution amplifies the electric current signal by several factors. The signal amplification is caused by the electrostatic many-body interactions replacing the monovalent polymer counterions by the multivalent cations of higher electric mobility. The strength of this elektrokinetic charge discrimination points out the potential of multivalent ions as current amplifiers capable of providing boosted resolution in nanopore-based biosensing techniques.


title: $C^1$ actions on the circle of finite index subgroups of $Mod(\Sigma_g)$, $Aut(F_n)$, and $Out(F_n)$

abstract: Let $\Sigma_{g}$ be a closed, connected, and oriented surface of genus $g \geq 24$ and let $\Gamma$ be a finite index subgroup of the mapping class group $Mod(\Sigma_{g})$ that contains the Torelli group $\mathcal{I}(\Sigma_g)$. Then any orientation preserving $C^1$ action of $\Gamma$ on the circle cannot be faithful. We also show that if $\Gamma$ is a finite index subgroup of $Aut(F_n)$, when $n \geq 8$, that contains the subgroup of IA-automorphisms, then any orientation preserving $C^1$ action of $\Gamma$ on the circle cannot be faithful. Similarly, if $\Gamma$ is a finite index subgroup of $Out(F_n)$, when $n \geq 8$, that contains the Torelli group $\mathcal{T}_n$, then any orientation preserving $C^1$ action of $\Gamma$ on the circle cannot be faithful. In fact, when $n \geq 10$, any orientation preserving $C^1$ action of a finite index subgroup of $Aut(F_n)$ or $Out(F_n)$ on the circle cannot be faithful.


title: Asymmetric Bilateral Motion Estimation for Video Frame Interpolation

abstract: We propose a novel video frame interpolation algorithm based on asymmetric bilateral motion estimation (ABME), which synthesizes an intermediate frame between two input frames. First, we predict symmetric bilateral motion fields to interpolate an anchor frame. Second, we estimate asymmetric bilateral motions fields from the anchor frame to the input frames. Third, we use the asymmetric fields to warp the input frames backward and reconstruct the intermediate frame. Last, to refine the intermediate frame, we develop a new synthesis network that generates a set of dynamic filters and a residual frame using local and global information. Experimental results show that the proposed algorithm achieves excellent performance on various datasets. The source codes and pretrained models are available at https://github.com/JunHeum/ABME.


title: Weakly Supervised Temporal Anomaly Segmentation with Dynamic Time Warping

abstract: Most recent studies on detecting and localizing temporal anomalies have mainly employed deep neural networks to learn the normal patterns of temporal data in an unsupervised manner. Unlike them, the goal of our work is to fully utilize instance-level (or weak) anomaly labels, which only indicate whether any anomalous events occurred or not in each instance of temporal data. In this paper, we present WETAS, a novel framework that effectively identifies anomalous temporal segments (i.e., consecutive time points) in an input instance. WETAS learns discriminative features from the instance-level labels so that it infers the sequential order of normal and anomalous segments within each instance, which can be used as a rough segmentation mask. Based on the dynamic time warping (DTW) alignment between the input instance and its segmentation mask, WETAS obtains the result of temporal segmentation, and simultaneously, it further enhances itself by using the mask as additional supervision. Our experiments show that WETAS considerably outperforms other baselines in terms of the localization of temporal anomalies, and also it provides more informative results than point-level detection methods.


title: Learning from Images: Proactive Caching with Parallel Convolutional Neural Networks

abstract: With the continuous trend of data explosion, delivering packets from data servers to end users causes increased stress on both the fronthaul and backhaul traffic of mobile networks. To mitigate this problem, caching popular content closer to the end-users has emerged as an effective method for reducing network congestion and improving user experience. To find the optimal locations for content caching, many conventional approaches construct various mixed integer linear programming (MILP) models. However, such methods may fail to support online decision making due to the inherent curse of dimensionality. In this paper, a novel framework for proactive caching is proposed. This framework merges model-based optimization with data-driven techniques by transforming an optimization problem into a grayscale image. For parallel training and simple design purposes, the proposed MILP model is first decomposed into a number of sub-problems and, then, convolutional neural networks (CNNs) are trained to predict content caching locations of these sub-problems. Furthermore, since the MILP model decomposition neglects the internal effects among sub-problems, the CNNs' outputs have the risk to be infeasible solutions. Therefore, two algorithms are provided: the first uses predictions from CNNs as an extra constraint to reduce the number of decision variables; the second employs CNNs' outputs to accelerate local search. Numerical results show that the proposed scheme can reduce 71.6% computation time with only 0.8% additional performance cost compared to the MILP solution, which provides high quality decision making in real-time.


title: The Proximal ID Algorithm

abstract: Unobserved confounding is a fundamental obstacle to establishing valid causal conclusions from observational data. Two complementary types of approaches have been developed to address this obstacle: obtaining identification using fortuitous external aids, such as instrumental variables or proxies, or by means of the ID algorithm, using Markov restrictions on the full data distribution encoded in graphical causal models. In this paper we aim to develop a synthesis of the former and latter approaches to identification in causal inference to yield the most general identification algorithm in multivariate systems currently known -- the proximal ID algorithm. In addition to being able to obtain nonparametric identification in all cases where the ID algorithm succeeds, our approach allows us to systematically exploit proxies to adjust for the presence of unobserved confounders that would have otherwise prevented identification. In addition, we outline a class of estimation strategies for causal parameters identified by our method in an important special case. We illustrate our approach by simulation studies and a data application.


title: EventHPE: Event-based 3D Human Pose and Shape Estimation

abstract: Event camera is an emerging imaging sensor for capturing dynamics of moving objects as events, which motivates our work in estimating 3D human pose and shape from the event signals. Events, on the other hand, have their unique challenges: rather than capturing static body postures, the event signals are best at capturing local motions. This leads us to propose a two-stage deep learning approach, called EventHPE. The first-stage, FlowNet, is trained by unsupervised learning to infer optical flow from events. Both events and optical flow are closely related to human body dynamics, which are fed as input to the ShapeNet in the second stage, to estimate 3D human shapes. To mitigate the discrepancy between image-based flow (optical flow) and shape-based flow (vertices movement of human body shape), a novel flow coherence loss is introduced by exploiting the fact that both flows are originated from the identical human motion. An in-house event-based 3D human dataset is curated that comes with 3D pose and shape annotations, which is by far the largest one to our knowledge. Empirical evaluations on DHP19 dataset and our in-house dataset demonstrate the effectiveness of our approach.


title: The influence of SARS-CoV-2 variants on national case fatality rates

abstract: Background: During 2021 several new variants of the SARS-CoV-2 virus appeared with both increased levels of transmissibility and virulence with respect to the original wild variant. The Delta (B.1.617.2) variation, first seen in India, dominates COVID-19 infections in several large countries including the United States and India. Most recently, the Lambda variant of interest with increased resistance to vaccines has spread through much of South America. Objective: This research explores the degree to which new variants of concern 1) generate spikes and waves of fluctuations in the daily case fatality rates (CFR) across countries in several regions in the face of increasing levels of vaccination of national populations and 2) may increase the vulnerability of persons with certain comorbidities. Methods: This study uses new, openly available, epidemiological statistics reported to the relevant national and international authorities for countries across the Americas, Europe, Africa, Asia and the Middle East. Daily CFRs and correlations of fatal COVID-19 infections with potential cofactors are computed for the first half of 2021 that has been dominated by the wide spread of several variants of concern as denoted by the World Health Organization. Results: The analysis yields a new quantitative measure of the temporal dynamics of mortality due to SARS-CoV-2 infections in the form of variations of a proxy case fatality rate compared on a country to-country basis in the same region. It also finds minimal variation of correlation between the cofactors based on WHO data and on the average apparent case fatality rate.


title: Crowdsourcing the State of the Art(ifacts)

abstract: In any field, finding the "leading edge" of research is an on-going challenge. Researchers cannot appease reviewers and educators cannot teach to the leading edge of their field if no one agrees on what is the state-of-the-art. Using a novel crowdsourced "reuse graph" approach, we propose here a new method to learn this state-of-the-art. Our reuse graphs are less effort to build and verify than other community monitoring methods (e.g. artifact tracks or citation-based searches). Based on a study of 170 papers from software engineering (SE) conferences in 2020, we have found over 1,600 instances of reuse; i.e., reuse is rampant in SE research. Prior pessimism about a lack of reuse in SE research may have been a result of using the wrong methods to measure the wrong things.


title: CONet: Channel Optimization for Convolutional Neural Networks

abstract: Neural Architecture Search (NAS) has shifted network design from using human intuition to leveraging search algorithms guided by evaluation metrics. We study channel size optimization in convolutional neural networks (CNN) and identify the role it plays in model accuracy and complexity. Current channel size selection methods are generally limited by discrete sample spaces while suffering from manual iteration and simple heuristics. To solve this, we introduce an efficient dynamic scaling algorithm -- CONet -- that automatically optimizes channel sizes across network layers for a given CNN. Two metrics -- "\textit{Rank}" and "\textit{Rank Average Slope}" -- are introduced to identify the information accumulated in training. The algorithm dynamically scales channel sizes up or down over a fixed searching phase. We conduct experiments on CIFAR10/100 and ImageNet datasets and show that CONet can find efficient and accurate architectures searched in ResNet, DARTS, and DARTS+ spaces that outperform their baseline models. This document supersedes previously published paper in ICCV2021-NeurArch workshop. An additional section is included on manual scaling of channel size in CNNs to numerically validate of the metrics used in searching optimum channel configurations in CNNs.


title: Non-degenerate anisocurved surfaces in homogeneous 3-manifolds

abstract: In this manuscript we consider non-degenerate surfaces $\Sigma^2$ immersed in a 3-dimensional homogeneous space $\mathbb{L}^3(\kappa,\tau)$ endowed with two different metrics, the one induced by the Riemannian metric of $\mathbb{E}^3(\kappa,\tau)$ and the non-degenerate metric inherited by the Lorentzian one of $\mathbb{L}^3(\kappa,\tau)$. Therefore, we have two different geometries on $\Sigma^2$ and we can compare them. In particular, we can consider the Gaussian curvature functions which respect to both metrics and study the geometry of the surfaces satisfying that both Gaussian curvature functions are opposite. We will call these surfaces anisocurved surfaces. In order to obtain our main results we also need to impose some extra assumptions regarding the extrinsic curvatures with respect to both metrics.


title: Quantum Gravitational Corrections to the Entropy of a Schwarzschild Black Hole

abstract: We calculate quantum gravitational corrections to the entropy of black holes using the Wald entropy formula within an effective field theory approach to quantum gravity. The corrections to the entropy are calculated to second order in curvature and we calculate a subset of those at third order. We show that, at third order in curvature, interesting issues appear that had not been considered previously in the literature. The fact that the Schwarzschild metric receives corrections at this order in the curvature expansion has important implications for the entropy calculation. Indeed, the horizon radius and the temperature receive corrections. These corrections need to be carefully considered when calculating the Wald entropy.


title: A hypergeometric proof that ${\sf Iso}$ is bijective

abstract: We provide a short and elementary proof of the main technical result of the recent article "On the uniqueness of Clifford torus with prescribed isoperimetric ratio" by Thomas Yu and Jingmin Chen. The key of the new proof is an explicit expression of the central function (${\sf Iso}$, to be proved bijective) as a quotient of Gaussian hypergeometric functions.


title: Tunable electrochemistry with moir\'e flat bands and topological defects at twisted bilayer graphene

abstract: Tailoring electron transfer dynamics across solid-liquid interfaces is fundamental to the interconversion of electrical and chemical energy. Stacking atomically thin layers with a very small azimuthal misorientation to produce moir\'e superlattices enables the controlled engineering of electronic band structures and the formation of extremely flat electronic bands. Here, we report a strong twist angle dependence of heterogeneous charge transfer kinetics at twisted bilayer graphene electrodes with the greatest enhancement observed near the 'magic angle' (~1.1 degrees). This effect is driven by the angle-dependent tuning of moir\'e-derived flat bands that modulate electron transfer processes with the solution-phase redox couple. Combined experimental and computational analysis reveals that the variation in electrochemical activity with moir\'e angle is controlled by atomic reconstruction of the moir\'e superlattice at twist angles <2 degrees, and topological defect AA stacking regions produce a large anomalous local electrochemical enhancement that cannot be accounted for by the elevated local density of states alone. Our results introduce moir\'e flat band materials as a distinctively tunable paradigm for mediating electrochemical transformations.


title: On Azadkia-Chatterjee's conditional dependence coefficient

abstract: In recent work, Azadkia and Chatterjee (2021) laid out an ingenious approach to defining consistent measures of conditional dependence. Their fully nonparametric approach forms statistics based on ranks and nearest neighbor graphs. The appealing nonparametric consistency of the resulting conditional dependence measure and the associated empirical conditional dependence coefficient has quickly prompted follow-up work that seeks to study its statistical efficiency. In this paper, we take up the framework of conditional randomization tests (CRT) for conditional independence and conduct a power analysis that considers two types of local alternatives, namely, parametric quadratic mean differentiable alternatives and nonparametric H\"older smooth alternatives. Our local power analysis shows that conditional independence tests using the Azadkia--Chatterjee coefficient remain inefficient even when aided with the CRT framework, and serves as motivation to develop variants of the approach; cf. Lin and Han (2022b). As a byproduct, we resolve a conjecture of Azadkia and Chatterjee by proving central limit theorems for the considered conditional dependence coefficients, with explicit formulas for the asymptotic variances.


title: On boosting the power of Chatterjee's rank correlation

abstract: Chatterjee (2021)'s ingenious approach to estimating a measure of dependence first proposed by Dette et al. (2013) based on simple rank statistics has quickly caught attention. This measure of dependence has the unusual property of being between 0 and 1, and being 0 or 1 if and only if the corresponding pair of random variables is independent or one is a measurable function of the other almost surely. However, more recent studies (Cao and Bickel, 2020; Shi et al., 2021b) showed that independence tests based on Chatterjee's rank correlation are unfortunately rate-inefficient against various local alternatives and they call for variants. We answer this call by proposing revised Chatterjee's rank correlations that still consistently estimate the same dependence measure but provably achieve near-parametric efficiency in testing against Gaussian rotation alternatives. This is possible via incorporating many right nearest neighbors in constructing the correlation coefficients. We thus overcome the "only one disadvantage" of Chatterjee's rank correlation (Chatterjee, 2021, Section 7).


title: Generalized Mode-Coupling Theory for Mixtures of Brownian Particles

abstract: Generalized mode-coupling theory (GMCT) has recently emerged as a promising first-principles theory to study the poorly understood dynamics of glass-forming materials. Formulated as a hierarchical extension of standard mode-coupling theory (MCT), it is able to systematically improve its predictions by including the exact dynamics of higher-order correlation functions into its hierarchy. However, in contrast to Newtonian dynamics, a fully generalized version of the theory based on Brownian dynamics is still lacking. To close this gap, we provide a detailed derivation of GMCT for colloidal mixtures obeying a many-body Smoluchowski equation. We demonstrate that a hierarchy of coupled equations can again be established and show that these, consistent with standard MCT, are identical to the ones obtained from Newtonian GMCT when taking the overdamped limit. Consequently, the non-trivial similarity between Brownian and Newtonian MCT is maintained for our newly developed multi-component GMCT. As a proof of principle, we also solve the generalized mode-coupling equations for the binary Kob-Andersen Lennard-Jones mixture undergoing Brownian dynamics, and confirm the improved predictive power of the theory upon using more levels of the GMCT hierarchy of equations.


title: 'Walking Into a Fire Hoping You Don't Catch': Strategies and Designs to Facilitate Cross-Partisan Online Discussions

abstract: While cross-partisan conversations are central to a vibrant democracy, these are hard conversations to have, especially in the United States amidst unprecedented levels of partisan animosity. Such interactions often devolve into name-calling and personal attacks. We report on a qualitative study of 17 US residents who have engaged with outpartisans on Reddit, to understand their expectations and the strategies they adopt in such interactions. We find that users have multiple, sometimes contradictory expectations of these conversations, ranging from deliberative discussions to entertainment and banter, which adds to the challenge of finding conversations they like. Through experience, users have refined multiple strategies to foster good cross-partisan engagement. Contrary to offline settings where knowing about the interlocutor can help manage disagreements, on Reddit, some users look to actively learn as little as possible about their outpartisan interlocutors for fear that such information may bias their interactions. Through design probes about hypothetical features intended to reduce partisan hostility, we find that users are actually open to knowing certain kinds of information about their interlocutors, such as non-political subreddits that they both participate in, and to having that information made visible to their interlocutors. However, making other information visible, such as the other subreddits that they participate in or previous comments they posted, though potentially humanizing, raises concerns around privacy and misuse of that information for personal attacks.


title: Tensor Networks for Simulating Quantum Circuits on FPGAs

abstract: Most research in quantum computing today is performed against simulations of quantum computers rather than true quantum computers. Simulating a quantum computer entails implementing all of the unitary operators corresponding to the quantum gates as tensors. For high numbers of qubits, performing tensor multiplications for these simulations becomes quite expensive, since $N$-qubit gates correspond to $2^{N}$-dimensional tensors. One way to accelerate such a simulation is to use field programmable gate array (FPGA) hardware to efficiently compute the matrix multiplications. Though FPGAs can efficiently perform tensor multiplications, they are memory bound, having relatively small block random access memory. One way to potentially reduce the memory footprint of a quantum computing system is to represent it as a tensor network; tensor networks are a formalism for representing compositions of tensors wherein economical tensor contractions are readily identified. Thus we explore tensor networks as a means to reducing the memory footprint of quantum computing systems and broadly accelerating simulations of such systems.


title: A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand

abstract: The tile-based multiplayer game Mahjong is widely played in Asia and has also become increasingly popular worldwide. Face-to-face or online, each player begins with a hand of 13 tiles and players draw and discard tiles in turn until they complete a winning hand. An important notion in Mahjong is the deficiency number (a.k.a. shanten number in Japanese Mahjong) of a hand, which estimates how many tile changes are necessary to complete the hand into a winning hand. The deficiency number plays an essential role in major decision-making tasks such as selecting a tile to discard. This paper proposes a fast algorithm for computing the deficiency number of a Mahjong hand. Compared with the baseline algorithm, the new algorithm is usually 100 times faster and, more importantly, respects the agent's knowledge about available tiles. The algorithm can be used as a basic procedure in all Mahjong variants by both rule-based and machine learning-based Mahjong AI.


title: Hydrodynamic description of Weyl fermions in condensed state of matter

abstract: Due to the many unique transport properties of Weyl semimetals, they are promising materials for modern electronics. We investigate the electrons in the strong coupling approximation near Weyl points based on their representation as massless Weyl fermions. We have constructed a new fluid model based on the many-particle quantum hydrodynamics method to describe the behavior of electrons gas with different chirality near Weyl points in the low-energy limit in the external electromagnetic fields, based on the many-particle Weyl equation and many-particle wave function. The derived system of equations forms a closed apparatus for describing the dynamics of the electron current, spin density and spin current density. Based on the proposed model, we considered small perturbations in the Weyl fermion system in an external uniform magnetic field and predicted the new type of eigenwaves in the systems of the electrons near the Weyl points.


title: Human Pose and Shape Estimation from Single Polarization Images

abstract: This paper focuses on a new problem of estimating human pose and shape from single polarization images. Polarization camera is known to be able to capture the polarization of reflected lights that preserves rich geometric cues of an object surface. Inspired by the recent applications in surface normal reconstruction from polarization images, in this paper, we attempt to estimate human pose and shape from single polarization images by leveraging the polarization-induced geometric cues. A dedicated two-stage pipeline is proposed: given a single polarization image, stage one (Polar2Normal) focuses on the fine detailed human body surface normal estimation; stage two (Polar2Shape) then reconstructs clothed human shape from the polarization image and the estimated surface normal. To empirically validate our approach, a dedicated dataset (PHSPD) is constructed, consisting of over 500K frames with accurate pose and parametric shape annotations. Empirical evaluations on this real-world dataset as well as a synthetic dataset, SURREAL, demonstrate the effectiveness of our approach. It suggests polarization camera as a promising alternative to the more conventional RGB camera for human pose and shape estimation.


title: Deployment of a Free-Text Analytics Platform at a UK National Health Service Research Hospital: CogStack at University College London Hospitals

abstract: As more healthcare organisations transition to using electronic health record (EHR) systems it is important for these organisations to maximise the secondary use of their data to support service improvement and clinical research. These organisations will find it challenging to have systems which can mine information from the unstructured data fields in the record (clinical notes, letters etc) and more practically have such systems interact with all of the hospitals data systems (legacy and current). To tackle this problem at University College London Hospitals, we have deployed an enhanced version of the CogStack platform; an information retrieval platform with natural language processing capabilities which we have configured to process the hospital's existing and legacy records. The platform has improved data ingestion capabilities as well as better tools for natural language processing. To date we have processed over 18 million records and the insights produced from CogStack have informed a number of clinical research use cases at the hospitals.


title: Nuclei with up to $\boldsymbol{A=6}$ nucleons with artificial neural network wave functions

abstract: The ground-breaking works of Weinberg have opened the way to calculations of atomic nuclei that are based on systematically improvable Hamiltonians. Solving the associated many-body Schr\"odinger equation involves non-trivial difficulties, due to the non-perturbative nature and strong spin-isospin dependence of nuclear interactions. Artificial neural networks have proven to be able to compactly represent the wave functions of nuclei with up to $A=4$ nucleons. In this work, we extend this approach to $^6$Li and $^6$He nuclei, using as input a leading-order pionless effective field theory Hamiltonian. We successfully benchmark their binding energies, point-nucleon densities, and radii with the highly accurate hyperspherical harmonics method.


title: ALTo: Ad Hoc High-Accuracy Touch Interaction Using Acoustic Localization

abstract: Millions of people around the world face motor impairments due to Parkinson's, cerebral palsy, muscular dystrophy and other physical disabilities. The goal of this project is to increase the usable surface-area of devices for users with these disabilities by creating a simple, inexpensive, and portable way to enable high accuracy touch interaction with large surfaces such as a table or even a wall. This project uses a novel approach that analyzes the acoustic signals at four piezoelectric microphones placed on the interactive surface to identify sounds related to the same event (e.g., a finger tap) at each of the microphones. ALTo (Acoustic Localized Touch) uses the results of this signal processing to compute the time difference of arrival (TDOA) across the microphones. The collected TDOA data is used to compute an approximate location of a sound source (e.g., a finger tap) using a collection of hyperbolic equations. An experimental evaluation of a system prototype was used to identify a number of software and signal processing optimizations needed to significantly improve accuracy and create a usable system. The results of the research indicate that it is possible to detect the location of a touch with high accuracy. The ALTo prototype achieves an accuracy of 1.45cm in the x-direction and 2.72cm the y-direction which is within the range for the target usage (i.e., those with motor impairments).


title: Enabling High-Accuracy Human Activity Recognition with Fine-Grained Indoor Localization

abstract: While computers play an increasingly important role in every aspect of our lives, their inability to understand what tasks users are physically performing makes a wide range of applications, including health monitoring and context-specific assistance, difficult or impossible. With Human Activity Recognition (HAR), applications could track if a patient took his pills and detect the behavioral changes associated with diseases such as Alzheimer's. Current systems for HAR require diverse sensors (e.g., cameras, microphones, proximity sensors, and accelerometers) placed throughout the environment to provide detailed observations needed for high-accuracy HAR. The difficulty of instrumenting an environment with these sensors makes this approach impractical. This project considers whether recent advances in indoor localization (Wi-Fi Round Trip Time) enable high-accuracy HAR using only a smartphone. My design, called Location-Enhanced HAR (LEHAR), uses machine learning to combine acceleration, audio, and location data to detect common human activities. A LEHAR prototype, designed to recognize a dozen common activities conducted in a typical household, achieved an F1-score of 0.965. In contrast, existing approaches, which use only acceleration or audio data, obtained F1-scores of 0.660 and 0.865, respectively, on the same activities. In addition, the F1-score of existing designs dropped significantly as more activities were added for recognition, while LEHAR was able to maintain high accuracy. The results show that using a combination of acceleration, audio, and Wi-Fi Round Trip Time localization can enable a highly accurate and easily deployable HAR system.


title: Bayesian Parameter Estimations for Grey System Models in Online Traffic Speed Predictions

abstract: This paper presents Bayesian parameter estimation for first order Grey system models' parameters (or sometimes referred to as hyperparameters). There are different forms of first-order Grey System Models. These include $GM(1,1)$, $GM(1,1| \cos(\omega t)$, $GM(1,1| \sin(\omega t)$, and $GM(1,1| \cos(\omega t), \sin(\omega t)$. The whitenization equation of these models is a first-order linear differential equation of the form \[ \frac{dx}{dt} + a x = f(t) \] where $a$ is a parameter and $f(t) = b$ in $GM(1,1|)$ , $f(t) = b_1\cos(\omega t) + b_2$ in $GM(1,1| cos(\omega t)$, $f(t) = b_1\sin(\omega t)+b_2$ in $GM(1,1| \sin(\omega t)$, $f(t) = b_1\sin(\omega t) + b_2\cos(\omega t) + b_3$ in $GM(1,1| \cos(\omega t), \sin(\omega t)$, $f(t) = b x^2$ in Grey Verhulst model (GVM), and where $b, b_1, b_2$, and $b_3$ are parameters. The results from Bayesian estimations are compared to the least square estimated models with fixed $\omega$. We found that using rolling Bayesian estimations for GM parameters can allow us to estimate the parameters in all possible forms. Based on the data used for the comparison, the numerical results showed that models with Bayesian parameter estimations are up to 45\% more accurate in mean squared errors.


title: Linear and fully nonlinear elliptic equations with Morrey drift

abstract: We present some results concerning the solvability of linear elliptic equations in bounded domains with the main coefficients almost in VMO, the drift and the free terms in Morrey classes containing $L_{d}$, and bounded zeroth order coefficient. We prove that the second-order derivatives of solutions are in a local Morrey class containing $W^{2}_{p,loc}$. Actually, the exposition is given for fully nonlinear equations and encompasses the above mentioned results, which are new even if the main part of the equation is just the Laplacian.


title: Carrier-Envelope-Phase Dependent Strong-Field Excitation

abstract: We present a joint experimental-theoretical study on the effect of the carrier-envelope phase (CEP) of a few-cycle pulse on the atomic excitation process. We focus on the excitation rates of argon as a function of CEP in the intensity range from 50-300 TW/cm$^2$, which covers the transition between the multiphoton and tunneling regimes. Through numerical simulations based on solving the time-dependent Schr\"{o}dinger equation (TDSE), we show that the resulting bound-state population is highly sensitive to both the intensity and the CEP. Because the intensity varies over the interaction region, the CEP effect is considerably reduced in the experiment. Nevertheless, the data clearly agree with the theoretical prediction, and the results encourage the use of precisely tailored laser fields to coherently control the strong-field excitation process. We find a markedly different behavior for the CEP-dependent bound-state population at low and high intensities with a clear boundary, which we attribute to the transition from the multiphoton to the tunneling regime.


title: Maps Search Misspelling Detection Leveraging Domain-Augmented Contextual Representations

abstract: Building an independent misspelling detector and serve it before correction can bring multiple benefits to speller and other search components, which is particularly true for the most commonly deployed noisy-channel based speller systems. With rapid development of deep learning and substantial advancement in contextual representation learning such as BERTology, building a decent misspelling detector without having to rely on hand-crafted features associated with noisy-channel architecture becomes more-than-ever accessible. However BERTolgy models are trained with natural language corpus but Maps Search is highly domain specific, would BERTology continue its success. In this paper we design 4 stages of models for misspeling detection ranging from the most basic LSTM to single-domain augmented fine-tuned BERT. We found for Maps Search in our case, other advanced BERTology family model such as RoBERTa does not necessarily outperform BERT, and a classic cross-domain fine-tuned full BERT even underperforms a smaller single-domain fine-tuned BERT. We share more findings through comprehensive modeling experiments and analysis, we also briefly cover the data generation algorithm breakthrough.


title: Unveiling and engineering of third order optical nonlinearities in NiCo$_2$O$_4$ nanoflowers

abstract: In this paper, we demonstrate NiCo$_2$O$_4$ (NCO) as an efficient new nonlinear optical material with straightforward potential applications in optical limiting devices. We obtain nonlinear absorption coefficient ($\beta$) and nonlinear refractive index ($n_2$) in parallel by performing Z-scan technique, in both open and closed aperture configurations, respectively. To understand the mechanism responsible for third order optical nonlinearity in NCO, we excited the sample with contrasting laser pulse durations, 7 ns and 120 fs, at two different off-resonant wavelengths. For ns excitation, nonlinearity is mediated by excited state absorption (ESA) and free-carrier absorption, that gives rise to large \b{eta}ESA and positive $n_2$. On the other hand, when excited with fs laser, two-photon absorption (TPA) takes place and bound carriers induce strong negative $n_2$. The values obtained for $\beta$ and $n_2$ in NCO are found to be higher among the family of well-known conventional transition metal oxides, therefore are promising for optics and other photonics applications.


title: Rate-Splitting Multiple Access for Downlink MIMO: A Generalized Power Iteration Approach

abstract: Rate-splitting multiple access (RSMA) is a general multiple access scheme for downlink multi-antenna systems embracing both classical spatial division multiple access and more recent non-orthogonal multiple access. Finding a linear precoding strategy that maximizes the sum spectral efficiency of RSMA is a challenging yet significant problem. In this paper, we put forth a novel precoder design framework that jointly finds the linear precoders for the common and private messages for RSMA. Our approach is first to approximate the non-smooth minimum function part in the sum spectral efficiency of RSMA using a LogSumExp technique. Then, we reformulate the sum spectral efficiency maximization problem as a form of the log-sum of Rayleigh quotients to convert it into a tractable form. By interpreting the first-order optimality condition of the reformulated problem as an eigenvector-dependent nonlinear eigenvalue problem, we reveal that the leading eigenvector of the derived optimality condition is a local optimal solution. To find the leading eigenvector, we propose an algorithm inspired by a power iteration. Simulation results show that the proposed RSMA transmission strategy provides significant improvement in the sum spectral efficiency compared to the state-of-the-art RSMA transmission methods.


title: High-purity solid parahydrogen

abstract: Alkali atoms trapped in solid hydrogen matrices have demonstrated ultralong electron spin coherence times, and are promising as quantum sensors. Their spin coherence is limited by magnetic noise from naturally-occurring orthohydrogen molecules in the parahydrogen matrix. In the gas phase, the orthohydrogen component of hydrogen can be converted to parahydrogen by flowing it over a catalyst held at cryogenic temperatures, with lower temperatures giving a lower orthohydrogen fraction. In this work, we use a single cryostat to reduce the orthohydrogen fraction of hydrogen gas and grow a solid matrix from the resulting high-purity parahydrogen. We demonstrate operation of the catalyst down to a temperature of 8 K, and we spectroscopically verify that orthohydrogen impurities in the resulting solid are at a level < 1e-6. We also find that, at sufficiently low temperatures, the cryogenic catalyst provides isotopic purification, reducing the HD fraction.


title: Do Proportionate Algorithms Exploit Sparsity?

abstract: Adaptive filters exploiting sparsity have been a very active research field, among which the algorithms that follow the "proportional-update principle", the so-called proportionate-type algorithms, are very popular. Indeed, there are hundreds of works on proportionate-type algorithms and, therefore, their advantages are widely known. This paper addresses the unexplored drawbacks and limitations of using proportional updates and their practical impacts. Our findings include the theoretical justification for the poor performance of these algorithms in several sparse scenarios, and also when dealing with non-stationary and compressible systems. Simulation results corroborating the theory are presented.


title: Interpreting and improving deep-learning models with reality checks

abstract: Recent deep-learning models have achieved impressive predictive performance by learning complex functions of many variables, often at the cost of interpretability. This chapter covers recent work aiming to interpret models by attributing importance to features and feature groups for a single prediction. Importantly, the proposed attributions assign importance to interactions between features, in addition to features in isolation. These attributions are shown to yield insights across real-world domains, including bio-imaging, cosmology image and natural-language processing. We then show how these attributions can be used to directly improve the generalization of a neural network or to distill it into a simple model. Throughout the chapter, we emphasize the use of reality checks to scrutinize the proposed interpretation techniques.


title: K-stability and birational models of moduli of quartic K3 surfaces

abstract: We show that the K-moduli spaces of log Fano pairs $(\mathbb{P}^3, cS)$ where $S$ is a quartic surface interpolate between the GIT moduli space of quartic surfaces and the Baily-Borel compactification of moduli of quartic K3 surfaces as $c$ varies in the interval $(0,1)$. We completely describe the wall crossings of these K-moduli spaces. As the main application, we verify Laza-O'Grady's prediction on the Hassett-Keel-Looijenga program for quartic K3 surfaces. We also obtain the K-moduli compactification of quartic double solids, and classify all Gorenstein canonical Fano degenerations of $\mathbb{P}^3$.


title: Introduction to Quantum Reinforcement Learning: Theory and PennyLane-based Implementation

abstract: The emergence of quantum computing enables for researchers to apply quantum circuit on many existing studies. Utilizing quantum circuit and quantum differential programming, many research are conducted such as \textit{Quantum Machine Learning} (QML). In particular, quantum reinforcement learning is a good field to test the possibility of quantum machine learning, and a lot of research is being done. This work will introduce the concept of quantum reinforcement learning using a variational quantum circuit, and confirm its possibility through implementation and experimentation. We will first present the background knowledge and working principle of quantum reinforcement learning, and then guide the implementation method using the PennyLane library. We will also discuss the power and possibility of quantum reinforcement learning from the experimental results obtained through this work.


title: AdaCon: Adaptive Context-Aware Object Detection for Resource-Constrained Embedded Devices

abstract: Convolutional Neural Networks achieve state-of-the-art accuracy in object detection tasks. However, they have large computational and energy requirements that challenge their deployment on resource-constrained edge devices. Object detection takes an image as an input, and identifies the existing object classes as well as their locations in the image. In this paper, we leverage the prior knowledge about the probabilities that different object categories can occur jointly to increase the efficiency of object detection models. In particular, our technique clusters the object categories based on their spatial co-occurrence probability. We use those clusters to design an adaptive network. During runtime, a branch controller decides which part(s) of the network to execute based on the spatial context of the input frame. Our experiments using COCO dataset show that our adaptive object detection model achieves up to 45% reduction in the energy consumption, and up to 27% reduction in the latency, with a small loss in the average precision (AP) of object detection.


title: On uniformly $S$-absolutely pure modules

abstract: Let $R$ be a commutative ring with identity and $S$ a multiplicative subset of $R$. In this paper, we introduce and study the notions of $S$-pure $S$-exact sequences and $S$-absolutely pure modules which extend the classical notions of pure exact sequences and absolutely pure modules. And then we characterize $S$-von Neumann regular rings and uniformly $S$-Noetherian rings using $S$-absolutely pure modules.


title: A Hybrid Video Anomaly Detection Framework via Memory-Augmented Flow Reconstruction and Flow-Guided Frame Prediction

abstract: In this paper, we propose $\text{HF}^2$-VAD, a Hybrid framework that integrates Flow reconstruction and Frame prediction seamlessly to handle Video Anomaly Detection. Firstly, we design the network of ML-MemAE-SC (Multi-Level Memory modules in an Autoencoder with Skip Connections) to memorize normal patterns for optical flow reconstruction so that abnormal events can be sensitively identified with larger flow reconstruction errors. More importantly, conditioned on the reconstructed flows, we then employ a Conditional Variational Autoencoder (CVAE), which captures the high correlation between video frame and optical flow, to predict the next frame given several previous frames. By CVAE, the quality of flow reconstruction essentially influences that of frame prediction. Therefore, poorly reconstructed optical flows of abnormal events further deteriorate the quality of the final predicted future frame, making the anomalies more detectable. Experimental results demonstrate the effectiveness of the proposed method. Code is available at \href{https://github.com/LiUzHiAn/hf2vad}{https://github.com/LiUzHiAn/hf2vad}.


title: Clustering Filipino Disaster-Related Tweets Using Incremental and Density-Based Spatiotemporal Algorithm with Support Vector Machines for Needs Assessment

abstract: Social media has played a huge part on how people get informed and communicate with one another. It has helped people express their needs due to distress especially during disasters. Because posts made through it are publicly accessible by default, Twitter is among the most helpful social media sites in times of disaster. With this, the study aims to assess the needs expressed during calamities by Filipinos on Twitter. Data were gathered and classified as either disaster-related or unrelated with the use of Na\"ive Bayes classifier. After this, the disaster-related tweets were clustered per disaster type using Incremental Clustering Algorithm, and then sub-clustered based on the location and time of the tweet using Density-based Spatiotemporal Clustering Algorithm. Lastly, using Support Vector Machines, the tweets were classified according to the expressed need, such as shelter, rescue, relief, cash, prayer, and others. After conducting the study, results showed that the Incremental Clustering Algorithm and Density-Based Spatiotemporal Clustering Algorithm were able to cluster the tweets with f-measure scores of 47.20% and 82.28% respectively. Also, the Na\"ive Bayes and Support Vector Machines were able to classify with an average f-measure score of 97% and an average accuracy of 77.57% respectively.


title: Demo Abstract: WiSwitch: A Low-Cost WiFi-based Remote Switch Control for Smart Homes

abstract: With the emergence of the IoT, there is an increasing trend towards designing a new low-cost cyber-physical platform accessible through the Internet. In this Demo paper, we present WiSwitch, a homemade prototype of a low-cost wireless switch control allowing the user to control the room light through the cloud. The hardware is based on a commercial-off-the-shelf (COTS) ESP 12 WiFi module with basic electronic circuitry. We develop an embedded client application in the ESP 12 that allows us to connect it to the Amazon Web Services cloud and update the status of the switch remotely. We also present an experimental validation of the WiSwitch platform.


title: Equivariant Seiberg-Witten-Floer cohomology

abstract: We develop an equivariant version of Seiberg-Witten-Floer cohomology for finite group actions on rational homology $3$-spheres. Our construction is based on an equivariant version of the Seiberg-Witten-Floer stable homotopy type, as constructed by Manolescu. We use these equivariant cohomology groups to define a series of $d$-invariants $d_{G,c}(Y,\mathfrak{s})$ which are indexed by the group cohomology of $G$. These invariants satisfy a Froyshov-type inequality under equivariant cobordisms. Lastly we consider a variety of applications of these $d$-invariants: concordance invariants of knots via branched covers, obstructions to extending group actions over bounding $4$-manifolds, Nielsen realisation problems for $4$-manifolds with boundary and obstructions to equivariant embeddings of $3$-manifolds in $4$-manifolds.


title: Simulation of the Ring-exchange Models with Projected Entangled Pair States

abstract: Algorithms to simulate the ring-exchange models using the projected entangled pair states (PEPS) are developed. We generalize the imaginary time evolution (ITE) method to optimize PEPS wave functions for the models with ring-exchange interactions. We compare the effects of different approximations to the environment. To understand the numerical instability during the optimization, we introduce the ``singularity'' of a PEPS and develop a regulation procedure that can effectively reduce the singularity of a PEPS. We benchmark our method with the toric code model, and obtain extremely accurate ground state energies and topological entanglement entropy. We also benchmark our method with the two-dimensional cyclic ring exchange model, and find that the ground state has a strong vector chiral order. The algorithms can be a powerful tool to investigate the models with ring interactions. The methods developed in this work, e.g., the regularization process to reduce the singularity can also be applied to other models.


title: Endpoint $L^1$ estimates for Hodge systems

abstract: In this paper we give a simple proof of the endpoint Besov-Lorentz estimate $$ \|I_\alpha F\|_{\dot{B}^{0,1}_{d/(d-\alpha),1}(\mathbb{R}^d;\mathbb{R}^k)} \leq C \|F \|_{L^1(\mathbb{R}^d;\mathbb{R}^k)} $$ for all $F \in L^1(\mathbb{R}^d;\mathbb{R}^k)$ which satisfy a first order cocancelling differential constraint. We show how this implies endpoint Besov-Lorentz estimates for Hodge systems with $L^1$ data via fractional integration for exterior derivatives.


title: No-Reference Image Quality Assessment via Transformers, Relative Ranking, and Self-Consistency

abstract: The goal of No-Reference Image Quality Assessment (NR-IQA) is to estimate the perceptual image quality in accordance with subjective evaluations, it is a complex and unsolved problem due to the absence of the pristine reference image. In this paper, we propose a novel model to address the NR-IQA task by leveraging a hybrid approach that benefits from Convolutional Neural Networks (CNNs) and self-attention mechanism in Transformers to extract both local and non-local features from the input image. We capture local structure information of the image via CNNs, then to circumvent the locality bias among the extracted CNNs features and obtain a non-local representation of the image, we utilize Transformers on the extracted features where we model them as a sequential input to the Transformer model. Furthermore, to improve the monotonicity correlation between the subjective and objective scores, we utilize the relative distance information among the images within each batch and enforce the relative ranking among them. Last but not least, we observe that the performance of NR-IQA models degrades when we apply equivariant transformations (e.g. horizontal flipping) to the inputs. Therefore, we propose a method that leverages self-consistency as a source of self-supervision to improve the robustness of NRIQA models. Specifically, we enforce self-consistency between the outputs of our quality assessment model for each image and its transformation (horizontally flipped) to utilize the rich self-supervisory information and reduce the uncertainty of the model. To demonstrate the effectiveness of our work, we evaluate it on seven standard IQA datasets (both synthetic and authentic) and show that our model achieves state-of-the-art results on various datasets.


title: Probeable DARTS with Application to Computational Pathology

abstract: AI technology has made remarkable achievements in computational pathology (CPath), especially with the help of deep neural networks. However, the network performance is highly related to architecture design, which commonly requires human experts with domain knowledge. In this paper, we combat this challenge with the recent advance in neural architecture search (NAS) to find an optimal network for CPath applications. In particular, we use differentiable architecture search (DARTS) for its efficiency. We first adopt a probing metric to show that the original DARTS lacks proper hyperparameter tuning on the CIFAR dataset, and how the generalization issue can be addressed using an adaptive optimization strategy. We then apply our searching framework on CPath applications by searching for the optimum network architecture on a histological tissue type dataset (ADP). Results show that the searched network outperforms state-of-the-art networks in terms of prediction accuracy and computation complexity. We further conduct extensive experiments to demonstrate the transferability of the searched network to new CPath applications, the robustness against downscaled inputs, as well as the reliability of predictions.


title: How to Verify the Riemann Hypothesis

abstract: It is proposed that the validity, or not, of the Riemann Hypothesis might be established on the basis of the integral $$\int\frac{\xi(2s)}{\xi(s)}ds$$ where $$\xi(s)=(s-1)\pi^{-s/2}\Gamma(1+s/2)\zeta(s).$$


title: Analytical Mechanics With Quasi-Velocities

abstract: This paper presents a formulation of Lagrangian dynamics of constrained mechanical systems in terms of reduced quasi-velocities and quasi-forces that can be used for simulation, analysis, and control purposes. In this formulation, Cholesky decomposition of the mass matrix in conjunction with adequate orthogonal matrices are used to define reduced-quasi velocities, input quasi-forces, and constraint quasi-forces which possess natural metric. The new state and input variables always have homogeneous units despite the generalized coordinates may involve in both translational and rotational components and the constraint wrench may involve in both force and moment components. Therefore, this formulation is inherently invariant with respect to changes in dimensional units without requiring weighting matrices. Moreover, in this formulation the equations of motion are completely decoupled from those of constrained force. This allows the possibility of a simple force control action that is totally independent of the motion control action facilitating a hybrid force/motion control. The properties of the new dynamics formulation are investigated and subsequently, force/motion tracking control and regulation of constrained multibody systems based on quasi-velocities and quasi-forces are presented.


title: Generating Cyber Threat Intelligence to Discover Potential Security Threats Using Classification and Topic Modeling

abstract: Due to the variety of cyber-attacks or threats, the cybersecurity community enhances the traditional security control mechanisms to an advanced level so that automated tools can encounter potential security threats. Very recently, Cyber Threat Intelligence (CTI) has been presented as one of the proactive and robust mechanisms because of its automated cybersecurity threat prediction. Generally, CTI collects and analyses data from various sources e.g., online security forums, social media where cyber enthusiasts, analysts, even cybercriminals discuss cyber or computer security-related topics and discovers potential threats based on the analysis. As the manual analysis of every such discussion (posts on online platforms) is time-consuming, inefficient, and susceptible to errors, CTI as an automated tool can perform uniquely to detect cyber threats. In this paper, we identify and explore relevant CTI from hacker forums utilizing different supervised (classification) and unsupervised learning (topic modeling) techniques. To this end, we collect data from a real hacker forum and constructed two datasets: a binary dataset and a multi-class dataset. We then apply several classifiers along with deep neural network-based classifiers and use them on the datasets to compare their performances. We also employ the classifiers on a labeled leaked dataset as our ground truth. We further explore the datasets using unsupervised techniques. For this purpose, we leverage two topic modeling algorithms namely Latent Dirichlet Allocation (LDA) and Non-negative Matrix Factorization (NMF).


title: Designing Two-Dimensional Complete Complementary Codes for Omnidirectional Transmission in Massive MIMO Systems

abstract: This paper presents an efficient construction of two-dimensional (2D) complete complementary codes (CCCs) for their modern application as omnidirectional precoding matrices in massive MIMO systems to attain enhanced cell coverage. Unlike the traditional 1D CCCs, little progress has been made on efficient and systematic constructions of the 2D counterpart. In contrast to the existing recursive constructions with the aid of various sequence operations, certain 1D seed sequences or 2D arrays, we propose to use 2D generalized Boolean functions for direct synthesis of 2D CCCs. Simulation results show that the proposed 2D CCCs appear to be good candidates for precoding matrices to achieve omnidirectional transmission in massive MIMO systems.


title: Standard monomials and invariant theory for arc spaces I: general linear group

abstract: This is the first in a series of papers on standard monomial theory and invariant theory of arc spaces. For any algebraically closed field $K$, we construct a standard monomial basis for the arc space of the determinantal variety over $K$. As an application, we prove the arc space analogue of the first and second fundamental theorems of invariant theory for the general linear group.


title: From GR to STG -- Inheritance and development of Einstein's heritages

abstract: A review of General Relativity, Teleparallel Gravity, and Symmetric Teleparallel gravity is given in this paper. By comparing these theories some conclusions are obtained. It is argued that the essence of gravity is the translation connection. The gauge group associated with gravity is merely the translation group. Lorentz group is relevant with only inertial effects and has nothing to do with gravity. The Lorentz connection represents a inertial force rather than a gauge potential, which leads to the equivalent principle. Neither curvature nor torsion belongs to spacetime but certain transformation group and their connections. The statement "gravity is equivalent to curved spacetime" is a misunderstanding, not Einstein's real intention. Not curvature but torsion i.e. the anholonomy of the tetrad represents gravity. Einstein's great genius is choosing metric as the fundamental variable to describe gravity. Some conceptual issues, for example, general covariance, Lorentz covariance, reference system dependence, gravitational energy-momentum are discussed.


title: Receding Horizon Iterative Learning Control for Continuously Operated Systems

abstract: This paper presents an iterative learning control (ILC) scheme for continuously operated repetitive systems for which no initial condition reset exists. To accomplish this, we develop a lifted system representation that accounts for the effect of the initial conditions on dynamics and projects the dynamics over multiple future iterations. Additionally, we develop an economic cost function and update law that considers the performance over multiple iterations in the future, thus allowing for the prediction horizon to be larger than just the next iteration. Convergence of the iteration varying initial condition and applied input are proven and demonstrated using a simulated servo-positioning system test case.


title: Heun's equation and analytic structure of the Gap in Holographic superconductivity

abstract: We present the new method to calculate the critical temperature as a function of $\Delta$, conformal dimension of the cooper operator. We find that, in the regime $1/2\leq \Delta <1$ where the AC conductivity does not show a gap, the critical temperature is not well defined. We also got expression of AC conductivity for $\Delta=2$, which agrees with numerical result in the probe approximation.