title: Closed-form Two-way TOA Localization and Synchronization for User Devices with Motion and Clock Drift

abstract: A two-way time-of-arrival (TOA system is composed of anchor nodes (ANs and user devices (UDs . Two-way TOA measurements between AN-UD pairs are obtained via round-trip communications to achieve localization and synchronization (LAS for a UD. Existing LAS method for a moving UD with clock drift adopts an iterative algorithm, which requires accurate initialization and has high computational complexity. In this paper, we propose a new closed-form two-way TOA LAS approach, namely CFTWLAS, which does not require initialization, has low complexity and empirically achieves optimal LAS accuracy. We first linearize the LAS problem by squaring and differencing the two-way TOA equations. We employ two auxiliary variables to simplify the problem to finding the analytical solution of quadratic equations. Due to the measurement noise, we can only obtain a raw LAS estimation from the solution of the auxiliary variables. Then, a weighted least squares step is applied to further refine the raw estimation. We analyze the theoretical error of the new CFTWLAS and show that it empirically reaches the Cramer-Rao lower bound (CRLB with sufficient ANs under the condition with proper geometry and small noise. Numerical results in a 3D scenario verify the theoretical analysis that the estimation accuracy of the new CFTWLAS method reaches CRLB in the presented experiments when the number of the ANs is large, the geometry is appropriate, and the noise is small. Unlike the iterative method whose complexity increases with the iteration count, the new CFTWLAS has constant low complexity.


title: Master Equation for Cournot Mean Field Games of Control with Absorption

abstract: We establish the existence and uniqueness of a solution to the master equation for a mean field game of controls with absorption. The mean field game arises as a continuum limit of a dynamic game of exhaustible resources modeling Cournot competition between producers. The proof relies on an analysis of a forward-backward system of nonlocal Hamilton-Jacobi/Fokker-Planck equations with Dirichlet boundary conditions. In particular, we establish new a priori estimates to prove that solutions are differentiable with respect to the initial measure.


title: Effects of microplastics and surfactants on surface roughness of water waves

abstract: In this paper, we study the flow physics underlying the recently developed remote sensing capability of detecting oceanic microplastics, which is based on the measurable surface roughness reduction induced by the presence of microplastics on the ocean surface. In particular, we are interested in whether this roughness reduction is caused by the microplastics as floating particles, or by the surfactants which follow similar transport paths as microplastics. For this purpose, we experimentally test the effects of floating particles and surfactants on surface roughness, quantified by the mean square slope (MSS), with waves generated by a mechanical wave maker or by wind. For microplastics, we find that their effect on wave energy and MSS critically depends on the surface area fraction of coverage, irrespective of the particle sizes in the test range. The damping by particles is observed only for fractions above $O(5-10\%)$, which is much higher than the realistic ocean condition. For surfactants, their damping effect on mechanically generated irregular waves generally increases with the concentration of surfactants, but no optimal concentration corresponding to maximum damping is observed, in contrast to previous studies based on monochromatic waves. In wind-wave experiments, the presence of surfactants suppresses the wave generation, due to the combined effects of reduced wind shear stress and increased wave damping. For the same wind speed, the wind stress is identified to depend on the concentration of surfactants with a power-law relation. The implications of these findings to remote sensing are discussed.


title: On the centralization of the circumcentered-reflection method

abstract: This paper is devoted to deriving the first circumcenter iteration scheme that does not employ a product space reformulation for finding a point in the intersection of two closed convex sets. We introduce a so-called centralized version of the circumcentered-reflection method (CRM). Developed with the aim of accelerating classical projection algorithms, CRM is successful for tracking a common point of a finite number of affine sets. In the case of general convex sets, CRM was shown to possibly diverge if Pierra's product space reformulation is not used. In this work, we prove that there exists an easily reachable region consisting of what we refer to as centralized points, where pure circumcenter steps possess properties yielding convergence. The resulting algorithm is called centralized CRM (cCRM). In addition to having global convergence, cCRM converges linearly under an error bound condition, and superlinearly if the two target sets are so that their intersection have nonempty interior and their boundaries are locally differentiable manifolds. We also run numerical experiments with successful results.


title: Strain-spectroscopy of strongly interacting defects in superconducting qubits

abstract: The proper functioning of some micro-fabricated novel quantum devices, such as superconducting resonators and qubits, is severely affected by the presence of parasitic structural material defects known as tunneling two-level-systems (TLS). Recent experiments have reported unambiguous evidence of the strong interaction between individual (coherent) TLS using strain-assisted spectroscopy. This work provides an alternative and simple theoretical insight that illustrates how to obtain the spectral response of such strongly interacting defects residing inside the amorphous tunnel barrier of a qubit's Josephson junction. Moreover, the corresponding spectral signatures obtained here may serve to quickly and efficiently elucidate the actual state of these interacting TLS in experiments based on strain- or electric-field spectroscopy.


title: Optimal Window Queries on Line Segments using the Trapezoidal Search DAG

abstract: We propose a new query application for the well-known Trapezoidal Search DAG (TSD) of a set of $n$~line segments in the plane, where queries are allowed to be {\em vertical line segments}. We show that a simple Depth-First Search reports the $k$ trapezoids that are intersected by the query segment in $O(k+\log n)$ expected time, regardless of the spatial location of the query. This bound is optimal and matches known data structures with $O(n)$ size. In the important case of edges from a connected, planar graph, our simplistic approach yields an expected $O(n \log^*\!n)$ construction time, which improves on the construction time of known structures for vertical segment-queries. Also for connected input, a simple extension allows the TSD approach to directly answer axis-aligned window-queries in $O(k + \log n)$ expected time, where $k$ is the result size.


title: Broken mirror symmetry of tracer's trajectories in turbulence

abstract: Topological properties of physical systems play a crucial role in our understanding of nature, yet their experimental determination remains elusive. We show that the mean helicity, a dynamical invariant in ideal flows, quantitatively affects trajectories of fluid elements: the linking number of Lagrangian trajectories depends on the mean helicity. Thus, a global topological invariant and a topological number of fluid trajectories become related, and we provide an empirical expression linking them. The relation shows the existence of long-term memory in the trajectories: the links can be made of the trajectory up to a given time, with particles positions in the past. This property also allows experimental measurements of mean helicity.


title: Topological properties in the non-Hermitian tetramerized Su-Schrieffer-Heeger lattices

abstract: In this paper, we study the topological properties of the non-Hermitian Su-Schrieffer-Heeger (SSH) lattice by periodically introducing onsite imaginary potentials in the manner of ($i\gamma_1$, $-i\gamma_2$, $-i\gamma_1$, $i\gamma_2$) where $\gamma_1$ and $\gamma_2$ are the imaginary potential strengths. Results show that by changing the lattice to a tetramerized non-Hermitian system, such imaginary potentials induce the nontrivial transition of the topological properties of the SSH system. First, the topologically-nontrivial region is extended, followed by the non-Hermitian spontaneous breaking of the anti-$\cal PT$ symmetry. In addition, new edge state appears, but its locality is different from the state induced by the Hermitian SSH lattice. If such potentials are strong enough, the bulk states of this system can become purely imaginary states. We believe that these imaginary potentials play special roles in modulating the topological properties of the non-Hermitian SSH lattice.


title: Adaptive Similarity Function with Structural Features of Network Embedding for Missing Link Prediction

abstract: Link prediction is a fundamental problem of data science, which usually calls for unfolding the mechanisms that govern the micro-dynamics of networks. In this regard, using features obtained from network embedding for predicting links has drawn widespread attention. Though edge features-based or node similarity-based methods have been proposed to solve the link prediction problem, many technical challenges still exist due to the unique structural properties of networks, especially when the networks are sparse. From the graph mining perspective, we first give empirical evidence of the inconsistency between heuristic and learned edge features. Then we propose a novel link prediction framework, AdaSim, by introducing an Adaptive Similarity function using features obtained from network embedding based on random walks. The node feature representations are obtained by optimizing a graph-based objective function. Instead of generating edge features using binary operators, we perform link prediction solely leveraging the node features of the network. We define a flexible similarity function with one tunable parameter, which serves as a penalty of the original similarity measure. The optimal value is learned through supervised learning thus is adaptive to data distribution. To evaluate the performance of our proposed algorithm, we conduct extensive experiments on eleven disparate networks of the real world. Experimental results show that AdaSim achieves better performance than state-of-the-art algorithms and is robust to different sparsities of the networks.


title: Global Stability and Non-Vanishing Vacuum States of 3D Compressible Navier-Stokes Equations

abstract: We investigate the global stability and non-vanishing vacuum states of large solutions to the compressible Navier-Stokes equations on the torus $\mathbb{T}^3$, and the main novelty of this work is three-fold: First, under the assumption that the density $\rho({\bf{x}}, t)$ verifies $\sup_{t\geq 0}\|\rho(t)\|_{L^\infty}\leq M$, it is shown that the solutions converge to equilibrium state exponentially in $L^2$-norm. Second, by employing some new thoughts, we also show that the density converges to its equilibrium state exponentially in $L^\infty$-norm if additionally the initial density $\rho_0({\bf{x}})$ satisfies $\inf_{{\bf{x}}\in\mathbb{T}^3}\rho_0({\bf{x}})\geq c_0>0$. Finally, we prove that the vacuum states will not vanish for any time provided that the vacuum states are present initially. This phenomenon is totally new and somewhat surprising, and particularly is in contrast to the previous work of [H. L. Li et al., Commun. Math. Phys., 281 (2008), 401-444], where the authors showed that the vacuum states must vanish within finite time for the 1D compressible Navier-Stokes equations with density-dependent viscosity $\mu(\rho)=\rho^\alpha$ with $\alpha>1/2$.


title: Finite Rate QLDPC-GKP Coding Scheme that Surpasses the CSS Hamming Bound

abstract: Quantum error correction has recently been shown to benefit greatly from specific physical encodings of the code qubits. In particular, several researchers have considered the individual code qubits being encoded with the continuous variable GottesmanKitaev-Preskill (GKP) code, and then imposed an outer discrete-variable code such as the surface code on these GKP qubits. Under such a concatenation scheme, the analog information from the inner GKP error correction improves the noise threshold of the outer code. However, the surface code has vanishing rate and demands a lot of resources with growing distance. In this work, we concatenate the GKP code with generic quantum low-density parity-check (QLDPC) codes and demonstrate a natural way to exploit the GKP analog information in iterative decoding algorithms. We first show the noise thresholds for two lifted product QLDPC code families, and then show the improvements of noise thresholds when the iterative decoder - a hardware-friendly min-sum algorithm (MSA) - utilizes the GKP analog information. We also show that, when the GKP analog information is combined with a sequential update schedule for MSA, the scheme surpasses the well-known CSS Hamming bound for these code families. Furthermore, we observe that the GKP analog information helps the iterative decoder in escaping harmful trapping sets in the Tanner graph of the QLDPC code, thereby eliminating or significantly lowering the error floor of the logical error rate curves. Finally, we discuss new fundamental and practical questions that arise from this work on channel capacity under GKP analog information, and on improving decoder design and analysis.


title: Non-reciprocal frequency conversion and mode routing in a microresonator

abstract: The transportation of photons and phonons typically obeys the principle of reciprocity. Breaking reciprocity of these bosonic excitations will enable the corresponding non-reciprocal devices, such as isolators and circulators. Here, we use two optical modes and two mechanical modes in a microresonator to form a four-mode plaquette via radiation pressure force. The phase-controlled non-reciprocal routing between any two modes with completely different frequencies is demonstrated, including the routing of phonon to phonon (MHz to MHz), photon to phonon (THz to MHz), and especially photon to photon with frequency difference of around 80 THz for the first time. In addition, one more mechanical mode is introduced to this plaquette to realize a phononic circulator in such single microresonator. The non-reciprocity is derived from interference between multi-mode transfer processes involving optomechanical interactions in an optomechanical resonator. It not only demonstrates the non-reciprocal routing of photons and phonons in a single resonator but also realizes the non-reciprocal frequency conversion for photons and circulation for phonons, laying a foundation for studying directional routing and thermal management in an optomechanical hybrid network.


title: Improving the Otsu Thresholding Method of Global Binarization Using Ring Theory for Ultrasonographies of Congestive Heart Failure

abstract: Ring Theory states that a ring is an algebraic structure where two binary operations can be performed among the elements addition and multiplication. Binarization is a method of image processing where values within pixels are reduced to a scale from zero to one, with zero representing the most absence of light and one representing the most presence of light. Currently, sonograms are implemented in scanning for congestive heart failure. However, the renowned Playboy Bunny symbol representing the ailment becomes increasingly difficult to isolate due to surrounding organs and lower quality image productions. This paper examines the Otsu thresholding method and incorporates new elements to account for different image features meant to better isolate congestive heart failure indicators in ultrasound images.


title: Learning to Evolve on Dynamic Graphs

abstract: Representation learning in dynamic graphs is a challenging problem because the topology of graph and node features vary at different time. This requires the model to be able to effectively capture both graph topology information and temporal information. Most existing works are built on recurrent neural networks (RNNs), which are used to exact temporal information of dynamic graphs, and thus they inherit the same drawbacks of RNNs. In this paper, we propose Learning to Evolve on Dynamic Graphs (LEDG) - a novel algorithm that jointly learns graph information and time information. Specifically, our approach utilizes gradient-based meta-learning to learn updating strategies that have better generalization ability than RNN on snapshots. It is model-agnostic and thus can train any message passing based graph neural network (GNN) on dynamic graphs. To enhance the representation power, we disentangle the embeddings into time embeddings and graph intrinsic embeddings. We conduct experiments on various datasets and down-stream tasks, and the experimental results validate the effectiveness of our method.


title: COHERENT at the Spallation Neutron Source

abstract: The Spallation Neutron Source (SNS) at Oak Ridge National Laboratory provides an intense, high-quality source of neutrinos from pion decay at rest. This source was recently used for the first measurements of coherent elastic neutrino-nucleus scattering (CEvNS) by the COHERENT collaboration, resulting in new constraints of beyond-the-standard-model physics. The SNS neutrino source will enable further CEvNS measurements, exploration of inelastic neutrino-nucleus interactions of particular relevance for understanding of supernova neutrinos, and searches for accelerator-produced sub-GeV dark matter. Taking advantage of this unique facility, COHERENT's suite of detectors in "Neutrino Alley'' at the SNS is accumulating more data to address a broad physics program at the intersection of particle physics, nuclear physics, and astrophysics. This review describes COHERENT's first two CEvNS measurements, their interpretation, and the potential of a future physics program at the SNS.


title: Near Threshold Heavy Quarkonium Photoproduction at Large Momentum Transfer

abstract: Perturbative QCD is applied to investigate the near threshold heavy quarkonium photoproduction at large momentum transfer. We take into account the contributions from the leading three-quark Fock states of the nucleon. The dominant contribution comes from the three-quark Fock state with one unit quark orbital angular momentum (OAM) whereas that from zero quark OAM is suppressed at the threshold. From our analysis, we also show that there is no direct connection between the near threshold heavy quarkonium photoproduction and the gluonic gravitational form factors of the nucleon. Based on the comparison between our result and recent GlueX data of $J/\psi$ photoproduction, we make predictions for $\psi'$ and $\Upsilon$ (1S,2S) states which can be tested in future experiments.


title: Measuring the Contribution of Multiple Model Representations in Detecting Adversarial Instances

abstract: Deep learning models have been used for a wide variety of tasks. They are prevalent in computer vision, natural language processing, speech recognition, and other areas. While these models have worked well under many scenarios, it has been shown that they are vulnerable to adversarial attacks. This has led to a proliferation of research into ways that such attacks could be identified and/or defended against. Our goal is to explore the contribution that can be attributed to using multiple underlying models for the purpose of adversarial instance detection. Our paper describes two approaches that incorporate representations from multiple models for detecting adversarial examples. We devise controlled experiments for measuring the detection impact of incrementally utilizing additional models. For many of the scenarios we consider, the results show that performance increases with the number of underlying models used for extracting representations.


title: Introducing Variational Autoencoders to High School Students

abstract: Generative Artificial Intelligence (AI) models are a compelling way to introduce K-12 students to AI education using an artistic medium, and hence have drawn attention from K-12 AI educators. Previous Creative AI curricula mainly focus on Generative Adversarial Networks (GANs) while paying less attention to Autoregressive Models, Variational Autoencoders (VAEs), or other generative models, which have since become common in the field of generative AI. VAEs' latent-space structure and interpolation ability could effectively ground the interdisciplinary learning of AI, creative arts, and philosophy. Thus, we designed a lesson to teach high school students about VAEs. We developed a web-based game and used Plato's cave, a philosophical metaphor, to introduce how VAEs work. We used a Google Colab notebook for students to re-train VAEs with their hand-written digits to consolidate their understandings. Finally, we guided the exploration of creative VAE tools such as SketchRNN and MusicVAE to draw the connection between what they learned and real-world applications. This paper describes the lesson design and shares insights from the pilot studies with 22 students. We found that our approach was effective in teaching students about a novel AI concept.


title: Obstacle Avoidance for UAS in Continuous Action Space Using Deep Reinforcement Learning

abstract: Obstacle avoidance for small unmanned aircraft is vital for the safety of future urban air mobility (UAM) and Unmanned Aircraft System (UAS) Traffic Management (UTM). There are many techniques for real-time robust drone guidance, but many of them solve in discretized airspace and control, which would require an additional path smoothing step to provide flexible commands for UAS. To provide a safe and efficient computational guidance of operations for unmanned aircraft, we explore the use of a deep reinforcement learning algorithm based on Proximal Policy Optimization (PPO) to guide autonomous UAS to their destinations while avoiding obstacles through continuous control. The proposed scenario state representation and reward function can map the continuous state space to continuous control for both heading angle and speed. To verify the performance of the proposed learning framework, we conducted numerical experiments with static and moving obstacles. Uncertainties associated with the environments and safety operation bounds are investigated in detail. Results show that the proposed model can provide accurate and robust guidance and resolve conflict with a success rate of over 99%.


title: A Survey of Commodity WiFi Sensing in 10 Years: Current Status, Challenges, and Opportunities

abstract: The prevalence of WiFi devices and ubiquitous coverage of WiFi networks provide us the opportunity to extend WiFi capabilities beyond communication, particularly in sensing the physical environment. In this paper, we survey the evolution of WiFi sensing systems utilizing commodity devices over the past decade. It groups WiFi sensing systems into three main categories: activity recognition (large-scale and small-scale), object sensing, and localization. We highlight the milestone work in each category and the underline techniques they adopted. Next, this work presents the challenges faced by existing WiFi sensing systems. Lastly, we comprehensively discuss the future trending of commodity WiFi sensing.


title: UET-Headpose: A sensor-based top-view head pose dataset

abstract: Head pose estimation is a challenging task that aims to solve problems related to predicting three dimensions vector, that serves for many applications in human-robot interaction or customer behavior. Previous researches have proposed some precise methods for collecting head pose data. But those methods require either expensive devices like depth cameras or complex laboratory environment setup. In this research, we introduce a new approach with efficient cost and easy setup to collecting head pose images, namely UET-Headpose dataset, with top-view head pose data. This method uses an absolute orientation sensor instead of Depth cameras to be set up quickly and small cost but still ensure good results. Through experiments, our dataset has been shown the difference between its distribution and available dataset like CMU Panoptic Dataset \cite{CMU}. Besides using the UET-Headpose dataset and other head pose datasets, we also introduce the full-range model called FSANet-Wide, which significantly outperforms head pose estimation results by the UET-Headpose dataset, especially on top-view images. Also, this model is very lightweight and takes small size images.


title: Compressibility Effects on the Linear-stability of Centrifugal Buoyancy-induced Flow

abstract: The focus of this study is to understand the evolution of instability in centrifugal buoyancy-induced flow in a rotating system. The problem is of interest in atmospheric flows as well as in engineering applications. In this study, we perform direct numerical simulations (DNS) by solving the compressible Navier-Stokes equations and multi-dimensional stability analyses by using a forced DNS approach. We systematically and independently vary the Rayleigh and Mach numbers. The heat transfer by thermal conduction is used as base flow and maintained as a reference state, upon which the growth of small perturbations is investigated. It is found that the critical wavenumber obtained from the linear stability analysis at the onset of convection has a much shorter wavelength than the one that eventually appears in the non-linear regime. Further, the investigations show that compressibility effects lead to a reduction of the growth rate of the dominant mode, and it modifies the overall formation of convection cells in the cavity.


title: Minimax Supervised Clustering in the Anisotropic Gaussian Mixture Model: A new take on Robust Interpolation

abstract: We study the supervised clustering problem under the two-component anisotropic Gaussian mixture model in high dimensions and in the non-asymptotic setting. We first derive a lower and a matching upper bound for the minimax risk of clustering in this framework. We also show that in the high-dimensional regime, the linear discriminant analysis (LDA) classifier turns out to be sub-optimal in the minimax sense. Next, we characterize precisely the risk of $\ell_2$-regularized supervised least squares classifiers. We deduce the fact that the interpolating solution may outperform the regularized classifier, under mild assumptions on the covariance structure of the noise. Our analysis also shows that interpolation can be robust to corruption in the covariance of the noise when the signal is aligned with the "clean" part of the covariance, for the properly defined notion of alignment. To the best of our knowledge, this peculiar phenomenon has not yet been investigated in the rapidly growing literature related to interpolation. We conclude that interpolation is not only benign but can also be optimal, and in some cases robust.


title: Agile Satellite Planning for Multi-Payload Observations for Earth Science

abstract: We present planning challenges, methods and preliminary results for a new model-based paradigm for earth observing systems in adaptive remote sensing. Our heuristically guided constraint optimization planner produces coordinated plans for multiple satellites, each with multiple instruments (payloads). The satellites are agile, meaning they can quickly maneuver to change viewing angles in response to rapidly changing phenomena. The planner operates in a closed-loop context, updating the plan as it receives regular sensor data and updated predictions. We describe the planner's search space and search procedure, and present preliminary experiment results. Contributions include initial identification of the planner's search space, constraints, heuristics, and performance metrics applied to a soil moisture monitoring scenario using spaceborne radars.


title: Reynolds Stress Modeling Using Data Driven Machine Learning Algorithms

abstract: Fluid turbulence is an important problem for physics and engineering. Turbulence modeling deals with the development of simplified models that can act as surrogates for representing the effects of turbulence on flow evolution. Such models correspond to a range of different fidelities, from simple eddy-viscosity-based closures to Reynolds Stress Models. Till now the focus of the data-driven turbulence modeling efforts has focused on Machine Learning augmented eddy-viscosity models. In this communication, we illustrate the manner in which the eddy-viscosity framework delimits the efficacy and performance of Machine learning algorithms. Based on this foundation we carry out the first application of Machine learning algorithms for developing improved Reynolds Stress Modeling-based closures for turbulence. Different machine learning approaches are assessed for modeling the pressure strain correlation in turbulence, a longstanding problem of singular importance. We evaluate the performance of these algorithms in the learning dataset, as well as their ability to generalize to different flow cases where the inherent physical processes may vary. This explores the assertion that ML-based data-driven turbulence models can overcome the modeling limitations associated with the traditional turbulence models and ML models trained with large amounts of data with different classes of flows can predict flow field with reasonable accuracy for unknown flows with similar flow physics.


title: Hyperspectral Mixed Noise Removal via Subspace Representation and Weighted Low-rank Tensor Regularization

abstract: Recently, the low-rank property of different components extracted from the image has been considered in man hyperspectral image denoising methods. However, these methods usually unfold the 3D tensor to 2D matrix or 1D vector to exploit the prior information, such as nonlocal spatial self-similarity (NSS) and global spectral correlation (GSC), which break the intrinsic structure correlation of hyperspectral image (HSI) and thus lead to poor restoration quality. In addition, most of them suffer from heavy computational burden issues due to the involvement of singular value decomposition operation on matrix and tensor in the original high-dimensionality space of HSI. We employ subspace representation and the weighted low-rank tensor regularization (SWLRTR) into the model to remove the mixed noise in the hyperspectral image. Specifically, to employ the GSC among spectral bands, the noisy HSI is projected into a low-dimensional subspace which simplified calculation. After that, a weighted low-rank tensor regularization term is introduced to characterize the priors in the reduced image subspace. Moreover, we design an algorithm based on alternating minimization to solve the nonconvex problem. Experiments on simulated and real datasets demonstrate that the SWLRTR method performs better than other hyperspectral denoising methods quantitatively and visually.


title: Notes on primordial black hole origin for thermal gamma-ray bursts

abstract: Recently, an alleged plausible astrophysical scenario was proposed for the production of observed thermal gamma-ray bursts, via Hawking radiation emitted from a primordial black hole (PBH) freely falling into a more massive black hole. Here the implausibility of that scenario is demonstrated, and the key flaws in that paper's calculations and assumptions are elucidated through a discussion of some common misconceptions concerning black holes and general relativity. In particular, the predicted radiance observed from Earth is found to be orders of magnitude lower than what any instrument could detect, and the PBH-BH merger signature would be completely overwhelmed by the background Hawking signature from free PBHs.


title: Iterative Training: Finding Binary Weight Deep Neural Networks with Layer Binarization

abstract: In low-latency or mobile applications, lower computation complexity, lower memory footprint and better energy efficiency are desired. Many prior works address this need by removing redundant parameters. Parameter quantization replaces floating-point arithmetic with lower precision fixed-point arithmetic, further reducing complexity. Typical training of quantized weight neural networks starts from fully quantized weights. Quantization creates random noise. As a way to compensate for this noise, during training, we propose to quantize some weights while keeping others in floating-point precision. A deep neural network has many layers. To arrive at a fully quantized weight network, we start from one quantized layer and then quantize more and more layers. We show that the order of layer quantization affects accuracies. Order count is large for deep neural networks. A sensitivity pre-training is proposed to guide the layer quantization order. Recent work in weight binarization replaces weight-input matrix multiplication with additions. We apply the proposed iterative training to weight binarization. Our experiments cover fully connected and convolutional networks on MNIST, CIFAR-10 and ImageNet datasets. We show empirically that, starting from partial binary weights instead of from fully binary ones, training reaches fully binary weight networks with better accuracies for larger and deeper networks. Layer binarization in the forward order results in better accuracies. Guided layer binarization can further improve that. The improvements come at a cost of longer training time.


title: Facial Landmark Points Detection Using Knowledge Distillation-Based Neural Networks

abstract: Facial landmark detection is a vital step for numerous facial image analysis applications. Although some deep learning-based methods have achieved good performances in this task, they are often not suitable for running on mobile devices. Such methods rely on networks with many parameters, which makes the training and inference time-consuming. Training lightweight neural networks such as MobileNets are often challenging, and the models might have low accuracy. Inspired by knowledge distillation (KD), this paper presents a novel loss function to train a lightweight Student network (e.g., MobileNetV2) for facial landmark detection. We use two Teacher networks, a Tolerant-Teacher and a Tough-Teacher in conjunction with the Student network. The Tolerant-Teacher is trained using Soft-landmarks created by active shape models, while the Tough-Teacher is trained using the ground truth (aka Hard-landmarks) landmark points. To utilize the facial landmark points predicted by the Teacher networks, we define an Assistive Loss (ALoss) for each Teacher network. Moreover, we define a loss function called KD-Loss that utilizes the facial landmark points predicted by the two pre-trained Teacher networks (EfficientNet-b3) to guide the lightweight Student network towards predicting the Hard-landmarks. Our experimental results on three challenging facial datasets show that the proposed architecture will result in a better-trained Student network that can extract facial landmark points with high accuracy.


title: Image Classification with Consistent Supporting Evidence

abstract: Adoption of machine learning models in healthcare requires end users' trust in the system. Models that provide additional supportive evidence for their predictions promise to facilitate adoption. We define consistent evidence to be both compatible and sufficient with respect to model predictions. We propose measures of model inconsistency and regularizers that promote more consistent evidence. We demonstrate our ideas in the context of edema severity grading from chest radiographs. We demonstrate empirically that consistent models provide competitive performance while supporting interpretation.


title: Prefix Discrepancy, Smoothed Analysis, and Combinatorial Vector Balancing

abstract: A well-known result of Banaszczyk in discrepancy theory concerns the prefix discrepancy problem (also known as the signed series problem): given a sequence of $T$ unit vectors in $\mathbb{R}^d$, find $\pm$ signs for each of them such that the signed sum vector along any prefix has a small $\ell_\infty$-norm? This problem is central to proving upper bounds for the Steinitz problem, and the popular Koml\'os problem is a special case where one is only concerned with the final signed sum vector instead of all prefixes. Banaszczyk gave an $O(\sqrt{\log d+ \log T})$ bound for the prefix discrepancy problem. We investigate the tightness of Banaszczyk's bound and consider natural generalizations of prefix discrepancy: We first consider a smoothed analysis setting, where a small amount of additive noise perturbs the input vectors. We show an exponential improvement in $T$ compared to Banaszczyk's bound. Using a primal-dual approach and a careful chaining argument, we show that one can achieve a bound of $O(\sqrt{\log d+ \log\!\log T})$ with high probability in the smoothed setting. Moreover, this smoothed analysis bound is the best possible without further improvement on Banaszczyk's bound in the worst case. We also introduce a generalization of the prefix discrepancy problem where the discrepancy constraints correspond to paths on a DAG on $T$ vertices. We show that an analog of Banaszczyk's $O(\sqrt{\log d+ \log T})$ bound continues to hold in this setting for adversarially given unit vectors and that the $\sqrt{\log T}$ factor is unavoidable for DAGs. We also show that the dependence on $T$ cannot be improved significantly in the smoothed case for DAGs. We conclude by exploring a more general notion of vector balancing, which we call combinatorial vector balancing. We obtain near-optimal bounds in this setting, up to poly-logarithmic factors.


title: Edge connectivity of simplicial polytopes

abstract: A simplicial polytope is a polytope with all its facets being combinatorially equivalent to simplices. We deal with the edge connectivity of the graphs of simplicial polytopes. We first establish that, for any $d\ge 3$, for any $d\ge 3$, every minimum edge cut of cardinality at most $4d-7$ in such a graph is \textit{trivial}, namely it consists of all the edges incident with some vertex. A consequence of this is that, for $d\ge 3$, the graph of a simplicial $d$-polytope with minimum degree $\delta$ is $\min\{\delta,4d-6\}$-edge-connected. In the particular case of $d=3$, we have that every minimum edge cut in a plane triangulation is trivial; this may be of interest to researchers in graph theory. Second, for every $d\ge 4$ we construct a simplicial $d$-polytope whose graph has a nontrivial minimum edge cut of cardinality $(d^{2}+d)/2$. This gives a simplicial 4-polytope with a nontrivial minimum edge cut that has ten edges. Thus, the aforementioned result is best possible for simplicial $4$-polytopes.


title: Predicting non-Markovian superconducting qubit dynamics from tomographic reconstruction

abstract: Non-Markovian noise presents a particularly relevant challenge in understanding and combating decoherence in quantum computers, yet is challenging to capture in terms of simple models. Here we show that a simple phenomenological dynamical model known as the post-Markovian master equation (PMME) accurately captures and predicts non-Markovian noise in a superconducting qubit system. The PMME is constructed using experimentally measured state dynamics of an IBM Quantum Experience cloud-based quantum processor, and the model thus constructed successfully predicts the non-Markovian dynamics observed in later experiments. The model also allows the extraction of information about cross-talk and measures of non-Markovianity. We demonstrate definitively that the PMME model predicts subsequent dynamics of the processor better than the standard Markovian master equation.


title: Distribution and Determinants of Correlation between PM2.5 and O3 in China Mainland: Dynamitic simil-Hu Lines

abstract: In recent years, China has made great efforts to control air pollution. During the governance process, it is found that fine particulate matter (PM2.5) and ozone (O3) change in the same trend among some areas and the opposite in others, which brings some difficulties to take measures in a planned way. Therefore, this study adopted multi-year and large-scale air quality data to explore the distribution of correlation between PM2.5 and O3, and proposed a concept called dynamic similar hu lines to replace the single fixed division in the previous research. Furthermore, this study discussed the causes of distribution patterns quantitatively with geographical detector and random forest. The causes included natural factors and anthropogenic factors. And these factors could be divided into three parts according to the characteristics of spatial distribution: broadly changing with longitude, changing with latitude, and having local characteristics. Overall, regions with relatively more densely population, higher GDP, lower altitude, higher humidity, higher atmospheric pressure, higher surface temperature, less sunshine hours and more accumulated precipitation often corresponds to positive correlation coefficient between PM2.5 and O3, no matter in which season. The parts with opposite conditions that mentioned above are essentially negative correlation coefficient. And what's more, humidity, global surface temperature, air temperature and accumulated precipitation are four decisive factors to form the distribution of correlation between PM2.5 and O3. In general, collaborative governance of atmospheric pollutants should consider particular time and space background and also be based on the local actual socio-economic situations, geography and geomorphology, climate and meteorology and other comprehensive factors.


title: Revisiting the sub-pulse drifting phenomenon in PSR J1822-2256: Drift Modes, Sparks, and Emission Heights

abstract: Sub-pulse drifting in pulsar radio emission is considered to be one of the most promising phenomenon for uncovering the underlying physical processes. Here we present a detailed study of such a phenomenon in observations of PSR J1822$-$2256, made using the upgraded Giant Meterwave Radio Telescope (uGMRT). Observations were made simultaneously using the Band 3 (300-500 MHz) and Band 4 (550-750 MHz) receivers of the uGMRT. The pulsar is known to exhibit subpulse drifting, mode changing, and nulling. Our observations reveal four distinct sub-pulse drifting modes of emission (A, B, C, and D) for this pulsar, with the drift periodicities of 17.9 $P_1$, 5.8 $P_1$, 8 $P_1$, 14.1 $P_1$, respectively (where $P_1$ is the pulsar rotation period), two of which exhibit some new features that were not reported in the previous studies. We also investigate the possible spark configuration, characterised by the number of sparks ($n$) in the carousel patterns of these four drift modes, and our analysis suggests two representative solutions for the number of sparks for a carousel rotation period, $P_4$, which lies in the range of $13$ to $16$. The large frequency coverage of our data (300-750 MHz) is also leveraged to explore the frequency dependence of single-pulse characteristics of the pulsar emission, particularly the frequency-dependent subpulse behaviour and the emission heights for the observed drift modes. Our analysis suggests a clear modal dependence of inferred emission heights. We discuss the implications for the pulsar emission mechanism and its relation to the proposed spark configuration.


title: First Order Transitions Between the Gapped Spin-Liquid and Ferrimagnetic Phases in (1/2,1/2,1) Mixed Diamond Chains with Bond Alternation

abstract: The ground-state phases of mixed diamond chains with bond alternation $\delta$, and ($S, \tau^{(1)}, \tau^{(2)})=(1/2,1/2,1)$, where $S$ is the magnitude of vertex spins, and $\tau^{(1)}$ and $\tau^{(2)}$ are those of apical spins, are investigated. The two apical spins in each unit cell are connected by an exchange coupling $\lambda$. The exchange couplings between the apical spins and the vertex spins take the values $1+\delta$ and $1-\delta$ alternatingly. This model has an infinite number of local conservation laws. For large $\lambda$ and $\delta \neq 0$, the ground state is equivalent to that of the spin $1/2$ chain with bond alternation. Hence, the ground state is a gapped spin liquid. This energy gap vanishes for $\delta=0$. With the decrease of $\lambda$, the ground state undergoes a transition at $\lambda=\lambda_{\rm c0}(\delta)$ to a series of ferrimagnetic phases with a spontaneous magnetization $m_{\rm sp}=1/p$ per unit cell where $p$ is a positive integer. It is found that this transition is a first order transition for $\delta\neq 0$ with a discontinuous change in $m_{\rm sp}$, while no discontinuity is found for $\delta=0$. The critical behaviors of $m_{\rm sp}$ and $\lambda_{\rm c0}(\delta)$ around the critical point $(\delta,\lambda) =(0, \lambda_{\rm c0}(\delta))$ are also discussed analytically.


title: Homogenized skew PBW extensions

abstract: In this paper, we provide a new and more general filtration to the family of noncommutative rings known as skew PBW extensions. We introduce the notion of $\sigma$-filtered skew PBW extension and study some homological properties of these algebras. We show that the homogenization of a $\sigma$-filtered skew PBW extension $A$ over a ring $R$ is a graded skew PBW extension over the homogenization of $R$. Using this fact, we prove that if the homogenization of $R$ is Auslander-regular, then the homogenization of $A$ is a domain Noetherian, Artin-Schelter regular, and $A$ is Noetherian, Zariski and (ungraded) skew Calabi-Yau.


title: Selection of the Speed Command Distance for Improved Performance of a Rule-Based VSL and Lane Change Control

abstract: Variable Speed Limit (VSL) control has been one of the most popular techniques with the potential of smoothing traffic flow, maximizing throughput at bottlenecks, and improving mobility and safety. Despite the substantial research efforts in the application of VSL control, few studies have looked into the effect of the VSL sign distance from the point of an accident or a bottleneck. In this paper, we show that this distance has a significant impact on the effectiveness and performance of VSL control. We propose a rule-based VSL strategy that matches the outflow of the upstream VSL zone with the bottleneck capacity based on a multi-section Cell Transmission Model (CTM). Then, we consider the distance of the upstream VSL zone as a control variable and perform a comprehensive analysis of its impact on the performance of the closed-loop traffic control system based on the multi-section CTM. We develop a lower bound that this distance needs to satisfy in order to guarantee homogeneous traffic density across sections and reduce bottleneck congestion. The bound is verified analytically and demonstrated using microscopic simulation of traffic on I-710 in Southern California. The simulations are used to quantify the benefits on mobility, safety and emissions obtained by selecting the upstream VSL zone distance to satisfy the analytical lower bound. The developed lower bound is a design tool which can be used to tune and improve the performance of VSL controllers.


title: Extreme Variability Quasars in Their Various States. I: The sample selection and composite SDSS spectra

abstract: Extremely variable quasars (EVQs) are a population of sources showing large optical photometric variability revealed by time-domain surveys. The physical origin of such extreme variability is yet unclear. In this first paper of a series, we construct the largest-ever sample of 14,012 EVQs using photometric data spanning over $>$ 15 years from SDSS and Pan-STARRS1. We divide them into five sub-samples according to the relative brightness of an EVQ during SDSS spectroscopic observation compared to the mean brightness from photometric observations. Corresponding control samples of normal quasars are built with matched redshift, bolometric luminosity and supermassive black hole mass. We obtain the composite SDSS spectra of EVQs in various states and their corresponding control samples. We find EVQs exhibit clearly bluer (redder) SDSS spectra during bright (dim) states, consistent with the "bluer-when-brighter" trend widely seen in normal quasars. We further find the line EWs of broad MgII, CIV and OIII (but not broad Hb which is yet puzzling) gradually decrease from dim state to bright state, similar to the so-called intrinsic Baldwin effect commonly seen in normal AGNs. Meanwhile, EVQs have systematically larger line EWs compared with the control samples. We also see that EVQs exhibit subtle excess in the very broad line component compared with control samples. Possible explanations for the discoveries are discussed. Our findings support the hypothesis that EVQs are in the tail of a broad distribution of quasar properties, but not a distinct population.


title: Bolstering Stochastic Gradient Descent with Model Building

abstract: Stochastic gradient descent method and its variants constitute the core optimization algorithms that achieve good convergence rates for solving machine learning problems. These rates are obtained especially when these algorithms are fine-tuned for the application at hand. Although this tuning process can require large computational costs, recent work has shown that these costs can be reduced by line search methods that iteratively adjust the step length. We propose an alternative approach to stochastic line search by using a new algorithm based on forward step model building. This model building step incorporates second-order information that allows adjusting not only the step length but also the search direction. Noting that deep learning model parameters come in groups (layers of tensors), our method builds its model and calculates a new step for each parameter group. This novel diagonalization approach makes the selected step lengths adaptive. We provide convergence rate analysis, and experimentally show that the proposed algorithm achieves faster convergence and better generalization in well-known test problems. More precisely, SMB requires less tuning, and shows comparable performance to other adaptive methods.


title: Classical and Quantum Algorithms for Variants of Subset-Sum via Dynamic Programming

abstract: Subset-Sum is an NP-complete problem where one must decide if a multiset of $n$ integers contains a subset whose elements sum to a target value $m$. The best-known classical and quantum algorithms run in time $\tilde{O}(2^{n/2})$ and $\tilde{O}(2^{n/3})$, respectively, based on the well-known meet-in-the-middle technique. Here we introduce a novel classical dynamic-programming-based data structure with applications to Subset-Sum and a number of variants, including Equal-Sums (where one seeks two disjoint subsets with the same sum), 2-Subset-Sum (a relaxed version of Subset-Sum where each item in the input set can be used twice in the summation), and Shifted-Sums, a generalization of both of these variants, where one seeks two disjoint subsets whose sums differ by some specified value. Given any modulus $p$, our data structure can be constructed in time $O(n^2p)$, after which queries can be made in time $O(n^2)$ to the lists of subsets summing to any value modulo $p$. We use this data structure in combination with variable-time amplitude amplification and a new quantum pair finding algorithm, extending the quantum claw finding algorithm to the multiple solutions case, to give an $O(2^{0.504n})$ quantum algorithm for Shifted-Sums, an improvement on the best-known $O(2^{0.773n})$ classical running time. Incidentally, we obtain new $\tilde{O}(2^{n/2})$ and $\tilde{O}(2^{n/3})$ classical and quantum algorithms for Subset-Sum, not based on the seminal meet-in-the-middle method. We also study Pigeonhole Equal-Sums and Pigeonhole Modular Equal-Sums, where the existence of a solution is guaranteed by the pigeonhole principle. For the former problem, we give faster classical and quantum algorithms with running time $\tilde{O}(2^{n/2})$ and $\tilde{O}(2^{2n/5})$, respectively. For the more general modular problem, we give a classical algorithm that also runs in time $\tilde{O}(2^{n/2})$.


title: PAMMELA: Policy Administration Methodology using Machine Learning

abstract: In recent years, Attribute-Based Access Control (ABAC) has become quite popular and effective for enforcing access control in dynamic and collaborative environments. Implementation of ABAC requires the creation of a set of attribute-based rules which cumulatively form a policy. Designing an ABAC policy ab initio demands a substantial amount of effort from the system administrator. Moreover, organizational changes may necessitate the inclusion of new rules in an already deployed policy. In such a case, re-mining the entire ABAC policy will require a considerable amount of time and administrative effort. Instead, it is better to incrementally augment the policy. Keeping these aspects of reducing administrative overhead in mind, in this paper, we propose PAMMELA, a Policy Administration Methodology using Machine Learning to help system administrators in creating new ABAC policies as well as augmenting existing ones. PAMMELA can generate a new policy for an organization by learning the rules of a policy currently enforced in a similar organization. For policy augmentation, PAMMELA can infer new rules based on the knowledge gathered from the existing rules. Experimental results show that our proposed approach provides a reasonably good performance in terms of the various machine learning evaluation metrics as well as execution time.


title: Geometric PID Controller for Stabilization of Nonholonomic Mechanical Systems on Lie Groups

abstract: The PID controller is an elegant and versatile controller for set point tracking in double integrator systems of which mechanical systems evolving on Euclidean space constitute a large class. But since mechanical systems are typically constrained interconnections of rigid bodies whose configuration space is $SE(3)$, which is not even topologically Euclidean, a geometric PID controller has been developed for mechanical systems evolving on Lie groups. In this work, we extend the framework to such systems which have nonholonomic constraints. It encompasses many practically applicable mechanical systems encountered in robotics as robots are constrained interconnections of rigid bodies where the constraints could either be holonomic or nonholonomic.


title: UNTANGLE: Unlocking Routing and Logic Obfuscation Using Graph Neural Networks-based Link Prediction

abstract: Logic locking aims to prevent intellectual property (IP) piracy and unauthorized overproduction of integrated circuits (ICs). However, initial logic locking techniques were vulnerable to the Boolean satisfiability (SAT)-based attacks. In response, researchers proposed various SAT-resistant locking techniques such as point function-based locking and symmetric interconnection (SAT-hard) obfuscation. We focus on the latter since point function-based locking suffers from various structural vulnerabilities. The SAT-hard logic locking technique, InterLock [1], achieves a unified logic and routing obfuscation that thwarts state-of-the-art attacks on logic locking. In this work, we propose a novel link prediction-based attack, UNTANGLE, that successfully breaks InterLock in an oracle-less setting without having access to an activated IC (oracle). Since InterLock hides selected timing paths in key-controlled routing blocks, UNTANGLE reveals the gates and interconnections hidden in the routing blocks upon formulating this task as a link prediction problem. The intuition behind our approach is that ICs contain a large amount of repetition and reuse cores. Hence, UNTANGLE can infer the hidden timing paths by learning the composition of gates in the observed locked netlist or a circuit library leveraging graph neural networks. We show that circuits withstanding SAT-based and other attacks can be unlocked in seconds with 100% precision using UNTANGLE in an oracle-less setting. UNTANGLE is a generic attack platform (which we also open source [2]) that applies to multiplexer (MUX)-based obfuscation, as demonstrated through our experiments on ISCAS-85 and ITC-99 benchmarks locked using InterLock and random MUX-based locking.


title: An extended rational dichotomy for certain open books

abstract: We study the rational homotopy groups of open books in terms of those of their pages and bindings. Under homotopy conditions on the monodromy we prove a rational dichotomy theorem for open books, as an extension of the classical dichotomy in rational homotopy theory. As a direct application, we show that for Milnor's open book decomposition of an odd sphere with monodromy of finite order the induced action of the monodromy on the homology groups of its page cannot be nilpotent. We also calculate the integral homotopy groups of open books in terms of those of their pages and bindings when their monodromies are homotopic to the identity map.


title: Transformation and simulation for a generalised queuing problem using a G/G/n/G/+ queuing model

abstract: We examine a generalised queuing model which we call the G/G/n/G/+ model, which encompasses the G/G/n and G/G/n/s models as special cases. Our model accommodates useful generalisations in user behaviour and limitations on the facilities for the queuing process. Give a set of inputs for the users and facilities, we develop a recursive algorithm that computes all aspects of the queuing process, including the waiting-times, use-times and unserved-times for each user. We also show how the queue can be represented graphically in a "queuing plot". We use our algorithm to undertake simulation analysis to determine the distribution of queuing outputs given specified distributions for the inputs, and we show how this can be used to optimise the number of facilities. We conduct some simple simulations to illustrate the method using standard queuing models. Our method is implemented in various queuing functions in the utilities package in R.


title: Discovery of deep eclipses in the cataclysmic variable ZTF17aaaeefu (2MASS J00594349+6454419)

abstract: I performed photometric observations of the cataclysmic variable candidate ZTF17aaaeefu and discovered very deep eclipses. The observations were obtained over 8 nights covering 7 months. The eclipse profile is similar to the eclipse profiles observed in other cataclysmic variables. During the observations, ZTF17aaaeefu showed brightness changes resembling dwarf nova outbursts and quiescent states. When ZTF17aaaeefu was bright (16.0-16.2 mag), the average eclipse depth was 2.50+/-0.18 mag. When ZTF17aaaeefu was faint (17.2-17.4 mag), the average eclipse depth was 1.45+/-0.06 mag. However, these differences in the eclipse depth may be mainly caused by the contaminating effect of three faint stars around ZTF17aaaeefu. In both cases, the average width of the prominent parts of the eclipses was the same and was about 30 min. Due to the large coverage of observations, I measured the orbital period with high precision, Porb=0.18821155+/-0.00000014 d. I derived the eclipse ephemeris, the validity time of which is 700 years in accordance with the precision of the orbital period. This ephemeris can be used for future studies of the orbital period changes. Because ZTF17aaaeefu has a long orbital period, this cataclysmic variable is of interest for determining the masses of its stellar components. In future radial velocity measurements, my precise eclipse ephemeris may be useful for determining the orbital phases.


title: Growing trees from compact subgroups

abstract: We establish a new connection between local and large-scale structure in compactly generated totally disconnected locally compact (t.d.l.c.) groups $G$, finding a sufficient condition for $G$ to have more than one end in terms of its compact subgroups. The condition actually results in an action of a quotient group $G/N$ on a tree with faithful micro-supported action on the boundary, where $N$ is compact, and is closely related to the Boolean algebra formed by the centralisers of the subgroups of $G/N$ with open normaliser. As an application, we find a sufficient condition, given a one-ended t.d.l.c. group $G$, for all direct factors of open subgroups of $G$ to be trivial or open.


title: Interquantile Shrinkage in Spatial Quantile Autoregressive Regression models

abstract: Spatial dependent data frequently occur in many fields such as spatial econometrics and epidemiology. To deal with the dependence of variables and estimate quantile-specific effects by covariates, spatial quantile autoregressive models (SQAR models) are introduced. Conventional quantile regression only focuses on the fitting models but ignores the examination of multiple conditional quantile functions, which provides a comprehensive view of the relationship between the response and covariates. Thus, it is necessary to study the different regression slopes at different quantiles, especially in situations where the quantile coefficients share some common feature. However, traditional Wald multiple tests not only increase the burden of computation but also bring greater FDR. In this paper, we transform the estimation and examination problem into a penalization problem, which estimates the parameters at different quantiles and identifies the interquantile commonality at the same time. To avoid the endogeneity caused by the spatial lag variables in SQAR models, we also introduce instrumental variables before estimation and propose two-stage estimation methods based on fused adaptive LASSO and fused adaptive sup-norm penalty approaches. The oracle properties of the proposed estimation methods are established. Through numerical investigations, it is demonstrated that the proposed methods lead to higher estimation efficiency than the traditional quantile regression.


title: Study of keyword extraction techniques for Electric Double Layer Capacitor domain using text similarity indexes: An experimental analysis

abstract: Keywords perform a significant role in selecting various topic-related documents quite easily. Topics or keywords assigned by humans or experts provide accurate information. However, this practice is quite expensive in terms of resources and time management. Hence, it is more satisfying to utilize automated keyword extraction techniques. Nevertheless, before beginning the automated process, it is necessary to check and confirm how similar expert-provided and algorithm-generated keywords are. This paper presents an experimental analysis of similarity scores of keywords generated by different supervised and unsupervised automated keyword extraction algorithms with expert provided keywords from the Electric Double Layer Capacitor (EDLC) domain. The paper also analyses which texts provide better keywords like positive sentences or all sentences of the document. From the unsupervised algorithms, YAKE, TopicRank, MultipartiteRank, and KPMiner are employed for keyword extraction. From the supervised algorithms, KEA and WINGNUS are employed for keyword extraction. To assess the similarity of the extracted keywords with expert-provided keywords, Jaccard, Cosine, and Cosine with word vector similarity indexes are employed in this study. The experiment shows that the MultipartiteRank keyword extraction technique measured with cosine with word vector similarity index produces the best result with 92% similarity with expert provided keywords. This study can help the NLP researchers working with the EDLC domain or recommender systems to select more suitable keyword extraction and similarity index calculation techniques.


title: Some new Fano varieties with a multiplicative Chow-K\"unneth decomposition

abstract: Let $Y$ be a smooth dimensionally transverse intersection of the Grassmannian $\hbox{Gr}(2,n)$ with 3 Pl\"ucker hyperplanes. We show that $Y$ admits a multiplicative Chow-K\"unneth decomposition, in the sense of Shen-Vial. As a consequence, a certain tautological subring of the Chow ring of powers of $Y$ injects into cohomology.


title: Sensitivity-Based Optimization for Blockchain Selfish Mining

abstract: In this paper, we provide a novel dynamic decision method of blockchain selfish mining by applying the sensitivity-based optimization theory. Our aim is to find the optimal dynamic blockchain-pegged policy of the dishonest mining pool. To study the selfish mining attacks, two mining pools is designed by means of different competitive criterions, where the honest mining pool follows a two-block leading competitive criterion, while the dishonest mining pool follows a modification of two-block leading competitive criterion through using a blockchain-pegged policy. To find the optimal blockchain-pegged policy, we set up a policy-based continuous-time Markov process and analyze some key factors. Based on this, we discuss monotonicity and optimality of the long-run average profit with respect to the blockchain-pegged reward and prove the structure of the optimal blockchain-pegged policy. We hope the methodology and results derived in this paper can shed light on the dynamic decision research on the selfish mining attacks of blockchain selfish mining.


title: Divisors on complete multigraphs and Donaldson-Thomas invariants of loop quivers

abstract: We study the action of $S_n$ on the set of break divisors on complete multigraphs $K_{n}^m$. We provide an alternative characterization for these divisors, by virtue of which we show that orbits of this action are enumerated by the numerical Donaldson-Thomas invariants of $(m+1)$-loop quivers. Our characterization also allows us to restrict this action to $S_{n-1}$ and we identify the resulting $S_{n-1}$-module as that afforded by $K_n^m$-parking functions.


title: Factorial Convolution Neural Networks

abstract: In recent years, GoogleNet has garnered substantial attention as one of the base convolutional neural networks (CNNs) to extract visual features for object detection. However, it experiences challenges of contaminated deep features when concatenating elements with different properties. Also, since GoogleNet is not an entirely lightweight CNN, it still has many execution overheads to apply to a resource-starved application domain. Therefore, a new CNNs, FactorNet, has been proposed to overcome these functional challenges. The FactorNet CNN is composed of multiple independent sub CNNs to encode different aspects of the deep visual features and has far fewer execution overheads in terms of weight parameters and floating-point operations. Incorporating FactorNet into the Faster-RCNN framework proved that FactorNet gives \ignore{a 5\%} better accuracy at a minimum and produces additional speedup over GoolgleNet throughout the KITTI object detection benchmark data set in a real-time object detection system.


abstract: In this paper, we compute the action of the mod $p$ Steenrod operations on the modular invariants of the linear groups with $p$ an odd prime number.


title: Memotion Analysis through the Lens of Joint Embedding

abstract: Joint embedding (JE) is a way to encode multi-modal data into a vector space where text remains as the grounding key and other modalities like image are to be anchored with such keys. Meme is typically an image with embedded text onto it. Although, memes are commonly used for fun, they could also be used to spread hate and fake information. That along with its growing ubiquity over several social platforms has caused automatic analysis of memes to become a widespread topic of research. In this paper, we report our initial experiments on Memotion Analysis problem through joint embeddings. Results are marginally yielding SOTA.


title: Risk-Free Rate in the Covid-19 Pandemic: Application Mistakes and Conclusions for Traders

abstract: This short paper is intended to demonstrate a crucial omission made by traders in setting the risk-free interest rate, especially in times of crisis: instead of increasing the risk-free rate, traders undercut it en masse on the contrary. This results in incorrect investment and financial decisions, especially those involving CAPM models, option pricing models and portfolio theory.


title: The $B_c$ lifetime in the Standard Model

abstract: Using an operator product expansion (OPE) approach an updated Standard Model prediction of the $B_c$ lifetime is presented. The computation in three different mass schemes for the heavy quarks leads to three different values consistent with each other and with experiment. Furthermore a novel way to compute the $B_c$ lifetime is presented, taking differences of $B,D$ and $B_c$ meson decay rates. In this approach the leading contributions from free-quark decays cancel out, leading to a reduction of scale and scheme dependence.


title: Discriminant indicators with generalized inversion symmetry

abstract: We propose indicators of the discriminant for systems with generalized inversion symmetry which are computed from data only at high-symmetry points in the Brillouin zone. Our approach captures the exceptional points and their symmetry-protected variants without ambiguity arising from the reference energy, which is advantage over the previously known indicators for non-Hermitian systems. As demonstrations, we systematically analyze $3\times 3$-Hamiltonians where the proper choice of the reference energy is not obvious.

categories: cond-mat.mes-hall cond-mat.stat-mech cond-mat.str-el cond-mat.supr-con quant-ph


title: Networking of Internet of UAVs: Challenges and Intelligent Approaches

abstract: Internet of unmanned aerial vehicle (I-UAV) networks promise to accomplish sensing and transmission tasks quickly, robustly, and cost-efficiently via effective cooperation among UAVs. To achieve the promising benefits, the crucial I-UAV networking issue should be tackled. This article argues that I-UAV networking can be classified into three categories, quality-of-service (QoS) driven networking, quality-of-experience (QoE) driven networking, and situation aware networking. Each category of networking poses emerging challenges which have severe effects on the safe and efficient accomplishment of I-UAV missions. This article elaborately analyzes these challenges and expounds on the corresponding intelligent approaches to tackle the I-UAV networking issue. Besides, considering the uplifting effect of extending the scalability of I-UAV networks through cooperating with high altitude platforms (HAPs), this article gives an overview of the integrated HAP and I-UAV networks and presents the corresponding networking challenges and intelligent approaches.


title: Transversal Hamilton cycle in hypergraph systems

abstract: A $k$-graph system $\textbf{H}=\{H_i\}_{i\in[m]}$ is a family of not necessarily distinct $k$-graphs on the same $n$-vertex set $V$ and a $k$-graph $H$ on $V$ is said to be $\textbf{H}$-transversal provided that there exists an injection $\varphi: E(H)\rightarrow [m]$ such that $e\in E(H_{\varphi(e)})$ for all $e\in E(H)$. We show that given $k\geq3, \gamma>0$, sufficiently large $n$ and an $n$-vertex $k$-graph system $\textbf{H}=\{H_i\}_{i\in[n]}$, if $\delta_{k-1}(H_i)\geq(1/2+\gamma)n$ for each $i\in[n]$, then there exists an $\textbf{H}$-transversal tight Hamilton cycle. This extends the result of R\"{o}dl, Ruci\'{n}ski and Szemer\'{e}di [Combinatorica, 2008] on single $k$-graphs.


title: Deep Learning in High Dimension: Neural Network Approximation of Analytic Functions in $L^2(\mathbb{R}^d,\gamma_d)$

abstract: For artificial deep neural networks, we prove expression rates for analytic functions $f:\mathbb{R}^d\to\mathbb{R}$ in the norm of $L^2(\mathbb{R}^d,\gamma_d)$ where $d\in {\mathbb{N}}\cup\{ \infty \}$. Here $\gamma_d$ denotes the Gaussian product probability measure on $\mathbb{R}^d$. We consider in particular ReLU and ReLU${}^k$ activations for integer $k\geq 2$. For $d\in\mathbb{N}$, we show exponential convergence rates in $L^2(\mathbb{R}^d,\gamma_d)$. In case $d=\infty$, under suitable smoothness and sparsity assumptions on $f:\mathbb{R}^{\mathbb{N}}\to\mathbb{R}$, with $\gamma_\infty$ denoting an infinite (Gaussian) product measure on $\mathbb{R}^{\mathbb{N}}$, we prove dimension-independent expression rate bounds in the norm of $L^2(\mathbb{R}^{\mathbb{N}},\gamma_\infty)$. The rates only depend on quantified holomorphy of (an analytic continuation of) the map $f$ to a product of strips in $\mathbb{C}^d$. As an application, we prove expression rate bounds of deep ReLU-NNs for response surfaces of elliptic PDEs with log-Gaussian random field inputs.


title: The finite dual coalgebra as a quantization of the maximal spectrum

abstract: In pursuit of a noncommutative spectrum functor, we argue that the Heyneman-Sweedler finite dual coalgebra can be viewed as a quantization of the maximal spectrum of a commutative affine algebra, integrating prior perspectives of Takeuchi, Batchelor, Kontsevich-Soibelman, and Le Bruyn. We introduce fully residually finite-dimensional algebras $A$ as those with enough finite-dimensional representations to let $A^\circ$ act as an appropriate depiction of the noncommutative maximal spectrum of $A$; importantly, this class includes affine noetherian PI algebras. In the case of prime affine algebras that are module-finite over their center, we describe how the Azumaya locus is represented in the finite dual. This is used to describe the finite dual of quantum planes at roots of unity as an endeavor to visualize the noncommutative space on which these algebras act as functions. Finally, we discuss how a similar analysis can be carried out for other maximal orders over surfaces.


title: Congruences related to Eulerian and Euler numbers

abstract: Using Eulerian and Euler numbers, we establish congruences concerning sums involving harmonic numbers, tangent numbers and Genocchi numbers.


title: Learning Data Teaching Strategies Via Knowledge Tracing

abstract: Teaching plays a fundamental role in human learning. Typically, a human teaching strategy would involve assessing a student's knowledge progress for tailoring the teaching materials in a way that enhances the learning progress. A human teacher would achieve this by tracing a student's knowledge over important learning concepts in a task. Albeit, such teaching strategy is not well exploited yet in machine learning as current machine teaching methods tend to directly assess the progress on individual training samples without paying attention to the underlying learning concepts in a learning task. In this paper, we propose a novel method, called Knowledge Augmented Data Teaching (KADT), which can optimize a data teaching strategy for a student model by tracing its knowledge progress over multiple learning concepts in a learning task. Specifically, the KADT method incorporates a knowledge tracing model to dynamically capture the knowledge progress of a student model in terms of latent learning concepts. Then we develop an attention pooling mechanism to distill knowledge representations of a student model with respect to class labels, which enables to develop a data teaching strategy on critical training samples. We have evaluated the performance of the KADT method on four different machine learning tasks including knowledge tracing, sentiment analysis, movie recommendation, and image classification. The results comparing to the state-of-the-art methods empirically validate that KADT consistently outperforms others on all tasks.


title: Some notes on the vector-valued extension of Littlewood--Paley--Rubio de Francia inequality for Walsh functions

abstract: J. L. Rubio de Francia proved the one-sided Littlewood--Paley inequality for arbitrary intervals in $L^p$, $2\le p<\infty$ and later N. N. Osipov proved the similar inequality for Walsh functions. In this paper we investigate some properties of Banach spaces $X$ such that the latter inequality holds for $X$-valued functions.


title: A Systematic Methodology to Compute the Quantum Vulnerability Factors for Quantum Circuits

abstract: Quantum computing is one of the most promising technology advances of the latest years. Once only a conceptual idea to solve physics simulations, quantum computation is today a reality, with numerous machines able to execute quantum algorithms. One of the hardest challenges in quantum computing is reliability. Qubits are highly sensitive to noise, which can make the output useless. Moreover, lately it has been shown that superconducting qubits are extremely susceptible to external sources of faults, such as ionizing radiation. When adopted in large scale, radiation-induced errors are expected to become a serious challenge for qubits reliability. In this paper, we propose an evaluation of the impact of transient faults in the execution of quantum circuits. Inspired by the Architectural and Program Vulnerability Factors, widely adopted to characterize the reliability of classical computing architectures and algorithms, we propose the Quantum Vulnerability Factor (QVF) as a metric to measure the impact that the corruption of a qubit has on the circuit output probability distribution. First, we model faults based on the latest studies on real machines and recently performed radiation experiments. Then, we design a quantum fault injector, built over Qiskit, and characterize the propagation of faults in quantum circuits. We report the finding of more than 15,000,000 fault injections, evaluating the reliability of three quantum circuits and identifying the faults and qubits that are more likely than others to impact the output. With our results, we give guidelines on how to map the qubits in the real quantum computer to reduce the output error and to reduce the probability of having a radiation-induced corruption to modify the output. Finally, we compare the simulation results with experiments on physical quantum computers.


title: BROTOCs and Quantum Information Scrambling at Finite Temperature

abstract: Out-of-time-ordered correlators (OTOCs) have been extensively studied in recent years as a diagnostic of quantum information scrambling. In this paper, we study quantum information-theoretic aspects of the regularized finite-temperature OTOC. We introduce analytical results for the bipartite regularized OTOC (BROTOC): the regularized OTOC averaged over random unitaries supported over a bipartition. We show that the BROTOC has several interesting properties, for example, it quantifies the purity of the associated thermofield double state and the operator purity of the analytically continued time-evolution operator. At infinite-temperature, it reduces to one minus the operator entanglement of the time-evolution operator. In the zero-temperature limit and for nondegenerate Hamiltonians, the BROTOC probes the groundstate entanglement. By computing long-time averages, we show that the equilibration value of the BROTOC is intimately related to eigenstate entanglement. Finally, we numerically study the equilibration value of the BROTOC for various physically relevant Hamiltonian models and comment on its ability to distinguish integrable and chaotic dynamics.

categories: quant-ph cond-mat.dis-nn math-ph math.MP


title: Light-front wavefunctions of mesons by design

abstract: We develop a mechanism to build the light-front wavefunctions (LFWFs) of meson bound states on a small-sized basis function representation. Unlike in a standard Hamiltonian formalism, the Hamiltonian in this method is implicit, and the information of the system is carried directly by the functional form and adjustable parameters of the LFWFs. In this work, we model the LFWFs for four charmonium states, $\eta_c$, $J/\psi$, $\psi'$, and $\psi(3770)$ as superpositions of orthonormal basis functions. We choose the basis functions as eigenfunctions of an effective Hamiltonian, which has a longitudinal confining potential in addition to the transverse confining potential from light-front holographic QCD. We determine the basis function parameters and superposition coefficients by employing both guidance from the nonrelativistic description of the meson states and the experimental measurements of the meson decay widths. With the obtained wavefunctions, we study the features of those meson states, including charge radii and parton distribution functions. We use the $J/\psi$ LFWF to calculate the meson production in diffractive deep inelastic scattering and ultra-peripheral heavy-ion collisions, and the $\eta_c$ LFWF to calculate its diphoton transition form factor. Both results show good agreement with experiments. The obtained LFWFs have simple-functional forms and can be readily used to predict additional experimental observables.


title: Forcing minimal patterns of triods

abstract: \emph{Rotation numbers} for some maps of \emph{triods} was introduced in \cite{BMR}. The goal of this paper is to study \emph{patterns} of \emph{triods} which don't force other \emph{patterns} with the same \emph{rotation number} which we name \emph{triod twists}. We obtain their complete characterization and show that these \emph{patterns} can be conjugated to \emph{circle rotation} by a \emph{piecewise monotone} map. We also describe the dynamics of \emph{unimodal triod twist patterns} with a given rational \emph{rotation number}.


title: Evaluating Contrastive Learning on Wearable Timeseries for Downstream Clinical Outcomes

abstract: Vast quantities of person-generated health data (wearables) are collected but the process of annotating to feed to machine learning models is impractical. This paper discusses ways in which self-supervised approaches that use contrastive losses, such as SimCLR and BYOL, previously applied to the vision domain, can be applied to high-dimensional health signals for downstream classification tasks of various diseases spanning sleep, heart, and metabolic conditions. To this end, we adapt the data augmentation step and the overall architecture to suit the temporal nature of the data (wearable traces) and evaluate on 5 downstream tasks by comparing other state-of-the-art methods including supervised learning and an adversarial unsupervised representation learning method. We show that SimCLR outperforms the adversarial method and a fully-supervised method in the majority of the downstream evaluation tasks, and that all self-supervised methods outperform the fully-supervised methods. This work provides a comprehensive benchmark for contrastive methods applied to the wearable time-series domain, showing the promise of task-agnostic representations for downstream clinical outcomes.


title: D$^2$LV: A Data-Driven and Local-Verification Approach for Image Copy Detection

abstract: Image copy detection is of great importance in real-life social media. In this paper, a data-driven and local-verification (D$^2$LV) approach is proposed to compete for Image Similarity Challenge: Matching Track at NeurIPS'21. In D$^2$LV, unsupervised pre-training substitutes the commonly-used supervised one. When training, we design a set of basic and six advanced transformations, and a simple but effective baseline learns robust representation. During testing, a global-local and local-global matching strategy is proposed. The strategy performs local-verification between reference and query images. Experiments demonstrate that the proposed method is effective. The proposed approach ranks first out of 1,103 participants on the Facebook AI Image Similarity Challenge: Matching Track. The code and trained models are available at https://github.com/WangWenhao0716/ISC-Track1-Submission.


title: WIMP Dark Matter in the U$\mu \nu$SSM

abstract: The U$\mu\nu$SSM is a $U(1)'$ extension of the $\mu\nu$SSM supersymmetric model, where baryon-number-violating operators as well as explicit mass terms are forbidden, and the potential domain wall problem is avoided. The gauge anomaly-cancellation conditions impose the presence of exotic quark superfields in the spectrum of U$\mu\nu$SSM models, and allow the presence of several singlet superfields under the standard model gauge group, in addition to the right-handed neutrino superfields. The gauge structure implies an additional discrete $Z_2$ symmetry in the superpotential, ensuring the stability of a singlet which behaves as WIMP dark matter without invoking $R$-parity. We analyze this novel possibility in detail, using the fermionic component of the singlet as the dark matter candidate. In particular, we compute its amount of relic density via $Z'$, Higgs-right sneutrino and dark matter mediated annihilations, and its potential signals in dark matter direct detection experiments. The constraints on the parameter space due to $Z'$ direct searches at the LHC are imposed in the analysis, as well as those from the hadronization inside the detector of the exotic quarks. Large regions of the parameter space turn out to be in the reach of the upcoming Darwin experiment.


title: The Theory of an Arbitrary Higher $\lambda$-Model

abstract: One takes advantage of some basic properties of every homotopic $\lambda$-model (e.g.\ extensional Kan complex) to explore the higher $\beta\eta$-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher $\lambda$-terms, whose equality rules would be contained in the theory of any $\lambda$-homotopic model.


title: AttacKG: Constructing Technique Knowledge Graph from Cyber Threat Intelligence Reports

abstract: Cyber attacks are becoming more sophisticated and diverse, making detection increasingly challenging. To combat these attacks, security practitioners actively summarize and exchange their knowledge about attacks across organizations in the form of cyber threat intelligence (CTI) reports. However, as CTI reports written in natural language texts are not structured for automatic analysis, the report usage requires tedious manual efforts of cyber threat intelligence recovery. Additionally, individual reports typically cover only a limited aspect of attack patterns (techniques) and thus are insufficient to provide a comprehensive view of attacks with multiple variants. To take advantage of threat intelligence delivered by CTI reports, we propose AttacKG to automatically extract structured attack behavior graphs from CTI reports and identify the adopted attack techniques. We then aggregate cyber threat intelligence across reports to collect different aspects of techniques and enhance attack behavior graphs into technique knowledge graphs (TKGs). In our evaluation against 1,515 real-world CTI reports from diverse intelligence sources, AttacKG effectively identifies 28,262 attack techniques with 8,393 unique Indicators of Compromises (IoCs). To further verify the accuracy of AttacKG in extracting threat intelligence, we run AttacKG on 16 manually labeled CTI reports. Empirical results show that AttacKG accurately identifies attack-relevant entities, dependencies, and techniques with F1-scores of 0.887, 0.896, and 0.789, which outperforms the state-of-the-art approaches Extractor and TTPDrill. Moreover, the unique technique-level intelligence will directly benefit downstream security tasks that rely on technique specifications, e.g., APT detection and cyber attack reconstruction.


title: Speech Emotion Recognition Using Deep Sparse Auto-Encoder Extreme Learning Machine with a New Weighting Scheme and Spectro-Temporal Features Along with Classical Feature Selection and A New Quantum-Inspired Dimension Reduction Method

abstract: Affective computing is very important in the relationship between man and machine. In this paper, a system for speech emotion recognition (SER) based on speech signal is proposed, which uses new techniques in different stages of processing. The system consists of three stages: feature extraction, feature selection, and finally feature classification. In the first stage, a complex set of long-term statistics features is extracted from both the speech signal and the glottal-waveform signal using a combination of new and diverse features such as prosodic, spectral, and spectro-temporal features. One of the challenges of the SER systems is to distinguish correlated emotions. These features are good discriminators for speech emotions and increase the SER's ability to recognize similar and different emotions. This feature vector with a large number of dimensions naturally has redundancy. In the second stage, using classical feature selection techniques as well as a new quantum-inspired technique to reduce the feature vector dimensionality, the number of feature vector dimensions is reduced. In the third stage, the optimized feature vector is classified by a weighted deep sparse extreme learning machine (ELM) classifier. The classifier performs classification in three steps: sparse random feature learning, orthogonal random projection using the singular value decomposition (SVD) technique, and discriminative classification in the last step using the generalized Tikhonov regularization technique. Also, many existing emotional datasets suffer from the problem of data imbalanced distribution, which in turn increases the classification error and decreases system performance. In this paper, a new weighting method has also been proposed to deal with class imbalance, which is more efficient than existing weighting methods. The proposed method is evaluated on three standard emotional databases.


title: Polaron in almost ideal molecular Bose-Einstein condensate

abstract: We discuss properties of a single impurity atom immersed in the spin-$1/2$ dilute Fermi gas with equal populations of two species in the deep Bose-Einstein condensate (BEC) phase. In this limit, when an almost undepleted BEC of the tightly bound molecules of spin-up and spin-down fermions is formed, we calculate the parameters of an impurity spectrum. It is justified that the leading-order contribution to the impurity energy, while being determined by the two- and three-body scattering processes, is dominated by the former ones.


title: Stochastic Rotating Waves

abstract: Stochastic dynamics has emerged as one of the key themes ranging from models in applications to theoretical foundations in mathematics. One class of stochastic dynamics problems that has received considerable attention recently are travelling wave patterns occurring in stochastic partial differential equations (SPDEs), i.e., how deterministic travelling waves behave under stochastic perturbations. In this paper, we start the mathematical study of related class of problems: stochastic rotating waves generated by SPDEs. We combine deterministic dynamics PDE techniques with methods from stochastic analysis. We establish two different approaches, the variational phase and the approximated variational phase, for defining stochastic phase variables along the rotating wave, which track the effect of noise on neutral spectral modes associated to the special Euclidean symmetry group of rotating waves. Furthermore, we prove transverse stability results for rotating waves showing that over certain time scales and for small noise, the stochastic rotating wave stays close to its deterministic counterpart.


title: Integral Evaluation of Odd Euler Sums, Multiple $t$-Value $t\left(3,2,\ldots,2\right)$ and Multiple Zeta Value $\zeta(3,2,\ldots,2)$

abstract: We construct an analytic approach to evaluate odd Euler sums, multiple zeta value $\zeta(3,2,\ldots,2)$ and multiple $t$-value $t\left(3,2,\ldots,2\right)$. Moreover, we also conjecture a closed expression for multiple $t$-value $t\left(2,\ldots,2,1\right)$.


title: Inflation and Primordial Fluctuations in $F(T)$ Gravity's Rainbow

abstract: We study slow-roll inflation and the generation of primordial fluctuations in $F(T)$ gravity's rainbow. We obtain the second order action for scalar and tensor perturbations and then calculate the primordial power spectrum for them. Thus, after calculating the inflationary observables up to first order in slow-roll approximation, namely the scalar spectral index $n_{s}$ and the tensor-to scalar ratio $r$, we confront the predictions of the model with the current PLANCK and BICEP/Keck data.


title: Posetal Games: Efficiency, Existence, and Refinement of Equilibria in Games with Prioritized Metrics

abstract: Modern applications require robots to comply with multiple, often conflicting rules and to interact with the other agents. We present Posetal Games as a class of games in which each player expresses a preference over the outcomes via a partially ordered set of metrics. This allows one to combine hierarchical priorities of each player with the interactive nature of the environment. By contextualizing standard game theoretical notions, we provide two sufficient conditions on the preference of the players to prove existence of pure Nash Equilibria in finite action sets. Moreover, we define formal operations on the preference structures and link them to a refinement of the game solutions, showing how the set of equilibria can be systematically shrunk. The presented results are showcased in a driving game where autonomous vehicles select from a finite set of trajectories. The results demonstrate the interpretability of results in terms of minimum-rank-violation for each player.


title: Optimal Planning of Single-Port and Multi-Port Charging Stations for Electric Vehicles in Medium Voltage Distribution Networks

abstract: This paper describes a method based on mixed-integer linear programming to cost-optimally locate and size chargers for electric vehicles (EVs) in distribution grids as a function of the driving demand. The problem accounts for the notion of single-port chargers (SPCs), where a charger can interface one EV maximum, and multi-port chargers (MPCs), where the same charger can interface multiple EVs. The advantage of MPCs is twofold. First, multiple ports allow arbitraging the charging among multiple vehicles without requiring the drivers to plug and unplug EVs. Second, the charger's power electronics is not sized for the total number of charging ports, enabling cost savings when the grid constraints are bottleneck of the problem. The proposed method can account for different charger typologies, such as slow and fast chargers, and model the drivers' flexibility of plugging and unplugging their EVs. Simulation results from a synthetic case study show that implementing MPCs is beneficial over both SPCs and drivers' flexibility in terms of total investments required for the charging infrastructure.


title: Reputation Gaming in Stack Overflow

abstract: Stack Overflow incentive system awards users with reputation scores to ensure quality. The decentralized nature of the forum may make the incentive system prone to manipulation. This paper offers, for the first time, a comprehensive study of the reported types of reputation manipulation scenarios that might be exercised in Stack Overflow and the prevalence of such reputation gamers by qualitative study of 1,697 posts from meta Stack Exchange sites. We found six different types of reputation fraud scenarios, such as voting rings where communities form to upvote each other repeatedly on similar posts. We sought to develop algorithms to allow platform managers to automatically identify these suspicious reputation gaming scenarios, for review. The first algorithm identifies isolated/semi-isolated communities where probable reputation frauds may occur mostly by collaborating with each other. The second algorithm looks for sudden unusual big jumps in the reputation scores of users. We evaluated the performance of our algorithms by examining the reputation history dashboard of Stack Overflow users from the Stack Overflow website. We observed that around 60-80% of users that are considered to be suspicious by our algorithms got their reputation scores removed by Stack Overflow.


title: Deep Neural Networks for Automatic Grain-matrix Segmentation in Plane and Cross-polarized Sandstone Photomicrographs

abstract: Grain segmentation of sandstone that is partitioning the grain from its surrounding matrix/cement in the thin section is the primary step for computer-aided mineral identification and sandstone classification. The microscopic images of sandstone contain many mineral grains and their surrounding matrix/cement. The distinction between adjacent grains and the matrix is often ambiguous, making grain segmentation difficult. Various solutions exist in literature to handle these problems; however, they are not robust against sandstone petrography's varied pattern. In this paper, we formulate grain segmentation as a pixel-wise two-class (i.e., grain and background) semantic segmentation task. We develop a deep learning-based end-to-end trainable framework named Deep Semantic Grain Segmentation network (DSGSN), a data-driven method, and provide a generic solution. As per the authors' knowledge, this is the first work where the deep neural network is explored to solve the grain segmentation problem. Extensive experiments on microscopic images highlight that our method obtains better segmentation accuracy than various segmentation architectures with more parameters.


title: The 't Hooft-Veneziano limit of the Polyakov loop models

abstract: The broad class of U(N) and SU(N) Polyakov loop models on the lattice are solved exactly in the combined large N, Nf limit, where N is a number of colors and Nf is a number of quark flavors, and in any dimension. In this 't Hooft-Veneziano limit the ratio N/Nf is kept fixed. We calculate both the free energy and various correlation functions. The critical behavior of the models is described in details at finite temperatures and non-zero baryon chemical potential. Furthermore, we prove that the calculation of the N-point (baryon) correlation function reduces to the geometric median problem in the confinement phase. In the deconfinement phase we establish an existence of the complex masses and an oscillating decay of correlations in a certain region of parameters.