title: Fast quantum circuit simulation using hardware accelerated general purpose libraries

abstract: Quantum circuit simulators have a long tradition of exploiting massive hardware parallelism. Most of the times, parallelism has been supported by special purpose libraries tailored specifically for the quantum circuits. Quantum circuit simulators are integral part of quantum software stacks, which are mostly written in Python. Our focus has been on ease of use, implementation and maintainability within the Python ecosystem. We report the performance gains we obtained by using CuPy, a general purpose library (linear algebra) developed specifically for CUDA-based GPUs, to simulate quantum circuits. For supremacy circuits the speedup is around 2x, and for quantum multipliers almost 22x compared to state-of-the-art C++-based simulators.


title: Optimization of a Moving Sensor Trajectory for Observing a Point Scalar Source in Turbulent Flow

abstract: We propose a strategy for optimizing a sensor trajectory in order to estimate the time dependence of a localized scalar source in turbulent channel flow. The approach leverages the view of the adjoint scalar field as the sensitivity of measurement to a possible source. A cost functional is constructed so that the optimal sensor trajectory maintains a high sensitivity and low temporal variation in the measured signal, for a given source location. This naturally leads to the adjoint-of-adjoint equation based on which the sensor trajectory is iteratively optimized. It is shown that the estimation performance based on the measurement obtained by a sensor moving along the optimal trajectory is drastically improved from that achieved with a stationary sensor. It is also shown that the ratio of the fluctuation and the mean of the sensitivity for a given sensor trajectory can be used as a diagnostic tool to evaluate the resultant performance. Based on this finding, we propose a new cost functional which only includes the ratio without any adjustable parameters, and demonstrate its effectiveness in predicting the time dependence of scalar release from the source.


title: The Feasibility and Inevitability of Stealth Attacks

abstract: We develop and study new adversarial perturbations that enable an attacker to gain control over decisions in generic Artificial Intelligence (AI) systems including deep learning neural networks. In contrast to adversarial data modification, the attack mechanism we consider here involves alterations to the AI system itself. Such a stealth attack could be conducted by a mischievous, corrupt or disgruntled member of a software development team. It could also be made by those wishing to exploit a ``democratization of AI'' agenda, where network architectures and trained parameter sets are shared publicly. We develop a range of new implementable attack strategies with accompanying analysis, showing that with high probability a stealth attack can be made transparent, in the sense that system performance is unchanged on a fixed validation set which is unknown to the attacker, while evoking any desired output on a trigger input of interest. The attacker only needs to have estimates of the size of the validation set and the spread of the AI's relevant latent space. In the case of deep learning neural networks, we show that a one neuron attack is possible - a modification to the weights and bias associated with a single neuron - revealing a vulnerability arising from over-parameterization. We illustrate these concepts using state of the art architectures on two standard image data sets. Guided by the theory and computational results, we also propose strategies to guard against stealth attacks.


title: Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network

abstract: Predicting the optimum SWAP depth of a quantum circuit is useful because it informs the compiler about the amount of necessary optimization. Fast prediction methods will prove essential to the compilation of practical quantum circuits. In this paper, we propose that quantum circuits can be modeled as queuing networks, enabling efficient extraction of the parallelism and duration of SWAP circuits. To provide preliminary substantiation of this approach, we compile a quantum multiplier circuit and use a queuing network model to accurately determine the quantum circuit parallelism and duration. Our method is scalable and has the potential speed and precision necessary for large scale quantum circuit compilation.


title: Performance Studies of the ATLASpix HV-MAPS Prototype for Different Substrate Resistivities

abstract: The ATLASpix high-voltage monolithic active pixel sensor (HV-MAPS) was designed as a technology demonstrator for the ATLAS ITk Upgrade and the CLIC tracking detector. In this contribution new results from laboratory-based energy calibration measurements using fluorescence X-rays are presented for the ATLASpix Simple matrix. These findings are complemented by new results from test-beam studies with inclined tracks, in which the active charge collection depth is determined.


title: Gibbs point processes on path space: existence, cluster expansion and uniqueness

abstract: We present general existence and uniqueness results for marked models with pair interactions, exemplified through Gibbs point processes on path space. More precisely, we study a class of infinite-dimensional diffusions under Gibbsian interactions, in the context of marked point configurations: the starting points belong to $\mathbb{R}^d$, and the marks are the paths of Langevin diffusions. We use the entropy method to prove existence of an infinite-volume Gibbs point process and use cluster expansion tools to provide an explicit activity domain in which uniqueness holds.


title: New Kronecker-Weyl type equidistribution results and diophantine approximation

abstract: An interesting result of Veech more than 50 years ago is a parity, or mod $2$, version of the Kronecker--Weyl equidistribution theorem concerning the irrational rotation sequence $\{q\alpha\}$, $q=0,1,2,3,\ldots.$ If $\alpha$ is badly approximable and $b\in(0,1)$ satisfies $b\ne\{m\alpha\}$ for any $m\in\mathbb{Z}$, then the parity of cardinalities of the sets $\{1\le q\le N:\{q\alpha\}\in[0,b)\}$ as $N\to\infty$ is evenly distributed. We first answer a question of Veech and establish a stronger form of the mod $n$ analog of his result (Theorem 3.1). Furthermore, for irrational $\alpha$ and $b=\{m\alpha\}$ for some $m\in\mathbb{N}$, we give a simple yet precise characterization of those cases that give rise to even distribution (Theorem 2.1). We also obtain time-quantitative description of some very striking violations of uniformity -- this part is particularly number theoretic in nature, and involves Ostrowski representations of positive integers and $\alpha$-expansions of real numbers (Theorem 3.4). The Veech discrete $2$-circle problem can also be visualized as a problem that concerns $1$-direction geodesic flow on a surface obtained by modifying the surface comprising two side-by-side squares by the inclusion of symmetric barriers and gates on the vertical edges, with appropriate modification of the vertical edge identifications. We establish a far-reaching generalization of this case to ones that concern $1$-direction geodesic flow on surfaces obtained by modifying a finite square tiled translation surface in analogous but not necessarily symmetric ways (Theorem 3.2).


title: Cosmological consequences of a scalar field with oscillating equation of state. III. Unifying inflation with dark energy and small tensor-to-scalar ratio

abstract: We investigate the inflationary consequences of the oscillating dark energy model proposed by Ti\'an [\href{https://doi.org/10.1103/PhysRevD.101.063531}{Phys. Rev. D {\bf 101}, 063531 (2020)}], which aims to solve the cosmological coincidence problem with multi-accelerating Universe (MAU). We point out that the inflationary dynamics belong to slow-roll inflation. The spectral index of scalar perturbations and the tensor-to-scalar ratio $r$ are shown to be consistent with current \textit{Planck} measurements. Especially, this model predicts $r\sim10^{-7}$, which is far below the observation limits. This result motivates us to explore the smallness of $r$ in the general MAU. We propose a quintessential generalization of the original model and prove $r<0.01$ in general. The null detection to date of primordial gravitational waves provides a circumstantial evidence for the MAU. After the end of inflation, the scalar field rolls toward infinity instead of a local minimum, and meanwhile its equation of state is oscillating with an average value larger than $1/3$. In this framework, we show that gravitational particle creation at the end of inflation is capable of reheating the Universe.


title: Correspondenceless scan-to-map-scan matching of homoriented 2D scans for mobile robot localisation

abstract: The objective of this study is improving the location estimate of a mobile robot capable of motion on a plane and mounted with a conventional 2D LIDAR sensor, given an initial guess for its location on a 2D map of its surroundings. Documented herein is the theoretical reasoning behind solving a matching problem between two homoriented 2D scans, one derived from the robot's physical sensor and one derived by simulating its operation within the map, in a manner that does not require the establishing of correspondences between their constituting rays. Two results are proved and subsequently shown through experiments. The first is that the true position of the sensor can be recovered with arbitrary precision when the physical sensor reports faultless measurements and there is no discrepancy between the environment the robot operates in and its perception of it by the robot. The second is that when either is affected by disturbance, the location estimate is bound in a neighbourhood of the true location whose radius is proportional to the affecting disturbance.


title: Effect of the cubic torus topology on cosmological perturbations

abstract: We study the effect of the cubic torus topology of the Universe on scalar cosmological perturbations which define the gravitational potential. We obtain three alternative forms of the solution for both the gravitational potential produced by point-like masses, and the corresponding force. The first solution includes the expansion of delta-functions into Fourier series, exploiting periodic boundary conditions. The second one is composed of summed solutions of the Helmholtz equation for the original mass and its images. Each of these summed solutions is the Yukawa potential. In the third formula, we express the Yukawa potentials via Ewald sums. We show that for the present Universe, both the bare summation of Yukawa potentials and the Yukawa-Ewald sums require smaller numbers of terms to yield the numerical values of the potential and the force up to desired accuracy. Nevertheless, the Yukawa formula is yet preferable owing to its much simpler structure.


title: A network and machine learning approach to detect Value Added Tax fraud

abstract: Value Added Tax (VAT) fraud erodes public revenue and puts legitimate businesses at a disadvantaged position thereby impacting inequality. Identifying and combating VAT fraud before it occurs is therefore important for welfare. This paper proposes flexible machine learning algorithms which detect fraudulent transactions, utilising the information provided by the complex VAT network structure of a large dimension. VAT fraud detection is implemented through a combination of a suitably constructed Laplacian matrix with classification algorithms that rely on scalable machine learning techniques. The method is implemented on the universe of Bulgarian VAT data and detects around 50 percent of the VAT fraud, outperforming well-known techniques that ignore the information provided by the network of VAT transactions. Importantly, the proposed methods are automated, and can be implemented following the taxpayers submission of their VAT returns. This allows tax revenue authorities to prevent large losses of tax revenues through performing early identification of fraud between business-to-business transactions within the VAT system.


title: High Infrared Reflectance Modulation in VO2 Films Synthesized on Glass and ITO coated Glass substrates using Atmospheric Oxidation of Vanadium

abstract: Vanadium Dioxide (VO2) is a strongly correlated material, which exhibits insulator to metal transition at ~68 C along with large resistivity and infrared optical reflectance modulation. In this work, we use atmospheric pressure thermal oxidation of Vanadium to synthesize VO2 films on glass and ITO coated glass substrates. With the optimized short oxidation durations of 2 min and 4 min, the synthesized VO2 film shows high optical reflectance switching in long-wavelength infrared on glass substrates and mid-wavelength infrared on ITO coated glass substrates, respectively. Peak reflectance switching values of ~76% and ~79% are obtained on the respective substrates, which are among the highest reported values. Using the reflectance data, we extract VO2 complex refractive index in infrared wavelengths, in both the insulating and metallic phases. The extracted refractive index shows good agreement with VO2 synthesized using other methods. This demonstration of high optical reflectance switching in VO2 thin films, grown on low cost glass and ITO coated glass substrates, using a simple low thermal budget process will aid in enhancing VO2 applications in the optical domain.


title: Scalable Feature Subset Selection for Big Data using Parallel Hybrid Evolutionary Algorithm based Wrapper in Apache Spark

abstract: Owing to the emergence of large datasets, applying current sequential wrapper-based feature subset selection (FSS) algorithms increases the complexity. This limitation motivated us to propose a wrapper for feature subset selection (FSS) based on parallel and distributed hybrid evolutionary algorithms (EAs) under the Apache Spark environment. The hybrid EAs are based on the BDE and Binary Threshold Accepting (BTA), a point-based EA, which is invoked to enhance the search capability and avoid premature convergence of the PB-DE. Thus, we designed the hybrid variants (i) parallel binary differential evolution and threshold accepting (PB-DETA), where DE and TA work in tandem in every iteration, and (ii) parallel binary threshold accepting and differential evolution (PB-TADE), where TA and DE work in tandem in every iteration under the Apache Spark environment. Both PB-DETA and PB-TADE are compared with the baseline, viz., the parallel version of the binary differential evolution (PB-DE). All three proposed approaches use logistic regression (LR) to compute the fitness function, namely, the area under ROC curve (AUC). The effectiveness of the proposed algorithms is tested over the five large datasets of varying feature space dimension, taken from cyber security and biology domains. It is noteworthy that the PB-TADE turned out to be statistically significant compared to PB-DE and PB-DETA. We reported the speedup analysis, average AUC obtained by the most repeated feature subset, feature subset with high AUC and least cardinality.


title: Semi-Supervised Deep Ensembles for Blind Image Quality Assessment

abstract: Ensemble methods are generally regarded to be better than a single model if the base learners are deemed to be "accurate" and "diverse." Here we investigate a semi-supervised ensemble learning strategy to produce generalizable blind image quality assessment models. We train a multi-head convolutional network for quality prediction by maximizing the accuracy of the ensemble (as well as the base learners) on labeled data, and the disagreement (i.e., diversity) among them on unlabeled data, both implemented by the fidelity loss. We conduct extensive experiments to demonstrate the advantages of employing unlabeled data for BIQA, especially in model generalization and failure identification.


title: Exploring the 100 au Scale Structure of the Protobinary System NGC 2264 CMM3 with ALMA

abstract: We have observed the young protostellar system NGC 2264 CMM3 in the 1.3 mm and 2.0 mm bands at a resolution of about 0.1$"$ (70 au) with ALMA. The structures of two distinct components, CMM3A and CMM3B, are resolved in the continuum images of both bands. CMM3A has an elliptical structure extending along the direction almost perpendicular to the known outflow, while CMM3B reveals a round shape. We have fitted two 2D-Gaussian components to the elliptical structure of CMM3A and CMM3B, and have separated the disk and envelope components for each source. The spectral index $\alpha$ between 2.0 mm and 0.8 mm is derived to be 2.4-2.7 and 2.4-2.6 for CMM3A and CMM3B, respectively, indicating the optically thick dust emission and/or the grain growth. A velocity gradient in the disk/envelope direction is detected for CMM3A in the CH$_3$CN, CH$_3$OH, and $^{13}$CH$_3$OH lines detected in the 1.3 mm band, which can be interpreted as the rotation of the disk/envelope system. From this result, the protostellar mass of CMM3A is roughly evaluated to be $0.1- 0.5$ $M_\odot$ by assuming Keplerian rotation. The mass accretion rate is thus estimated to be $5\times10^{-5}$ - 4 $\times$ $10^{-3}$ $M_\odot$ yr$^{-1}$, which is higher than typical mass accretion rate of low-mass protostars. The OCS emission line shows a velocity gradient in both outflow direction and disk/envelope direction. A hint of outflow rotation is found, and the specific angular momentum of the outflow is estimated to be comparable to that of the disk. These results provide us with novel information on the initial stage of a binary/multiple system.


title: A short exposition of the Patak-Tancer theorem on non-embeddability of $k$-complexes in $2k$-manifolds

abstract: In 2019 P. Patak and M. Tancer obtained the following higher-dimensional generalization of the Heawood inequality on embeddings of graphs into surfaces. We expose this result in a short well-structured way accessible to non-specialists in the field. Let $\Delta_n^k$ be the union of $k$-dimensional faces of the $n$-dimensional simplex. Theorem. (a) If $\Delta_n^k$ PL embeds into the connected sum of $g$ copies of the Cartesian product $S^k\times S^k$ of two $k$-dimensional spheres, then $g\ge\dfrac{n-2k-1}{k+2}$. (b) If $\Delta_n^k$ PL embeds into a closed $(k-1)$-connected PL $2k$-manifold $M$, then $(-1)^k(\chi(M)-2)\ge\dfrac{n-2k-1}{k+1}$.


title: Distributed Identification of Central Nodes with Less Communication

abstract: This paper is concerned with distributed detection of central nodes in complex networks using closeness centrality. Closeness centrality plays an essential role in network analysis. Evaluating closeness centrality exactly requires complete knowledge of the network; for large networks, this may be inefficient, so closeness centrality should be approximated. Distributed tasks such as leader election can make effective use of centrality information for highly central nodes, but complete network information is not locally available. This paper refines a distributed centrality computation algorithm by You et al. [24] by pruning nodes which are almost certainly not most central. For example, in a large network, leave nodes can not play a central role. This leads to a reduction in the number of messages exchanged to determine the centrality of the remaining nodes. Our results show that our approach reduces the number of messages for networks which contain many prunable nodes. Our results also show that reducing the number of messages may


title: Silicon Metasurface Embedded Fabry-Perot Cavity Enables High Quality Transmission Structural Color

abstract: While nanoscale color generations have been studied for years, the high performance transmission structural color, simultaneously equipped with large gamut, high resolution, and optical multiplexing abilities, still remains as a hanging issue. Here, a silicon metasurface embedded Fabry-P\'erot cavity is demonstrated to address this problem. By changing the planar geometries of metasurface units, the cavities provide transmission colors with 194% sRGB gamut coverage and 141111 DPI resolution, along with more than 300% enhanced angular tolerance. Such high density allows two-dimensional color mixing at diffraction limit scale. Beneficial from the polarization manipulation capacity of the metasurface, arbitrary color arrangements between cyan and red for two orthogonal linear polarizations are also realized. Our proposed cavities can be used in filters, printings, optical storages and many other applications in need of high quality and density colors.


title: Asymptotic fluctuations of geometric q-TASEP, geometric q-PushTASEP and q-PushASEP

abstract: We investigate the asymptotic fluctuation of three interacting particle systems: the geometric q-TASEP, the geometric q-PushTASEP and the q-PushASEP. We prove that the rescaled particle position converges to the GUE Tracy-Widom distribution in the homogeneous case. If the jump rates of the first finitely many particles are perturbed in the first two models, we obtain that the limiting fluctuations are governed by the Baik-Ben Arous-Peche distribution and that of the top eigenvalue of finite GUE matrices.


title: Txt2Vid: Ultra-Low Bitrate Compression of Talking-Head Videos via Text

abstract: Video represents the majority of internet traffic today, driving a continual race between the generation of higher quality content, transmission of larger file sizes, and the development of network infrastructure. In addition, the recent COVID-19 pandemic fueled a surge in the use of video conferencing tools. Since videos take up considerable bandwidth (~100 Kbps to a few Mbps), improved video compression can have a substantial impact on network performance for live and pre-recorded content, providing broader access to multimedia content worldwide. We present a novel video compression pipeline, called Txt2Vid, which dramatically reduces data transmission rates by compressing webcam videos ("talking-head videos") to a text transcript. The text is transmitted and decoded into a realistic reconstruction of the original video using recent advances in deep learning based voice cloning and lip syncing models. Our generative pipeline achieves two to three orders of magnitude reduction in the bitrate as compared to the standard audio-video codecs (encoders-decoders), while maintaining equivalent Quality-of-Experience based on a subjective evaluation by users (n = 242) in an online study. The Txt2Vid framework opens up the potential for creating novel applications such as enabling audio-video communication during poor internet connectivity, or in remote terrains with limited bandwidth. The code for this work is available at https://github.com/tpulkit/txt2vid.git.


title: Contextual Inverse Optimization: Offline and Online Learning

abstract: We study the problems of offline and online contextual optimization with feedback information, where instead of observing the loss, we observe, after-the-fact, the optimal action an oracle with full knowledge of the objective function would have taken. We aim to minimize regret, which is defined as the difference between our losses and the ones incurred by an all-knowing oracle. In the offline setting, the decision-maker has information available from past periods and needs to make one decision, while in the online setting, the decision-maker optimizes decisions dynamically over time based a new set of feasible actions and contextual functions in each period. For the offline setting, we characterize the optimal minimax policy, establishing the performance that can be achieved as a function of the underlying geometry of the information induced by the data. In the online setting, we leverage this geometric characterization to optimize the cumulative regret. We develop an algorithm that yields the first regret bound for this problem that is logarithmic in the time horizon. Finally, we show via simulation that our proposed algorithms outperform previous methods from the literature.


title: An Attention Self-supervised Contrastive Learning based Three-stage Model for Hand Shape Feature Representation in Cued Speech

abstract: Cued Speech (CS) is a communication system for deaf people or hearing impaired people, in which a speaker uses it to aid a lipreader in phonetic level by clarifying potentially ambiguous mouth movements with hand shape and positions. Feature extraction of multi-modal CS is a key step in CS recognition. Recent supervised deep learning based methods suffer from noisy CS data annotations especially for hand shape modality. In this work, we first propose a self-supervised contrastive learning method to learn the feature representation of image without using labels. Secondly, a small amount of manually annotated CS data are used to fine-tune the first module. Thirdly, we present a module, which combines Bi-LSTM and self-attention networks to further learn sequential features with temporal and contextual information. Besides, to enlarge the volume and the diversity of the current limited CS datasets, we build a new British English dataset containing 5 native CS speakers. Evaluation results on both French and British English datasets show that our model achieves over 90% accuracy in hand shape recognition. Significant improvements of 8.75% (for French) and 10.09% (for British English) are achieved in CS phoneme recognition correctness compared with the state-of-the-art.


title: Laminar flow of viscous fluid around elliptical contours under angle of attack

abstract: The planar problem of a viscous laminar flow around elliptical cylinders under angle of attack is considered. From the solution of the laminar boundary layer equations using the Loytsyansky local similarity method, the shear stress at the ellipse boundary and the separation point is found. From the separation points velocities equality, the circulation is found. A complete solution to the problem of the velocity and pressure field outside the boundary layer is also constructed. The coefficients of lift and resistance are found depending on the angle of attack and the ellipse axes ratio. The theoretical results are compared with the available experimental data and direct numerical solutions of the Navier-Stokes equations.


title: Role of Dissipation on the Stability of a Parametrically Driven Quantum Harmonic Oscillator

abstract: We study the dissipative dynamics of a single quantum harmonic oscillator subjected to a parametric driving with in an effective Hamiltonian approach. Using Liouville von Neumann approach, we show that the time evolution of a parametrically driven dissipative quantum oscillator has a strong connection with the classical damped Mathieu equation. Based on the numerical analysis of the Monodromy matrix, we demonstrate that the dynamical instability generated by the parametric driving are reduced by the effect of dissipation. Further, we obtain a closed relationship between the localization of the Wigner function and the stability of the damped Mathieu equation.


title: UMIC: An Unreferenced Metric for Image Captioning via Contrastive Learning

abstract: Despite the success of various text generation metrics such as BERTScore, it is still difficult to evaluate the image captions without enough reference captions due to the diversity of the descriptions. In this paper, we introduce a new metric UMIC, an Unreferenced Metric for Image Captioning which does not require reference captions to evaluate image captions. Based on Vision-and-Language BERT, we train UMIC to discriminate negative captions via contrastive learning. Also, we observe critical problems of the previous benchmark dataset (i.e., human annotations) on image captioning metric, and introduce a new collection of human annotations on the generated captions. We validate UMIC on four datasets, including our new dataset, and show that UMIC has a higher correlation than all previous metrics that require multiple references. We release the benchmark dataset and pre-trained models to compute the UMIC.


title: An Improved Physical ZKP for Nonogram and Nonogram Color

abstract: Nonogram is a pencil puzzle consisting of a rectangular white grid where the player has to paint some cells black according to given constraints. In 2010, Chien and Hon constructed a physical card-based zero-knowledge proof protocol for Nonogram, which enables a prover to physically show that he/she knows a solution of the puzzle without revealing it. However, their protocol requires special tools such as scratch-off cards and a sealing machine, making it impractical to implement in real world. The protocol also has a nonzero soundness error. In this paper, we develop a more practical card-based protocol for Nonogram with perfect soundness that uses only regular paper cards. We also show how to modify our protocol to make it support Nonogram Color, a generalization of Nonogram where the player has to paint the cells with multiple colors.


title: Anomalous Andreev interferometer: Study of an anomalous Josephson junction coupled to a normal wire

abstract: Josephson junctions (JJs), where both time-reversal and inversion symmetry are broken, exhibit a phase shift $\phi_0$ in their current-phase relation. This allows for an anomalous supercurrent to flow in the junction even in the absence of a phase bias between the superconductors. We show that a finite phase shift also manifests in the so-called Andreev interferometers - a device that consists of a mesoscopic conductor coupled to the $\phi_0$-junction. Due to the proximity effect, the resistance of this conductor is phase-sensitive - it oscillates by varying the phase of the JJ. As a result, the quasiparticle current $I_{\mathrm{qp}}$ flowing through the conductor has an anomalous component, which exists only at finite $\phi_0$. Thus, the Andreev interferometry could be used to probe the $\phi_0$ effect. We consider two realizations of the $\phi_0$-junction and calculate $I_{\mathrm{qp}}$ in the interferometer: a superconducting structure with spin-orbit coupling and a system of spin-split superconductors with spin-polarized tunneling barriers.


title: Reduced Training Overhead for WLAN MU-MIMO Channel Feedback with Compressed Sensing

abstract: The WLAN packet format has a short training field (STF) for synchronization followed by a long training field (LTF) for channel estimation. To enable MIMO channel estimation, the LTF is repeated as many times as the number of spatial streams. For MU-MIMO, the CSI feedback in the 802.11ac/ax requires the access point (AP) to send a null data packet (NDP) where the HT/VHT/HE LTF is repeated as many times as the number of transmit antennas $N_{t}$. With each LTF being 4$\mu$s long in case of VHT and 12$\mu$s to 16$\mu$s long in case of High Efficiency WLAN (HEW), the length of NDP grows linearly with increasing $N_{t}$. Furthermore, the station (STA) with $N_{r}$ receive antennas needs to expend significant processing power to compute SVD per tone for the $N_{r}\times N_{t}$ channel matrix for generating the feedback bits, which again increases linearly with $N_{t}\cdot N_{r}$. To reduce the training and feedback overhead, this paper proposes a scheme based on Compressed Sensing that allows only a subset of tones per LTF to be transmitted in NDP, which can be used by STA to compute channel estimates that are then sent back without any further processing. Since AP knows the measurement matrix, the full dimension time domain channel estimates can be recovered by running the L1 minimization algorithms (OMP, CoSAMP). AP can further process the time domain channel estimates to generate the SVD precoding matrix.


title: Global existence of solutions for semilinear wave equations in Friedmann-Lema\^itre-Robertson-Walker spacetime

abstract: We consider the nonlinear massless wave equation belonging to some family of the Friedmann-Lema\^itre-Robertson-Walker (FLRW) spacetime. We prove the global in time small data solutions for supercritical powers in the case of decelerating expansion universe.


title: Fine Structures of an EUV Wave Event from Multi-Viewpoint Observations

abstract: In this study, we investigate an extreme ultraviolet (EUV) wave event on 2010 February 11, which occurred as a limb event from the Earth viewpoint and a disk event from the STEREO--B viewpoint. We use the data obtained by the Atmospheric Imaging Assembly (AIA) aboard the Solar Dynamics Observatory (SDO) in various EUV channels. The EUV wave event was launched by a partial prominence eruption. Similar to some EUV wave events in previous works, this EUV wave event contains a faster wave with a speed of $\sim$445$\pm$6 km s$^{-1}$, which we call coronal Moreton wave, and a slower wave with a speed of $\sim$298$\pm$5 km s$^{-1}$, which we call "EIT wave". The coronal Moreton wave is identified as a fast-mode wave and the "EIT wave" is identified as an apparent propagation due to successive field-line stretching. We also observe a stationary front associated with the fast mode EUV wave. This stationary front is explained as mode conversion from the coronal Moreton wave to a slow-mode wave near a streamer.


title: A new mathematical model for dispersion of Rayleigh wave and a machine learning based inversion solver

abstract: In this work, by introducing the seismic impedance tensor we propose a new Rayleigh wave dispersion function in a homogeneous and layered medium of the Earth, which provides an efficient way to compute the dispersion curve -- a relation between the frequencies and the phase velocities. With this newly established forward model, based on the Mixture Density Networks (MDN) we develop a machine learning based inversion approach, named as FW-MDN, for the problem of estimating the S-wave velocity from the dispersion curves. The method FW-MDN deals with the non-uniqueness issue encountered in studies that invert dispersion curves for crust and upper mantle models and attains a satisfactory performance on the dataset with various noise structure. Numerical simulations are performed to show that the FW-MDN possesses the characteristics of easy calculation, efficient computation, and high precision for the model characterization.


title: Design and test of a portable Gamma-Ray Burst simulator for GECAM

abstract: The main scientific goal of the Gravitational wave high-energy Electromagnetic Counterpart All-sky Monitor (GECAM) is to monitor various types of Gamma-Ray Bursts (GRB) originated from merger of binary compact stars, which could also produce gravitational wave, and collapse of massive stars. In order to study the response of GECAM Gamma-Ray Detectors (GRDs) to high-energy bursts and test the in-flight trigger and localization software of GECAM before the launch, a portable GRB simulator device is designed and implemented based on grid controlled X-ray tube (GCXT) and direct digital synthesis (DDS) technologies. The design of this GRB simulator which modulates X-ray flux powered by high voltage up to 20 kV is demonstrated, and the time jitter (FWHM) of the device is about 0.9 $\mu$s. Before the launch in December, 2020, both two GECAM satellites were irradiated by different types of GRBs (including short and long bursts in duration) generated by this GRB simulator. The light curves detected with GECAM/GRDs are consistent with the programmed input functions within statistical uncertainties, indicating the good performance of both the GRDs and the GRB simulator.


title: Efficient impurity-bath trial states from superposed Slater determinants

abstract: The representation of ground states of fermionic quantum impurity problems as superpositions of Gaussian states has recently been given a rigorous mathematical foundation. [S. Bravyi and D. Gosset, Comm. Math. Phys. 356, 451 (2017)]. It is natural to ask how many parameters are required for an efficient variational scheme based on this representation. An upper bound is $\mathcal O(N^2)$, where $N$ is the system size, which corresponds to the number parameters needed to specify an arbitrary Gaussian state. We provide an alternative representation, with more favorable scaling, only requiring $\mathcal O(N)$ parameters, that we illustrate for the interacting resonant level model. We achieve the reduction by associating mean-field-like parent Hamiltonians with the individual terms in the superposition, using physical insight to retain only the most relevant channels in each parent Hamiltonian. We benchmark our variational ansatz against the Numerical Renormalization Group, and compare our results to existing variational schemes of a similar nature to ours. Apart from the ground state energy, we also study the spectrum of the correlation matrix -- a very stringent measure of accuracy. Our approach outperforms some existing schemes and remains quantitatively accurate in the numerically challenging near-critical regime.


title: CONCERTO at APEX: installation and technical commissioning

abstract: We describe the deployment and first tests on Sky of CONCERTO, a large field-of-view (18.6arc-min) spectral-imaging instrument. The instrument operates in the range 130-310GHz from the APEX 12-meters telescope located at 5100m a.s.l. on the Chajnantor plateau. Spectra with R=1-300 are obtained using a fast (2.5Hz mechanical frequency) Fourier Transform Spectrometer (FTS), coupled to a continuous dilution cryostat with a base temperature of 60mK. Two 2152-pixels arrays of Lumped Element Kinetic Inductance Detectors (LEKID) are installed in the cryostat that also contains the cold optics and the front-end electronics. CONCERTO, installed in April 2021, generates more than 20k spectra per second during observations. We describe the final development phases, the installation and the first results obtained on Sky.


title: A thermodynamical model for paleomagnetism in Earth's crust

abstract: A thermodynamically consistent model for soft deformable viscoelastic magnets is formulated in actual space (Eulerian) coordinates. The possibility of a ferro-paramagnetic-type (or ferri-antiferromagnetic) transition exploiting Landau phase transition theory as well as mechanical melting or solidification is considered, being motivated and applicable to paleomagnetism (involving both thermo- and isothermal and viscous remanent magnetization) in rocks in Earth's crust and to rock-magma transition. The temperature-dependent Jeffreys rheology in the deviatoric part combined with the Kelvin-Voigt rheology in the spherical (volumetric) part is used. The energy balance and the entropy imbalance behind the model are demonstrated, and its analysis is performed by time discretization, proving existence of weak solutions.


title: Milliwatt average power, MHz-repetition rate, broadband THz generation in organic crystal BNA with diamond substrate

abstract: We demonstrate a 13.3 MHz repetition rate, broadband THz source with milliwatt-average power, obtained by collinear optical rectification of a high-power Yb-doped thin-disk laser in the organic crystal BNA (N-benzyl-2-methyl-4-nitroaniline). Our source reaches a maximum THz average power of 0.95 mW with an optical-to-THz efficiency of 4e-4 and a spectral bandwidth spanning up to 6 THz at -50 dB, driven by 2.4 W average power (after an optical chopper with duty cycle of 10%), 85 fs-pulses. This high average power excitation was possible without damaging the crystal by using a diamond-heatsinked crystal with significantly improved thermal properties. To the best of our knowledge, this result represents the highest THz average power reported so far using the commercially available organic crystal BNA, showing the potential of these crystals for high average power, high repetition rate femtosecond excitation. The combination of high power, high dynamic range, high repetition rate and broadband spectrum makes the demonstrated THz source highly attractive to improve various time-domain spectroscopy applications. Furthermore, we present a first exploration of the thermal behavior of BNA in this excitation regime, showing that thermal effects are the main limitation in average power scaling in these crystals.


title: Improving Sequential Recommendation Consistency with Self-Supervised Imitation

abstract: Most sequential recommendation models capture the features of consecutive items in a user-item interaction history. Though effective, their representation expressiveness is still hindered by the sparse learning signals. As a result, the sequential recommender is prone to make inconsistent predictions. In this paper, we propose a model, SSI, to improve sequential recommendation consistency with Self-Supervised Imitation. Precisely, we extract the consistency knowledge by utilizing three self-supervised pre-training tasks, where temporal consistency and persona consistency capture user-interaction dynamics in terms of the chronological order and persona sensitivities, respectively. Furthermore, to provide the model with a global perspective, global session consistency is introduced by maximizing the mutual information among global and local interaction sequences. Finally, to comprehensively take advantage of all three independent aspects of consistency-enhanced knowledge, we establish an integrated imitation learning framework. The consistency knowledge is effectively internalized and transferred to the student model by imitating the conventional prediction logit as well as the consistency-enhanced item representations. In addition, the flexible self-supervised imitation framework can also benefit other student recommenders. Experiments on four real-world datasets show that SSI effectively outperforms the state-of-the-art sequential recommendation methods.


title: AF $C^*$-algebras from non AF groupoids

abstract: We construct ample groupoids from certain categories of paths, and prove that their $C^*$-algebras coincide with the continued fraction AF algebras of Effros and Shen. The proof relies on recent classification results for simple nuclear $C^*$-algebras. The groupoids are not principal. This provides examples of Cartan subalgebras in the continued fraction AF algebras that are isomorphic, but not conjugate, to the standard diagonal subalgebras.


title: BiX-NAS: Searching Efficient Bi-directional Architecture for Medical Image Segmentation

abstract: The recurrent mechanism has recently been introduced into U-Net in various medical image segmentation tasks. Existing studies have focused on promoting network recursion via reusing building blocks. Although network parameters could be greatly saved, computational costs still increase inevitably in accordance with the pre-set iteration time. In this work, we study a multi-scale upgrade of a bi-directional skip connected network and then automatically discover an efficient architecture by a novel two-phase Neural Architecture Search (NAS) algorithm, namely BiX-NAS. Our proposed method reduces the network computational cost by sifting out ineffective multi-scale features at different levels and iterations. We evaluate BiX-NAS on two segmentation tasks using three different medical image datasets, and the experimental results show that our BiX-NAS searched architecture achieves the state-of-the-art performance with significantly lower computational cost.


title: An alternate circular summation formula of theta functions and its applications

abstract: We prove a general alternate circular summation formula of theta functions, which implies a great deal of theta-function identities. In particular, we recover several identities in Ramanujan's Notebook from this identity. We also obtain two formulaes for $(q;q)_\infty^{2n}$.


title: On the similarity of complex symmetric operators to perturbations of restrictions of normal operators

abstract: In this paper we consider a problem of the similarity of complex symmetric operators to perturbations of restrictions of normal operators. For a subclass of cyclic complex symmetric operators in a finite-dimensional Hilbert space we prove the similarity to rank-one perturbations of restrictions of normal operators. The main tools are a truncated moment problem in $\mathbb{C}$, and some objects similar to objects from the theory of spectral problems for Jacobi matrices.


title: The P\'{o}lya and Sisyphus lattice random walks with resetting -- a first passage under restart approach

abstract: We revisit the simple lattice random walk (P\'{o}lya walk) and the Sisyphus random walk in $\mathbb{Z}$, in the presence of random restarts. We use a relatively direct approach namely First passage under restart for discrete space and time which was recently developed by us in PRE 103, 052129 (2021) and rederive the first passage properties of these walks under the memoryless geometric restart mechanism. Subsequently, we show how our method could be generalized to arbitrary first passage process subject to more complex restart mechanisms such as sharp, Poisson and Zeta distribution where the latter is heavy tailed. We emphasize that the method is very useful to treat such problems both analytically and numerically.


title: Deterministic microwave-optical transduction based on quantum teleportation

abstract: The coherent transduction between microwave and optical frequencies is critical to interconnect superconducting quantum processors over long distances. However, it is challenging to establish such a quantum interface with high efficiency and small added noise based on the standard direct conversion scheme. Here, we propose a transduction scheme based on continuous-variable quantum teleportation. Reliable quantum information transmission can be realized with an arbitrarily small cooperativity, in contrast to the direct conversion scheme which requires a large minimum cooperativity. We show that the teleportation-based scheme maintains a significant rate advantage robustly for all values of cooperativity. We further investigate the performance in the transduction of complex quantum states such as cat states and Gottesman-Kitaev-Preskill(GKP) states and show that a higher fidelity or success probability can be achieved with the teleportation-based scheme. Our scheme significantly reduces the device requirement, and makes quantum transduction between microwave and optical frequencies feasible in the near future.


title: GSmart: An Efficient SPARQL Query Engine Using Sparse Matrix Algebra -- Full Version

abstract: Efficient execution of SPARQL queries over large RDF datasets is a topic of considerable interest due to increased use of RDF to encode data. Most of this work has followed either relational or graph-based approaches. In this paper, we propose an alternative query engine, called gSmart, based on matrix algebra. This approach can potentially better exploit the computing power of high-performance heterogeneous architectures that we target. gSmart incorporates: (1) grouped incident edge-based SPARQL query evaluation, in which all unevaluated edges of a vertex are evaluated together using a series of matrix operations to fully utilize query constraints and narrow down the solution space; (2) a graph query planner that determines the order in which vertices in query graphs should be evaluated; (3) memory- and computation-efficient data structures including the light-weight sparse matrix (LSpM) storage for RDF data and the tree-based representation for evaluation results; (4) a multi-stage data partitioner to map the incident edge-based query evaluation into heterogeneous HPC architectures and develop multi-level parallelism; and (5) a parallel executor that uses the fine-grained processing scheme, pre-pruning technique, and tree-pruning technique to lower inter-node communication and enable high throughput. Evaluations of gSmart on a CPU+GPU HPC architecture show execution time speedups of up to 46920.00x compared to the existing SPARQL query engines on a single node machine. Additionally, gSmart on the Tianhe-1A supercomputer achieves a maximum speedup of 6.90x scaling from 2 to 16 CPU+GPU nodes.


title: A step towards a consistent treatment of chiral theories at higher loop order: the abelian case

abstract: As recently pointed out, regularization schemes defined in four-dimensions may also face inconsistencies in the presence of chiral fermions. In this work, we extend this analysis to two-loop order. Adopting the implicit regularization as working arena, we discuss in detail how a consistent version of the method can be envisaged, and present many of the subtleties that appear at two-loop order using an abelian chiral model as working example.


title: Network centrality measures and their correlation to mixed-uses at the pedestrian-scale

abstract: Street network analysis holds appeal as a tool for the assessment of pedestrian connectivity and its relation to the intensity and mix of land-uses; however, application within urban-design triggers a range of questions on implementary specifics due to a variety of theories, methods, and considerations and it is not immediately clear which of these might be the most applicable at the pedestrian scale in relation to land-uses. It is, furthermore, difficult to directly evaluate differing approaches on a like-for-like basis without recourse to the underlying algorithms and computational workflows. To this end, the cityseer-api Python package is here used to develop, compute, and compare a range of centrality methods which are then applied to the Ordnance Survey Open Roads dataset for Greater London. The centralities are correlated to high-resolution land-use and mixed-used measures computed from the Ordnance Survey Points of Interest dataset for the same points of analysis using a spatially precise methodology based on network distances to premise locations. The comparisons show that mixed-uses correlate more strongly against closeness than betweenness centralities; segmented measures tend to offer slightly stronger correlations than node-based equivalents; weighted variants offer correlations similar to unweighted versions, but with a greater degree of spatial specificity; simplest-path methods confer an advantage in the context of local high-street mixed-uses but not necessarily for district-wide mixed-uses or land-use accessibilities; and the application of centrality measures to the dual network does not offer tangible benefits over the primal network.


title: The $q$-Onsager algebra and its alternating central extension

abstract: The $q$-Onsager algebra $O_q$ has a presentation involving two generators $W_0$, $W_1$ and two relations, called the $q$-Dolan/Grady relations. The alternating central extension $\mathcal O_q$ has a presentation involving the alternating generators $\lbrace \mathcal W_{-k}\rbrace_{k=0}^\infty$, $\lbrace \mathcal W_{k+1}\rbrace_{k=0}^\infty$, $ \lbrace \mathcal G_{k+1}\rbrace_{k=0}^\infty$, $\lbrace \mathcal {\tilde G}_{k+1}\rbrace_{k=0}^\infty$ and a large number of relations. Let $\langle \mathcal W_0, \mathcal W_1 \rangle$ denote the subalgebra of $\mathcal O_q$ generated by $\mathcal W_0$, $\mathcal W_1$. It is known that there exists an algebra isomorphism $O_q \to \langle \mathcal W_0, \mathcal W_1 \rangle$ that sends $W_0\mapsto \mathcal W_0$ and $W_1 \mapsto \mathcal W_1$. It is known that the center $\mathcal Z$ of $\mathcal O_q$ is isomorphic to a polynomial algebra in countably many variables. It is known that the multiplication map $\langle \mathcal W_0, \mathcal W_1 \rangle \otimes \mathcal Z \to \mathcal O_q$, $ w \otimes z \mapsto wz$ is an isomorphism of algebras. We call this isomorphism the standard tensor product factorization of $\mathcal O_q$. In the study of $\mathcal O_q$ there are two natural points of view: we can start with the alternating generators, or we can start with the standard tensor product factorization. It is not obvious how these two points of view are related. The goal of the paper is to describe this relationship. We give seven main results; the principal one is an attractive factorization of the generating function for some algebraically independent elements that generate $\mathcal Z$.


title: Combinatorial and harmonic-analytic methods for integer tilings

abstract: A finite set of integers $A$ tiles the integers by translations if $\mathbb{Z}$ can be covered by pairwise disjoint translated copies of $A$. Restricting attention to one tiling period, we have $A\oplus B=\mathbb{Z}_M$ for some $M\in\mathbb{N}$ and $B\subset\mathbb{Z}$. This can also be stated in terms of cyclotomic divisibility of the mask polynomials $A(X)$ and $B(X)$ associated with $A$ and $B$. In this article, we introduce a new approach to a systematic study of such tilings. Our main new tools are the box product, multiscale cuboids, and saturating spaces, developed through a combination of harmonic-analytic and combinatorial methods. We provide new criteria for tiling and cyclotomic divisibility in terms of these concepts. As an application, we can determine whether a set $A$ containing certain configuration can tile a cyclic group $\mathbb{Z}_M$, or recover a tiling set based on partial information about it. We also develop tiling reductions where a given tiling can be replaced by one or more tilings with a simpler structure. The tools introduced here are crucial in our proof in a follow-up paper that all tilings of period $(pqr)^2$, where $p,q,r$ are distinct odd primes, satisfy a tiling condition proposed by Coven and Meyerowitz.


title: Improved Approximation Algorithms for Individually Fair Clustering

abstract: We consider the $k$-clustering problem with $\ell_p$-norm cost, which includes $k$-median, $k$-means and $k$-center, under an individual notion of fairness proposed by Jung et al. [2020]: given a set of points $P$ of size $n$, a set of $k$ centers induces a fair clustering if every point in $P$ has a center among its $n/k$ closest neighbors. Mahabadi and Vakilian [2020] presented a $(p^{O(p)},7)$-bicriteria approximation for fair clustering with $\ell_p$-norm cost: every point finds a center within distance at most $7$ times its distance to its $(n/k)$-th closest neighbor and the $\ell_p$-norm cost of the solution is at most $p^{O(p)}$ times the cost of an optimal fair solution. In this work, for any $\varepsilon>0$, we present an improved $(16^p +\varepsilon,3)$-bicriteria for this problem. Moreover, for $p=1$ ($k$-median) and $p=\infty$ ($k$-center), we present improved cost-approximation factors $7.081+\varepsilon$ and $3+\varepsilon$ respectively. To achieve our guarantees, we extend the framework of [Charikar et al., 2002, Swamy, 2016] and devise a $16^p$-approximation algorithm for the facility location with $\ell_p$-norm cost under matroid constraint which might be of an independent interest. Besides, our approach suggests a reduction from our individually fair clustering to a clustering with a group fairness requirement proposed by Kleindessner et al. [2019], which is essentially the median matroid problem [Krishnaswamy et al., 2011].


title: The Coven-Meyerowitz tiling conditions for 3 odd prime factors

abstract: It is well known that if a finite set $A\subset\mathbb{Z}$ tiles the integers by translations, then the translation set must be periodic, so that the tiling is equivalent to a factorization $A\oplus B=\mathbb{Z}_M$ of a finite cyclic group. We are interested in characterizing all finite sets $A\subset\mathbb{Z}$ that have this property. Coven and Meyerowitz (1998) proposed conditions (T1), (T2) that are sufficient for $A$ to tile, and necessary when the cardinality of $A$ has at most two distinct prime factors. They also proved that (T1) holds for all finite tiles, regardless of size. It is not known whether (T2) must hold for all tilings with no restrictions on the number of prime factors of $|A|$. We prove that the Coven-Meyerowitz tiling condition (T2) holds for all integer tilings of period $M=(p_ip_jp_k)^2$, where $p_i,p_j,p_k$ are distinct odd primes. The proof also provides a classification of all such tilings.


title: The mbsts package: Multivariate Bayesian Structural Time Series Models in R

abstract: The multivariate Bayesian structural time series (MBSTS) model is a general machine learning model that deals with inference and prediction for multiple correlated time series, where one also has the choice of using a different candidate pool of contemporaneous predictors for each target series. The MBSTS model has wide applications and is ideal for feature selection, time series forecasting, nowcasting, inferring causal impact, and others. This paper demonstrates how to use the R package mbsts for MBSTS modeling, establishing a bridge between user-friendly and developer-friendly functions in the package and the corresponding methodology. Object-oriented functions in the package are explained in the way that enables users to flexibly add or deduct some components, as well as to simplify or complicate some settings.


title: Controlling microresonator solitons with the counter-propagating pump

abstract: Considering a bidirectionally pumped ring microresonator, we provide a concise derivation of the model equations allowing us to eliminate the repetition rate terms and reduce the nonlinear interaction between the counter-propagating waves to the power-dependent shifts of the resonance frequencies. We present the simulation results of the soliton control by swiping the frequency of the counter-propagating wave in the forward and backward directions and with the soliton-blockade effect either present or not. We highlight the non-reciprocity of the forward and backward scans. Furthermore, we report the soliton crystals and breathers existing in the vicinity of the blockade interval.


title: Self-Sustaining Vortices in Protoplanetary Disks: Setting the Stage for Planetary System Formation

abstract: The core accretion scenario of planet formation assumes that planetesimals and planetary embryos are formed during the primordial, gaseous phases of the protoplanetary disk. However, how the dust particles overcome the traditional growth barriers is not well understood. The recently proposed viscous ring-instability may explain the concentric rings observed in protoplanetary disks by assuming that the dust grains can reduce the gas conductivity, which can weaken the magneto-rotational instability. We present an analysis of this model with the help of GPU-based numerical hydrodynamic simulations of coupled gas and dust in the thin-disk limit. During the evolution of the disk the dusty rings become Rossby unstable and break up into a cascade of small-scale vortices. The vortices form secularly stable dusty structures, which could be sites of planetesimal formation by the streaming instability as well as direct gravitational collapse. The phenomenon of self-sustaining vortices is consistent with observational constraints of exoplanets and sets a favorable environment for planetary system formation.


title: The application of mixed-use measures at the pedestrian-scale

abstract: Mixed-use urbanism affords access to diverse assortments of land-uses within a pedestrian-accessible context. It confers advantages such as reductions to driving, air pollution, and Body Mass Index with associated increases in active transportation and improvements to health. However, whereas mixed-use urbanism is clearly beneficial, methods for measuring and assessing the presence of mixed-uses at a granular level of analysis remain murkier. This work demonstrates techniques for gauging mixed-uses in more spatially precise terms concurring more readily with an urbanist's conception of pedestrian-accessible mixed-uses. It does so through the use of the cityseer-api Python package, which facilitates the use of spatially granular land-use classification data assigned to adjacent street edges and then aggregated dynamically, with distances measured from each point of analysis to each accessible land-use while taking the direction of approach into account. It is argued that Hill Numbers is a suitable measure of diversity because it can mirror the intent of traditional indices while behaving more intuitively. Further, distance-weighted formulations of Hill diversity can be applied with spatial impedances, thus conferring a particularly spatially nuanced gauge of local access to mixed-uses. These methods and indices are demonstrated for Greater London with observations correlated to Principal Component Analysis derived from a range of land-use accessibilities measured from the same locations and for the same point-of-interest dataset. The Hill diversity measures, particularly the distance-weighted formulations, offer the most robust correlations for both expansive mixed-use districts and more local 'high-street' mixes of uses while yielding the most intuitive and spatially precise behaviour in the accompanying plots.


title: Identifying High Accuracy Regions in Traffic Camera Images to Enhance the Estimation of Road Traffic Metrics: A Quadtree-Based Method

abstract: The growing number of real-time camera feeds in urban areas has made it possible to provide high-quality traffic data for effective transportation planning, operations, and management. However, deriving reliable traffic metrics from these camera feeds has been a challenge due to the limitations of current vehicle detection techniques, as well as the various camera conditions such as height and resolution. In this work, a quadtree based algorithm is developed to continuously partition the image extent until only regions with high detection accuracy are remained. These regions are referred to as the high-accuracy identification regions (HAIR) in this paper. We demonstrate how the use of the HAIR can improve the accuracy of traffic density estimates using images from traffic cameras at different heights and resolutions in Central Ohio. Our experiments show that the proposed algorithm can be used to derive robust HAIR where vehicle detection accuracy is 41 percent higher than that in the original image extent. The use of the HAIR also significantly improves the traffic density estimation with an overall decrease of 49 percent in root mean squared error.


title: Anomalous couplings in Higgs-boson pair production at approximate NNLO QCD

abstract: We combine NLO predictions with full top-quark mass dependence with approximate NNLO predictions for Higgs-boson pair production in gluon fusion, including the possibility to vary coupling parameters within a non-linear Effective Field Theory framework containing five anomalous couplings for this process. We study the impact of the anomalous couplings on various observables, and present Higgs-pair invariant-mass distributions at seven benchmark points characterising different $m_{hh}$ shape types. We also provide numerical coefficients for the approximate NNLO cross section as a function of the anomalous couplings at $\sqrt{s}=14$ TeV.


title: Limiting weak-type behaviors for singular integrals with rough $L\log L(\mathbb{S}^n)$ kernels

abstract: Let $\Omega$ be a function of homogeneous of degree zero and vanish on the unit sphere $\mathbb {S}^n$. In this paper, we investigate the limiting weak-type behavior for singular integral operator $T_\Omega$ associated with rough kernel $\Omega$. We show that, if $\Omega\in L\log L(\mathbb S^{n})$, then $\lim_{\lambda\to0^+}\lambda|\{x\in\mathbb{R}^n:|T_\Omega(f)(x)|>\lambda\}| = n^{-1}\|\Omega\|_{L^1(\mathbb {S}^n)}\|f\|_{L^1(\mathbb{R}^n)},\quad0\le f\in L^1(\mathbb{R}^n).$ Moreover,$(n^{-1}\|\Omega\|_{L^1(\mathbb{S}^{n-1})}$ is a lower bound of weak-type norm of $T_\Omega$ when $\Omega\in L\log L(\mathbb{S}^{n-1})$. Corresponding results for rough bilinear singular integral operators defined in the form $T_{\vec\Omega}(f_1,f_2) = T_{\Omega_1}(f_1)\cdot T_{\Omega_2}(f_2)$ have also been established.


title: Combining Inductive and Deductive Reasoning for Query Answering over Incomplete Knowledge Graphs

abstract: Current methods for embedding-based query answering over incomplete Knowledge Graphs (KGs) only focus on inductive reasoning, i.e., predicting answers by learning patterns from the data, and lack the complementary ability to do deductive reasoning, which requires the application of domain knowledge to infer further information. To address this shortcoming, we investigate the problem of incorporating ontologies into embedding-based query answering models by defining the task of embedding-based ontology-mediated query answering. We propose various integration strategies into prominent representatives of embedding models that involve (1) different ontology-driven data augmentation techniques and (2) adaptation of the loss function to enforce the ontology axioms. We design novel benchmarks for the considered task based on the LUBM and the NELL KGs and evaluate our methods on them. The achieved improvements in the setting that requires both inductive and deductive reasoning are from 20% to 55% in HITS@3.


title: The Shape of Hilbert-Kunz Functions

abstract: We discuss Hilbert-Kunz function from when it was originally defined to its recent developments. A brief history of Hilbert-Kunz theory is first recounted. Then we review several techniques involved in the study of Hilbert-Kunz functions by presenting some illustrative proofs without going into details of the technicalities. The second part of this article focuses on the Hilbert-Kunz function of an affine normal semigroup ring and relates it to Ehrhart quasipolynomials. We pay extra attention to its periodic behavior and discuss how the cellular decomposition constructed by Bruns and Gubeladze fits into the computation of the functions. The closed forms of the Hilbert-Kunz function of some examples are presented. The discussion in this part highlights the close relationship between Hilbert-Kunz function and Ehrhart theory.


title: Evaluation of Cache Attacks on Arm Processors and Secure Caches

abstract: Timing-based side and covert channels in processor caches continue to be a threat to modern computers. This work shows for the first time a systematic, large-scale analysis of Arm devices and the detailed results of attacks the processors are vulnerable to. Compared to x86, Arm uses different architectures, microarchitectural implementations, cache replacement policies, etc., which affects how attacks can be launched, and how security testing for the vulnerabilities should be done. To evaluate security, this paper presents security benchmarks specifically developed for testing Arm processors and their caches. The benchmarks are themselves evaluated with sensitivity tests, which examine how sensitive the benchmarks are to having a correct configuration in the testing phase. Further, to evaluate a large number of devices, this work leverages a novel approach of using a cloud-based Arm device testbed for architectural and security research on timing channels and runs the benchmarks on 34 different physical devices. In parallel, there has been much interest in secure caches to defend the various attacks. Consequently, this paper also investigates secure cache architectures using the proposed benchmarks. Especially, this paper implements and evaluates the secure PL and RF caches, showing the security of PL and RF caches, but also uncovers new weaknesses.


title: A Comprehensive Radiative Magnetohydrodynamics Simulation of Active Region Scale Flux Emergence from the Convection Zone to the Corona

abstract: We present a comprehensive radiative magnetohydrodynamic simulation of the quiet Sun and large solar active regions. The 197 Mm wide simulation domain spans from 18 (10) Mm beneath the photosphere to 113 Mm in the solar corona. Radiative transfer assuming local thermal equilibrium, optically-thin radiative losses, and anisotropic conduction transport provide the necessary realism for synthesizing observables to compare with remote sensing observations of the photosphere and corona. This model self-consistently reproduces observed features of the quiet Sun, emerging and developed active regions, and solar flares up to M class. Here, we report an overview of the first results. The surface magnetoconvection yields an upward Poynting flux that is dissipated in the corona and heats the plasma to over one million K. The quiescent corona also presents ubiquitous propagating waves, jets, and bright points with sizes down to 2 Mm. Magnetic flux bundles emerge into the photosphere and give rise to strong and complex active regions with over $10^{23}$ Mx magnetic flux. The coronal free magnetic energy, which is approximately 18\% of the total magnetic energy, accumulates to approximately $10^{33}$ erg. The coronal magnetic field is clearly non-force-free, as the Lorentz force needs to balance the pressure force and viscous stress as well as drive magnetic field evolution. The emission measure from $\log_{10}T{=}4.5$ to $\log_{10}T{>}7$ provides a comprehensive view of the active region corona, such as coronal loops of various lengths and temperatures, mass circulation by evaporation and condensation, and eruptions from jets to large-scale mass ejections.


title: On the Wigner Distribution of the Reduced Density Matrix

abstract: CConsider a bipartite quantum system consisting of two subsystems A and B. The reduced density matrix ofA a is obtained by taking the partial trace with respect to B. In this work, we will show that the Wigner distribution of this reduced density matrix is obtained by integrating the total Wigner distribution with respect to the phase space variables corresponding to subsystem B. The proof we give is rigorous (as opposed to those found in the literature) and makes use of the Weyl--Wigner--Moyal phase space formalism. Our main result is applied to general Gaussian mixed states, of which it gives a particularly simple and precise description. We also briefly discuss the purification of a mixed state from the Wigner formalism point of view.

categories: quant-ph math-ph math.FA math.MP math.OA


title: A theoretical framework and the experimental dataset for benchmarking numerical models of dilute pyroclastic density currents

abstract: The aim of this document is to define a Pyroclastic Density Currents (PDCs) benchmark based on a large-scale experiment to be used with numerical models at different levels of complexity. The document is organized as follows. Section 2 concisely describes the large-scale laboratory experiment setup and geometry, and the relevant specific bibliography. Section 3 introduces the theoretical framework to adapt the experimental dataset to numerical models at different levels of complexity. Section 4 details the initial and boundary conditions. In particular, Section 4.1 describes the inlet velocity that best reproduces the experimental boundary conditions. Section 4.3 describes in detail the inlet concentration and temperature profiles, respectively. Section 4.4 describes the input grain size distribution. Section 5 gives the guidelines for consistently presenting the numerical outputs in a model inter-comparison study. Section 6 is a summary to guide the reader through the data sets.


title: How Private is Android's Private DNS Setting? Identifying Apps by Encrypted DNS Traffic

abstract: DNS over TLS (DoT) and DNS over HTTPS (DoH) promise to improve privacy and security of DNS by encrypting DNS messages, especially when messages are padded to a uniform size. Firstly, to demonstrate the limitations of recommended padding approaches, we present Segram, a novel app fingerprinting attack that allows adversaries to infer which mobile apps are executed on a device. Secondly, we record traffic traces of 118 Android apps using 10 different DoT/DoH resolvers to study the effectiveness of Segram under different conditions. According to our results, Segram identifies apps with accuracies of up to 72% with padding in a controlled closed world setting. The effectiveness of Segram is comparable with state-of-the-art techniques but Segram requires less computational effort. We release our datasets and code. Thirdly, we study the prevalence of padding among privacy-focused DoT/DoH resolvers, finding that up to 81% of our sample fail to enable padding. Our results suggest that recommended padding approaches are less effective than expected and that resolver operators are not sufficiently aware about this feature.


title: Single-qubit universal classifier implemented on an ion-trap quantum device

abstract: Quantum computers can provide solutions to classically intractable problems under specific and adequate conditions. However, current devices have only limited computational resources, and an effort is made to develop useful quantum algorithms under these circumstances. This work experimentally demonstrates that a single-qubit device can host a universal classifier. The quantum processor used in this work is based on ion traps, providing highly accurate control on small systems. The algorithm chosen is the re-uploading scheme, which can address general learning tasks. Ion traps suit the needs of accurate control required by re-uploading. In the experiment here presented, a set of non-trivial classification tasks are successfully carried. The training procedure is performed in two steps combining simulation and experiment. Final results are benchmarked against exact simulations of the same method and also classical algorithms, showing a competitive performance of the ion-trap quantum classifier. This work constitutes the first experimental implementation of a classification algorithm based on the re-uploading scheme.


title: A Graph-based approach to derive the geodesic distance on Statistical manifolds: Application to Multimedia Information Retrieval

abstract: In this paper, we leverage the properties of non-Euclidean Geometry to define the Geodesic distance (GD) on the space of statistical manifolds. The Geodesic distance is a real and intuitive similarity measure that is a good alternative to the purely statistical and extensively used Kullback-Leibler divergence (KLD). Despite the effectiveness of the GD, a closed-form does not exist for many manifolds, since the geodesic equations are hard to solve. This explains that the major studies have been content to use numerical approximations. Nevertheless, most of those do not take account of the manifold properties, which leads to a loss of information and thus to low performances. We propose an approximation of the Geodesic distance through a graph-based method. This latter permits to well represent the structure of the statistical manifold, and respects its geometrical properties. Our main aim is to compare the graph-based approximation to the state of the art approximations. Thus, the proposed approach is evaluated for two statistical manifolds, namely the Weibull manifold and the Gamma manifold, considering the Content-Based Texture Retrieval application on different databases.


title: The Density of Tuples Restricted by Relatively r-Prime Conditions

abstract: In order to consider j-wise relative r-primality conditions that do not necessarily require all j-tuples of elements in a Dedekind domain to be relatively r-prime, we define the notion of j-wise relative r-primality with respect to a fixed j-uniform hypergraph H. This allows us to provide further generalisations to several results on natural densities not only for a ring of algebraic integers, but also for the ring F_q[x].


title: Role of line defect in the bandgap and transport properties of silicene nanoribbons

abstract: By using the tight-binding model and non-equilibrium Green's function method (NEGF), we study the band structures and transport properties of a silicene nanoribbon with a line defect where a bulk energy gap is opened due to the sublattice symmetry breaking. The flat subband bends downwards or upwards due to the effect of the line defect. The spin-orbit coupling induces quantum spin Hall states. Especially, the energy band depends on the distance between the line defect and the edge of the nanoribbon. The effects of the on-site energies on the band spectra of the two defect configurations are different. There always exists one band gap for different on-site energies for the defect configuration of case 1. However, a gapless state and a band gap can be modulated by changing the on-site energy, the sublattice potential and spin-orbit couplings for the defect configuration of case 2. Accordingly, the variation trends of the conductance including zero conductance can be well understood in terms of the combined effect of the sublattice potential, the on-site energy and spin-orbit couplings on the band structures. Thus it is easy and effective to modulate the transport property of the silicene nanoribbon with the defect configuration of case 2 by utilizing the sublattice potential, the on-site energy and spin-orbit couplings. This study is of great significance for the fabrication and the modulation of the transport property of silicene-based devices.


title: A general, simple, robust method to account for measurement error when analyzing data with an internal validation subsample

abstract: Background: Measurement errors in terms of quantification or classification frequently occur in epidemiologic data and can strongly impact inference. Measurement errors may occur when ascertaining, recording or extracting data. Although the effects of measurement errors can be severe and are well described, simple straight forward general analytic solutions are not readily available for statistical analysis and measurement error is frequently not acknowledged or accounted for. Generally, to account for measurement error requires some data where we can observe the variables once with and once without error, to establish the relationship between the two. Methods: Here we describe a general method accounting for measurement error in outcome and/or predictor variables for the parametric regression setting when there is a validation subsample where variables are measured once with and once without error. The method does not describe and thus does not depend on the particular relation between the variables measured with and without error, and is generally robust to the type of measurement error, for example nondifferential, differential or Berkson errors. Results: Simulation studies show how the method reduces bias compared to models based upon variables measured with error alone and reduces variances compared to models based upon the variables measured without error in the validation subsample alone. Conclusion: The proposed estimator has favorable properties in terms of bias and variance, is easily derived empirically, and is robust to different types of measurement error. This method should be a valuable tool in the analysis of data with measurement error.


title: Matrix valued positive definite kernels related to the generalized Aitken's integral for Gaussians

abstract: We introduce a method to construct general multivariate positive definite kernels on a nonempty set $X$ that employs a prescribed bounded completely monotone function and special multivariate functions on $X$.\ The method is consistent with a generalized version of Aitken's integral formula for Gaussians.\ In the case where $X$ is a cartesian product, the method produces nonseparable positive definite kernels that may be useful in multivariate interpolation.\ In addition, it can be interpreted as an abstract multivariate generalization of the well-established Gneiting's model for constructing space-time covariances commonly cited in the literature.\ Many parametric models discussed in statistics can be interpreted as particular cases of the method.


title: Anderson accelerated augmented Lagrangian for extended waveform inversion

abstract: The augmented Lagrangian (AL) method provides a flexible and efficient framework for solving extended-space full-waveform inversion (FWI), a constrained nonlinear optimization problem whereby we seek model parameters and wavefields that minimize the data residuals and satisfy the wave equation constraint. The AL-based wavefield reconstruction inversion, also known as iteratively refined wavefield reconstruction inversion, extends the search space of FWI in the source dimension and decreases sensitivity of the inversion to the initial model accuracy. Furthermore, it benefits from the advantages of the alternating direction method of multipliers (ADMM), such as generality and decomposability for dealing with non-differentiable regularizers, e.g., total variation regularization, and large scale problems, respectively. In practice any extension of the method aiming at improving its convergence and decreasing the number of wave-equation solves would have a great importance. To achieve this goal, we recast the method as a general fixed-point iteration problem, which enables us to apply sophisticated acceleration strategies like Anderson acceleration. The accelerated algorithm stores a predefined number of previous iterates and uses their linear combination together with the current iteration to predict the next iteration. We investigate the performance of the proposed accelerated algorithm on a simple checkerboard model and the benchmark Marmousi II and 2004 BP salt models through numerical examples. These numerical results confirm the effectiveness of the proposed algorithm in terms of convergence rate and the quality of the final estimated model.


title: A characterization of finite \'etale morphisms in tensor triangular geometry

abstract: We provide a characterization of finite \'etale morphisms in tensor triangular geometry. They are precisely those functors which have a conservative right adjoint, satisfy Grothendieck--Neeman duality, and for which the relative dualizing object is trivial (via a canonically-defined map).


title: Non-integrability of a three dimensional generalized H\'{e}non-Heiles system

abstract: In recent paper Fakkousy et al. show that the 3D H\'{e}non-Heiles system with Hamiltonian $ H = \frac{1}{2} (p_1 ^2 + p_2 ^2 + p_3 ^2) +\frac{1}{2} (A q_1 ^2 + C q_2 ^2 + B q_3 ^2) + (\alpha q_1 ^2 + \gamma q_2 ^2)q_3 + \frac{\beta}{3}q_3 ^3 $ is integrable in sense of Liouville when $\alpha = \gamma, \frac{\alpha}{\beta} = 1, A = B = C$; or $\alpha = \gamma, \frac{\alpha}{\beta} = \frac{1}{6}, A = C$, $B$-arbitrary; or $\alpha = \gamma, \frac{\alpha}{\beta} = \frac{1}{16}, A = C, \frac{A}{B} = \frac{1}{16}$ (and of course, when $\alpha=\gamma=0$, in which case the Hamiltonian is separable). It is known that the second case remains integrable for $A, C, B$ arbitrary. Using Morales-Ramis theory, we prove that there are no other cases of integrability for this system.


title: Effects of Head-locked Augmented Reality on User's performance and perceived workload

abstract: An augmented reality (AR) environment includes a set of digital elements with which the users interact while performing certain tasks. Recent AR head-mounted displays allow users to select how these elements are presented. However, few studies have been conducted to examine the effect of the way of presenting augmented content on user performance and workload. This study aims to evaluate two methods of presenting augmented content - world-locked and head-locked modes in a data entry task. A total of eighteen participants performed the data entry task in this study. The effectiveness of each mode is evaluated in terms of task performance, muscle activity, perceived workload, and usability. The results show that the task completion time is shorter and the typing speed is significantly faster in the head-locked mode while the world-locked mode achieved higher scores in terms of preference. The findings of this study can be applied to AR user interfaces to improve content presentation and enhance the user experience.


title: Saying the Unseen: Video Descriptions via Dialog Agents

abstract: Current vision and language tasks usually take complete visual data (e.g., raw images or videos) as input, however, practical scenarios may often consist the situations where part of the visual information becomes inaccessible due to various reasons e.g., restricted view with fixed camera or intentional vision block for security concerns. As a step towards the more practical application scenarios, we introduce a novel task that aims to describe a video using the natural language dialog between two agents as a supplementary information source given incomplete visual data. Different from most existing vision-language tasks where AI systems have full access to images or video clips, which may reveal sensitive information such as recognizable human faces or voices, we intentionally limit the visual input for AI systems and seek a more secure and transparent information medium, i.e., the natural language dialog, to supplement the missing visual information. Specifically, one of the intelligent agents - Q-BOT - is given two semantic segmented frames from the beginning and the end of the video, as well as a finite number of opportunities to ask relevant natural language questions before describing the unseen video. A-BOT, the other agent who has access to the entire video, assists Q-BOT to accomplish the goal by answering the asked questions. We introduce two different experimental settings with either a generative (i.e., agents generate questions and answers freely) or a discriminative (i.e., agents select the questions and answers from candidates) internal dialog generation process. With the proposed unified QA-Cooperative networks, we experimentally demonstrate the knowledge transfer process between the two dialog agents and the effectiveness of using the natural language dialog as a supplement for incomplete implicit visions.


title: Vision-driven Compliant Manipulation for Reliable, High-Precision Assembly Tasks

abstract: Highly constrained manipulation tasks continue to be challenging for autonomous robots as they require high levels of precision, typically less than 1mm, which is often incompatible with what can be achieved by traditional perception systems. This paper demonstrates that the combination of state-of-the-art object tracking with passively adaptive mechanical hardware can be leveraged to complete precision manipulation tasks with tight, industrially-relevant tolerances (0.25mm). The proposed control method closes the loop through vision by tracking the relative 6D pose of objects in the relevant workspace. It adjusts the control reference of both the compliant manipulator and the hand to complete object insertion tasks via within-hand manipulation. Contrary to previous efforts for insertion, our method does not require expensive force sensors, precision manipulators, or time-consuming, online learning, which is data hungry. Instead, this effort leverages mechanical compliance and utilizes an object agnostic manipulation model of the hand learned offline, off-the-shelf motion planning, and an RGBD-based object tracker trained solely with synthetic data. These features allow the proposed system to easily generalize and transfer to new tasks and environments. This paper describes in detail the system components and showcases its efficacy with extensive experiments involving tight tolerance peg-in-hole insertion tasks of various geometries as well as open-world constrained placement tasks.


title: Finite group characters on free resolutions

abstract: Under reasonable assumptions, a group action on a module extends to the minimal free resolutions of the module. Explicit descriptions of these actions can lead to a better understanding of free resolutions by providing, for example, convenient expressions for their differentials or alternative characterizations of their Betti numbers. This article introduces an algorithm for computing characters of finite groups acting on minimal free resolutions of finitely generated graded modules over polynomial rings.


title: Detecting race and gender bias in visual representation of AI on web search engines

abstract: Web search engines influence perception of social reality by filtering and ranking information. However, their outputs are often subjected to bias that can lead to skewed representation of subjects such as professional occupations or gender. In our paper, we use a mixed-method approach to investigate presence of race and gender bias in representation of artificial intelligence (AI) in image search results coming from six different search engines. Our findings show that search engines prioritize anthropomorphic images of AI that portray it as white, whereas non-white images of AI are present only in non-Western search engines. By contrast, gender representation of AI is more diverse and less skewed towards a specific gender that can be attributed to higher awareness about gender bias in search outputs. Our observations indicate both the the need and the possibility for addressing bias in representation of societally relevant subjects, such as technological innovation, and emphasize the importance of designing new approaches for detecting bias in information retrieval systems.


title: Interflow: Aggregating Multi-layer Feature Mappings with Attention Mechanism

abstract: Traditionally, CNN models possess hierarchical structures and utilize the feature mapping of the last layer to obtain the prediction output. However, it can be difficulty to settle the optimal network depth and make the middle layers learn distinguished features. This paper proposes the Interflow algorithm specially for traditional CNN models. Interflow divides CNNs into several stages according to the depth and makes predictions by the feature mappings in each stage. Subsequently, we input these prediction branches into a well-designed attention module, which learns the weights of these prediction branches, aggregates them and obtains the final output. Interflow weights and fuses the features learned in both shallower and deeper layers, making the feature information at each stage processed reasonably and effectively, enabling the middle layers to learn more distinguished features, and enhancing the model representation ability. In addition, Interflow can alleviate gradient vanishing problem, lower the difficulty of network depth selection, and lighten possible over-fitting problem by introducing attention mechanism. Besides, it can avoid network degradation as a byproduct. Compared with the original model, the CNN model with Interflow achieves higher test accuracy on multiple benchmark datasets.


title: Formation of a single quasicrystal upon collision of multiple grains

abstract: Quasicrystals exhibit long-range order but lack translational symmetry. When grown as single crystals, they possess distinctive and unusual properties owing to the absence of grain boundaries. Unfortunately, conventional methods such as bulk crystal growth or thin film deposition only allow us to synthesize either polycrystalline quasicrystals or quasicrystals that are at most a few centimeters in size. Here, we reveal through real-time and 3D imaging the formation of a single decagonal quasicrystal arising from a hard collision between multiple growing quasicrystals in an Al-Co-Ni liquid. Through corresponding molecular dynamics simulations, we examine the underlying kinetics of quasicrystal coalescence and investigate the effects of initial misorientation between the growing quasicrystalline grains on the formation of grain boundaries. At small misorientation, coalescence occurs following rigid rotation that is facilitated by phasons. Our joint experimental-computational discovery paves the way toward fabrication of single, large-scale quasicrystals for novel applications.


title: Decentralized Composite Optimization in Stochastic Networks: A Dual Averaging Approach with Linear Convergence

abstract: Decentralized optimization, particularly the class of decentralized composite convex optimization (DCCO) problems, has found many applications. Due to ubiquitous communication congestion and random dropouts in practice, it is highly desirable to design decentralized algorithms that can handle stochastic communication networks. However, most existing algorithms for DCCO only work in networks that are deterministically connected during bounded communication rounds, and therefore cannot be extended to stochastic networks. In this paper, we propose a new decentralized dual averaging (DDA) algorithm that can solve DCCO in stochastic networks. Under a rather mild condition on stochastic networks, we show that the proposed algorithm attains global linear convergence if each local objective function is strongly convex. Our algorithm substantially improves the existing DDA-type algorithms as the latter were only known to converge sublinearly prior to our work. The key to achieving the improved rate is the design of a novel dynamic averaging consensus protocol for DDA, which intuitively leads to more accurate local estimates of the global dual variable. To the best of our knowledge, this is the first linearly convergent DDA-type decentralized algorithm and also the first algorithm that attains global linear convergence for solving DCCO in stochastic networks. Numerical results are also presented to support our design and analysis.


title: Learning from Synthetic Data for Opinion-free Blind Image Quality Assessment in the Wild

abstract: Nowadays, most existing blind image quality assessment (BIQA) models 1) are developed for synthetically-distorted images and often generalize poorly to authentic ones; 2) heavily rely on human ratings, which are prohibitively labor-expensive to collect. Here, we propose an $opinion$-$free$ BIQA method that learns from synthetically-distorted images and multiple agents to assess the perceptual quality of authentically-distorted ones captured in the wild without relying on human labels. Specifically, we first assemble a large number of image pairs from synthetically-distorted images and use a set of full-reference image quality assessment (FR-IQA) models to assign pseudo-binary labels of each pair indicating which image has higher quality as the supervisory signal. We then train a convolutional neural network (CNN)-based BIQA model to rank the perceptual quality, optimized for consistency with the binary labels. Since there exists domain shift between the synthetically- and authentically-distorted images, an unsupervised domain adaptation (UDA) module is introduced to alleviate this issue. Extensive experiments demonstrate the effectiveness of our proposed $opinion$-$free$ BIQA model, yielding state-of-the-art performance in terms of correlation with human opinion scores, as well as gMAD competition. Codes will be made publicly available upon acceptance.


title: The Role of Contextual Information in Best Arm Identification

abstract: We study the best-arm identification problem with fixed confidence when contextual (covariate) information is available in stochastic bandits. Although we can use contextual information in each round, we are interested in the marginalized mean reward over the contextual distribution. Our goal is to identify the best arm with a minimal number of samplings under a given value of the error rate. We show the instance-specific sample complexity lower bounds for the problem. Then, we propose a context-aware version of the "Track-and-Stop" strategy, wherein the proportion of the arm draws tracks the set of optimal allocations and prove that the expected number of arm draws matches the lower bound asymptotically. We demonstrate that contextual information can be used to improve the efficiency of the identification of the best marginalized mean reward compared with the results of Garivier & Kaufmann (2016). We experimentally confirm that context information contributes to faster best-arm identification.

categories: cs.LG econ.EM math.ST stat.ME stat.ML stat.TH


title: Stability in the Marcinkiewicz theorem

abstract: Ostrovskii's generalization of the Marcinkiewicz theorem implies that if an entire characteristic functions of a probability distribution satisfies $\log^+\log|f(z)|=o(|z|),\; z\to\infty,$ and is zero-free then the distribution is normal. We show that under the same growth condition, absence of zeros in a wide vertical strip implies that the distribution is close to a normal one. This generalizes and simplifies a recent result of Michelen and Sahasrabudhe.


title: On the Impact of Device-Level Techniques on Energy-Efficiency of Neural Network Accelerators

abstract: Energy-efficiency is a key concern for neural network applications. To alleviate this issue, hardware acceleration using FPGAs or GPUs can provide better energy-efficiency than general-purpose processors. However, further improvement of the energy-efficiency of such accelerators will be extremely beneficial specially to deploy neural network in power-constrained edge computing environments. In this paper, we experimentally explore the potential of device-level energy-efficiency techniques (e.g.,supply voltage underscaling, frequency scaling, and data quantization) for representative off-the-shelf FPGAs compared to GPUs. Frequency scaling in both platforms can improve the power and energy consumption but with performance overhead, e.g.,in GPUs it improves the power consumption and GOPs/J by up to 34% and 28%, respectively. However, leveraging reduced-precision instructions improves power (up to 13%), energy (up to 20%), and performance (up to 7%) simultaneously, with negligible reduction in accuracy of neural network accuracy.


title: Model-Advantage and Value-Aware Models for Model-Based Reinforcement Learning: Bridging the Gap in Theory and Practice

abstract: This work shows that value-aware model learning, known for its numerous theoretical benefits, is also practically viable for solving challenging continuous control tasks in prevalent model-based reinforcement learning algorithms. First, we derive a novel value-aware model learning objective by bounding the model-advantage i.e. model performance difference, between two MDPs or models given a fixed policy, achieving superior performance to prior value-aware objectives in most continuous control environments. Second, we identify the issue of stale value estimates in naively substituting value-aware objectives in place of maximum-likelihood in dyna-style model-based RL algorithms. Our proposed remedy to this issue bridges the long-standing gap in theory and practice of value-aware model learning by enabling successful deployment of all value-aware objectives in solving several continuous control robotic manipulation and locomotion tasks. Our results are obtained with minimal modifications to two popular and open-source model-based RL algorithms -- SLBO and MBPO, without tuning any existing hyper-parameters, while also demonstrating better performance of value-aware objectives than these baseline in some environments.