title: Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap

abstract: To put static program analysis at the fingertips of the software developer, we propose a framework for interactive abstract interpretation. While providing sound analysis results, abstract interpretation in general can be quite costly. To achieve quick response times, we incrementalize the analysis infrastructure, including postprocessing, without necessitating any modifications to the analysis specifications themselves. We rely on the local generic fixpoint engine TD, which dynamically tracks dependencies, while exploring the unknowns contributing to answering an initial query. Lazy invalidation is employed for analysis results affected by program change. Dedicated improvements support the incremental analysis of concurrency deficiencies such as data-races. The framework has been implemented for multithreaded C within the static analyzer Goblint, using MagpieBridge to relay findings to IDEs. We evaluate our implementation w.r.t. the yard sticks of response time and consistency: formerly proven invariants should be retained - when they are not affected by the change. The results indicate that with our approach, a reanalysis after small changes only takes a fraction of from-scratch analysis time, while most of the precision is retained. We also provide examples of program development highlighting the usability of the overall approach.


title: Mandarin Singing Voice Synthesis with Denoising Diffusion Probabilistic Wasserstein GAN

abstract: Singing voice synthesis (SVS) is the computer production of a human-like singing voice from given musical scores. To accomplish end-to-end SVS effectively and efficiently, this work adopts the acoustic model-neural vocoder architecture established for high-quality speech and singing voice synthesis. Specifically, this work aims to pursue a higher level of expressiveness in synthesized voices by combining the diffusion denoising probabilistic model (DDPM) and \emph{Wasserstein} generative adversarial network (WGAN) to construct the backbone of the acoustic model. On top of the proposed acoustic model, a HiFi-GAN neural vocoder is adopted with integrated fine-tuning to ensure optimal synthesis quality for the resulting end-to-end SVS system. This end-to-end system was evaluated with the multi-singer Mpop600 Mandarin singing voice dataset. In the experiments, the proposed system exhibits improvements over previous landmark counterparts in terms of musical expressiveness and high-frequency acoustic details. Moreover, the adversarial acoustic model converged stably without the need to enforce reconstruction objectives, indicating the convergence stability of the proposed DDPM and WGAN combined architecture over alternative GAN-based SVS systems.


title: Hierarchical Decision Transformer

abstract: Sequence models in reinforcement learning require task knowledge to estimate the task policy. This paper presents a hierarchical algorithm for learning a sequence model from demonstrations. The high-level mechanism guides the low-level controller through the task by selecting sub-goals for the latter to reach. This sequence replaces the returns-to-go of previous methods, improving its performance overall, especially in tasks with longer episodes and scarcer rewards. We validate our method in multiple tasks of OpenAIGym, D4RL and RoboMimic benchmarks. Our method outperforms the baselines in eight out of ten tasks of varied horizons and reward frequencies without prior task knowledge, showing the advantages of the hierarchical model approach for learning from demonstrations using a sequence model.


title: Uncertainty-aware Label Distribution Learning for Facial Expression Recognition

abstract: Despite significant progress over the past few years, ambiguity is still a key challenge in Facial Expression Recognition (FER). It can lead to noisy and inconsistent annotation, which hinders the performance of deep learning models in real-world scenarios. In this paper, we propose a new uncertainty-aware label distribution learning method to improve the robustness of deep models against uncertainty and ambiguity. We leverage neighborhood information in the valence-arousal space to adaptively construct emotion distributions for training samples. We also consider the uncertainty of provided labels when incorporating them into the label distributions. Our method can be easily integrated into a deep network to obtain more training supervision and improve recognition accuracy. Intensive experiments on several datasets under various noisy and ambiguous settings show that our method achieves competitive results and outperforms recent state-of-the-art approaches. Our code and models are available at https://github.com/minhnhatvt/label-distribution-learning-fer-tf.


title: Coaxing the Eclipsing Binary V367 Cygni Out of Its Shell

abstract: Spectra that cover 0.63 - 0.69um with a spectral resolution ~ 17000 are presented of the W Serpentis system V367 Cygni. Absorption lines of FeII and SiII that form in a circumsystem shell are prominent features, and the depths of these are stable with time, suggesting that the shell is smoothly distributed and well-mixed. Further evidence of uniformity comes from modest radial velocity variations measured in the deepest parts of the shell lines. It is suggested that motions previously attributed to rotation of the shell are instead artifacts of contamination from the donor star spectrum. A donor star spectrum is extracted that is consistent with that of an early to mid-A giant. The depths of metallic lines in the donor spectrum vary with orbital phase, suggesting that spot activity covers a large fraction of the surface of that star. A spectrum of the accretion disk that surrounds the second star is also extracted, and similarities are noted with the emission spectra of Herbig Ae/Be stars. In addition to variations with orbital phase, H$\alpha$ changes with time over timescales of no more than two orbits. A tentative detection of HeI 6678 emission is made near primary minimum, but not at other phases. Finally, projected emission from hot dust in and around V367 Cyg is more-or-less symmetric and extends over 28 arcsec, or 0.09 pc at the distance of the system -- V367 Cyg is thus expelling matter into a large volume of the surrounding space.


title: Superfluid properties of a honeycomb dipolar supersolid

abstract: Recent breakthrough experiments on dipolar condensates have reported the creation of supersolids, including two-dimensional arrays of quantum droplets. Droplet arrays are, however, not the only possible non-trivial density arrangement resulting from the interplay of mean-field instability and quantum stabilization. Several other possible density patterns may occur in trapped condensates at higher densities, including the so-called honeycomb supersolid, a phase that exists, as it is also the case of a triangular droplet supersolid, in the thermodynamic limit. We show that compared to droplet supersolids, honeycomb supersolids have a much-enhanced superfluid fraction while keeping a large density contrast, and constitute in this sense a much better dipolar supersolid. However, in contrast to droplet supersolids, quantized vortices cannot be created in a honeycomb supersolid without driving a transition into a so-called labyrinthic phase. We show that the reduced moment of inertia, and with it the superfluid fraction, can be however reliably probed by studying the dynamics following a scissors-like perturbation.


title: Learning from Mixed Datasets: A Monotonic Image Quality Assessment Model

abstract: Deep learning based image quality assessment (IQA) models usually learn to predict image quality from a single dataset, leading the model to overfit specific scenes. To account for this, mixed datasets training can be an effective way to enhance the generalization capability of the model. However, it is nontrivial to combine different IQA datasets, as their quality evaluation criteria, score ranges, view conditions, as well as subjects are usually not shared during the image quality annotation. In this paper, instead of aligning the annotations, we propose a monotonic neural network for IQA model learning with different datasets combined. In particular, our model consists of a dataset-shared quality regressor and several dataset-specific quality transformers. The quality regressor aims to obtain the perceptual qualities of each dataset while each quality transformer maps the perceptual qualities to the corresponding dataset annotations with their monotonicity maintained. The experimental results verify the effectiveness of the proposed learning strategy and our code is available at https://github.com/fzp0424/MonotonicIQA.


title: Robust Bipedal Locomotion: Leveraging Saltation Matrices for Gait Optimization

abstract: The ability to generate robust walking gaits on bipedal robots is key to their successful realization on hardware. To this end, this work extends the method of Hybrid Zero Dynamics (HZD) -- which traditionally only accounts for locomotive stability via periodicity constraints under perfect impact events -- through the inclusion of the saltation matrix with a view toward synthesizing robust walking gaits. By jointly minimizing the norm of the extended saltation matrix and the torque of the robot directly in the gait generation process, we demonstrate that the synthesized gaits are more robust than gaits generated with either term alone; these results are shown in simulation and on hardware for the AMBER-3M planar biped and the Atalante lower-body exoskeleton (both with and without a human subject). The end result is experimental validation that combining saltation matrices with HZD methods produces more robust bipedal walking in practice.


title: Quasipolynomial-time algorithms for Gibbs point processes

abstract: We demonstrate a quasipolynomial-time deterministic approximation algorithm for the partition function of a Gibbs point process interacting via a finite-range stable potential. This result holds for all activities $\lambda$ for which the partition function satisfies a zero-free assumption in a neighborhood of the interval $[0,\lambda]$. As a corollary, for all finite-range stable potentials we obtain a quasipolynomial-time determinsitic algorithm for all $\lambda < /(e^{B + 1} \hat C_\phi)$ where $\hat C_\phi$ is a temperedness parameter and $B$ is the stability constant of $\phi$. In the special case of a repulsive potential such as the hard-sphere gas we improve the range of activity by a factor of at least $e^2$ and obtain a quasipolynomial-time deterministic approximation algorithm for all $\lambda < e/\Delta_\phi$, where $\Delta_\phi$ is the potential-weighted connective constant of the potential $\phi$. Our algorithm approximates coefficients of the cluster expansion of the partition function and uses the interpolation method of Barvinok to extend this approximation throughout the zero-free region.


title: Large N algebras and generalized entropy

abstract: We construct a Type II$_\infty$ von Neumann algebra that describes the large $N$ physics of single-trace operators in AdS/CFT in the microcanonical ensemble, where there is no need to include perturbative $1/N$ corrections. Using only the extrapolate dictionary, we show that the entropy of semiclassical states on this algebra is holographically dual to the generalized entropy of the black hole bifurcation surface. From a boundary perspective, this constitutes a derivation of a special case of the QES prescription without any use of Euclidean gravity or replicas; from a purely bulk perspective, it is a derivation of the quantum-corrected Bekenstein-Hawking formula as the entropy of an explicit algebra in the $G \to 0$ limit of Lorentzian effective field theory quantum gravity. In a limit where a black hole is first allowed to equilibrate and then is later potentially re-excited, we show that the generalized second law is a direct consequence of the monotonicity of the entropy of algebras under trace-preserving inclusions. Finally, by considering excitations that are separated by more than a scrambling time we construct a "free product" von Neumann algebra that describes the semiclassical physics of long wormholes supported by shocks. We compute R\'{e}nyi entropies for this algebra and show that they are equal to a sum over saddles associated to quantum extremal surfaces in the wormhole. Surprisingly, however, the saddles associated to "bulge" quantum extremal surfaces contribute with a negative sign.


title: High energy Millihertz quasi-periodic oscillations in 1A 0535+262 with Insight-HXMT challenge current models

abstract: We studied the millihertz quasi-periodic oscillation (mHz QPO) in the 2020 outburst of the Be/X-ray binary 1A 0535+262 using Insight-HXMT data over a broad energy band. The mHz QPO is detected in the 27-120 keV energy band. The QPO centroid frequency is correlated with the source flux, and evolves in the 35-95 mHz range during the outburst. The QPO is most significant in the 50-65 keV band, with a significance of ~ 8 sigma, but is hardly detectable (<2 sigma) in the lowest (1-27 keV) and highest (>120 keV) energy bands. Notably, the detection of mHz QPO above 80 keV is the highest energy at which mHz QPOs have been detected so far. The fractional rms of the mHz QPO first increases and then decreases with energy, reaching the maximum amplitude at 50-65 keV. In addition, at the peak of the outburst, the mHz QPO shows a double-peak structure, with the difference between the two peaks being constant at ~0.02 Hz, twice the spin frequency of the neutron star in this system. We discuss different scenarios explaining the generation of the mHz QPO, including the beat frequency model, the Keplerian frequency model, the model of two jets in opposite directions, and the precession of the neutron star, but find that none of them can explain the origin of the QPO well. We conclude that the variability of non-thermal radiation may account for the mHz QPO, but further theoretical studies are needed to reveal the physical mechanism.


title: Good functions, measures, and the Kleinbock-Tomanov conjecture

abstract: In this paper we prove a conjecture of Kleinbock and Tomanov \cite[Conjecture~FP]{KT} on Diophantine properties of a large class of fractal measures on $\mathbb{Q}_p^n$. More generally, we establish the $p$-adic analogues of the influential results of Kleinbock, Lindenstrauss, and Weiss \cite{KLW} on Diophantine properties of friendly measures. We further prove the $p$-adic analogue of one of the main results in \cite{Kleinbock-exponent} due to Kleinbock concerning Diophantine inheritance of affine subspaces, which answers a question of Kleinbock. One of the key ingredients in the proofs of \cite{KLW} is a result on $(C, \alpha)$-good functions whose proof crucially uses the mean value theorem. Our main technical innovation is an alternative approach to establishing that certain functions are $(C, \alpha)$-good in the $p$-adic setting. We believe this result will be of independent interest.


title: Understanding Information Disclosure from Secure Computation Output: A Study of Average Salary Computation

abstract: Secure multi-party computation has seen substantial performance improvements in recent years and is being increasingly used in commercial products. While a significant amount of work was dedicated to improving its efficiency under standard security models, the threat models do not account for information leakage from the output of secure function evaluation. Quantifying information disclosure about private inputs from observing the function outcome is the subject of this work. Motivated by the City of Boston gender pay gap studies, in this work we focus on the computation of the average of salaries and quantify information disclosure about private inputs of one or more participants (the target) to an adversary via information-theoretic techniques. We study a number of distributions including log-normal, which is typically used for modeling salaries. We consequently evaluate information disclosure after repeated evaluation of the average function on overlapping inputs, as was done in the Boston gender pay study that ran multiple times, and provide recommendations for using the sum and average functions in secure computation applications. Our goal is to develop mechanisms that lower information disclosure about participants' inputs to a desired level and provide guidelines for setting up real-world secure evaluation of this function.


title: Model-Free Reinforcement Learning for Asset Allocation

abstract: Asset allocation (or portfolio management) is the task of determining how to optimally allocate funds of a finite budget into a range of financial instruments/assets such as stocks. This study investigated the performance of reinforcement learning (RL) when applied to portfolio management using model-free deep RL agents. We trained several RL agents on real-world stock prices to learn how to perform asset allocation. We compared the performance of these RL agents against some baseline agents. We also compared the RL agents among themselves to understand which classes of agents performed better. From our analysis, RL agents can perform the task of portfolio management since they significantly outperformed two of the baseline agents (random allocation and uniform allocation). Four RL agents (A2C, SAC, PPO, and TRPO) outperformed the best baseline, MPT, overall. This shows the abilities of RL agents to uncover more profitable trading strategies. Furthermore, there were no significant performance differences between value-based and policy-based RL agents. Actor-critic agents performed better than other types of agents. Also, on-policy agents performed better than off-policy agents because they are better at policy evaluation and sample efficiency is not a significant problem in portfolio management. This study shows that RL agents can substantially improve asset allocation since they outperform strong baselines. On-policy, actor-critic RL agents showed the most promise based on our analysis.


title: Reply to "Comment on Sequential Single-pion Production Explaining the dibaryon $d^*(2380)$ peak''

abstract: In a comment [arXiv:2106.00494] to our paper on ``Sequential single-pion production explaining the dibaryon $d^*(2380)$ peak'' the authors provide arguments that apparently invalidate our claims and present what they call ``proofs'' of the dibaryon explanation of the $np\to \pi^0\pi^0d$ fusion reaction. In this reply we refute the arguments of the comment and show that no existing experiment proves the dibaryon nature of the peak of the fusion reaction.


title: Stability studies of first order spin-hydrodynamic frameworks

abstract: We study the stability of first-order dissipative spin-hydrodynamic frameworks. We considered two different first-order dissipative spin-hydrodynamic frameworks. The first one considers the spin chemical potential ($\omega^{\alpha\beta}$) to be first order ($\mathcal{O}(\partial)$) in the hydrodynamic gradient expansion. The hydrodynamic gradient ordering of the spin chemical potential is a debatable issue within the frameworks of spin hydrodynamics. Therefore as a second choice, we also consider the spin hydrodynamic equations with $\omega^{\alpha\beta}\sim\mathcal{O}(1)$. We find that for both frameworks, at the level of linear perturbations some spin modes can be unstable. To remove these generic instabilities we consider the Frenkel condition. We argue that Frenkel condition helps get rid of the unstable solutions in both cases, but with a physical drawback for the case where $\omega^{\mu\nu}\sim\mathcal{O}(\partial)$.


title: Faint Stars in a Faint Galaxy: II. The Low Mass Stellar Initial Mass Function of the Bo\"otes I Ultrafaint Dwarf Spheroidal Galaxy

abstract: This paper presents improved constraints on the low-mass stellar initial mass function (IMF) of the Bo\"otes I (Boo~I) ultrafaint dwarf galaxy, based on our analysis of recent deep imaging from the Hubble Space Telescope. The identification of candidate stellar members of Boo~I in the photometric catalog produced from these data was achieved using a Bayesian approach, informed by complementary archival imaging data for the Hubble Ultra Deep Field. Additionally, the existence of earlier-epoch data for the fields in Boo~I allowed us to derive proper motions for a subset of the sources and thus identify and remove likely Milky Way stars. We were also able to determine the absolute proper motion of Boo~I, and our result is in agreement with, but completely independent of, the measurement(s) by \textit{Gaia}. The best-fitting parameter values of three different forms of the low-mass IMF were then obtained through forward modeling of the color-magnitude data for likely Boo~I member stars within an approximate Bayesian computation Markov chain Monte Carlo algorithm. The best-fitting single power-law IMF slope is $\alpha = -1.95_{-0.28}^{+0.32}$, while the best-fitting broken power-law slopes are $\alpha_1 = -1.67_{-0.57}^{+0.48}$ and $\alpha_2 = -2.57_{-1.04}^{+0.93}$. The best-fitting lognormal characteristic mass and width parameters are $\rm{M}_{\rm{c}} = 0.17_{-0.11}^{+0.05} \cal M_\odot$ and $\sigma=0.49_{-0.20}^{+0.13}$. These broken power-law and lognormal IMF parameters for Boo~I are consistent with published results for the stars within the Milky Way and thus it is plausible that Bo{\"o}tes I and the Milky Way are populated by the same stellar IMF.


title: Enhancement of particle creation in nonlinear resonant cavities

abstract: The rate of particle creation in a resonantly oscillating cavity is known to be approximately constant at large evolution times. Employing the Schwinger-Keldysh diagrammatic technique, we show that nonlinear interactions generate nonzero quantum averages and significantly enhance this rate. To illustrate this phenomenon, we consider a massless scalar field with a quartic interaction in a one-dimensional cavity with perfectly reflecting walls oscillating at twice the fundamental frequency.


title: An ab initio approach to anisotropic alloying into the Si(001) surface

abstract: Employing density functional theory calculations we explore initial stage of competitive alloying of co-deposited silver and indium atoms into a silicon surface. Particularly, we identify respective adsorption positions and activation barriers governing their diffusion on the dimer-reconstructed silicon surface. Further, we develop a growth model that properly describes diffusion mechanisms and silicon morphology with the account of silicon dimerization and the presence of C-type defects. Based on the surface kinetic Monte Carlo simulations we examine dynamics of bimetallic adsorption and elaborate on the temperature effects on the submonolayer growth of Ag-In alloy. A close inspection of adatom migration clearly indicates effective nucleation of Ag and In atoms, followed by the formation of orthogonal atomic chains. We show that the epitaxial bimetal growth might potentially lead to exotic ordering of adatoms in the form of anisotropic two-dimensional lattices via orthogonal oriented single-metal rows. We argue that this scenario becomes favorable provided above room temperature, while our numerical results are shown to be in agreement with experimental findings.


title: Quantifying attention via dwell time and engagement in a social media browsing environment

abstract: Modern computational systems have an unprecedented ability to detect, leverage and influence human attention. Prior work identified user engagement and dwell time as two key metrics of attention in digital environments, but these metrics have yet to be integrated into a unified model that can advance the theory andpractice of digital attention. We draw on work from cognitive science, digital advertising, and AI to propose a two-stage model of attention for social media environments that disentangles engagement and dwell. In an online experiment, we show that attention operates differently in these two stages and find clear evidence of dissociation: when dwelling on posts (Stage 1), users attend more to sensational than credible content, but when deciding whether to engage with content (Stage 2), users attend more to credible than sensational content. These findings have implications for the design and development of computational systems that measure and model human attention, such as newsfeed algorithms on social media.


title: How Many Grid-Forming Converters Do We Need? A Perspective From Small Signal Stability and Power Grid Strength

abstract: Grid-forming (GFM) control has been considered a promising solution for accommodating large-scale power electronics converters into modern power grids thanks to its grid-friendly dynamics, in particular, voltage source behavior on the AC side. The voltage source behavior of GFM converters can provide voltage support for the power grid, and therefore enhance the power grid (voltage) strength. However, grid-following (GFL) converters can also perform constant AC voltage magnitude control by properly regulating their reactive current, which may also behave like a voltage source. Currently, it still remains unclear what are the essential differences between the voltage source behaviors of GFL and GFM converters, and which type of voltage source behavior can enhance the power grid strength. In this paper, we will demonstrate that only GFM converters can provide effective voltage source behavior and enhance the power grid strength in terms of small signal dynamics. Based on our analysis, we further study the problem of how to configure GFM converters in the grid and how many GFM converters we will need. We investigate how the capacity ratio between GFM and GFL converters affects the equivalent power grid strength and thus the small signal stability of the system. We give guidelines on how to choose this ratio to achieve a desired stability margin. We validate our analysis using high-fidelity simulations.


title: Low frequency signal detection via correlated Ramsey measurements

abstract: The low frequency region of the spectrum is a challenging regime for quantum probes. We support the idea that, in this regime, performing Ramsey measurements carefully controlling the time at which each measurement is initiated is an excellent signal detection strategy. We use the Fisher information to demonstrate a high quality performance in the low frequency regime, compared to more elaborated measurement sequences, and to optimise the correlated Ramsey sequence according to any given experimental parameters, showing that correlated Ramsey rivals with state-of-the-art protocols, and can even outperform commonly employed sequences such as dynamical decoupling in the detection of low frequency signals. Contrary to typical quantum detection protocols for oscillating signals, which require adjusting the time separation between pulses to match the half period of the target signal, and consequently see their scope limited to signals whose period is shorter than the characteristic decoherence time of the probe, or to those protocols whose target is primarily static signals, the time-tagged correlated Ramsey sequence simultaneously tracks the amplitude and the phase information of the target signal, regardless of its frequency, which crucially permits correlating measurements in post-processing, leading to efficient spectral reconstruction.


title: On Hypersurfaces of $\mathbb{H}^2\times\mathbb{H}^2$

abstract: In this paper, we study hypersurfaces in $\mathbb{H}^2\times\mathbb{H}^2$. We first classify the hypersurfaces with constant principal curvatures and constant product angle function. Then, we classify homogeneous hypersurfaces and isoparametric hypersurfaces, respectively. Finally, we classify the hypersurfaces with at most two distinct constant principal curvatures, as well as those with three constant principal curvatures under some additional conditions.


title: Estimation of circular statistics in the presence of measurement bias

abstract: Background and objective. Circular statistics and Rayleigh tests are important tools for analyzing the occurrence of cyclic events. However, current methods fail in the presence of measurement bias, such as incomplete or otherwise non-uniform sampling. Consider, for example, studying 24-cyclicity but having data not recorded uniformly over the full 24-hour cycle. The objective of this paper is to present a method to estimate circular statistics and their statistical significance even in this circumstance. Methods. We present our objective as a special case of a more general problem: estimating probability distributions in the context of imperfect measurements, a highly studied problem in high energy physics. Our solution combines 1) existing approaches that estimate the measurement process via numeric simulation and 2) innovative use of linear parametrizations of the underlying distributions. We compute the estimation error for several toy examples as well as a real-world example: analyzing the 24-hour cyclicity of an electrographic biomarker of epileptic tissue controlled for state of vigilance. Results. Our method shows low estimation error. In a real-world example, we observed the corrected moments had a root mean square residual less than 0.007. We additionally found that, even with unfolding, Rayleigh test statistics still often underestimate the p-values (and thus overestimate statistical significance) in the presence of non-uniform sampling. Numerical estimation of statistical significance, as described herein, is thus preferable. Conclusions. The presented methods provide a robust solution to addressing incomplete or otherwise non-uniform sampling. The general method presented is also applicable to a wider set of analyses involving estimation of the true probability distribution adjusted for imperfect measurement processes.


title: Vanishing Love of Black Holes in General Relativity: From Spacetime Conformal Symmetry of a Two-dimensional Reduced Geometry

abstract: We study the underlying structure of the vanishing of the Love numbers of both Schwarzschild and Kerr black holes in terms of spacetime conformal symmetry in a unified manner for the static spin-$s$ fields. The perturbations can be reduced with the harmonic decomposition to a set of infinite static scalar fields in a two-dimensional anti-de Sitter spacetime~$({\rm AdS}_2)$. In the reduced system, each scalar field is paired with another, implying that all multipole modes of the perturbation can be regarded as symmetric partners, which can be understood from the property of the supersymmetry algebra. The generator of the supersymmetric structure is constructed from a closed conformal Killing vector field of ${\rm AdS}_2$. The associated conserved quantity allows one to show no static response, i.e., vanishing of the Love and dissipation numbers. We also discuss the vanishing Love numbers of the Kerr black hole with the nonzero dissipation numbers for the non-axisymmetric perturbations in terms of a radial constant found in a parallel manner as the axisymmetric field case even though the interpretation for the structure is controversial. The symmetric structure corresponds to the ``ladder'' symmetry in Hui et al. [JCAP 01, no.01, 032 (2022)] although the geometrical origin is different. Our ladder operator includes the generators of hidden symmetries in previous works.


title: Change my Mind: Data Driven Estimate of Open-Mindedness from Political Discussions

abstract: One of the main dimensions characterizing the unfolding of opinion formation processes in social debates is the degree of open-mindedness of the involved population. Opinion dynamic modeling studies have tried to capture such a peculiar expression of individuals' personalities and relate it to emerging phenomena like polarization, radicalization, and ideology fragmentation. However, one of their major limitations lies in the strong assumptions they make on the initial distribution of such characteristics, often fixed so as to satisfy a normality hypothesis. Here we propose a data-driven methodology to estimate users' open-mindedness from online discussion data. Our analysis - focused on the political discussion taking place on Reddit during the first two years of the Trump presidency - unveils the existence of statistically diverse distributions of open-mindedness in annotated sub-populations (i.e., Republicans, Democrats, and Moderates/Neutrals). Moreover, such distributions appear to be stable across time and generated by individual users' behaviors that remain consistent and underdispersed.


title: Sample, Crop, Track: Self-Supervised Mobile 3D Object Detection for Urban Driving LiDAR

abstract: Deep learning has led to great progress in the detection of mobile (i.e. movement-capable) objects in urban driving scenes in recent years. Supervised approaches typically require the annotation of large training sets; there has thus been great interest in leveraging weakly, semi- or self-supervised methods to avoid this, with much success. Whilst weakly and semi-supervised methods require some annotation, self-supervised methods have used cues such as motion to relieve the need for annotation altogether. However, a complete absence of annotation typically degrades their performance, and ambiguities that arise during motion grouping can inhibit their ability to find accurate object boundaries. In this paper, we propose a new self-supervised mobile object detection approach called SCT. This uses both motion cues and expected object sizes to improve detection performance, and predicts a dense grid of 3D oriented bounding boxes to improve object discovery. We significantly outperform the state-of-the-art self-supervised mobile object detection method TCR on the KITTI tracking benchmark, and achieve performance that is within 30% of the fully supervised PV-RCNN++ method for IoUs <= 0.5.


title: PHz scale spectral broadening and few-cycle compression of Yb:KGW laser pulses in a pressurized, gas-filled hollow-core fiber

abstract: We demonstrate efficient generation of coherent super-octave pulses via a single-stage spectral broadening of a Yb:KGW laser in a single, pressurized, Ne-filled, hollow-core fiber capillary. Emerging pulses spectrally spanning over more than $\sim$1 PHz (250 nm- 1600 nm) at a dynamic range of $\sim$60 dB, and an excellent beam quality open the door to combining Yb:KGW lasers with modern light field synthesis techniques. Compression of a fraction of the generated supercontinuum to intense (8 fs, $\sim$2.4 cycle, $\sim$650 $\mu$J) pulses allows convenient use of these novel laser sources in strong-field physics and attosecond science.


title: Equivalence of fluctuation-dissipation and Edwards' temperature in cyclically sheared granular systems

abstract: Using particle trajectory data obtained from x-ray tomography, we determine two kinds of effective temperatures in a cyclically sheared granular system. The first one is obtained from the fluctuation-dissipation theorem which relates the diffusion and mobility of lighter tracer particles immersed in the system. The second is the Edwards compactivity defined via the packing volume fluctuations. We find robust excellent agreement between these two temperatures, independent of the type of the tracers, cyclic shear amplitudes, and particle surface roughness. We further elucidate that in granular systems the viscous-like drag force is due to the broken symmetry of the local contact geometry.


title: Show, Interpret and Tell: Entity-aware Contextualised Image Captioning in Wikipedia

abstract: Humans exploit prior knowledge to describe images, and are able to adapt their explanation to specific contextual information, even to the extent of inventing plausible explanations when contextual information and images do not match. In this work, we propose the novel task of captioning Wikipedia images by integrating contextual knowledge. Specifically, we produce models that jointly reason over Wikipedia articles, Wikimedia images and their associated descriptions to produce contextualized captions. Particularly, a similar Wikimedia image can be used to illustrate different articles, and the produced caption needs to be adapted to a specific context, therefore allowing us to explore the limits of a model to adjust captions to different contextual information. A particular challenging task in this domain is dealing with out-of-dictionary words and Named Entities. To address this, we propose a pre-training objective, Masked Named Entity Modeling (MNEM), and show that this pretext task yields an improvement compared to baseline models. Furthermore, we verify that a model pre-trained with the MNEM objective in Wikipedia generalizes well to a News Captioning dataset. Additionally, we define two different test splits according to the difficulty of the captioning task. We offer insights on the role and the importance of each modality and highlight the limitations of our model. The code, models and data splits are publicly available at Upon acceptance.


title: Designing PIDs for Reproducible Science Using Time-Series Data

abstract: As part of the investigation done by the IEEE Standards Association P2957 Working Group, called Big Data Governance and Metadata Management, the use of persistent identifiers (PIDs) is looked at for tackling the problem of reproducible research and science. This short paper proposes a preliminary method using PIDs to reproduce research results using time-series data. Furthermore, we feel it is possible to use the methodology and design for other types of datasets.


title: Random graphs from structured classes

abstract: Given a class $\mathcal G$ of graphs, let ${\mathcal G}_n$ denote the set of graphs in $\mathcal G$ on vertex set $[n]$. For certain classes $\mathcal G$, we are interested in the asymptotic behaviour of a random graph $R_n$ sampled uniformly from ${\mathcal G}_n$. Call $\mathcal G$ smooth if $ n |{\mathcal G}_{n-1}| / |{\mathcal G}_n|$ tends to a limit as $n \to \infty$. Showing that a graph class is smooth is a key step in an approach to investigating properties of $R_n$, in particular the asymptotic probability that $R_n$ is connected, and more generally the asymptotic behaviour of the fragment of $R_n$ outside the largest component. The composition method of Bender, Canfield and Richmond shows that the class of graphs embeddable in a given surface is smooth; and similarly we have smoothness for any minor-closed class of graphs with 2-connected excluded minors. Here we develop the approach further, and give results encompassing both these cases and much more. We see that, under quite general conditions, our graph classes are smooth and we can describe for example the limiting distribution of the fragment of $R_n$ and the size of the core; and we obtain similar results for the graphs in the class with minimum degree at least 2.


title: Transition to Adulthood for Young People with Intellectual or Developmental Disabilities: Emotion Detection and Topic Modeling

abstract: Transition to Adulthood is an essential life stage for many families. The prior research has shown that young people with intellectual or development disabil-ities (IDD) have more challenges than their peers. This study is to explore how to use natural language processing (NLP) methods, especially unsupervised machine learning, to assist psychologists to analyze emotions and sentiments and to use topic modeling to identify common issues and challenges that young people with IDD and their families have. Additionally, the results were compared to those obtained from young people without IDD who were in tran-sition to adulthood. The findings showed that NLP methods can be very useful for psychologists to analyze emotions, conduct cross-case analysis, and sum-marize key topics from conversational data. Our Python code is available at https://github.com/mlaricheva/emotion_topic_modeling.


title: Multi-view Local Co-occurrence and Global Consistency Learning Improve Mammogram Classification Generalisation

abstract: When analysing screening mammograms, radiologists can naturally process information across two ipsilateral views of each breast, namely the cranio-caudal (CC) and mediolateral-oblique (MLO) views. These multiple related images provide complementary diagnostic information and can improve the radiologist's classification accuracy. Unfortunately, most existing deep learning systems, trained with globally-labelled images, lack the ability to jointly analyse and integrate global and local information from these multiple views. By ignoring the potentially valuable information present in multiple images of a screening episode, one limits the potential accuracy of these systems. Here, we propose a new multi-view global-local analysis method that mimics the radiologist's reading procedure, based on a global consistency learning and local co-occurrence learning of ipsilateral views in mammograms. Extensive experiments show that our model outperforms competing methods, in terms of classification accuracy and generalisation, on a large-scale private dataset and two publicly available datasets, where models are exclusively trained and tested with global labels.


title: An Initial study on Birdsong Re-synthesis Using Neural Vocoders

abstract: Modern speech synthesis uses neural vocoders to model raw waveform samples directly. This increased versatility has expanded the scope of vocoders from speech to other domains, such as music. We address another interesting domain of bio-acoustics. We provide initial comparative analysis-resynthesis experiments of birdsong using traditional (WORLD) and two neural (WaveNet autoencoder, parallel WaveGAN) vocoders. Our subjective results indicate no difference in the three vocoders in terms of species discrimination (ABX test). Nonetheless, the WORLD vocoder samples were rated higher in terms of retaining bird-like qualities (MOS test). All vocoders faced issues with pitch and voicing. Our results indicate some of the challenges in processing low-quality wildlife audio data.


title: The Sparse Atmospheric MOdel Sampling Analysis (SAMOSA) intercomparison: Motivations and protocol version 1.0. A CUISINES model intercomparison project

abstract: Planets in synchronous rotation around low-mass stars are the most salient targets for current ground- and space-based missions to observe and characterize. Such model calculations can help to prioritize targets for observation with current and future missions; however, intrinsic differences in the complexity and physical parameterizations of various models can lead to different predictions of a planet's climate state. Understanding such model differences is necessary if such models are to guide target selection and aid in the analysis of observations. This paper presents a protocol to intercompare models of a hypothetical planet with a 15 day synchronous rotation period around a 3000 K blackbody star across a parameter space of surface pressure and incident instellation. We conduct a sparse sample of 16 cases from a previously published exploration of this parameter space with the ExoPlaSim model. By selecting particular cases across this broad parameter space, the SAMOSA intercomparison will identify areas where simpler models are sufficient as well as areas where more complex GCMs are required. Our preliminary comparison using ExoCAM shows general consistency between the climate state predicted by ExoCAM and ExoPlaSim except in regions of the parameter space most likely to be in a steam atmosphere or incipient runaway greenhouse state. We use this preliminary analysis to define several options for participation in the intercomparison by models of all levels of complexity. The participation of other GCMs is crucial to understand how the atmospheric states across this parameter space differ with model capabilities.


title: Benchmarking energy consumption and latency for neuromorphic computing in condensed matter and particle physics

abstract: The massive use of artificial neural networks (ANNs), increasingly popular in many areas of scientific computing, rapidly increases the energy consumption of modern high-performance computing systems. An appealing and possibly more sustainable alternative is provided by novel neuromorphic paradigms, which directly implement ANNs in hardware. However, little is known about the actual benefits of running ANNs on neuromorphic hardware for use cases in scientific computing. Here we present a methodology for measuring the energy cost and compute time for inference tasks with ANNs on conventional hardware. In addition, we have designed an architecture for these tasks and estimate the same metrics based on a state-of-the-art analog in-memory computing (AIMC) platform, one of the key paradigms in neuromorphic computing. Both methodologies are compared for a use case in quantum many-body physics in two dimensional condensed matter systems and for anomaly detection at 40 MHz rates at the Large Hadron Collider in particle physics. We find that AIMC can achieve up to one order of magnitude shorter computation times than conventional hardware, at an energy cost that is up to three orders of magnitude smaller. This suggests great potential for faster and more sustainable scientific computing with neuromorphic hardware.


title: SMTCE: A Social Media Text Classification Evaluation Benchmark and BERTology Models for Vietnamese

abstract: Text classification is a typical natural language processing or computational linguistics task with various interesting applications. As the number of users on social media platforms increases, data acceleration promotes emerging studies on Social Media Text Classification (SMTC) or social media text mining on these valuable resources. In contrast to English, Vietnamese, one of the low-resource languages, is still not concentrated on and exploited thoroughly. Inspired by the success of the GLUE, we introduce the Social Media Text Classification Evaluation (SMTCE) benchmark, as a collection of datasets and models across a diverse set of SMTC tasks. With the proposed benchmark, we implement and analyze the effectiveness of a variety of multilingual BERT-based models (mBERT, XLM-R, and DistilmBERT) and monolingual BERT-based models (PhoBERT, viBERT, vELECTRA, and viBERT4news) for tasks in the SMTCE benchmark. Monolingual models outperform multilingual models and achieve state-of-the-art results on all text classification tasks. It provides an objective assessment of multilingual and monolingual BERT-based models on the benchmark, which will benefit future studies about BERTology in the Vietnamese language.


title: Far-off-equilibrium expansion trajectories in the QCD phase diagram

abstract: We consider the hydrodynamic evolution of a quark-gluon gas with non-zero quark masses and net baryon number in its phase diagram. For far-off-equilibrium initial conditions the expansion trajectories appear to violate simple rules based on the second law of thermodynamics that were previously established for ideal or weakly dissipative fluids. For Bjorken flow we present a detailed analysis within kinetic theory that provides a full microscopic understanding of these macroscopic phenomena and establishes their thermodynamic consistency. We point out that, for certain far-off-equilibrium initial conditions, the well-known phenomenon of "viscous heating" turns into "viscous cooling" where, driven by dissipative effects, the temperature decreases faster than in adiabatic expansion.


title: Complement Grover's Search Algorithm: An Amplitude Suppression Implementation

abstract: Grover's search algorithm was a groundbreaking advancement in quantum algorithms, displaying a quadratic speed-up of querying for items. Since the creation of this algorithm it has been utilized in various ways, including in preparing specific states for the general circuit. However, as the number of desired items increases so does the gate complexity of the sub-process that conducts the query. To counter this complexity, an extension of Grover's search algorithm is derived where the focus of the query is on the undesirable items in order to suppress the amplitude of the queried items. To display the efficacy the algorithm is implemented as a sub-process into QAOA and applied to a traveling salesman problem. For a basis of comparison, the results are compared against QAOA.


title: Towards a Standardised Performance Evaluation Protocol for Cooperative MARL

abstract: Multi-agent reinforcement learning (MARL) has emerged as a useful approach to solving decentralised decision-making problems at scale. Research in the field has been growing steadily with many breakthrough algorithms proposed in recent years. In this work, we take a closer look at this rapid development with a focus on evaluation methodologies employed across a large body of research in cooperative MARL. By conducting a detailed meta-analysis of prior work, spanning 75 papers accepted for publication from 2016 to 2022, we bring to light worrying trends that put into question the true rate of progress. We further consider these trends in a wider context and take inspiration from single-agent RL literature on similar issues with recommendations that remain applicable to MARL. Combining these recommendations, with novel insights from our analysis, we propose a standardised performance evaluation protocol for cooperative MARL. We argue that such a standard protocol, if widely adopted, would greatly improve the validity and credibility of future research, make replication and reproducibility easier, as well as improve the ability of the field to accurately gauge the rate of progress over time by being able to make sound comparisons across different works. Finally, we release our meta-analysis data publicly on our project website for future research on evaluation: https://sites.google.com/view/marl-standard-protocol


title: An Open Tele-Impedance Framework to Generate Data for Contact-Rich Tasks in Robotic Manipulation

abstract: Using large datasets in machine learning has led to outstanding results, in some cases outperforming humans in tasks that were believed impossible for machines. However, achieving human-level performance when dealing with physically interactive tasks, e.g., in contact-rich robotic manipulation, is still a big challenge. It is well known that regulating the Cartesian impedance for such operations is of utmost importance for their successful execution. Approaches like reinforcement Learning (RL) can be a promising paradigm for solving such problems. More precisely, approaches that use task-agnostic expert demonstrations to bootstrap learning when solving new tasks have a huge potential since they can exploit large datasets. However, existing data collection systems are expensive, complex, or do not allow for impedance regulation. This work represents a first step towards a data collection framework suitable for collecting large datasets of impedance-based expert demonstrations compatible with the RL problem formulation, where a novel action space is used. The framework is designed according to requirements acquired after an extensive analysis of available data collection frameworks for robotics manipulation. The result is a low-cost and open-access tele-impedance framework which makes human experts capable of demonstrating contact-rich tasks.


title: Surface termination dependence of electronic and optical properties in Ti$_2$CO$_2$ MXene monolayers

abstract: Two-dimensional (2D) MXenes are a rapid growing family of 2D materials with rich physical and chemical properties where their surface termination plays an essential role. Among the various 2D MXenes, functionalization of the Ti$_{n}$C$_{n-1}$ phase with oxygen (O) atoms makes them attractive for optoelectronic applications due to their optical gap residing in the infrared or visible region. In this manuscript, we theoretically investigate the electronic and optical properties of four different O-atom-functionalized Ti$_{n}$C$_{n-1}$ MXene monolayers using state-of-the-art, first-principles techniques. In particular, we calculate the quasiparticle corrections on top of density functional theory (DFT) at the GW level and the exciton-dominated optical spectra by solving the Bethe-Salpeter equation (BSE) also at finite momentum. We find that all but one of the monolayer models are indirect band gap semiconductors where quasiparticle corrections are very important ($\sim 1$ eV). The optical spectra are instead dominated by direct and indirect excitons with large binding energies (between $0.5$ and $1$ eV). Most direct excitons lie above $1.5$ eV, while the indirect ones are below: therefore, we conclude that Ti$_{n}$C$_{n-1}$ should display strong absorption in the visible region, but phonon-assisted emission in the infrared. Our work thus reveals the potential usage of surface terminations to tune the optical and electronic properties of Ti$_{n}$C$_{n-1}$ MXene monolayers, while emphasizing the pivotal role of many-body effects beyond DFT to obtain accurate prediction for these systems.


title: Emergent phenomena in Nature: a paradox with Theory?

abstract: The existence of various physical phenomena stems from the concept called asymptotic emergence, that is, they seem to be exclusively reserved for certain limiting theories. Important examples are spontaneous symmetry breaking (SSB) and phase transitions: these would only occur in the classical or thermodynamic limit of underlying finite quantum systems, since for finite quantum systems, due to the uniqueness of the relevant states, such phenomena are excluded by Theory. In Nature, however, finite quantum systems describing real materials clearly exhibit such effects. In this paper we discuss these apparently ``paradoxical'' phenomena and outline various ideas and mechanisms that encompass both theory and reality, from physical and mathematical points of view.


title: Recurrent Super-Resolution Method for Enhancing Low Quality Thermal Facial Data

abstract: The process of obtaining high-resolution images from single or multiple low-resolution images of the same scene is of great interest for real-world image and signal processing applications. This study is about exploring the potential usage of deep learning based image super-resolution algorithms on thermal data for producing high quality thermal imaging results for in-cabin vehicular driver monitoring systems. In this work we have proposed and developed a novel multi-image super-resolution recurrent neural network to enhance the resolution and improve the quality of low-resolution thermal imaging data captured from uncooled thermal cameras. The end-to-end fully convolutional neural network is trained from scratch on newly acquired thermal data of 30 different subjects in indoor environmental conditions. The effectiveness of the thermally tuned super-resolution network is validated quantitatively as well as qualitatively on test data of 6 distinct subjects. The network was able to achieve a mean peak signal to noise ratio of 39.24 on the validation dataset for 4x super-resolution, outperforming bicubic interpolation both quantitatively and qualitatively.


title: Stochastic Processes under Parameter Uncertainty

abstract: In this paper we study a family of nonlinear (conditional) expectations that can be understood as a stochastic process with uncertain parameters. We develop a general framework which can be seen as a version of the martingale problem method of Stroock and Varadhan with parameter uncertainty. To illustrate our methodology, we explain how it can be used to model nonlinear L\'evy processes in the sense of Neufeld and Nutz, and we introduce the new class of stochastic partial differential equations under parameter uncertainty. Moreover, we study properties of the nonlinear expectations. We prove the dynamic programming principle, i.e., the tower property, and we establish conditions for the (strong) $\textit{USC}_b$-Feller property and a strong Markov selection principle.


title: Unifying Classification Schemes for Software Engineering Meta-Research

abstract: Background: Classifications in meta-research enable researchers to cope with an increasing body of scientific knowledge. They provide a framework for, e.g., distinguishing methods, reports, reproducibility, and evaluation in a knowledge field as well as a common terminology. Both eases sharing, understanding and evolution of knowledge. In software engineering (SE), there are several classifications that describe the nature of SE research. Regarding the consolidation of the large body of classified knowledge in SE research, a generally applicable classification scheme is crucial. Moreover, the commonalities and differences among different classification schemes have rarely been studied. Due to the fact that classifications are documented textual, it is hard to catalog, reuse, and compare them. To the best of our knowledge, there is no research work so far that addresses documentation and systematic investigation of classifications in SE meta-research. Objective: We aim to construct a unified, generally applicable classification scheme for SE meta-research by collecting and documenting existing classification schemes and unifying their classes and categories. Method: Our execution plan is divided into three phases: construction, validation, and evaluation phase. For the construction phase, we perform a literature review to identify, collect, and analyze a set of established SE research classifications. In the validation phase, we analyze individual categories and classes of included papers. We use quantitative metrics from literature to conduct and assess the unification process to build a generally applicable classification scheme for SE research. Lastly, we investigate the applicability of the unified scheme. Therefore, we perform a workshop session followed by user studies w.r.t. investigations about reliability, correctness, and ease of use.


title: Summarization Programs: Interpretable Abstractive Summarization with Neural Modular Trees

abstract: Current abstractive summarization models either suffer from a lack of clear interpretability or provide incomplete rationales by only highlighting parts of the source document. To this end, we propose the Summarization Program (SP), an interpretable modular framework consisting of an (ordered) list of binary trees, each encoding the step-by-step generative process of an abstractive summary sentence from the source document. A Summarization Program contains one root node per summary sentence, and a distinct tree connects each summary sentence (root node) to the document sentences (leaf nodes) from which it is derived, with the connecting nodes containing intermediate generated sentences. Edges represent different modular operations involved in summarization such as sentence fusion, compression, and paraphrasing. We first propose an efficient best-first search method over neural modules, SP-Search that identifies SPs for human summaries by directly optimizing for ROUGE scores. Next, using these programs as automatic supervision, we propose seq2seq models that generate Summarization Programs, which are then executed to obtain final summaries. We demonstrate that SP-Search effectively represents the generative process behind human summaries using modules that are typically faithful to their intended behavior. We also conduct a simulation study to show that Summarization Programs improve the interpretability of summarization models by allowing humans to better simulate model reasoning. Summarization Programs constitute a promising step toward interpretable and modular abstractive summarization, a complex task previously addressed primarily through blackbox end-to-end neural systems. Supporting code available at https://github.com/swarnaHub/SummarizationPrograms


title: Social-Inverse: Inverse Decision-making of Social Contagion Management with Task Migrations

abstract: Considering two decision-making tasks $A$ and $B$, each of which wishes to compute an effective \textit{decision} $Y$ for a given \textit{query} $X$, {can we solve task $B$ by using query-decision pairs $(X, Y)$ of $A$ without knowing the latent decision-making model?} Such problems, called \textit{inverse decision-making with task migrations}, are of interest in that the complex and stochastic nature of real-world applications often prevents the agent from completely knowing the underlying system. In this paper, we introduce such a new problem with formal formulations and present a generic framework for addressing decision-making tasks in social contagion management. On the theory side, we present a generalization analysis for justifying the learning performance of our framework. In empirical studies, we perform a sanity check and compare the presented method with other possible learning-based and graph-based methods. We have acquired promising experimental results, confirming for the first time that it is possible to solve one decision-making task by using the solutions associated with another one.


title: Complex Langevin study of spontaneous symmetry breaking in IKKT matrix model

abstract: The IKKT matrix model, in the large-$N$ limit, is conjectured to be a non-perturbative definition of the ten-dimensional type IIB superstring theory. In this work, we investigate the possibility of spontaneous breaking of the ten-dimensional rotational symmetry in the Euclidean IKKT model. Since the effective action, after integrating out the fermions, is inherently complex, we use the complex Langevin dynamics to study the model. In order to evade the singular-drift problem in the model, we add supersymmetry preserving deformations and then take the vanishing limit of the deformations. Our analysis suggests that the phase of the Pfaffian indeed induces the spontaneous SO(10) symmetry breaking in the Euclidean IKKT model.


title: Generic eigenstructures of Hermitian pencils

abstract: We obtain the generic complete eigenstructures of complex Hermitian $n\times n$ matrix pencils with rank at most $r$ (with $r\leq n$). To do this, we prove that the set of such pencils is the union of a finite number of bundle closures, where each bundle is the set of complex Hermitian $n\times n$ pencils with the same complete eigenstructure (up to the specific values of the finite eigenvalues). We also obtain the explicit number of such bundles and their codimension. The cases $r=n$, corresponding to general Hermitian pencils, and $r<n$ exhibit surprising differences, since for $r<n$ the generic complete eigenstructures can contain only real eigenvalues, while for $r=n$ they can contain real and non-real eigenvalues. Moreover, we will see that the sign characteristic of the real eigenvalues plays a relevant role for determining the generic eigenstructures of Hermitian pencils.


title: Polynomial conditions and homology of FI-modules

abstract: We identify two recursively defined polynomial conditions for FI-modules in the literature. We characterize these conditions using homological invariants of FI-modules (namely the local degree and regularity, together with the stable degree) and clarify their relationship. For one of these conditions, we give improved twisted homological stability ranges for the symmetric groups. As another application, we improve the representation stability ranges for congruence subgroups with respect to the action of an appropriate linear group by a factor of 2 in its slope.


title: Animating Still Images

abstract: We present a method for imparting motion to a still 2D image. Our method uses deep learning to segment a section of the image denoted as subject, then uses in-painting to complete the background, and finally adds animation to the subject by embedding the image in a triangle mesh, while preserving the rest of the image.


title: International institutions and power politics in the context of Chinese Belt and Road Initiative

abstract: The subject of international institutions and power politics continues to occupy a central position in the field of International Relations and to the world politics. It revolves around key questions on how rising states, regional powers and small states leverage international institutions for achieving social, political, economic gains for themselves. Taking into account one of the rising powers China and the role of international institutions in the contemporary international politics, this paper aims to demonstrate, how in pursuit of power politics, various states (Small, Regional and Great powers) utilise international institutions by making them adapt to the new power realities critical to world politics.


title: Replica method for eigenvalues of real Wishart product matrices

abstract: We show how the replica method can be used to compute the asymptotic eigenvalue spectrum of a real Wishart product matrix. For unstructured factors, this provides a compact, elementary derivation of a polynomial condition on the Stieltjes transform first proved by M\"uller [IEEE Trans. Inf. Theory. 48, 2086-2091 (2002)]. We then show how this computation can be extended to ensembles where the factors are drawn from matrix Gaussian distributions with general correlation structure. For both unstructured and structured ensembles, we derive polynomial conditions on the average values of the minimum and maximum eigenvalues, which in the unstructured case match the results obtained by Akemann, Ipsen, and Kieburg [Phys. Rev. E 88, 052118 (2013)] for the complex Wishart product ensemble.


title: Two rigidity results for stable minimal hypersurfaces

abstract: The aim of this paper is to prove two results concerning the rigidity of complete, immersed, orientable, stable minimal hypersurfaces: we show that they are hyperplane in $\mathbb{R}^4$, while they do not exist in positively curved closed Riemannian $(n+1)$-manifold when $n\leq 5$; in particular, there are no stable minimal hypersurfaces in $\mathbb{S}^{n+1}$ when $n\leq 5$. The first result was recently proved also by Chodosh and Li, and the second is a consequence of a more general result concerning minimal surfaces with finite index. Both theorems rely on a conformal method, inspired by a classical work of Fischer-Colbrie.


title: Sigma-Prikry forcing III: Down to Aleph_omega

abstract: We prove the consistency of the failure of the singular cardinals hypothesis at $\aleph_\omega$ together with the reflection of all stationary subsets of $\aleph_{\omega+1}$. This shows that two classic results of Magidor (from 1977 and 1982) can hold simultaneously.


title: $\beta$-function of the level-zero Gross-Neveu model

abstract: We explain that the supersymmetric $CP^{n-1}$ sigma model is directly related to the level-zero chiral Gross-Neveu (cGN) model. In particular, beta functions of the two theories should coincide. This is consistent with the one-loop-exactness of the $CP^{n-1}$ beta function and a conjectured all-loop beta function of cGN models. We perform an explicit four-loop calculation on the cGN side and discuss the renormalization scheme dependence that arises.


title: DandelionTouch: High Fidelity Haptic Rendering of Soft Objects in VR by a Swarm of Drones

abstract: To achieve high fidelity haptic rendering of soft objects in a high mobility virtual environment, we propose a novel haptic display DandelionTouch. The tactile actuators are delivered to the fingertips of the user by a swarm of drones. Users of DandelionTouch are capable of experiencing tactile feedback in a large space that is not limited by the device's working area. Importantly, they will not experience muscle fatigue during long interactions with virtual objects. Hand tracking and swarm control algorithm allow guiding the swarm with hand motions and avoid collisions inside the formation. Several topologies of the impedance connection between swarm units were investigated in this research. The experiment, in which drones performed a point following task on a square trajectory in real-time, revealed that drones connected in a Star topology performed the trajectory with low mean positional error (RMSE decreased by 20.6% in comparison with other impedance topologies and by 40.9% in comparison with potential field-based swarm control). The achieved velocities of the drones in all formations with impedance behavior were 28% higher than for the swarm controlled with the potential field algorithm. Additionally, the perception of several vibrotactile patterns was evaluated in a user study with 7 participants. The study has shown that the proposed combination of temporal delay and frequency modulation allows users to successfully recognize the surface property and motion direction in VR simultaneously (mean recognition rate of 70%, maximum of 93%). DandelionTouch suggests a new type of haptic feedback in VR systems where no hand-held or wearable interface is required.


title: A new small Dowker space

abstract: It is proved that if there exists a Luzin set, or if either the stick principle or diamond(b) hold, then a strong instance of the guessing principle $\clubsuit_{AD}$ holds at the first uncountable cardinal. In particular, any of the above hypotheses entails the existence of a Dowker space of size $\aleph_1$.


title: Text Revealer: Private Text Reconstruction via Model Inversion Attacks against Transformers

abstract: Text classification has become widely used in various natural language processing applications like sentiment analysis. Current applications often use large transformer-based language models to classify input texts. However, there is a lack of systematic study on how much private information can be inverted when publishing models. In this paper, we formulate \emph{Text Revealer} -- the first model inversion attack for text reconstruction against text classification with transformers. Our attacks faithfully reconstruct private texts included in training data with access to the target model. We leverage an external dataset and GPT-2 to generate the target domain-like fluent text, and then perturb its hidden state optimally with the feedback from the target model. Our extensive experiments demonstrate that our attacks are effective for datasets with different text lengths and can reconstruct private texts with accuracy.


title: A Generalization of the DMC

abstract: We consider a generalization of the discrete memoryless channel, in which the channel probability distribution is replaced by a uniform distribution over clouds of channel output sequences. For a random ensemble of such channels, we derive an achievable error exponent, as well as its converse together with the optimal correct-decoding exponent, all as functions of information rate. As a corollary of these results, we obtain the channel ensemble capacity.


title: Gemino: Practical and Robust Neural Compression for Video Conferencing

abstract: Video conferencing systems suffer from poor user experience when network conditions deteriorate because current video codecs simply cannot operate at extremely low bitrates. Recently, several neural alternatives have been proposed that reconstruct talking head videos at very low bitrates using sparse representations of each frame such as facial landmark information. However, these approaches produce poor reconstructions in scenarios with major movement or occlusions over the course of a call, and do not scale to higher resolutions. We design Gemino, a new neural compression system for video conferencing based on a novel high-frequency-conditional super-resolution pipeline. Gemino upsamples a very low-resolution version of each target frame while enhancing high-frequency details (e.g., skin texture, hair, etc.) based on information extracted from a single high-resolution reference image. We use a multi-scale architecture that runs different components of the model at different resolutions, allowing it to scale to resolutions comparable to 720p, and we personalize the model to learn specific details of each person, achieving much better fidelity at low bitrates. We implement Gemino atop aiortc, an open-source Python implementation of WebRTC, and show that it operates on 1024x1024 videos in real-time on a Titan X GPU, and achieves 2.2-5x lower bitrate than traditional video codecs for the same perceptual quality.


title: An unconditionally energy stable and positive upwind DG scheme for the Keller-Segel model

abstract: The well-suited discretization of the Keller-Segel equations for chemotaxis has become a very challenging problem due to the convective nature inherent to them. This paper aims to introduce a new upwind, mass-conservative, positive and energy-dissipative discontinuous Galerkin scheme for the Keller-Segel model. This approach is based on the gradient-flow structure of the equations. In addition, we show some numerical experiments in accordance with the aforementioned properties of the discretization. The numerical results obtained emphasize the really good behaviour of the approximation in the case of chemotactic collapse, where very steep gradients appear.


title: Downward Self-Reducibility in TFNP

abstract: A problem is \emph{downward self-reducible} if it can be solved efficiently given an oracle that returns solutions for strictly smaller instances. In the decisional landscape, downward self-reducibility is well studied and it is known that all downward self-reducible problems are in \textsc{PSPACE}. In this paper, we initiate the study of downward self-reducible search problems which are guaranteed to have a solution -- that is, the downward self-reducible problems in \textsc{TFNP}. We show that most natural $\PLS$-complete problems are downward self-reducible and any downward self-reducible problem in \textsc{TFNP} is contained in \textsc{PLS}. Furthermore, if the downward self-reducible problem is in \textsc{TFUP} (i.e. it has a unique solution), then it is actually contained in \textsc{UEOPL}, a subclass of \textsc{CLS}. This implies that if integer factoring is \emph{downward self-reducible} then it is in fact in \textsc{UEOPL}, suggesting that no efficient factoring algorithm exists using the factorization of smaller numbers.


title: Learning to Relight Portrait Images via a Virtual Light Stage and Synthetic-to-Real Adaptation

abstract: Given a portrait image of a person and an environment map of the target lighting, portrait relighting aims to re-illuminate the person in the image as if the person appeared in an environment with the target lighting. To achieve high-quality results, recent methods rely on deep learning. An effective approach is to supervise the training of deep neural networks with a high-fidelity dataset of desired input-output pairs, captured with a light stage. However, acquiring such data requires an expensive special capture rig and time-consuming efforts, limiting access to only a few resourceful laboratories. To address the limitation, we propose a new approach that can perform on par with the state-of-the-art (SOTA) relighting methods without requiring a light stage. Our approach is based on the realization that a successful relighting of a portrait image depends on two conditions. First, the method needs to mimic the behaviors of physically-based relighting. Second, the output has to be photorealistic. To meet the first condition, we propose to train the relighting network with training data generated by a virtual light stage that performs physically-based rendering on various 3D synthetic humans under different environment maps. To meet the second condition, we develop a novel synthetic-to-real approach to bring photorealism to the relighting network output. In addition to achieving SOTA results, our approach offers several advantages over the prior methods, including controllable glares on glasses and more temporally-consistent results for relighting videos.


title: Exact Coherent Structures in Fully Developed Two-Dimensional Turbulence

abstract: This paper reports several new classes of weakly unstable recurrent solutions of the 2+1-dimensional Euler equation on a square domain with periodic boundary conditions. These solutions have a number of remarkable properties which distinguish them from analogous solutions of the Navier-Stokes equation describing transitional flows. First of all, they come in high-dimensional continuous families. Second, solutions of different types are connected, e.g., an equilibrium can be smoothly continued to a traveling wave or a time-periodic state. Third, and most important, many of these solutions are dynamically relevant for turbulent flow at high Reynolds numbers. Specifically, we find that turbulence in numerical simulations exhibits large-scale coherent structures resembling some of our time-periodic solutions both frequently and over long temporal intervals. Such solutions are analogous to exact coherent structures originally introduced in the context of transitional flows.


title: Improved Marginal Unbiased Score Expansion (MUSE) via Implicit Differentiation

abstract: We apply the technique of implicit differentiation to boost performance, reduce numerical error, and remove required user-tuning in the Marginal Unbiased Score Expansion (MUSE) algorithm for hierarchical Bayesian inference. We demonstrate these improvements on three representative inference problems: 1) an extended Neal's funnel 2) Bayesian neural networks, and 3) probabilistic principal component analysis. On our particular test cases, MUSE with implicit differentiation is faster than Hamiltonian Monte Carlo by factors of 155, 397, and 5, respectively, or factors of 65, 278, and 1 without implicit differentiation, and yields good approximate marginal posteriors. The Julia and Python MUSE packages have been updated to use implicit differentiation, and can solve problems defined by hand or with any of a number of popular probabilistic programming languages and automatic differentiation backends.


title: Consensus-based Fast and Energy-Efficient Multi-Robot Task Allocation

abstract: In a multi-robot system, the appropriate allocation of the tasks to the individual robots is a very significant component. The availability of a centralized infrastructure can guarantee an optimal allocation of the tasks. However, in many important scenarios such as search and rescue, exploration, disaster-management, war-field, etc., on-the-fly allocation of the dynamic tasks to the robots in a decentralized fashion is the only possible option. Efficient communication among the robots plays a crucial role in any such decentralized setting. Existing works on distributed Multi-Robot Task Allocation (MRTA) either assume that the network is available or a naive communication paradigm is used. On the contrary, in most of these scenarios, the network infrastructure is either unstable or unavailable and ad-hoc networking is the only resort. Recent developments in synchronous-transmission (ST) based wireless communication protocols are shown to be more efficient than the traditional asynchronous transmission-based protocols in ad hoc networks such as Wireless Sensor Network (WSN)/Internet of Things (IoT) applications. The current work is the first effort that utilizes ST for MRTA. Specifically, we propose an algorithm that efficiently adapts ST-based many-to-many interaction and minimizes the information exchange to reach a consensus for task allocation. We showcase the efficacy of the proposed algorithm through an extensive simulation-based study of its latency and energy-efficiency under different settings.


title: Complex dynamics in adaptive phase oscillator networks

abstract: Networks of coupled dynamical units give rise to collective dynamics such as the synchronization of oscillators or neurons in the brain. The ability of the network to adapt coupling strengths between units in accordance with their activity arises naturally in a variety of contexts, including neural plasticity in the brain, and adds an additional layer of complexity: the dynamics on the nodes influence the dynamics of the network and vice versa. We study a minimal model of Kuramoto phase oscillators including a general adaptive learning rule with three parameters (strength of adaptivity, adaptivity offset, adaptivity shift), mimicking learning paradigms based on spike-time-dependent-plasticity (STDP). Importantly, the strength of adaptivity allows to tune the system away away from the limit of the classical Kuramoto model, corresponding to stationary coupling strengths and no adaptation, and thus, to systematically study the impact of adaptivity on the collective dynamics. We carry out a detailed bifurcation analysis for the minimal model consisting of N = 2 oscillators. The non-adaptive Kuramoto model exhibits very simple dynamic behavior, drift or frequency-locking; but once the strength of adaptivity exceeds a critical threshold non-trivial bifurcation structures unravel: A symmetric adaptation rule results in multi-stability and bifurcation scenarios, and an asymmetric adaptation rule generates even more intriguing and rich dynamics, including a period doubling-cascade to chaos as well as oscillations displaying features of both librations and rotations simultaneously. Generally, adaptation improves the synchronizability of the oscillators. Finally, we also numerically investigate a larger system consisting of N = 50 oscillators and compare the resulting dynamics with the case of N = 2 oscillators.


title: Takasaki's rational fourth Painlev\'e-Calogero system and geometric regularisability of algebro-Painlev\'e equations

abstract: We study a Hamiltonian system without the Painlev\'e property and show that it admits a kind of regularisation on a bundle of rational surfaces with certain divisors removed, generalising Okamoto's spaces of initial conditions for the Painlev\'e differential equations. The system in question was obtained by Takasaki as part of the Painlev\'e-Calogero correspondence and possesses the algebro-Painlev\'e property, being related by an algebraic transformation to the fourth Painlev\'e equation. We provide an atlas for the bundle of surfaces in which the system has a global Hamiltonian structure, with all Hamiltonian functions being polynomial in coordinates just as in the case of Okamoto's spaces. We compare the surface associated with the Takasaki system with that of the fourth Painlev\'e equation, showing that they are related by a combination of blowdowns and a branched double cover, under which we lift the birational B\"acklund transformation symmetries of the fourth Painlev\'e equation to algebraic ones of the Takasaki system, including a discrete Painlev\'e equation. We also discuss and provide more examples in support of the idea that there is a connection between the algebro-Painlev\'e property and similar notions of regularisability, in an analogous way to how regular initial value problems for the Painlev\'e equations everywhere on Okamoto's spaces are related to the Painlev\'e property.


title: Tab2vox: CNN-Based Multivariate Multilevel Demand Forecasting Framework by Tabular-To-Voxel Image Conversion

abstract: Since demand is influenced by a wide variety of causes, it is necessary to decompose the explana-tory variables into different levels, extract their relationships effectively, and reflect them in the forecast. In particular, this contextual information can be very useful in demand forecasting with large demand volatility or intermittent demand patterns. Convolutional neural networks (CNNs) have been successfully used in many fields where important information in data is represented by images. CNNs are powerful because they accept samples as images and use adjacent voxel sets to integrate multi-dimensional important information and learn important features. On the other hand, although the demand-forecasting model has been improved, the input data is still limited in its tabular form and is not suitable for CNN modeling. In this study, we propose a Tab2vox neural architecture search (NAS) model as a method to convert a high-dimensional tabular sam-ple into a well-formed 3D voxel image and use it in a 3D CNN network. For each image repre-sentation, the 3D CNN forecasting model proposed from the Tab2vox framework showed supe-rior performance, compared to the existing time series and machine learning techniques using tabular data, and the latest image transformation studies.


title: Model-Checking PCTL properties of Stateless Probabilistic Pushdown Systems with Various Extensions

abstract: In this paper, we first resolve an open question in the probabilistic verification of infinite-state systems (specifically, the {\em stateless probabilistic pushdown systems}). We show that model checking {\em stateless probabilistic pushdown systems (pBPA)} against {\em probabilistic computational tree logic (PCTL)} is generally undecidable. We define the quantum analogues of the {\em probabilistic pushdown systems} and {\em Markov chains}, and further investigate whether it is necessary to define a quantum analogue of {\em probabilistic computational tree logic} to describe the branching-time properties of the {\em quantum Markov chain} defined in this paper. We study its model-checking question and show that the model-checking of {\em stateless quantum pushdown systems (qBPA)} against {\em probabilistic computational tree logic (PCTL)} is generally undecidable, with the immediate corollaries summarized. We define the notion of {\em probabilistic $\omega$-pushdown automaton} for the first time and study the model-checking question of {\em stateless probabilistic $\omega$-pushdown system ($\omega$-pBPA)} against $\omega$-PCTL (defined by Chatterjee et al. in \cite{CSH08}) and show that the model-checking of {\em stateless probabilistic $\omega$-pushdown systems ($\omega$-pBPA)} against $\omega$-PCTL is generally undecidable, with immediate consequences summarized. Our approach is to construct formulas of $\omega$-PCTL encoding the {\em Post Correspondence Problem} indirectly.


title: Sustainable Venture Capital

abstract: Sustainability initiatives are set to benefit greatly from the growing involvement of venture capital, in the same way that other technological endeavours have been enabled and accelerated in the post-war period. With the spoils increasingly being shared between shareholders and other stakeholders, this requires a more nuanced view than the finance-first methodologies deployed to date. Indeed, it is possible for a venture-backed sustainability startup to deliver outstanding results to society in general without returning a cent to investors, though the most promising outcomes deliver profit with purpose, satisfying all stakeholders in ways that make existing 'extractive' venture capital seem hollow. To explore this nascent area, a review of related research was conducted and social entrepreneurs & investors interviewed to construct a questionnaire assessing the interests and intentions of current & future ecosystem participants. Analysis of 114 responses received via several sampling methods revealed statistically significant relationships between investing preferences and genders, generations, sophistication, and other variables, all the way down to the level of individual UN Sustainable Development Goals (SDGs).


title: Conformal gravity: Newton's constant is not universal

abstract: Newton's gravitational constant $G$ has been measured to high accuracy in a number of independent experiments. For currently unresolved reasons, indicated values from different well-designed and thoroughly analyzed experiments differ by more than the sum of estimated errors. It has recently been shown that requiring both Einstein general relativity and the Higgs scalar field model to satisfy conformal symmetry (local Weyl scaling covariance) introduces gravitational effects that explain anomalous galactic rotation, currently accelerating Hubble expansion, and dark galactic halos, without invoking dark matter. This implies different values $G_n$ and $G_p$ for neutron and proton, respectively, but retains the Einstein equivalence principle for test objects accelerated by a given gravitational field. Isotopic mass defect $\mu$ per nucleon determines independent $G_m$. Thus G differs for each nuclear isotope. Several recent measurements are used here to estimate $G_n=6.60216$, $G_p=6.38926$, and $G_m=-11.60684$ in units $10^{-11}m^3kg^{-1}s^{-2}$.


title: Tachyon Interactions

abstract: A consistent theory of free tachyons has shown how tachyon neutrinos can explain major cosmological phenomena, Dark Energy and Dark Matter. Now we investigate how tachyon neutrinos might interact with other particles: the weak interactions. Using the quantized field operators for electrons and tachyon neutrinos, the simplest interaction shows how the chirality selection rule, put in by force in the Standard Model, comes out naturally. Then I wander into a re-study of what we do with negative frequencies of plane wave solutions of relativistic wave equations. The findings are simple and surprising, leading to a novel understanding of how to construct quantum field theories.


title: Excitons and trions in WSSe monolayers

abstract: The possibility of almost linear tuning of the band gap and of the electrical and optical properties in monolayers (MLs) of semiconducting transition metal dichalcogenide (S-TMD) alloys opens up the way to fabricate materials with on-demand characteristics. By making use of photoluminescence spectroscopy, we investigate optical properties of WSSe MLs with a S/Se ratio of 57/43 deposited on SiO$_2$/Si substrate and encapsulated in hexagonal BN flakes. Similarly to the $"parent"$ WS$_2$ and WSe$_2$ MLs, we assign the WSSe MLs to the ML family with the dark ground exciton state. We find that, in addition to the neutral bright A exciton line, three observed emission lines are associated with negatively charged excitons. The application of in-plane and out-of-plane magnetic fields allows us to assign undeniably the bright and dark (spin- and momentum-forbidden) negative trions as well as the phonon replica of the dark spin-forbidden complex. Furthermore, the existence of the single photon emitters in the WSSe ML is also demonstrated, thus prompting the opportunity to enlarge the wavelength range for potential future quantum applications of S-TMDs.


title: A Prime Power Equation

abstract: A real valued function, $G$, is provided whose Fourier transform, $\hat G$, is an entire function that satisfies, $E(s)\zeta(s) = \hat G(\frac{s -\frac{1}{2}}{i})$. Then $\hat G(\gamma) = 0$ for all nonreal zeros, $\rho = \frac{1}{2} + i \gamma$, of $\zeta(s)$. Combined with Guinand's explicit formula we obtain a prime power equation free of zeta zeros. Using infinitely many translates of G, an infinite system of equations, indexed on the natural numbers, is obtained. The solution vector of this system is the vector of values of von Mangoldt's function, $\Lambda(n), n = 1, 2 \cdots$. The entries of the matrix are special values of the fourth power of the Jacobi theta function, $\theta_2(\tau)$.


title: On slowdown of particles in a vacuum at their delocalization from an electromagnetic well with a depth decreasing with time

abstract: The possibility of a significant slowdown of particles by removing them from a localized state in an electromagnetic potential well with a fixed spatial distribution is shown with a sufficiently slow decrease in the depth of this well with time. It is believed that the considered particles are in high vacuum conditions and forces acting on them are not dissipative, i.e. these particles move without friction. Depending on whether the particles have an electric (magnetic) dipole moment, a controlled electric (magnetic) field or nonresonant laser radiation can be used to slow them down in this way. A detailed analysis of the features and efficiency of the established particle deceleration mechanism was carried out on the example of the one-dimensional rectangular potential well based on simple mathematical relationships. The obtained results can be used in the mechanics of micro- and nanoparticles in high vacuum, and under certain conditions also in ultra-high resolution spectroscopy of atoms and molecules "cooled" by the proposed method.


title: NED-AdS black holes, extended phase space thermodynamics and Joule--Thomson expansion

abstract: We study and discuss the critical behavior of charged by nonlinear electrodynamics (NED) AdS black holes in an extended phase space. The negative cosmological constant is treated as a thermodynamic pressure and the black hole mass is considered as the chemical enthalpy. We show the analogy of thermodynamics and phase transitions studied with the Van der Waals liquid-gas system. We introduce new thermodynamic quantities conjugated to the NED coupling and a magnetic charge. It was demonstrated that the first low of black hole thermodynamics and the Smarr relation hold. We have calculated the Joule--Thomson thermodynamic coefficient and inversion temperature and the Joule--Thomson adiabatic expansion is investigated.


title: A theoretical calculation of the cosmological constant based on a mechanical model of vacuum

abstract: Lord Kelvin believed that the electromagnetic aether must also generate gravity. Presently, we have no methods to determine the density of the electromagnetic aether, or we say the $\Omega(1)$ substratum. Thus, we also suppose that vacuum is filled with another kind of continuously distributed substance, which may be called the $\Omega(2)$ substratum. Based on a theorem of V. Fock on the mass tensor of a fluid, the contravariant energy-momentum tensors of the $\Omega(1)$ and $\Omega(2)$ substrata are established. Quasi-static solutions of the gravitational field equations in vacuum are obtained. Based on an assumption, relationships between the contravariant energy-momentum tensors of the $\Omega(1)$ and $\Omega(2)$ substrata and the contravariant metric tensor are obtained. Thus, the cosmological constant is calculated theoretically. The $\Omega(1)$ and $\Omega(2)$ substrata may be a possible candidate of the dark energy. According to the theory of vacuum mechanics, only those energy-momentum tensors of discrete or continuously distributed sinks in the $\Omega(0)$ substratum are permitted to act as the source terms in the generalized Einstein's equations. Thus, the zero-point energy of electromagnetic fields is not qualified for a source term in the generalized Einstein's equations. Some people believed that all kinds of energies should act as source terms in the Einstein's equations. It may be this unwarranted belief that leads to the cosmological constant problem. The mass density of the $\Omega(1)$ and $\Omega(2)$ substrata is equivalent to that of around $3$ protons contained in a box with a volume of $1$ cubic metre.


title: Efficient Distribution Similarity Identification in Clustered Federated Learning via Principal Angles Between Client Data Subspaces

abstract: Clustered federated learning (FL) has been shown to produce promising results by grouping clients into clusters. This is especially effective in scenarios where separate groups of clients have significant differences in the distributions of their local data. Existing clustered FL algorithms are essentially trying to group together clients with similar distributions so that clients in the same cluster can leverage each other's data to better perform federated learning. However, prior clustered FL algorithms attempt to learn these distribution similarities indirectly during training, which can be quite time consuming as many rounds of federated learning may be required until the formation of clusters is stabilized. In this paper, we propose a new approach to federated learning that directly aims to efficiently identify distribution similarities among clients by analyzing the principal angles between the client data subspaces. Each client applies a truncated singular value decomposition (SVD) step on its local data in a single-shot manner to derive a small set of principal vectors, which provides a signature that succinctly captures the main characteristics of the underlying distribution. This small set of principal vectors is provided to the server so that the server can directly identify distribution similarities among the clients to form clusters. This is achieved by comparing the similarities of the principal angles between the client data subspaces spanned by those principal vectors. The approach provides a simple, yet effective clustered FL framework that addresses a broad range of data heterogeneity issues beyond simpler forms of Non-IIDness like label skews. Our clustered FL approach also enables convergence guarantees for non-convex objectives. Our code is available at https://github.com/MMorafah/PACFL.


title: A French Connection? Recognition and Entente for the Taliban

abstract: This paper will explore a way forward for French-Afghan relations post United Nations (U.N.) occupation. The summer of 2021 proved to be very tumultuous as the Taliban lay in waiting for U.N. forces to withdraw in what many would call a hasty, poorly thought-out egress operation. The Taliban effectively retook all major cities, including the capital, Kabul, and found themselves isolated as U.N. states closed embassies and severed diplomatic relations. Now, Afghanistan finds itself without international aid and support and on the verge of an economic crisis. France now has the opportunity to initiate a leadership role in the establishment and recovery of the new Afghan government.


title: Reconfigurable Intelligent Surface for Vehicular Communications: Exact Performance Analysis with Phase Noise and Mobility

abstract: Recent research provides an approximation on the performance for reconfigurable intelligent surface (RIS) assisted systems over generalized fading channels with phase noise resulting from imperfect phase compensation at the RIS. In this paper, we developed exact analysis and upper bounds on the performance of RIS-assisted vehicular communication system considering phase noise with mobility over asymmetric fading channels by coherently combining received signals reflected by RIS elements and direct transmissions from the source terminal. We employ a novel approach to represent the PDF and CDF of the product of four channel coefficients in terms of a single univariate Fox-H function. We use the derived PDF to develop an exact statistical analysis of the end-to-end SNR for the RIS-assisted system using multi-variate Fox-H function.