title: Relative permeability as a stationary process: energy fluctuations in immiscible displacement

abstract: Relative permeability is commonly used to model immiscible fluid flow through porous materials. In this work we derive the relative permeability relationship from conservation of energy, assuming that the system to be non-ergodic at large length scales and relying on averaging in both space and time to homogenize the behavior. Explicit criteria are obtained to define stationary conditions: (1) there can be no net change for extensive measures of the system state over the time averaging interval; (2) the net energy inputs into the system are zero, meaning that the net rate of work done on the system must balance with the heat removed; and (3) there is no net work performed due to the contribution of internal energy fluctuations. Results are then evaluated based on direct numerical simulation. Dynamic connectivity is observed during steady-state flow, which is quantitatively assessed based the Euler characteristic. We show that even during steady-state flow at low capillary number ($\mathsf{Ca}\sim1\times10^5$), typical flow processes will explore multiple connectivity states. The residence time for each connectivity state is captured based on the time-and-space average. The distribution for energy fluctuations is shown to be multi-modal and non-Gaussian when terms are considered independently. However, we demonstrate that their sum is zero. Given an appropriate choice of the thermodynamic driving force, we show that the conventional relative permeability relationship is sufficient to model the energy dissipation in systems with complex pore-scale dynamics that routinely alter the structure of fluid connected pathways.


title: Software Engineering Process and Methodology in Blockchain-Oriented Software Development: A Systematic Study

abstract: Software Engineering is the process of a systematic, disciplined, quantifiable approach that has significant impact on large-scale and complex software development. Scores of well-established software process models have long been adopted in the software development life cycle that pour stakeholders towards the completion of final software product development. Within the boundary of advanced technology, various emerging and futuristic technology is evolving that really need the attention of the software engineering community whether the conventional software process techniques are capable to inherit the core fundamental into futuristic software development. In this paper, we study the impact of existing software engineering processes and models including Agile, and DevOps in Blockchain-Oriented Software Engineering. We also examine the essentiality of adopting state-of-art concepts and evolving the current software engineering process for blockchain-oriented systems. We discuss the insight of software project management practices in BOS development. The findings of this study indicate that utilizing state-of-art techniques in software processes for futuristic technology would be challenging and promising research is needed extensively towards addressing and improving state-of-the-art software engineering processes and methodology for novel technologies.


title: Emergence of strong room-temperature ferroelectricity and multiferroicity in 2D-Ti$_3$C$_2$T$_x$ free-standing MXene film

abstract: Two-dimensional (2D) multiferroics are key candidate materials towards advancement of smart technology. Here, we employed a simple synthesis approach to address the long-awaited dream of developing ferroelectric and multiferroic 2D materials, specially in the new class of materials called MXenes. The etched Ti$_3$C$_2$T$_x$ MXene was first synthesized after HF-treatment followed by delamination process for successful synthesis of free-standing Ti$_3$C$_2$T$_x$ film. The free-standing film was then exposed to air at room-temperature as well as heated at different temperature to form TiO$_2$ layer derived from the Ti$_3$C$_2$T$_x$ MXene itself. TiO$_2$ is reported to be an incipient ferroelectric that assumes a ferroelectric phase in composite form. The structural and morphological analysis confirmed successful synthesis of free-standing film and the Raman spectroscopy revealed the formation of different phases of TiO$_2$. The ferroelectric measurement showed a clear polarization hysteresis loop at room-temperature. Also, the magnetic hysteresis was observed in the film indicating a possibility of coupling between ferroelectric and ferromagnetic phases at room-temperature. The magnetoelectric coupling test was also performed that showed a clear, switchable spontaneous polarization under applied magnetic field. This is the first report on existence of ferroelectric phase and multiferroic coupling in 2D free-standing MXene film at room-temperature which opens-up possibility of 2D materials-based electric and magnetic data storage applications at room-temperature.


title: Ransomware Classification and Detection With Machine Learning Algorithms

abstract: Malicious attacks, malware, and ransomware families pose critical security issues to cybersecurity, and it may cause catastrophic damages to computer systems, data centers, web, and mobile applications across various industries and businesses. Traditional anti-ransomware systems struggle to fight against newly created sophisticated attacks. Therefore, state-of-the-art techniques like traditional and neural network-based architectures can be immensely utilized in the development of innovative ransomware solutions. In this paper, we present a feature selection-based framework with adopting different machine learning algorithms including neural network-based architectures to classify the security level for ransomware detection and prevention. We applied multiple machine learning algorithms: Decision Tree (DT), Random Forest (RF), Naive Bayes (NB), Logistic Regression (LR) as well as Neural Network (NN)-based classifiers on a selected number of features for ransomware classification. We performed all the experiments on one ransomware dataset to evaluate our proposed framework. The experimental results demonstrate that RF classifiers outperform other methods in terms of accuracy, F-beta, and precision scores.


title: Thermal hysteresis in scattering by vanadium-dioxide spheres

abstract: Vanadium dioxide (VO2) transforms from purely monoclinic to purely tetragonal on being heated from 58 deg C to 72 deg C, the transformation being reversible but hysteretic. Electromagnetically, VO2 transforms from a dissipative dielectric to another dissipative dielectric if the free-space wavelength is less than 1100 nm, but from a dissipative dielectric to a plasmonic metal (or vice versa) if the free-space wavelength exceeds 1100 nm. Calculating the extinction, total scattering, absorption, radiation-pressure, back-scattering, and forward-scattering efficiencies of a VO2 sphere, we found clear signatures of thermal hysteresis in (i) the forward-scattering, back-scattering, and absorption efficiencies for free-space wavelength less than 1100 nm, and (ii) the forward-scattering, back-scattering, total scattering, and absorption efficiencies for free-space wavelength more than 1100 nm. Vacuum and null-permittivity quasistates occur between 58 deg C and 72 deg C, when tetragonal VO2 is a plasmonic metal, once each on the heating branch and once each on the cooling branch of thermal hysteresis. But none of the six efficiencies show significant differences between the two quasistates.


title: VocabulARy: Learning Vocabulary in AR Supported by Keyword Visualisations

abstract: Learning vocabulary in a primary or secondary language is enhanced when we encounter words in context. This context can be afforded by the place or activity we are engaged with. Existing learning environments include formal learning, mnemonics, flashcards, use of a dictionary or thesaurus, all leading to practice with new words in context. In this work, we propose an enhancement to the language learning process by providing the user with words and learning tools in context, with VocabulARy. VocabulARy visually annotates objects in AR, in the user's surroundings, with the corresponding English (first language) and Japanese (second language) words to enhance the language learning process. In addition to the written and audio description of each word, we also present the user with a keyword and its visualisation to enhance memory retention. We evaluate our prototype by comparing it to an alternate AR system that does not show an additional visualisation of the keyword, and, also, we compare it to two non-AR systems on a tablet, one with and one without visualising the keyword. Our results indicate that AR outperforms the tablet system regarding immediate recall, mental effort and task completion time. Additionally, the visualisation approach scored significantly higher than showing only the written keyword with respect to immediate and delayed recall and learning efficiency, mental effort and task-completion time.


title: Search for MeV Electron Recoils from Dark Matter in EXO-200

abstract: We present a search for electron-recoil signatures from the charged-current absorption of fermionic dark matter using the EXO-200 detector. We report an average electron recoil background rate of $6.8 \times 10^{-4}\, \mathrm{cts}\,\mathrm{kg}^{-1}\mathrm{yr}^{-1}\mathrm{keV}^{-1}$ above $4\,\mathrm{MeV}$ and find no statistically significant excess over our background projection. Using a total ${}^{136}\mathrm{Xe}$ exposure of $234.1\,\mathrm{kg}\,\mathrm{yr}$ we exclude new parameter space for the charged-current absorption cross-section for dark matter masses between $m_\chi = 2.6\,\mathrm{MeV} - 11.6\,\mathrm{MeV}$ with a minimum of $6\times 10^{-51}\,\mathrm{cm}^2$ at $8.3\,\mathrm{MeV}$ at the $90\%$ confidence level.


title: Critical Distribution System

abstract: Distribution crises are manifested by a great discrepancy between the demand and the supply of a critically important good, for a period of time. In this paper, we suggest a hybrid market mechanism for minimising the negative consequences of sudden distribution crises.


title: Face Morphing Attack Detection Using Privacy-Aware Training Data

abstract: Images of morphed faces pose a serious threat to face recognition--based security systems, as they can be used to illegally verify the identity of multiple people with a single morphed image. Modern detection algorithms learn to identify such morphing attacks using authentic images of real individuals. This approach raises various privacy concerns and limits the amount of publicly available training data. In this paper, we explore the efficacy of detection algorithms that are trained only on faces of non--existing people and their respective morphs. To this end, two dedicated algorithms are trained with synthetic data and then evaluated on three real-world datasets, i.e.: FRLL-Morphs, FERET-Morphs and FRGC-Morphs. Our results show that synthetic facial images can be successfully employed for the training process of the detection algorithms and generalize well to real-world scenarios.


title: A fast converging particle swarm optimization through targeted, position-mutated, elitism (PSO-TPME)

abstract: We dramatically improve convergence speed and global exploration capabilities of particle swarm optimization (PSO) through a targeted position-mutated elitism (PSO-TPME). The three key innovations address particle classification, elitism, and mutation in the cognitive and social model. PSO-TPME is benchmarked against five popular PSO variants for multi-dimensional functions, which are extensively adopted in the optimization field, In particular, the convergence accuracy, convergence speed, and the capability to find global minima is investigated. The statistical error is assessed by numerous repetitions. The simulations demonstrate that proposed PSO variant outperforms the other variants in terms of convergence rate and accuracy by orders of magnitude.


title: Measurement of the Low-Frequency Charge Noise of Bacteria

abstract: Bacteria meticulously regulate their intracellular ion concentrations and create ionic concentration gradients across the bacterial membrane. These ionic concentration gradients provide free energy for many cellular processes and are maintained by transmembrane transport. Given the physical dimensions of a bacterium and the stochasticity in transmembrane transport, intracellular ion concentrations and hence the charge state of a bacterium are bound to fluctuate. Here, we investigate the charge noise of 100s of non-motile bacteria by combining electrical measurement techniques from condensed matter physics with microfluidics. In our experiments, bacteria in a microchannel generate charge density fluctuations in the embedding electrolyte due to random influx and efflux of ions. Detected as electrical resistance noise, these charge density fluctuations display a power spectral density proportional to $1/f^2$ for frequencies $0.05~{\rm Hz} \leq f \leq 1 ~{\rm Hz}$. Fits to a simple noise model suggest that the steady-state charge of a bacterium fluctuates by $\pm 1.30 \times 10^6 {e}~({e} \approx 1.60 \times 10^{-19}~{\rm C})$, indicating that bacterial ion homeostasis is highly dynamic and dominated by strong charge noise. The rms charge noise can then be used to estimate the fluctuations in the membrane potential; however, the estimates are unreliable due to our limited understanding of the intracellular concentration gradients.


title: Complementary artificial intelligence designed to augment human discovery

abstract: Neither artificial intelligence designed to play Turing's imitation game, nor augmented intelligence built to maximize the human manipulation of information are tuned to accelerate innovation and improve humanity's collective advance against its greatest challenges. We reconceptualize and pilot beneficial AI to radically augment human understanding by complementing rather than competing with human cognitive capacity. Our approach to complementary intelligence builds on insights underlying the wisdom of crowds, which hinges on the independence and diversity of crowd members' information and approach. By programmatically incorporating information on the evolving distribution of scientific expertise from research papers, our approach follows the distribution of content in the literature while avoiding the scientific crowd and the hypotheses cognitively available to it. We use this approach to generate valuable predictions for what materials possess valuable energy-related properties (e.g., thermoelectricity), and what compounds possess valuable medical properties (e.g., asthma) that complement the human scientific crowd. We demonstrate that our complementary predictions, if identified by human scientists and inventors at all, are only discovered years further into the future. When we evaluate the promise of our predictions with first-principles equations, we demonstrate that increased complementarity of our predictions does not decrease and in some cases increases the probability that the predictions possess the targeted properties. In summary, by tuning AI to avoid the crowd, we can generate hypotheses unlikely to be imagined or pursued until the distant future and promise to punctuate scientific advance. By identifying and correcting for collective human bias, these models also suggest opportunities to improve human prediction by reformulating science education for discovery.


title: A Structured Sparse Neural Network and Its Matrix Calculations Algorithm

abstract: Gradient descent optimizations and backpropagation are the most common methods for training neural networks, but they are computationally expensive for real time applications, need high memory resources, and are difficult to converge for many networks and large datasets. [Pseudo]inverse models for training neural network have emerged as powerful tools to overcome these issues. In order to effectively implement these methods, structured pruning maybe be applied to produce sparse neural networks. Although sparse neural networks are efficient in memory usage, most of their algorithms use the same fully loaded matrix calculation methods which are not efficient for sparse matrices. Tridiagonal matrices are one of the frequently used candidates for structuring neural networks, but they are not flexible enough to handle underfitting and overfitting problems as well as generalization properties. In this paper, we introduce a nonsymmetric, tridiagonal matrix with offdiagonal sparse entries and offset sub and super-diagonals as well algorithms for its [pseudo]inverse and determinant calculations. Traditional algorithms for matrix calculations, specifically inversion and determinant, of these forms are not efficient specially for large matrices, e.g. larger datasets or deeper networks. A decomposition for lower triangular matrices is developed and the original matrix is factorized into a set of matrices where their inverse matrices are calculated. For the cases where the matrix inverse does not exist, a least square type pseudoinverse is provided. The present method is a direct routine, i.e., executes in a predictable number of operations which is tested for randomly generated matrices with varying size. The results show significant improvement in computational costs specially when the size of matrix increases.


title: Scaling Relations and Topological Quadruple Points in Light-matter Interactions with Anisotropy and Nonlinear Stark Coupling

abstract: Universality is a common quality in different physical parameters that is rooted in the deep nature of physical systems. Scaling relation is a typical universality for critical phenomena around a quantum phase transition, while topological classification provides another type of universality essentially different from the critical universality. Both classes of universalities can be present in a single-qubit system with light-matter interactions, as exhibiting generally in the fundamental quantum Rabi model with anisotropy not only for linear coupling but also for nonlinear Stark coupling (NSC). In low frequencies different levels of scaling relations are demonstrated, holding for anisotropic or/and NSCs, locally or globally. At finite frequencies such a critical universality breaks down and diversity is dominant. However, common topological feature of the ground state can be extracted from the node number, which yields a topological class of universality amidst the critical diversity. Both conventional and unconventional topological transitions emerge, with their meeting, which never occurs in linear interaction, enabled by the nonlinear coupling to form topological quadruple points which are found to be spin-invariant points. Sensitivity analysis indicates that the NSC can be another approach to manipulate topological transitions in addition to coupling anisotropy.


title: Bound states of the Dirac equation in Schwarzschild spacetime: an exploration of intuition for the curious student

abstract: In this work we explore the possibility of quantum bound states in a Schwarzschild gravitational field leveraging the analogy of the elementary derivation of bound states in the Coulomb potential as taught in an undergraduate course in Quantum Mechanics. For this we will also need to go beyond non-relativistic quantum mechanics and utilize the relativistic Dirac equation for a central potential as taught in an advanced undergraduate or first year graduate (special) relativistic quantum mechanics course. Finally, the special relativistic Dirac equation must be extended to the general relativistic version for curved spacetime. All these disparate component pieces exist in excellent, very readable textbooks written for the student reader, with sufficient detail for a curious student to learn and explore. We pull all these threads together in order to explore a very natural question that a student might ask: "If the effective $1/r$ radial potential of the Schwarzschild metric (with angular momentum barrier), as taught in elementary GR courses for undergraduates, appears Newtonian-like (with a $1/r^3$ correction), then is it possible to derive quantum bound states in the Schwarzschild spacetime by simply changing the radial potential $V(r)$ from $V_C(r)=-e^2/r$ to $V_{Schw}=-G M m/r$?"


title: Reducing mean first passage times with intermittent confining potentials: a realization of resetting processes

abstract: During a random search, resetting the searcher's position from time to time to the starting point often reduces the mean completion time of the process. Although many different resetting models have been studied over the past ten years, only a few can be physically implemented. Here we study theoretically a protocol that can be realised experimentally and which exhibits unusual optimization properties. A Brownian particle is subject to an arbitrary confining potential $v(x)$ which is switched on and off intermittently at fixed rates. Motion is constrained between an absorbing wall located at the origin and a reflective wall. When the walls are sufficiently far apart, the interplay between free diffusion during the "off" phases and attraction toward the potential minimum during the "on" phases gives rise to rich behaviours, not observed in ideal resetting models. For potentials of the form $v(x)=k|x-x_0|^n/n$, with $n>0$, the switch-on and switch-off rates that minimise the mean first passage time (MFPT) to the origin undergo a continuous phase transition as the potential stiffness $k$ is varied. When $k$ is above a critical value $k_c$, potential intermittency enhances target encounter: the minimal MFPT is lower than the Kramer's time and is attained for a non-vanishing pair of switching rates. We focus on the harmonic case $n=2$, extending previous results for the piecewise linear potential ($n=1$) in unbounded domains. We also study the non-equilibrium stationary states emerging in this process.


title: Emotion Analysis using Multi-Layered Networks for Graphical Representation of Tweets

abstract: Anticipating audience reaction towards a certain piece of text is integral to several facets of society ranging from politics, research, and commercial industries. Sentiment analysis (SA) is a useful natural language processing (NLP) technique that utilizes both lexical/statistical and deep learning methods to determine whether different sized texts exhibit a positive, negative, or neutral emotion. However, there is currently a lack of tools that can be used to analyse groups of independent texts and extract the primary emotion from the whole set. Therefore, the current paper proposes a novel algorithm referred to as the Multi-Layered Tweet Analyzer (MLTA) that graphically models social media text using multi-layered networks (MLNs) in order to better encode relationships across independent sets of tweets. Graph structures are capable of capturing meaningful relationships in complex ecosystems compared to other representation methods. State of the art Graph Neural Networks (GNNs) are used to extract information from the Tweet-MLN and make predictions based on the extracted graph features. Results show that not only does the MLTA predict from a larger set of possible emotions, delivering a more accurate sentiment compared to the standard positive, negative or neutral, it also allows for accurate group-level predictions of Twitter data.


title: Interference Constrained Beam Alignment for Time-Varying Channels via Kernelized Bandits

abstract: To fully utilize the abundant spectrum resources in millimeter wave (mmWave), Beam Alignment (BA) is necessary for large antenna arrays to achieve large array gains. In practical dynamic wireless environments, channel modeling is challenging due to time-varying and multipath effects. In this paper, we formulate the beam alignment problem as a non-stationary online learning problem with the objective to maximize the received signal strength under interference constraint. In particular, we employ the non-stationary kernelized bandit to leverage the correlation among beams and model the complex beamforming and multipath channel functions. Furthermore, to mitigate interference to other user equipment, we leverage the primal-dual method to design a constrained UCB-type kernelized bandit algorithm. Our theoretical analysis indicates that the proposed algorithm can adaptively adjust the beam in time-varying environments, such that both the cumulative regret of the received signal and constraint violations have sublinear bounds with respect to time. This result is of independent interest for applications such as adaptive pricing and news ranking. In addition, the algorithm assumes the channel is a black-box function and does not require any prior knowledge for dynamic channel modeling, and thus is applicable in a variety of scenarios. We further show that if the information about the channel variation is known, the algorithm will have better theoretical guarantees and performance. Finally, we conduct simulations to highlight the effectiveness of the proposed algorithm.


title: Drift Reduction for Monocular Visual Odometry of Intelligent Vehicles using Feedforward Neural Networks

abstract: In this paper, an approach for reducing the drift in monocular visual odometry algorithms is proposed based on a feedforward neural network. A visual odometry algorithm computes the incremental motion of the vehicle between the successive camera frames, then integrates these increments to determine the pose of the vehicle. The proposed neural network reduces the errors in the pose estimation of the vehicle which results from the inaccuracies in features detection and matching, camera intrinsic parameters, and so on. These inaccuracies are propagated to the motion estimation of the vehicle causing larger amounts of estimation errors. The drift reducing neural network identifies such errors based on the motion of features in the successive camera frames leading to more accurate incremental motion estimates. The proposed drift reducing neural network is trained and validated using the KITTI dataset and the results show the efficacy of the proposed approach in reducing the errors in the incremental orientation estimation, thus reducing the overall error in the pose estimation.


title: Complexity lower bound for typical right triangular billiards

abstract: We provide a lower bound on the complexity function of a typical (in the Lebesgue measure sence) right triangular billiard.


title: Learning Switching Criteria for Sim2Real Transfer of Robotic Fabric Manipulation Policies

abstract: Simulation-to-reality transfer has emerged as a popular and highly successful method to train robotic control policies for a wide variety of tasks. However, it is often challenging to determine when policies trained in simulation are ready to be transferred to the physical world. Deploying policies that have been trained with very little simulation data can result in unreliable and dangerous behaviors on physical hardware. On the other hand, excessive training in simulation can cause policies to overfit to the visual appearance and dynamics of the simulator. In this work, we study strategies to automatically determine when policies trained in simulation can be reliably transferred to a physical robot. We specifically study these ideas in the context of robotic fabric manipulation, in which successful sim2real transfer is especially challenging due to the difficulties of precisely modeling the dynamics and visual appearance of fabric. Results in a fabric smoothing task suggest that our switching criteria correlate well with performance in real. In particular, our confidence-based switching criteria achieve average final fabric coverage of 87.2-93.7% within 55-60% of the total training budget. See https://tinyurl.com/lsc-case for code and supplemental materials.


title: Free factors and profinite completions

abstract: Can one detect free products of groups via their profinite completions? We answer positively among virtually free groups. More precisely, we prove that a subgroup of a finitely generated virtually free group $G$ is a free factor if and only if its closure in the profinite completion of $G$ is a profinite free factor. This generalises results by Parzanchevski and Puder (later also proved by Wilton) for free groups. Our methods are entirely different to theirs, combining homological properties of profinite groups and the decomposition theory of Dicks and Dunwoody.


title: SKIPP'D: a SKy Images and Photovoltaic Power Generation Dataset for Short-term Solar Forecasting

abstract: Large-scale integration of photovoltaics (PV) into electricity grids is challenged by the intermittent nature of solar power. Sky-image-based solar forecasting using deep learning has been recognized as a promising approach to predicting the short-term fluctuations. However, there are few publicly available standardized benchmark datasets for image-based solar forecasting, which limits the comparison of different forecasting models and the exploration of forecasting methods. To fill these gaps, we introduce SKIPP'D -- a SKy Images and Photovoltaic Power Generation Dataset. The dataset contains three years (2017-2019) of quality-controlled down-sampled sky images and PV power generation data that is ready-to-use for short-term solar forecasting using deep learning. In addition, to support the flexibility in research, we provide the high resolution, high frequency sky images and PV power generation data as well as the concurrent sky video footage. We also include a code base containing data processing scripts and baseline model implementations for researchers to reproduce our previous work and accelerate their research in solar forecasting.


title: Exponential stabilization and continuous dependence of solutions on initial data in different norms for space-time-varying linear parabolic PDEs

abstract: For an arbitrary parameter $p\in [1,+\infty]$, we consider the problem of exponential stabilization in the spatial $L^{p}$-norm, and $W^{1,p}$-norm, respectively, for a class of anti-stable linear parabolic PDEs with space-time-varying coefficients in the absence of a Gevrey-like condition, which is often imposed on time-varying coefficients of PDEs and used to guarantee the existence of smooth (w.r.t. the time variable) kernel functions in the literature. Then, based on the obtained exponential stabilities, we show that the solution of the considered system depends continuously on the $L^{p}$-norm, and $W^{1,p}$-norm, respectively, of the initial data. In order to obtain time-independent (and thus sufficiently smooth) kernel functions without a Gevrey-like condition and deal with singularities arising in the case of $p\in[1,2)$, we apply a combinatorial method, i.e., the combination of backstepping and approximation of Lyapunov functionals (ALFs), to stabilize the considered system and establish the continuous dependence of solutions on initial data in different norms.


title: Approximating Dynamic Time Warping Distance Between Run-Length Encoded Strings

abstract: Dynamic Time Warping (DTW) is a widely used similarity measure for comparing strings that encode time series data, with applications to areas including bioinformatics, signature verification, and speech recognition. The standard dynamic-programming algorithm for DTW takes $O(n^2)$ time, and there are conditional lower bounds showing that no algorithm can do substantially better. In many applications, however, the strings $x$ and $y$ may contain long runs of repeated letters, meaning that they can be compressed using run-length encoding. A natural question is whether the DTW-distance between these compressed strings can be computed efficiently in terms of the lengths $k$ and $\ell$ of the compressed strings. Recent work has shown how to achieve $O(k\ell^2 + \ell k^2)$ time, leaving open the question of whether a near-quadratic $\tilde{O}(k\ell)$-time algorithm might exist. We show that, if a small approximation loss is permitted, then a near-quadratic time algorithm is indeed possible: our algorithm computes a $(1 + \epsilon)$-approximation for $DTW(x, y)$ in $\tilde{O}(k\ell / \epsilon^3)$ time, where $k$ and $\ell$ are the number of runs in $x$ and $y$. Our algorithm allows for $DTW$ to be computed over any metric space $(\Sigma, \delta)$ in which distances are $O(log(n))$-bit integers. Surprisingly, the algorithm also works even if $\delta$ does not induce a metric space on $\Sigma$ (e.g., $\delta$ need not satisfy the triangle inequality).


title: Infinite Random Power Towers

abstract: We prove a probabilistic generalization of the classic result that infinite power towers, $c^{c^{\dots}}$, converge if and only if $c\in[e^{-e},e^{1/e}]$. Given an i.i.d. sequence $\{A_i\}_{i\in\mathbb N}$, we find that convergence of the power tower $A_1^{A_2^{\dots}}$ is determined by the bounds of $A_1$'s support, $a=\inf(\mathrm{supp}(A_1))$ and $b=\sup(\mathrm{supp}(A_1))$. When $b\in[e^{-e},e^{1/e}]$, $a<1<b$, or $a=0$, the power tower converges almost surely. When $b<e^{-e}$, we define a special function $B$ such that almost sure convergence is equivalent to $a<B(b)$. Only in the case when $a=1$ and $b>e^{1/e}$ are the values of $a$ and $b$ insufficient to determine convergence. We show a rather complicated necessary and sufficient condition for convergence when $a=1$ and $b$ is finite. We also briefly discuss the relationship between the distribution of $A_1$ and the corresponding power tower $T=A_1^{A_2^{\dots}}$. For example, when $T\sim\mathrm{Unif}[0,1]$, then the corresponding distribution of $A_1$ is given by $UV$ where $U,V\sim\mathrm{Unif}[0,1]$ are independent. We generalize this example by showing that for $U\sim\mathrm{Unif}[\alpha,\beta]$ and $r\in\mathbb R$, there exists an i.i.d. sequence $\{A_i\}_{i\in\mathbb N}$ such that $U^r \stackrel{d}{=} A_1^{A_2^{\dots}}$ if and only if $r\in[0, \frac1{1+\log \beta}]$.}


title: New John--Nirenberg--Campanato-Type Spaces Related to Both Maximal Functions and Their Commutators

abstract: Let $p,q\in [1,\infty]$, $\alpha\in{\mathbb{R}}$, and $s$ be a non-negative integer. In this article, the authors introduce a new function space $\widetilde{JN}_{(p,q,s)_{\alpha}}(\mathcal{X})$ of John-Nirenberg-Campanato type, where $\mathcal{X}$ denotes $\mathbb{R}^n$ or any cube $Q_{0}$ of $\mathbb{R}^n$ with finite edge length. The authors give an equivalent characterization of $\widetilde{JN}_{(p,q,s)_{\alpha}}(\mathcal{X})$ via both the John-Nirenberg-Campanato space and the Riesz-Morrey space. Moreover, for the particular case $s=0$, this new space can be equivalently characterized by both maximal functions and their commutators. Additionally, the authors give some basic properties, a good-$\lambda$ inequality, and a John-Nirenberg type inequality for $\widetilde{JN}_{(p,q,s)_{\alpha}}(\mathcal{X})$.


title: Linear families of smooth hypersurfaces over finitely generated fields

abstract: Let $K$ be a finitely generated field. We construct an $n$-dimensional linear system $\mathcal{L}$ of hypersurfaces of degree $d$ in $\mathbb{P}^n$ defined over $K$ such that each member of $\mathcal{L}$ defined over $K$ is smooth, under the hypothesis that the characteristic $p$ does not divide $\gcd(d, n+1)$ (in particular, there is no restriction when $K$ has characteristic $0$). Moreover, we exhibit a counterexample when $p$ divides $\gcd(d, n+1)$.


title: An AlphaZero-Inspired Approach to Solving Search Problems

abstract: AlphaZero and its extension MuZero are computer programs that use machine-learning techniques to play at a superhuman level in chess, go, and a few other games. They achieved this level of play solely with reinforcement learning from self-play, without any domain knowledge except the game rules. It is a natural idea to adapt the methods and techniques used in AlphaZero for solving search problems such as the Boolean satisfiability problem (in its search version). Given a search problem, how to represent it for an AlphaZero-inspired solver? What are the "rules of solving" for this search problem? We describe possible representations in terms of easy-instance solvers and self-reductions, and we give examples of such representations for the satisfiability problem. We also describe a version of Monte Carlo tree search adapted for search problems.


title: Stable rational homology of the IA-automorphism groups of free groups

abstract: The rational homology of the IA-automorphism group $\operatorname{IA}_n$ of the free group $F_n$ is still mysterious. We study the quotient of the rational homology of $\operatorname{IA}_n$ that is obtained as the image of the map induced by the abelianization map, which we call the Albanese homology of $\operatorname{IA}_n$. We obtain a representation-stable $\operatorname{GL}(n,\mathbb{Q})$-subquotient of the Albanese homology of $\operatorname{IA}_n$, which conjecturally coincides with the entire Albanese homology of $\operatorname{IA}_n$. In particular, we obtain a lower bound of the dimension of the Albanese homology of $\operatorname{IA}_n$ for each homological degree in a stable range. Moreover, we determine the entire third Albanese homology of $\operatorname{IA}_n$ for $n\ge 9$. We also study the Albanese homology of an analogue of $\operatorname{IA}_n$ to the outer automorphism group of $F_n$ and the Albanese homology of the Torelli groups of surfaces. Moreover, we study the relation between the Albanese homology of $\operatorname{IA}_n$ and the cohomology of $\operatorname{Aut}(F_n)$ with twisted coefficients.


title: Auto-active Verification of Floating-point Programs via Nonlinear Real Provers

abstract: We give a process for verifying numerical programs against their functional specifications. Our implementation is capable of automatically verifying programs against tight error bounds featuring common elementary functions. We demonstrate and evaluate our implementation on several examples, yielding the first fully verified SPARK implementations of the sine and square root functions. The process integrates existing tools using a series of transformations and derivations, building on the proving process in SPARK where Why3 produces Verification Conditions (VCs) and tools such as SMT solvers attempt to verify them. We add steps aimed specifically at VCs that contain inequalities with both floating-point operations and exact real functions. PropaFP is our open-source implementation of these steps. The steps include symbolic simplifications, deriving bounds via interval arithmetic, and safely replacing floating-point operations with exact operations, utilizing tools such as FPTaylor or Gappa to bound the compound rounding errors of expressions. Finally, the VCs are passed to provers such as dReal, MetiTarski or LPPaver which attempt to complete the proof or suggest possible counter-examples.


title: Generalized Bowen-Franks Groups and Profinite Conjugacy for Hyperbolic Toral Automorphisms

abstract: We show that a collection of generalized Bowen-Franks group, what we call the principal Bowen-Franks $R$-modules, form a complete set of $R$-module invariants for the equivalence relation of profinite conjugacy for similar hyperbolic toral automorphisms. We also show that these principal generalized Bowen-Franks $R$-modules are the principal invariants in a large class of generalized Bowen-Franks $R$-module invariants for similar hyperbolic automorphisms. We further show how the conjugacy invariant of cyclicity, when applied to hyperbolic toral automorphisms, is realized for profinite conjugacy.


title: On fractional sums of the divisor functions

abstract: In this paper, we consider the fractional sum of the divisor functions. We can improve previous results considered by Bordell\'{e}s \cite{Bo} and Liu-Wu-Yang \cite{LWY}.


title: Stability Approach to Regularization Selection for Reduced-Rank Regression

abstract: The reduced-rank regression model is a popular model to deal with multivariate response and multiple predictors, and is widely used in biology, chemometrics, econometrics, engineering, and other fields. In the reduced-rank regression modelling, a central objective is to estimate the rank of the coefficient matrix that represents the number of effective latent factors in predicting the multivariate response. Although theoretical results such as rank estimation consistency have been established for various methods, in practice rank determination still relies on information criterion based methods such as AIC and BIC or subsampling based methods such as cross validation. Unfortunately, the theoretical properties of these practical methods are largely unknown. In this paper, we present a novel method called StARS-RRR that selects the tuning parameter and then estimates the rank of the coefficient matrix for reduced-rank regression based on the stability approach. We prove that StARS-RRR achieves rank estimation consistency, i.e., the rank estimated with the tuning parameter selected by StARS-RRR is consistent to the true rank. Through a simulation study, we show that StARS-RRR outperforms other tuning parameter selection methods including AIC, BIC, and cross validation as it provides the most accurate estimated rank. In addition, when applied to a breast cancer dataset, StARS-RRR discovers a reasonable number of genetic pathways that affect the DNA copy number variations and results in a smaller prediction error than the other methods with a random-splitting process.


title: The Impact of Partner Expressions on Felt Emotion in the Iterated Prisoner's Dilemma: An Event-level Analysis

abstract: Social games like the prisoner's dilemma are often used to develop models of the role of emotion in social decision-making. Here we examine an understudied aspect of emotion in such games: how an individual's feelings are shaped by their partner's expressions. Prior research has tended to focus on other aspects of emotion. Research on felt-emotion has focused on how an individual's feelings shape how they treat their partner, or whether these feelings are authentically expressed. Research on expressed-emotion has focused on how an individual's decisions are shaped by their partner's expressions, without regard for whether these expressions actually evoke feelings. Here, we use computer-generated characters to examine how an individual's moment-to-moment feelings are shaped by (1) how they are treated by their partner and (2) what their partner expresses during this treatment. Surprisingly, we find that partner expressions are far more important than actions in determining self-reported feelings. In other words, our partner can behave in a selfish and exploitive way, but if they show a collaborative pattern of expressions, we will feel greater pleasure collaborating with them. These results also emphasize the importance of context in determining how someone will feel in response to an expression (i.e., knowing a partner is happy is insufficient; we must know what they are happy-at). We discuss the implications of this work for cognitive-system design, emotion theory, and methodological practice in affective computing.


title: Asymptotic Uncertainty of False Discovery Proportion

abstract: Multiple testing has been a popular topic in statistical research. Although vast works have been done, controlling the false discoveries remains a challenging task when the corresponding test statistics are dependent. Various methods have been proposed to estimate the false discovery proportion (FDP) under arbitrary dependence among the test statistics. One of the main ideas is to reduce arbitrary dependence to weak dependence and then to establish theoretically the strong consistency of the FDP and false discovery rate (FDR) under weak dependence. As a consequence, FDPs share the same asymptotic limit in the framework of weak dependence. We observe that the asymptotic variance of the FDP, however, may rely heavily on the dependence structure of the corresponding test statistics even when they are only weakly dependent; and it is of great practical value to quantify this variability, as it can serve as an indicator of the quality of the FDP estimate from the given data. As far as we are aware, the research on this respect is still limited in the literature. In this paper, we first derive the asymptotic expansion of FDP under mild regularity conditions and then examine how the asymptotic variance of FDP varies under different dependence structures both theoretically and numerically. With the observations in this study, we recommend that in a multiple testing performed by an FDP procedure, we may report both the mean and the variance estimates of FDP to enrich the study outcome.


title: Decremental Matching in General Graphs

abstract: We consider the problem of maintaining an approximate maximum integral matching in a dynamic graph $G$, while the adversary makes changes to the edges of the graph. The goal is to maintain a $(1+\epsilon)$-approximate maximum matching for constant $\epsilon>0$, while minimizing the update time. In the fully dynamic setting, where both edge insertion and deletions are allowed, Gupta and Peng (see \cite{GP13}) gave an algorithm for this problem with an update time of $O(\sqrt{m}/\epsilon^2)$. Motivated by the fact that the $O_{\epsilon}(\sqrt{m})$ barrier is hard to overcome (see Henzinger, Krinninger, Nanongkai, and Saranurak [HKNS15]); Kopelowitz, Pettie, and Porat [KPP16]), we study this problem in the \emph{decremental} model, where the adversary is only allowed to delete edges. Recently, Bernstein, Probst-Gutenberg, and Saranurak (see [BPT20]) gave an $O_{\epsilon}(1)$ update time decremental algorithm for this problem in \emph{bipartite graphs}. However, beating $O(\sqrt{m})$ update time remained an open problem for \emph{general graphs}. In this paper, we bridge the gap between bipartite and general graphs, by giving an $O_{\epsilon}(1)$ update time algorithm that maintains a $(1+\epsilon)$-approximate maximum integral matching under adversarial deletions. Our algorithm is randomized, but works against an adaptive adversary. Together with the work of Grandoni, Leonardi, Sankowski, Schwiegelshohn, and Solomon [GLSSS19] who give an $O_{\epsilon}(1)$ update time algorithm for general graphs in the \emph{incremental} (insertion-only) model, our result essentially completes the picture for partially dynamic matching.


title: Continuous Sign Language Recognition via Temporal Super-Resolution Network

abstract: Aiming at the problem that the spatial-temporal hierarchical continuous sign language recognition model based on deep learning has a large amount of computation, which limits the real-time application of the model, this paper proposes a temporal super-resolution network(TSRNet). The data is reconstructed into a dense feature sequence to reduce the overall model computation while keeping the final recognition accuracy loss to a minimum. The continuous sign language recognition model(CSLR) via TSRNet mainly consists of three parts: frame-level feature extraction, time series feature extraction and TSRNet, where TSRNet is located between frame-level feature extraction and time-series feature extraction, which mainly includes two branches: detail descriptor and rough descriptor. The sparse frame-level features are fused through the features obtained by the two designed branches as the reconstructed dense frame-level feature sequence, and the connectionist temporal classification(CTC) loss is used for training and optimization after the time-series feature extraction part. To better recover semantic-level information, the overall model is trained with the self-generating adversarial training method proposed in this paper to reduce the model error rate. The training method regards the TSRNet as the generator, and the frame-level processing part and the temporal processing part as the discriminator. In addition, in order to unify the evaluation criteria of model accuracy loss under different benchmarks, this paper proposes word error rate deviation(WERD), which takes the error rate between the estimated word error rate (WER) and the reference WER obtained by the reconstructed frame-level feature sequence and the complete original frame-level feature sequence as the WERD. Experiments on two large-scale sign language datasets demonstrate the effectiveness of the proposed model.


title: Generating Repetitions with Appropriate Repeated Words

abstract: A repetition is a response that repeats words in the previous speaker's utterance in a dialogue. Repetitions are essential in communication to build trust with others, as investigated in linguistic studies. In this work, we focus on repetition generation. To the best of our knowledge, this is the first neural approach to address repetition generation. We propose Weighted Label Smoothing, a smoothing method for explicitly learning which words to repeat during fine-tuning, and a repetition scoring method that can output more appropriate repetitions during decoding. We conducted automatic and human evaluations involving applying these methods to the pre-trained language model T5 for generating repetitions. The experimental results indicate that our methods outperformed baselines in both evaluations.


title: Mechanics of fiber networks under a bulk strain

abstract: Biopolymer networks are common in biological systems from the cytoskeleton of individual cells to collagen in the extracellular matrix. The mechanics of these systems under applied strain can be explained in some cases by a phase transition from soft to rigid states. For collagen networks, it has been shown that this transition is critical in nature and it is predicted to exhibit diverging fluctuations near a critical strain that depends on the network's connectivity and structure. Whereas prior work focused mostly on shear deformation that is more accessible experimentally, here we study the mechanics of such networks under an applied bulk or isotropic extension. We confirm that the bulk modulus of subisostatic fiber networks exhibits similar critical behavior as a function of bulk strain. We find different non-mean-field exponents for bulk as opposed to shear. We also confirm a similar hyperscaling relation to what previously found for shear.


title: Graph Learning based Generative Design for Resilience of Interdependent Network Systems

abstract: Interconnected complex systems usually undergo disruptions due to internal uncertainties and external negative impacts such as those caused by harsh operating environments or regional natural disaster events. To maintain the operation of interconnected network systems under both internal and external challenges, design for resilience research has been conducted from both enhancing the reliability of the system through better designs and improving the failure recovery capabilities. As for enhancing the designs, challenges have arisen for designing a robust system due to the increasing scale of modern systems and the complicated underlying physical constraints. To tackle these challenges and design a resilient system efficiently, this study presents a generative design method that utilizes graph learning algorithms. The generative design framework contains a performance estimator and a candidate design generator. The generator can intelligently mine good properties from existing systems and output new designs that meet predefined performance criteria. While the estimator can efficiently predict the performance of the generated design for a fast iterative learning process. Case studies results based on power systems from the IEEE dataset have illustrated the applicability of the proposed method for designing resilient interconnected systems.


title: Deep Bellman Hedging

abstract: We present an actor-critic-type reinforcement learning algorithm for solving the problem of hedging a portfolio of financial instruments such as securities and over-the-counter derivatives using purely historic data. The key characteristics of our approach are: the ability to hedge with derivatives such as forwards, swaps, futures, options; incorporation of trading frictions such as trading cost and liquidity constraints; applicability for any reasonable portfolio of financial instruments; realistic, continuous state and action spaces; and formal risk-adjusted return objectives. Most importantly, the trained model provides an optimal hedge for arbitrary initial portfolios and market states without the need for re-training. We also prove existence of finite solutions to our Bellman equation, and show the relation to our vanilla Deep Hedging approach


title: ScaleQC: A Scalable Framework for Hybrid Computation on Quantum and Classical Processors

abstract: Quantum processing unit (QPU) has to satisfy highly demanding quantity and quality requirements on its qubits to produce accurate results for problems at useful scales. Furthermore, classical simulations of quantum circuits generally do not scale. Instead, quantum circuit cutting techniques cut and distribute a large quantum circuit into multiple smaller subcircuits feasible for less powerful QPUs. However, the classical post-processing incurred from the cutting introduces runtime and memory bottlenecks. Our tool, called ScaleQC, addresses the bottlenecks by developing novel algorithmic techniques including (1) a quantum states merging framework that quickly locates the solution states of large quantum circuits; (2) an automatic solver that cuts complex quantum circuits to fit on less powerful QPUs; and (3) a tensor network based post-processing that minimizes the classical overhead. Our experiments demonstrate both QPU requirement advantages over the purely quantum platforms, and runtime advantages over the purely classical platforms for benchmarks up to 1000 qubits.


title: Wireless Channel Prediction in Partially Observed Environments

abstract: Site-specific radio frequency (RF) propagation prediction increasingly relies on models built from visual data such as cameras and LIDAR sensors. When operating in dynamic settings, the environment may only be partially observed. This paper introduces a method to extract statistical channel models, given partial observations of the surrounding environment. We propose a simple heuristic algorithm that performs ray tracing on the partial environment and then uses machine-learning trained predictors to estimate the channel and its uncertainty from features extracted from the partial ray tracing results. It is shown that the proposed method can interpolate between fully statistical models when no partial information is available and fully deterministic models when the environment is completely observed. The method can also capture the degree of uncertainty of the propagation predictions depending on the amount of region that has been explored. The methodology is demonstrated in a robotic navigation application simulated on a set of indoor maps with detailed models constructed using state-of-the-art navigation, simultaneous localization and mapping (SLAM), and computer vision methods.


title: Alternating Wentzel-Krammers-Brillouin Approximation for the Schr\"odinger Equation: A Rediscovering of the Bremmers Series

abstract: We propose an extension of the Wentzel-Kramers-Brillouin (WKB) approximation for solving the Schr\"odinger equation. A set of coupled differential equations has been obtained by considering an ansatz of wave function with two auxiliary conditions on gauging the first and the second derivatives of the wave function, respectivey. It is shown that an alternating perturbation method can be used to decouple this set of equations, yielding the well known Bremmer series. We derive an analytical scheme to approximate the wave function which consists of the usual WKB approximation as the zeroth order solution with extra correction terms up to the first order perturbation. Therefore, we call this alternative methodology the alternating WKB (a-WKB) approximation. We apply the a-WKB method to solve the eigenvalue problem of a harmonic oscillator and the scattering problem of a repulsive inverse-square (centrifugal) potential and demonstrate its supremacy over the usual WKB approximation.


title: Fast sparse flow field prediction around airfoils via multi-head perceptron based deep learning architecture

abstract: In order to obtain the information about flow field, traditional computational fluid dynamics methods need to solve the Navier-Stokes equations on the mesh with boundary conditions, which is a time-consuming task. In this work, a data-driven method based on convolutional neural network and multi-head perceptron is used to predict the incompressible laminar steady sparse flow field around the airfoils. Firstly, we use convolutional neural network to extract the geometry parameters of the airfoil from the input gray scale image. Secondly, the extracted geometric parameters together with Reynolds number, angle of attack and flow field coordinates are used as the input of the multi-layer perceptron and the multi-head perceptron. The proposed multi-head neural network architecture can predict the aerodynamic coefficients of the airfoil in seconds. Furthermore, the experimental results show that for sparse flow field, multi-head perceptron can achieve better prediction results than multi-layer perceptron.


title: Multi-Octave Interference Detectors with Sub-Microsecond Response

abstract: High-power interferers are one of the main hurdles in wideband communication channels. To that end, this paper presents a wideband interferer detection method. The presented technique operates by sampling the incoming signal as an input, and produces the frequency and the power readings of the detected interferer. The detection method relies on driving an open circuit stub, where the voltage is proportional to the power of the interferer, and the standing wave pattern is an indicator of its frequency. This approach is feasible over multi-octave bandwidth with a wide power dynamic range. The concept is analyzed for design and optimization, and a prototype is built for a proof-of-concept. The measured results demonstrate the ability to detect an interferer within the 1--16 GHz frequency range, with a power dynamic range between -20 to 20 dBm. The detection concept is also fitted with different types of tunable bandstop filters (BSFs) for automatic detection and suppression of the interferer if its power exceeds a programmable threshold. With a measured response time of 500 ns, the presented method is a technology enabler for wideband receivers.


title: Interpretable by Design: Learning Predictors by Composing Interpretable Queries

abstract: There is a growing concern about typically opaque decision-making with high-performance machine learning algorithms. Providing an explanation of the reasoning process in domain-specific terms can be crucial for adoption in risk-sensitive domains such as healthcare. We argue that machine learning algorithms should be interpretable by design and that the language in which these interpretations are expressed should be domain- and task-dependent. Consequently, we base our model's prediction on a family of user-defined and task-specific binary functions of the data, each having a clear interpretation to the end-user. We then minimize the expected number of queries needed for accurate prediction on any given input. As the solution is generally intractable, following prior work, we choose the queries sequentially based on information gain. However, in contrast to previous work, we need not assume the queries are conditionally independent. Instead, we leverage a stochastic generative model (VAE) and an MCMC algorithm (Unadjusted Langevin) to select the most informative query about the input based on previous query-answers. This enables the online determination of a query chain of whatever depth is required to resolve prediction ambiguities. Finally, experiments on vision and NLP tasks demonstrate the efficacy of our approach and its superiority over post-hoc explanations.


title: An Empirical Survey on Long Document Summarization: Datasets, Models and Metrics

abstract: Long documents such as academic articles and business reports have been the standard format to detail out important issues and complicated subjects that require extra attention. An automatic summarization system that can effectively condense long documents into short and concise texts to encapsulate the most important information would thus be significant in aiding the reader's comprehension. Recently, with the advent of neural architectures, significant research efforts have been made to advance automatic text summarization systems, and numerous studies on the challenges of extending these systems to the long document domain have emerged. In this survey, we provide a comprehensive overview of the research on long document summarization and a systematic evaluation across the three principal components of its research setting: benchmark datasets, summarization models, and evaluation metrics. For each component, we organize the literature within the context of long document summarization and conduct an empirical analysis to broaden the perspective on current research progress. The empirical analysis includes a study on the intrinsic characteristics of benchmark datasets, a multi-dimensional analysis of summarization models, and a review of the summarization evaluation metrics. Based on the overall findings, we conclude by proposing possible directions for future exploration in this rapidly growing field.


title: A Graph Isomorphism Network with Weighted Multiple Aggregators for Speech Emotion Recognition

abstract: Speech emotion recognition (SER) is an essential part of human-computer interaction. In this paper, we propose an SER network based on a Graph Isomorphism Network with Weighted Multiple Aggregators (WMA-GIN), which can effectively handle the problem of information confusion when neighbour nodes' features are aggregated together in GIN structure. Moreover, a Full-Adjacent (FA) layer is adopted for alleviating the over-squashing problem, which is existed in all Graph Neural Network (GNN) structures, including GIN. Furthermore, a multi-phase attention mechanism and multi-loss training strategy are employed to avoid missing the useful emotional information in the stacked WMA-GIN layers. We evaluated the performance of our proposed WMA-GIN on the popular IEMOCAP dataset. The experimental results show that WMA-GIN outperforms other GNN-based methods and is comparable to some advanced non-graph-based methods by achieving 72.48% of weighted accuracy (WA) and 67.72% of unweighted accuracy (UA).


title: Testing Homogeneity: The Trouble with Sparse Functional Data

abstract: Testing the homogeneity between two samples of functional data is an important task. While this is feasible for intensely measured functional data, we explain why it is challenging for sparsely measured functional data and show what can be done for such data. In particular, we show that testing the marginal homogeneity based on point-wise distributions is feasible under some constraints and propose a new two sample statistic that works well with both intensively and sparsely measured functional data. The proposed test statistic is formulated upon Energy distance, and the critical value is obtained via the permutation test. The convergence rate of the test statistic to its population version is derived along with the consistency of the associated permutation test. To the best of our knowledge, this is the first paper that provides guaranteed consistency for testing the homogeneity for sparse functional data. The aptness of our method is demonstrated on both synthetic and real data sets.


title: Pregrasp Object Material Classification by a Novel Gripper Design with Integrated Spectroscopy

abstract: Robots benefit from being able to classify objects they interact with or manipulate based on their material properties. This capability ensures fine manipulation of complex objects through proper grasp pose and force selection. Prior work has focused on haptic or visual processing to determine material type at grasp time. In this work, we introduce a novel parallel robot gripper design and a method for collecting spectral readings and visual images from within the gripper finger. We train a nonlinear Support Vector Machine (SVM) that can classify the material of the object about to be grasped through recursive estimation, with increasing confidence as the distance from the finger tips to the object decreases. In order to validate the hardware design and classification method, we collect samples from 16 real and fake fruit varieties (composed of polystyrene/plastic) resulting in a dataset containing spectral curves, scene images, and high-resolution texture images as the objects are grasped, lifted, and released. Our modeling method demonstrates an accuracy of 96.4% in classifying objects in a 32 class decision problem. This represents a performance improvement by 29.4% over the state of the art computer vision algorithms at distinguishing between visually similar materials. In contrast to prior work, our recursive estimation model accounts for increasing spectral signal strength and allows for decisions to be made as the gripper approaches an object. We conclude that spectroscopy is a promising sensing modality for enabling robots to not only classify grasped objects but also understand their underlying material composition.


title: Degradation-Guided Meta-Restoration Network for Blind Super-Resolution

abstract: Blind super-resolution (SR) aims to recover high-quality visual textures from a low-resolution (LR) image, which is usually degraded by down-sampling blur kernels and additive noises. This task is extremely difficult due to the challenges of complicated image degradations in the real-world. Existing SR approaches either assume a predefined blur kernel or a fixed noise, which limits these approaches in challenging cases. In this paper, we propose a Degradation-guided Meta-restoration network for blind Super-Resolution (DMSR) that facilitates image restoration for real cases. DMSR consists of a degradation extractor and meta-restoration modules. The extractor estimates the degradations in LR inputs and guides the meta-restoration modules to predict restoration parameters for different degradations on-the-fly. DMSR is jointly optimized by a novel degradation consistency loss and reconstruction losses. Through such an optimization, DMSR outperforms SOTA by a large margin on three widely-used benchmarks. A user study including 16 subjects further validates the superiority of DMSR in real-world blind SR tasks.


title: GlassDB: An Efficient Verifiable Ledger Database System Through Transparency

abstract: Verifiable ledger databases protect data history against malicious tampering. Existing systems, such as blockchains and certificate transparency, are based on transparency logs -- a simple abstraction allowing users to verify that a log maintained by an untrusted server is append-only. They expose a simple key-value interface. Building a practical database from transparency logs, on the other hand, remains a challenge. In this paper, we explore the design space of verifiable ledger databases along three dimensions: abstraction, threat model, and performance. We survey existing systems and identify their two limitations, namely, the lack of transaction support and the inferior efficiency. We then present GlassDB, a distributed database that addresses these limitations under a practical threat model. GlassDB inherits the verifiability of transparency logs, but supports transactions and offers high performance. It extends a ledger-like key-value store with a data structure for efficient proofs, and adds a concurrency control mechanism for transactions. GlassDB batches independent operations from concurrent transactions when updating the core data structures. In addition, we design a new benchmark for evaluating verifiable ledger databases, by extending YCSB and TPC-C benchmarks. Using this benchmark, we compare GlassDB against four baselines: reimplemented versions of three verifiable databases, and a verifiable map backed by a transparency log. Experimental results demonstrate that GlassDB is an efficient, transactional, and verifiable ledger database.


title: PS$^2$F: Polarized Spiral Point Spread Function for Single-Shot 3D Sensing

abstract: We propose a compact snapshot monocular depth estimation technique that relies on an engineered point spread function (PSF). Traditional approaches used in microscopic super-resolution imaging such as the Double-Helix PSF (DHPSF) are ill-suited for scenes that are more complex than a sparse set of point light sources. We show, using the Cram\'er-Rao lower bound, that separating the two lobes of the DHPSF and thereby capturing two separate images leads to a dramatic increase in depth accuracy. A special property of the phase mask used for generating the DHPSF is that a separation of the phase mask into two halves leads to a spatial separation of the two lobes. We leverage this property to build a compact polarization-based optical setup, where we place two orthogonal linear polarizers on each half of the DHPSF phase mask and then capture the resulting image with a polarization-sensitive camera. Results from simulations and a lab prototype demonstrate that our technique achieves up to $50\%$ lower depth error compared to state-of-the-art designs including the DHPSF and the Tetrapod PSF, with little to no loss in spatial resolution.


title: Generalized effective-potential Landau theory for a tunable state-dependent hexagonal optical lattice

abstract: We analytically study the ground-state phase diagrams of ultracold bosons with various values of the effective magnetic quantum number $m$ in a state-dependent hexagonal optical lattice by using the generalized effective-potential Landau theory, where the site-offset energy between the two triangular sublattice A and B is tunable. Our analytical calculations of third-order corrections are in reasonably good agreement with the previous cluster Gutzwiller calculations. Furthermore, we reveal the reason why the regions of the Mott lobes $(n,n)$ in phase diagrams for $m=0.02$ are unexpectedly expanded with increasing $J/U$ in deep lattice.


title: The strange cousin of the $Z_c(4020/4025)$ as tetraquark state

abstract: Motivated by the analogous properties of the $Z_c(3900/3885)$ and $Z_{cs}(3985/4000)$, we tentatively assign the $Z_c(4020/4025)$ as the $A\bar{A}$-type hidden-charm tetraquark state with the $J^{PC}=1^{+-}$, where the $A$ denotes the axialvector diquark states, and explore the $A\bar{A}$-type tetraquark states without strange, with strange and with hidden-strange via the QCD sum rules in a consistent way. Then we explore the hadronic coupling constants in the two-body strong decays of the tetraquark states without strange and with strange via the QCD sum rules based on rigorous quark-hadron duality, and acquire the partial decay widths and total decay widths. The present calculations support assigning the $Z_c(4020/4025)$ as the $A\bar{A}$-type tetraquark state with the $J^{PC}=1^{+-}$, while the predictions for its strange cousin $Z_{cs}$ state can be confronted to the experimental data in the future.


title: Matrix product state simulations of quantum quenches and transport in Coulomb blockaded superconducting devices

abstract: Superconducting devices subject to strong charging energy interactions and Coulomb blockade are one of the key elements for the development of nanoelectronics and constitute common building blocks of quantum computation platforms and topological superconducting setups. The study of their transport properties is non-trivial and some of their non-perturbative aspects are hard to capture with the most ordinary techniques. Here we present a matrix product state approach to simulate the real-time dynamics of these systems. We propose a study of their transport based on the analysis of the currents after quantum quenches connecting such devices with external leads. Our method is based on the combination of a Wilson chain construction for the leads and a mean-field BCS description for the superconducting scatterers. In particular, we employ a quasiparticle energy eigenbasis which greatly reduces their entanglement growth and we introduce an auxiliary degree of freedom to encode the device total charge. This approach allows us to treat non-perturbatively both their charging energy and coupling with external electrodes. We show that our construction is able to describe the Coulomb diamond structure of a superconducting dot with subgap states, including its sequential tunneling and cotunneling features. We also study the conductance zero-bias peaks caused by Majorana modes in a blockaded Kitaev chain, and compare our results with common Breit-Wigner predictions.


title: Stochastic arbitrage with market index options

abstract: Opportunities for stochastic arbitrage in an options market arise when it is possible to construct a portfolio of options which provides a positive option premium and which, when combined with a direct investment in the underlying asset, generates a payoff which stochastically dominates the payoff from the direct investment in the underlying asset. We provide linear and mixed-integer linear programs for computing the stochastic arbitrage opportunity providing the maximum option premium to an investor. We apply our programs to 18 years of data on monthly put and call options on the Standard & Poors 500 index, confining attention to options with moderate moneyness, and using two specifications of the underlying asset return distribution, one symmetric and one skewed. The pricing of market index options with moderate moneyness appears to be broadly consistent with our skewed specification of market returns.


title: Bounding the Photon Mass with the Dedispersed Pulses of the Crab Pulsar and FRB 180916B

abstract: Tight limits on the photon mass have been set through analyzing the arrival time differences of photons with different frequencies originating from the same astrophysical source. However, all these constraints have relied on using the first-order Taylor expansion of the dispersion due to a nonzero photon mass. In this work, we present an analysis of the nonzero photon mass dispersion with the second-order derivative of Taylor series. If the arrival time delay corrected for all known effects (including the first-order delay time due to the plasma and photon mass effects) is assumed to be dominated by the second-order term of the nonzero photon mass dispersion, a conservative upper limit on the photon mass can be estimated. Here we show that the dedispersed pulses with the second-order time delays from the Crab pulsar and the fast radio burst FRB 180916B pose strict limits on the photon mass, i.e., $m_{\gamma,2} \leq5.7\times10^{-46}\;{\rm kg}\simeq3.2\times10^{-10}\; {\rm eV}/c^{2}$ and $m_{\gamma,2} \leq6.0\times10^{-47}\;{\rm kg}\simeq3.4\times10^{-11}\; {\rm eV}/c^{2}$, respectively. This is the first time to study the possible second-order photon mass effect.


title: Optimization of diamond optomechanical crystal cavities

abstract: Due to recent development of growing and processing techniques for high-quality single crystal diamond, the large scale production of diamond optomechanical crystal cavities becomes feasible, enabling optomechanical devices that can operate in higher mechanical frequencies and be coupled to two-level systems based on diamond color centers. In this paper we describe a design optimization method to produce diamond optomechanical crystal (OMC) cavities operating at the high-cooperativity regime (close to unity) at room temperature.


title: M-Adapter: Modality Adaptation for End-to-End Speech-to-Text Translation

abstract: End-to-end speech-to-text translation models are often initialized with pre-trained speech encoder and pre-trained text decoder. This leads to a significant training gap between pre-training and fine-tuning, largely due to the modality differences between speech outputs from the encoder and text inputs to the decoder. In this work, we aim to bridge the modality gap between speech and text to improve translation quality. We propose M-Adapter, a novel Transformer-based module, to adapt speech representations to text. While shrinking the speech sequence, M-Adapter produces features desired for speech-to-text translation via modelling global and local dependencies of a speech sequence. Our experimental results show that our model outperforms a strong baseline by up to 1 BLEU score on the Must-C En$\rightarrow$DE dataset.\footnote{Our code is available at https://github.com/mingzi151/w2v2-st.}


title: Quantum thermodynamics of periodically driven polaritonic systems

abstract: We investigate the energy distribution and quantum thermodynamics in periodically driven polaritonic systems in the stationary state at room temperature. Specifically, we consider an exciton strongly coupled to a harmonic oscillator and quantify the energy reorganization between these two systems and their interaction as a function of coupling strength, driving force, and detuning. After deriving the quantum master equation for the polariton density matrix with weak environment interactions, we obtain the dissipative time propagator and the long-time evolution of an equilibrium initial state. This approach provides direct access to the stationary state and overcomes the difficulties found in the numerical evolution of weakly damped quantum systems near resonance, also providing maps on the polariton lineshape. Then, we compute the thermodynamic performance during harmonic modulation and demonstrate that maximum efficiency occurs at resonance. We also provide an expression for the irreversible heat rate and numerically demonstrate that this agrees with the thermodynamic laws.


title: The error and perturbation bounds of the general absolute value equations

abstract: To our knowledge, the error and perturbation bounds of the general absolute value equations are not discussed. In order to fill in this study gap, in this paper, by introducing a class of absolute value functions, we study the error and perturbation bounds of two types of the general absolute value equations (AVEs): $Ax-B|x|=b$ and $Ax-|Bx|=b$. Some useful error bounds and perturbation bounds of the above two types of absolute value equations are provided. Without limiting the matrix type, some computable estimates for the above upper bounds are given. By applying the absolute value equations, a new approach for some existing perturbation bounds of the linear complementarity problem (LCP) in (SIAM J. Optim., 18 (2007), pp. 1250-1265) is provided. Some numerical examples for the AVEs from the LCP are given to show the feasibility of the perturbation bounds.


title: On the past-completeness of inflationary spacetimes

abstract: We discuss the question of whether or not inflationary spacetimes can be geodesically complete in the infinite past. Geodesic completeness is a necessary condition for averting an initial singularity during eternal inflation. It is frequently argued that cosmological models which are expanding sufficiently fast (having average Hubble expansion rate $H_{avg}>0$) must be incomplete in null and timelike past directions. This well-known conjecture relies on specific bounds on the integral of the Hubble parameter over a past-directed timelike or null geodesic. As stated, we show this claim is an open issue. We show that the calculation of $H_{avg}$ yields a continuum of results for a given spacetime predicated upon the underlying topological assumptions. We present an improved definition for $H_{avg}$ and introduce an uncountably infinite cohort of cosmological solutions which are geodesically complete despite having $H_{avg}>0$. We discuss a standardized definition for inflationary spacetimes as well as quantum (semi-classical) cosmological concerns over physically reasonable scale factors.


title: Tricking the Hashing Trick: A Tight Lower Bound on the Robustness of CountSketch to Adaptive Inputs

abstract: CountSketch and Feature Hashing (the "hashing trick") are popular randomized dimensionality reduction methods that support recovery of $\ell_2$-heavy hitters (keys $i$ where $v_i^2 > \epsilon \|\boldsymbol{v}\|_2^2$) and approximate inner products. When the inputs are {\em not adaptive} (do not depend on prior outputs), classic estimators applied to a sketch of size $O(\ell/\epsilon)$ are accurate for a number of queries that is exponential in $\ell$. When inputs are adaptive, however, an adversarial input can be constructed after $O(\ell)$ queries with the classic estimator and the best known robust estimator only supports $\tilde{O}(\ell^2)$ queries. In this work we show that this quadratic dependence is in a sense inherent: We design an attack that after $O(\ell^2)$ queries produces an adversarial input vector whose sketch is highly biased. Our attack uses "natural" non-adaptive inputs (only the final adversarial input is chosen adaptively) and universally applies with any correct estimator, including one that is unknown to the attacker. In that, we expose inherent vulnerability of this fundamental method.


title: On Convergence of Gradient Descent Ascent: A Tight Local Analysis

abstract: Gradient Descent Ascent (GDA) methods are the mainstream algorithms for minimax optimization in generative adversarial networks (GANs). Convergence properties of GDA have drawn significant interest in the recent literature. Specifically, for $\min_{\mathbf{x}} \max_{\mathbf{y}} f(\mathbf{x};\mathbf{y})$ where $f$ is strongly-concave in $\mathbf{y}$ and possibly nonconvex in $\mathbf{x}$, (Lin et al., 2020) proved the convergence of GDA with a stepsize ratio $\eta_{\mathbf{y}}/\eta_{\mathbf{x}}=\Theta(\kappa^2)$ where $\eta_{\mathbf{x}}$ and $\eta_{\mathbf{y}}$ are the stepsizes for $\mathbf{x}$ and $\mathbf{y}$ and $\kappa$ is the condition number for $\mathbf{y}$. While this stepsize ratio suggests a slow training of the min player, practical GAN algorithms typically adopt similar stepsizes for both variables, indicating a wide gap between theoretical and empirical results. In this paper, we aim to bridge this gap by analyzing the \emph{local convergence} of general \emph{nonconvex-nonconcave} minimax problems. We demonstrate that a stepsize ratio of $\Theta(\kappa)$ is necessary and sufficient for local convergence of GDA to a Stackelberg Equilibrium, where $\kappa$ is the local condition number for $\mathbf{y}$. We prove a nearly tight convergence rate with a matching lower bound. We further extend the convergence guarantees to stochastic GDA and extra-gradient methods (EG). Finally, we conduct several numerical experiments to support our theoretical findings.


title: On John's test for sphericity in large panel data models

abstract: This paper studies John's test for sphericity of the error terms in large panel data models, where the number of cross-section units $n$ is large enough to be comparable to the number of times series observations $T$, or even larger. Based on recent random matrix theory results, John's test's asymptotic normality properties are established under both the null and the alternative hypotheses. These asymptotics are valid for general populations, i.e., not necessarily Gaussian provided certain finite moments. A fantastic phenomenon found in the paper is that John's test for panel data models possesses a powerful dimension-proof property. It keeps the same null distribution under different $(n,T)$-asymptotics, i.e., the small or medium panel regime $n/T\to 0$ as $T\to \infty$, the large panel regime $n/T\to c \in (0,\infty)$ as $ T\to \infty$, and the ultra-large panel regime $n/T\to \infty (T^\delta/n =O_p(1), 1<\delta<2)$ as $T\to \infty$. Moreover, John's test is always consistent except under the alternative of bounded-norm covariance with the large panel regime $n/T\to c \in (0,\infty)$.


title: Group-Theoretic Wideband Radar Waveform Design

abstract: We investigate the theory of affine groups in the context of designing radar waveforms that obey the desired wideband ambiguity function (WAF). The WAF is obtained by correlating the signal with its time-dilated, Doppler-shifted, and delayed replicas. We consider the WAF definition as a coefficient function of the unitary representation of the group $a\cdot x + b$. This is essentially an algebraic problem applied to the radar waveform design. Prior works on this subject largely analyzed narrow-band ambiguity functions. Here, we show that when the underlying wideband signal of interest is a pulse or pulse train, a tight frame can be built to design that waveform. Specifically, we design the radar signals by minimizing the ratio of bounding constants of the frame in order to obtain lower sidelobes in the WAF. This minimization is performed by building a codebook based on difference sets in order to achieve the Welch bound. We show that the tight frame so obtained is connected with the wavelet transform that defines the WAF.


title: WaferSegClassNet -- A Light-weight Network for Classification and Segmentation of Semiconductor Wafer Defects

abstract: As the integration density and design intricacy of semiconductor wafers increase, the magnitude and complexity of defects in them are also on the rise. Since the manual inspection of wafer defects is costly, an automated artificial intelligence (AI) based computer-vision approach is highly desired. The previous works on defect analysis have several limitations, such as low accuracy and the need for separate models for classification and segmentation. For analyzing mixed-type defects, some previous works require separately training one model for each defect type, which is non-scalable. In this paper, we present WaferSegClassNet (WSCN), a novel network based on encoder-decoder architecture. WSCN performs simultaneous classification and segmentation of both single and mixed-type wafer defects. WSCN uses a "shared encoder" for classification, and segmentation, which allows training WSCN end-to-end. We use N-pair contrastive loss to first pretrain the encoder and then use BCE-Dice loss for segmentation, and categorical cross-entropy loss for classification. Use of N-pair contrastive loss helps in better embedding representation in the latent dimension of wafer maps. WSCN has a model size of only 0.51MB and performs only 0.2M FLOPS. Thus, it is much lighter than other state-of-the-art models. Also, it requires only 150 epochs for convergence, compared to 4,000 epochs needed by a previous work. We evaluate our model on the MixedWM38 dataset, which has 38,015 images. WSCN achieves an average classification accuracy of 98.2% and a dice coefficient of 0.9999. We are the first to show segmentation results on the MixedWM38 dataset. The source code can be obtained from https://github.com/ckmvigil/WaferSegClassNet.


title: Digital-twin-enhanced metal tube bending forming real-time prediction method based on Multi-source-input MTL

abstract: As one of the most widely used metal tube bending methods, the rotary draw bending (RDB) process enables reliable and high-precision metal tube bending forming (MTBF). The forming accuracy is seriously affected by the springback and other potential forming defects, of which the mechanism analysis is difficult to deal with. At the same time, the existing methods are mainly conducted in offline space, ignoring the real-time information in the physical world, which is unreliable and inefficient. To address this issue, a digital-twin-enhanced (DT-enhanced) metal tube bending forming real-time prediction method based on multi-source-input multi-task learning (MTL) is proposed. The new method can achieve comprehensive MTBF real-time prediction. By sharing the common feature of the multi-close domain and adopting group regularization strategy on feature sharing and accepting layers, the accuracy and efficiency of the multi-source-input MTL can be guaranteed. Enhanced by DT, the physical real-time deformation data is aligned in the image dimension by an improved Grammy Angle Field (GAF) conversion, realizing the reflection of the actual processing. Different from the traditional offline prediction methods, the new method integrates the virtual and physical data to achieve a more efficient and accurate real-time prediction result. and the DT mapping connection between virtual and physical systems can be achieved. To exclude the effects of equipment errors, the effectiveness of the proposed method is verified on the physical experiment-verified FE simulation scenarios. At the same time, the common pre-training networks are compared with the proposed method. The results show that the proposed DT-enhanced prediction method is more accurate and efficient.


title: Low probability states, data statistics, and entropy estimation

abstract: A fundamental problem in analysis of complex systems is getting a reliable estimate of entropy of their probability distributions over the state space. This is difficult because unsampled states can contribute substantially to the entropy, while they do not contribute to the Maximum Likelihood estimator of entropy, which replaces probabilities by the observed frequencies. Bayesian estimators overcome this obstacle by introducing a model of the low-probability tail of the probability distribution. Which statistical features of the observed data determine the model of the tail, and hence the output of such estimators, remains unclear. Here we show that well-known entropy estimators for probability distributions on discrete state spaces model the structure of the low probability tail based largely on few statistics of the data: the sample size, the Maximum Likelihood estimate, the number of coincidences among the samples, the dispersion of the coincidences. We derive approximate analytical entropy estimators for undersampled distributions based on these statistics, and we use the results to propose an intuitive understanding of how the Bayesian entropy estimators work.

categories: physics.data-an cs.IT math.IT math.ST stat.TH


title: A metric fixed point theorem and some of its applications

abstract: A general fixed point theorem for isometries in terms of metric functionals is proved under the assumption of the existence of a conical bicombing. It is new even for isometries of Banach spaces as well as for non-locally compact CAT(0)-spaces and injective spaces. Examples of actions on non-proper CAT(0)-spaces come from the study of diffeomorphism groups, birational transformations, and compact K\"ahler manifolds. A special case of the fixed point theorem provides a novel mean ergodic theorem that in the Hilbert space case implies von Neumann's theorem. The theorem accommodates classically fixed-point-free isometric maps such as those of Kakutani, Edelstein, Alspach and Prus. Moreover, from the main theorem together with some geometric arguments of independent interest, one can deduce that every bounded invertible operator of a Hilbert space admits a nontrivial invariant metric functional on the space of positive operators. This is a result in the direction of the invariant subspace problem although its full meaning is dependent on a future determination of such metric functionals.


title: NVIF: Neighboring Variational Information Flow for Large-Scale Cooperative Multi-Agent Scenarios

abstract: Communication-based multi-agent reinforcement learning (MARL) provides information exchange between agents, which promotes the cooperation. However, existing methods cannot perform well in the large-scale multi-agent system. In this paper, we adopt neighboring communication and propose a Neighboring Variational Information Flow (NVIF) to provide efficient communication for agents. It employs variational auto-encoder to compress the shared information into a latent state. This communication protocol does not rely dependently on a specific task, so that it can be pre-trained to stabilize the MARL training. Besides. we combine NVIF with Proximal Policy Optimization (NVIF-PPO) and Deep Q Network (NVIF-DQN), and present a theoretical analysis to illustrate NVIF-PPO can promote cooperation. We evaluate the NVIF-PPO and NVIF-DQN on MAgent, a widely used large-scale multi-agent environment, by two tasks with different map sizes. Experiments show that our method outperforms other compared methods, and can learn effective and scalable cooperation strategies in the large-scale multi-agent system.


title: Cycle-Interactive Generative Adversarial Network for Robust Unsupervised Low-Light Enhancement

abstract: Getting rid of the fundamental limitations in fitting to the paired training data, recent unsupervised low-light enhancement methods excel in adjusting illumination and contrast of images. However, for unsupervised low light enhancement, the remaining noise suppression issue due to the lacking of supervision of detailed signal largely impedes the wide deployment of these methods in real-world applications. Herein, we propose a novel Cycle-Interactive Generative Adversarial Network (CIGAN) for unsupervised low-light image enhancement, which is capable of not only better transferring illumination distributions between low/normal-light images but also manipulating detailed signals between two domains, e.g., suppressing/synthesizing realistic noise in the cyclic enhancement/degradation process. In particular, the proposed low-light guided transformation feed-forwards the features of low-light images from the generator of enhancement GAN (eGAN) into the generator of degradation GAN (dGAN). With the learned information of real low-light images, dGAN can synthesize more realistic diverse illumination and contrast in low-light images. Moreover, the feature randomized perturbation module in dGAN learns to increase the feature randomness to produce diverse feature distributions, persuading the synthesized low-light images to contain realistic noise. Extensive experiments demonstrate both the superiority of the proposed method and the effectiveness of each module in CIGAN.


title: An Empirical Evaluation of $k$-Means Coresets

abstract: Coresets are among the most popular paradigms for summarizing data. In particular, there exist many high performance coresets for clustering problems such as $k$-means in both theory and practice. Curiously, there exists no work on comparing the quality of available $k$-means coresets. In this paper we perform such an evaluation. There currently is no algorithm known to measure the distortion of a candidate coreset. We provide some evidence as to why this might be computationally difficult. To complement this, we propose a benchmark for which we argue that computing coresets is challenging and which also allows us an easy (heuristic) evaluation of coresets. Using this benchmark and real-world data sets, we conduct an exhaustive evaluation of the most commonly used coreset algorithms from theory and practice.


title: On the first order corrections to the black hole thermodynamics in higher curvature theories of gravity

abstract: In modified theories of gravity, higher curvature terms may be added to the Einstein-Hilbert action. Conventionally, the effects of the higher curvature terms on the black hole thermodynamics are rather difficult to obtain. In this paper, we show that, at least at the first order level, the corrections to the thermodynamics of the Schwarzschild black hole can be easily obtained, without solving the modified black hole metric. We examine some specific examples, which produces the known results in the literature, as well as those previously unknown. Furthermore, we find some nonperturbative exact results by generalizing the first-order analysis. In particular, a novel relation between the Euclidean integrals of the Einstein--Hilbert term and the higher curvature terms is found and proved.


title: Corrected holographic dark energy with power-law entropy and Hubble Horizon cut-off in FRW Universe

abstract: In the present work, we investigate the power-law entropy corrected holographic dark energy (PLECHDE) model with Hubble horizon cutoff. We use 46 observational Hubble data points in the redshift range $0 \leq z \leq 2.36$ to determine the present Hubble constant $H_0$ and the model parameter $n$. It represents a phase transition of the universe from deceleration to acceleration and has the transition point at $z_t = 0.71165$. We investigate the observational constraints on the model and calculate some relevant cosmological parameters. We examine the model's validity by drawing state-finder parameters that yield the result compatible with the modern observational data. The model's physical and geometrical characteristics are also explored, and they are shown to match well with current observations of observational Hubble data (OHD) and the latest joint light curves(JLA) datasets.


title: Task-Oriented Sensing, Computation, and Communication Integration for Multi-Device Edge AI

abstract: This paper studies a new multi-device edge artificial-intelligent (AI) system, which jointly exploits the AI model split inference and integrated sensing and communication (ISAC) to enable low-latency intelligent services at the network edge. In this system, multiple ISAC devices perform radar sensing to obtain multi-view data, and then offload the quantized version of extracted features to a centralized edge server, which conducts model inference based on the cascaded feature vectors. Under this setup and by considering classification tasks, we measure the inference accuracy by adopting an approximate but tractable metric, namely discriminant gain, which is defined as the distance of two classes in the Euclidean feature space under normalized covariance. To maximize the discriminant gain, we first quantify the influence of the sensing, computation, and communication processes on it with a derived closed-form expression. Then, an end-to-end task-oriented resource management approach is developed by integrating the three processes into a joint design. This integrated sensing, computation, and communication (ISCC) design approach, however, leads to a challenging non-convex optimization problem, due to the complicated form of discriminant gain and the device heterogeneity in terms of channel gain, quantization level, and generated feature subsets. Remarkably, the considered non-convex problem can be optimally solved based on the sum-of-ratios method. This gives the optimal ISCC scheme, that jointly determines the transmit power and time allocation at multiple devices for sensing and communication, as well as their quantization bits allocation for computation distortion control. By using human motions recognition as a concrete AI inference task, extensive experiments are conducted to verify the performance of our derived optimal ISCC scheme.