title: GAN based Data Augmentation to Resolve Class Imbalance

abstract: The number of credit card fraud has been growing as technology grows and people can take advantage of it. Therefore, it is very important to implement a robust and effective method to detect such frauds. The machine learning algorithms are appropriate for these tasks since they try to maximize the accuracy of predictions and hence can be relied upon. However, there is an impending flaw where in machine learning models may not perform well due to the presence of an imbalance across classes distribution within the sample set. So, in many related tasks, the datasets have a very small number of observed fraud cases (sometimes around 1 percent positive fraud instances found). Therefore, this imbalance presence may impact any learning model's behavior by predicting all labels as the majority class, hence allowing no scope for generalization in the predictions made by the model. We trained Generative Adversarial Network(GAN) to generate a large number of convincing (and reliable) synthetic examples of the minority class that can be used to alleviate the class imbalance within the training set and hence generalize the learning of the data more effectively.


title: Parallel algorithms for maximizing one-sided $\sigma$-smooth function

abstract: In this paper, we study the problem of maximizing a monotone normalized one-sided $\sigma$-smooth ($OSS$ for short) function $F(x)$, subject to a convex polytope. This problem was first introduced by Mehrdad et al. \cite{GSS2021} to characterize the multilinear extension of some set functions. Different with the serial algorithm with name Jump-Start Continuous Greedy Algorithm by Mehrdad et al. \cite{GSS2021}, we propose Jump-Start Parallel Greedy (JSPG for short) algorithm, the first parallel algorithm, for this problem. The approximation ratio of JSPG algorithm is proved to be $((1-e^{-\left(\frac{\alpha}{\alpha+1}\right)^{2\sigma}}) \epsilon)$ for any any number $\alpha\in(0,1]$ and $\epsilon>0$. We also prove that our JSPG algorithm runs in $(O(\log n/\epsilon^{2}))$ adaptive rounds and consumes $O(n \log n/\epsilon^{2})$ queries. In addition, we study the stochastic version of maximizing monotone normalized $OSS$ function, in which the objective function $F(x)$ is defined as $F(x)=\mathbb{E}_{y\sim T}f(x,y)$. Here $f$ is a stochastic function with respect to the random variable $Y$, and $y$ is the realization of $Y$ drawn from a probability distribution $T$. For this stochastic version, we design Stochastic Parallel-Greedy (SPG) algorithm, which achieves a result of $F(x)\geq(1 -e^{-\left(\frac{\alpha}{\alpha+1}\right)^{2\sigma}}-\epsilon)OPT-O(\kappa^{1/2})$, with the same time complexity of JSPG algorithm. Here $\kappa=\frac{\max \{5\|\nabla F(x_{0})-d_{o}\|^{2}, 16\sigma^{2}+2L^{2}D^{2}\}}{(t+9)^{2/3}}$ is related to the preset parameters $\sigma, L, D$ and time $t$.


title: Efficiency Comparison of AI classification algorithms for Image Detection and Recognition in Real-time

abstract: Face detection and identification is the most difficult and often used task in Artificial Intelligence systems. The goal of this study is to present and compare the results of several face detection and recognition algorithms used in the system. This system begins with a training image of a human, then continues on to the test image, identifying the face, comparing it to the trained face, and finally classifying it using OpenCV classifiers. This research will discuss the most effective and successful tactics used in the system, which are implemented using Python, OpenCV, and Matplotlib. It may also be used in locations with CCTV, such as public spaces, shopping malls, and ATM booths.


title: A Graph Transformation Strategy for Optimizing SpTRSV

abstract: Sparse triangular solve (SpTRSV) is an extensively studied computational kernel. An important obstacle in parallel SpTRSV implementations is that in some parts of a sparse matrix the computation is serial. By transforming the dependency graph, it is possible to increase the parallelism of the parts that lack it. In this work, we present an approach to increase the parallelism degree of a sparse matrix, discuss its limitations and possible improvements, and we compare it to a previous manual approach. The results provide several hints on how to craft a collection of strategies to transform a dependency graph.


title: FisheyeEX: Polar Outpainting for Extending the FoV of Fisheye Lens

abstract: Fisheye lens gains increasing applications in computational photography and assisted driving because of its wide field of view (FoV). However, the fisheye image generally contains invalid black regions induced by its imaging model. In this paper, we present a FisheyeEX method that extends the FoV of the fisheye lens by outpainting the invalid regions, improving the integrity of captured scenes. Compared with the rectangle and undistorted image, there are two challenges for fisheye image outpainting: irregular painting regions and distortion synthesis. Observing the radial symmetry of the fisheye image, we first propose a polar outpainting strategy to extrapolate the coherent semantics from the center to the outside region. Such an outpainting manner considers the distribution pattern of radial distortion and the circle boundary, boosting a more reasonable completion direction. For the distortion synthesis, we propose a spiral distortion-aware perception module, in which the learning path keeps consistent with the distortion prior of the fisheye image. Subsequently, a scene revision module rearranges the generated pixels with the estimated distortion to match the fisheye image, thus extending the FoV. In the experiment, we evaluate the proposed FisheyeEX on three popular outdoor datasets: Cityscapes, BDD100k, and KITTI, and one real-world fisheye image dataset. The results demonstrate that our approach significantly outperforms the state-of-the-art methods, gaining around 27% more content beyond the original fisheye image.


title: Structural classification of boron nitride twisted bilayers and ab initio investigation of their stacking-dependent electronic structure

abstract: Since the discovery of superconductive twisted bilayer graphene which initiated the field of twistronics, moir\'e systems have not ceased to exhibit fascinating properties. We demonstrate that in boron nitride twisted bilayers, for a given moir\'e periodicity, there are five different stackings which preserve the monolayer hexagonal symmetry (i.e. the invariance upon rotations of 120$^\circ$) and not only two as always discussed in literature. We introduce some definitions and a nomenclature that identify unambiguously the twist angle and the stacking sequence of any hexagonal bilayer with order-3 rotation symmetry. Moreover, we employ density functional theory to study the evolution of the band structure as a function of the twist angle for each of the five stacking sequences of boron nitride bilayers. We show that the gap is indirect at any angle and in any stacking, and identify features that are conserved within the same stacking sequence irrespective of the angle of twist.


title: InBiaseD: Inductive Bias Distillation to Improve Generalization and Robustness through Shape-awareness

abstract: Humans rely less on spurious correlations and trivial cues, such as texture, compared to deep neural networks which lead to better generalization and robustness. It can be attributed to the prior knowledge or the high-level cognitive inductive bias present in the brain. Therefore, introducing meaningful inductive bias to neural networks can help learn more generic and high-level representations and alleviate some of the shortcomings. We propose InBiaseD to distill inductive bias and bring shape-awareness to the neural networks. Our method includes a bias alignment objective that enforces the networks to learn more generic representations that are less vulnerable to unintended cues in the data which results in improved generalization performance. InBiaseD is less susceptible to shortcut learning and also exhibits lower texture bias. The better representations also aid in improving robustness to adversarial attacks and we hence plugin InBiaseD seamlessly into the existing adversarial training schemes to show a better trade-off between generalization and robustness.


title: Single Pulse Variability in Gamma-ray Pulsars

abstract: The Fermi Large Area Telescope receives $\ll$1 photon per rotation from any $\gamma$-ray pulsar. However, out of the billions of monitored rotations of the bright pulsars Vela (PSR~J0835$-$4510) and Geminga (PSR~J0633$+$1746), a few thousand have $\geq$2 pulsed photons. These rare pairs encode information about the variability of pulse amplitude and shape. We have cataloged such pairs and find the observed number to be in good agreement with simple Poisson statistics, limiting any amplitude variations to $<$19% (Vela) and $<$22% (Geminga) at 2$\sigma$ confidence. Using an array of basis functions to model pulse shape variability, the observed pulse phase distribution of the pairs limits the scale of pulse shape variations of Vela to $<$13% while for Geminga we find a hint of $\sim$20% single-pulse shape variability most associated with the pulse peaks. If variations last longer than a single rotation, more pairs can be collected, and we have calculated upper limits on amplitude and shape variations for assumed coherence times up to 100 rotations, finding limits of $\sim$1% (amplitude) and $\sim$3% (shape) for both pulsars. Because a large volume of the pulsar magnetosphere contributes to $\gamma$-ray pulse production, we conclude that the magnetospheres of these two energetic pulsars are stable over one rotation and very stable on longer time scales. All other $\gamma$-ray pulsars are too faint for similar analyses. These results provide useful constraints on rapidly-improving simulations of pulsar magnetospheres, which have revealed a variety of large-scale instabilities in the thin equatorial current sheets where the bulk of GeV $\gamma$-ray emission is thought to originate.


title: Complete Multipartite Graphs of Non-QE Class

abstract: We derive a formula for the QE constant of a complete multipartite graph and determine the complete multipartite graphs of non-QE class, namely, those which do not admit quadratic embeddings in a Euclidean space. Moreover, the primary non-QE graphs are specified among the complete multipartite graphs.


title: Explicit exponential Runge-Kutta methods for semilinear integro-differential equations

abstract: The aim of this paper is to construct and analyze explicit exponential Runge-Kutta methods for the temporal discretization of linear and semilinear integro-differential equations. By expanding the errors of the numerical method in terms of the solution, we derive order conditions that form the basis of our error bounds for integro-differential equations. The order conditions are further used for constructing numerical methods. The convergence analysis is performed in a Hilbert space setting, where the smoothing effect of the resolvent family is heavily used. For the linear case, we derive the order conditions for general order $p$ and prove convergence of order $p$, whenever these conditions are satisfied. In the semilinear case, we consider in addition spatial discretization by a spectral Galerkin method, and we require locally Lipschitz continuous nonlinearities. We derive the order conditions for orders one and two, construct methods satisfying these conditions and prove their convergence. Finally, some numerical experiments illustrating our theoretical results are given.


title: Achieving Zero Constraint Violation for Constrained Reinforcement Learning via Conservative Natural Policy Gradient Primal-Dual Algorithm

abstract: We consider the problem of constrained Markov decision process (CMDP) in continuous state-actions spaces where the goal is to maximize the expected cumulative reward subject to some constraints. We propose a novel Conservative Natural Policy Gradient Primal-Dual Algorithm (C-NPG-PD) to achieve zero constraint violation while achieving state of the art convergence results for the objective value function. For general policy parametrization, we prove convergence of value function to global optimal upto an approximation error due to restricted policy class. We even improve the sample complexity of existing constrained NPG-PD algorithm \cite{Ding2020} from $\mathcal{O}(1/\epsilon^6)$ to $\mathcal{O}(1/\epsilon^4)$. To the best of our knowledge, this is the first work to establish zero constraint violation with Natural policy gradient style algorithms for infinite horizon discounted CMDPs. We demonstrate the merits of proposed algorithm via experimental evaluations.


title: Replica-Averaging: An algorithm to study mechano-reactive processes for polymers under flow conditions

abstract: A new method based on quasi-independent parallel simulations approach, replica-averaging, has been developed to study the influence of flow on mechanical force-mediated polymer processes such as denaturation and breaking of bonds. This method considerably mitigates the unphysical prediction of force-mediated events inherent in Brownian dynamics (BD) polymer chain simulations that employ instantaneous force profile-based criteria to identify the occurrence of such events. This inaccuracy in predicting force-mediated event kinetics is due to high fluctuations of the instantaneous force profile around the average force. Replica-averaging reduces such high fluctuation effects by computing a force profile that faithfully represents the average force profile of the polymer chain conformation, which is then used to predict reactive events. For transient conformation conditions, the replica-averaged method more accurately predicts mechano-reactive kinetics than the time-averaged method, typically employed to reduce the unphysical prediction of force-mediated events in BD simulations. Further, the influence of the proposed replica-averaging method parameters on the accuracy of predicting the true average force profile along the polymer is discussed.


title: ChordMixer: A Scalable Neural Attention Model for Sequences with Different Lengths

abstract: Sequential data naturally have different lengths in many domains, with some very long sequences. As an important modeling tool, neural attention should capture long-range interaction in such sequences. However, most existing neural attention models admit only short sequences, or they have to employ chunking or padding to enforce a constant input length. Here we propose a simple neural network building block called ChordMixer which can model the attention for long sequences with variable lengths. Each ChordMixer block consists of a position-wise rotation layer without learnable parameters and an element-wise MLP layer. Repeatedly applying such blocks forms an effective network backbone that mixes the input signals towards the learning targets. We have tested ChordMixer on the synthetic adding problem, long document classification, and DNA sequence-based taxonomy classification. The experiment results show that our method substantially outperforms other neural attention models.


title: Modeling Generalized Specialist Approach To Train Quality Resilient Snapshot Ensemble

abstract: Convolutional neural networks (CNNs) apply well with food image recognition due to the ability to learn discriminative visual features. Nevertheless, recognizing distorted images is challenging for existing CNNs. Hence, the study modelled a generalized specialist approach to train a quality resilient ensemble. The approach aids the models in the ensemble framework retain general skills of recognizing clean images and shallow skills of classifying noisy images with one deep expertise area on a particular distortion. Subsequently, a novel data augmentation random quality mixup (RQMixUp) is combined with snapshot ensembling to train G-Specialist. During each training cycle of G-Specialist, a model is fine-tuned on the synthetic images generated by RQMixup, intermixing clean and distorted images of a particular distortion at a randomly chosen level. Resultantly, each snapshot in the ensemble gained expertise on several distortion levels, with shallow skills on other quality distortions. Next, the filter outputs from diverse experts were fused for higher accuracy. The learning process has no additional cost due to a single training process to train experts, compatible with a wide range of supervised CNNs for transfer learning. Finally, the experimental analysis on three real-world food and a Malaysian food database showed significant improvement for distorted images with competitive classification performance on pristine food images.


title: A Note on the Sonar Transform and Related Radon Transforms

abstract: The sonar transform in geometric tomography maps functions on the Euclidean half-space to integrals of those functions over hemispheres centered on the boundary hyperplane. We obtain sharp $L^p$-$L^q$ estimates for this transform and new explicit inversion formulas under minimal assumptions for functions. The main results follow from intriguing connection between the sonar transform, the Radon transform over paraboloids, and the transversal Radon transform, which integrates functions over hyperplanes, meeting the last coordinate axis.


title: Leading order, next-to-leading order, and non-perturbative parton collision kernels: effects in static and evolving media

abstract: Energetic partons traveling in a strongly interacting medium lose energy by emitting radiation and through collisions with medium constituents. Non-perturbative, next-to-leading order and leading order collision kernels are implemented within AMY-McGill formalism. The resulting gluon emission rates are then evaluated and compared by considering scattering occurring in a brick of quark-gluon plasma, as well as in a realistic simulation of Pb-Pb, collisions at $\sqrt{s}=2.76$ ATeV using MARTINI. We find that the variations in quenching of hard partons resulting from using different kernels can be important, depending on the overall value of the strong coupling constant $\alpha_s$.


title: ALMA Images the Eccentric HD 53143 Debris Disk

abstract: We present ALMA 1.3 mm observations of the HD~53143 debris disk - the first infrared or millimeter image produced of this ~1 Gyr-old solar-analogue. Previous HST STIS coronagraphic imaging did not detect flux along the minor axis of the disk which could suggest a face-on geometry with two 'clumps' of dust. These ALMA observations reveal a disk with a strikingly different structure. In order to fit models to the millimeter visibilities and constrain the uncertainties on the disk parameters, we adopt an MCMC approach. This is the most eccentric debris disk observed to date with a forced eccentricity of $0.21\pm0.02$, nearly twice that of the Fomalhaut debris disk, and also displays apocenter glow. Although this eccentric model fits the outer debris disk well, there are significant interior residuals remaining that may suggest a possible edge-on inner disk, which remains unresolved in these observations. Combined with the observed structure difference between HST and ALMA, these results suggest a potential previous scattering event or dynamical instability in this system. We also note that the stellar flux changes considerably over the course of our observations, suggesting flaring at millimeter wavelengths. Using simultaneous TESS observations, we determine the stellar rotation period to be $9.6\pm0.1$ days.


title: Black hole production, eternal inflation, and information in quasi-de Sitter space

abstract: When the slow-roll parameter $\epsilon_H$ is smaller than $H^2/M_{\rm Pl}^2$, the quantum fluctuations of the inflaton after the horizon crossing are large enough to realize eternal inflation. Whereas they do not generate a sufficient amount of density fluctuation of the inflaton to produce the black hole in quasi-de Sitter space, they can also generate the sizeable density fluctuation of the radiation when the number of degrees of freedom increases rapidly in time, as predicted by the distance conjecture. We argue that the condition that the density fluctuation of the radiation is not large enough to produce the black hole until the end of inflation is equivalent to the no eternal inflation condition. When the radiation emitted by the horizon does not produce the black hole, even if the number of degrees of freedom increases in time, the information paradox does not arise for $\epsilon_H$ larger than $10^{-7} (H^2/ M_{\rm Pl}^2)$ and time scale shorter than $10^4 (M_{\rm Pl}/H^2)$. Regardless of the presence of the information paradox, a static observer cannot retrieve a sufficient amount of information, which is consistent with the complementarity.


title: Curvilinearity and Orthogonality

abstract: We introduce sequences of functions orthogonal on a finite interval: proper orthogonal rational functions, orthogonal exponential functions, orthogonal logarithmic functions, and transmuted orthogonal polynomials


title: A Directed-Evolution Method for Sparsification and Compression of Neural Networks with Application to Object Identification and Segmentation and considerations of optimal quantization using small number of bits

abstract: This work introduces Directed-Evolution (DE) method for sparsification of neural networks, where the relevance of parameters to the network accuracy is directly assessed and the parameters that produce the least effect on accuracy when tentatively zeroed are indeed zeroed. DE method avoids a potentially combinatorial explosion of all possible candidate sets of parameters to be zeroed in large networks by mimicking evolution in the natural world. DE uses a distillation context [5]. In this context, the original network is the teacher and DE evolves the student neural network to the sparsification goal while maintaining minimal divergence between teacher and student. After the desired sparsification level is reached in each layer of the network by DE, a variety of quantization alternatives are used on the surviving parameters to find the lowest number of bits for their representation with acceptable loss of accuracy. A procedure to find optimal distribution of quantization levels in each sparsified layer is presented. Suitable final lossless encoding of the surviving quantized parameters is used for the final parameter representation. DE was used in sample of representative neural networks using MNIST, FashionMNIST and COCO data sets with progressive larger networks. An 80 classes YOLOv3 with more than 60 million parameters network trained on COCO dataset reached 90% sparsification and correctly identifies and segments all objects identified by the original network with more than 80% confidence using 4bit parameter quantization. Compression between 40x and 80x. It has not escaped the authors that techniques from different methods can be nested. Once the best parameter set for sparsification is identified in a cycle of DE, a decision on zeroing only a sub-set of those parameters can be made using a combination of criteria like parameter magnitude and Hessian approximations.


title: IGN : Implicit Generative Networks

abstract: In this work, we build recent advances in distributional reinforcement learning to give a state-of-art distributional variant of the model based on the IQN. We achieve this by using the GAN model's generator and discriminator function with the quantile regression to approximate the full quantile value for the state-action return distribution. We demonstrate improved performance on our baseline dataset - 57 Atari 2600 games in the ALE. Also, we use our algorithm to show the state-of-art training performance of risk-sensitive policies in Atari games with the policy optimization and evaluation.


title: Existence of Solutions to Fluid Equations in H\"{o}lder and Uniformly Local Sobolev Spaces

abstract: We establish short-time existence of solutions to the surface quasi-geostrophic equation in both the H\"{o}lder spaces $C^r(\mathbb{R}^2)$ for $r>1$ and the uniformly local Sobolev spaces $H^s_{ul}(\mathbb{R}^2)$ for $s\geq 3$. Using methods similar to those for the surface quasi-geostrophic equation, we also obtain short-time existence for the three-dimensional Euler equations in uniformly local Sobolev spaces.


title: X-Risk Analysis for AI Research

abstract: Artificial intelligence (AI) has the potential to greatly improve society, but as with any powerful technology, it comes with heightened risks and responsibilities. Current AI research lacks a systematic discussion of how to manage long-tail risks from AI systems, including speculative long-term risks. Keeping in mind the potential benefits of AI, there is some concern that building ever more intelligent and powerful AI systems could eventually result in systems that are more powerful than us; some say this is like playing with fire and speculate that this could create existential risks (x-risks). To add precision and ground these discussions, we provide a guide for how to analyze AI x-risk, which consists of three parts: First, we review how systems can be made safer today, drawing on time-tested concepts from hazard analysis and systems safety that have been designed to steer large processes in safer directions. Next, we discuss strategies for having long-term impacts on the safety of future systems. Finally, we discuss a crucial concept in making AI systems safer by improving the balance between safety and general capabilities. We hope this document and the presented concepts and tools serve as a useful guide for understanding how to analyze AI x-risk.


title: Generation of photons from vacuum in cavity via time-modulation of a qubit invisible to the field

abstract: We propose a scheme for generation of photons from vacuum due to time-modulation of a quantum system coupled indirectly to the cavity field through some ancilla quantum subsystem. We consider the simplest case when the modulation is applied to an artificial 2-level atom (we call t-qubit), while the ancilla is a stationary qubit coupled via the dipole interaction both to the cavity and t-qubit. We find that tripartite entangled states with a small number of photons can be generated from the system ground state under resonant modulations, even when the t-qubit is far detuned from both the ancilla and the cavity, provided its bare and modulation frequencies are properly adjusted as function of other system parameters. We attest our approximate analytic results by numeric simulations and show that photon generation from vacuum persists in the presence of common dissipation mechanisms.


title: Gaia Data Release 3: Astrophysical parameters inference system (Apsis) I -- methods and content overview

abstract: Gaia Data Release 3 contains a wealth of new data products for the community. Astrophysical parameters are a major component of this release. They were produced by the Astrophysical parameters inference system (Apsis) within the Gaia Data Processing and Analysis Consortium. The aim of this paper is to describe the overall content of the astrophysical parameters in Gaia Data Release 3 and how they were produced. In Apsis we use the mean BP/RP and mean RVS spectra along with astrometry and photometry, and we derive the following parameters: source classification and probabilities for 1.6 billion objects, interstellar medium characterisation and distances for up to 470 million sources, including a 2D total Galactic extinction map, 6 million redshifts of quasar candidates and 1.4 million redshifts of galaxy candidates, along with an analysis of 50 million outlier sources through an unsupervised classification. The astrophysical parameters also include many stellar spectroscopic and evolutionary parameters for up to 470 million sources. These comprise Teff, logg, and m_h (470 million using BP/RP, 6 million using RVS), radius (470 million), mass (140 million), age (120 million), chemical abundances (up to 5 million), diffuse interstellar band analysis (0.5 million), activity indices (2 million), H-alpha equivalent widths (200 million), and further classification of spectral types (220 million) and emission-line stars (50 thousand). This catalogue is the most extensive homogeneous database of astrophysical parameters to date, and it is based uniquely on Gaia data.


title: On-diagonal asymptotics for heat kernels of a class of inhomogeneous partial differential operators

abstract: We consider certain constant-coefficient differential operators on $\mathbb{R}^d$ with positive-definite symbols. Each such operator $\Lambda$ with symbol $P$ defines a semigroup $e^{-t\Lambda}$ , $t>0$ , admitting a convolution kernel $H^t_P$ for which the large-time behavior of $H_P^t(0)$ cannot be deduced by basic scaling arguments. The simplest example has symbol $P(\xi)=(\eta+\zeta^2)^2+\eta^4$ , $\xi=(\eta,\zeta)\in \mathbb{R}^2$ . We devise a method to establish large-time asymptotics of $H^t_P(0)$ for several classes of examples of this type and we show that these asymptotics are preserved by perturbations by certain higher-order differential operators. For the $P$ just given, it turns out that $H^t_P(0)\sim c_Pt^{-5/8}$ as $t\to\infty$ . We show how such results are relevant to understand the convolution powers of certain complex functions on $\mathbb Z^d$ . Our work represents a first basic step towards a good understanding of the semigroups associated with these operators. Obtaining meaningful off-diagonal upper bounds for $H_P^t$ remains an interesting challenge.


title: TC-SfM: Robust Track-Community-Based Structure-from-Motion

abstract: Structure-from-Motion (SfM) aims to recover 3D scene structures and camera poses based on the correspondences between input images, and thus the ambiguity caused by duplicate structures (i.e., different structures with strong visual resemblance) always results in incorrect camera poses and 3D structures. To deal with the ambiguity, most existing studies resort to additional constraint information or implicit inference by analyzing two-view geometries or feature points. In this paper, we propose to exploit high-level information in the scene, i.e., the spatial contextual information of local regions, to guide the reconstruction. Specifically, a novel structure is proposed, namely, {\textit{track-community}}, in which each community consists of a group of tracks and represents a local segment in the scene. A community detection algorithm is used to partition the scene into several segments. Then, the potential ambiguous segments are detected by analyzing the neighborhood of tracks and corrected by checking the pose consistency. Finally, we perform partial reconstruction on each segment and align them with a novel bidirectional consistency cost function which considers both 3D-3D correspondences and pairwise relative camera poses. Experimental results demonstrate that our approach can robustly alleviate reconstruction failure resulting from visually indistinguishable structures and accurately merge the partial reconstructions.


title: Perfecting group schemes

abstract: We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups, and obtains a bijection with the set of classifying spaces of compact connected Lie groups topologically localised away from the characteristic. We also study the representations of perfectly reductive groups. We establish a highest weight classification of simple modules, the decomposition into blocks, and relate extension groups to those of the underlying abstract group.


title: Relativistic spin dynamics for vector mesons

abstract: We propose a relativistic theory for spin density matrices of vector mesons based on Kadanoff-Baym equations in the closed-time-path formalism. The theory puts the calculation of spin observables such as the spin density matrix element $\rho_{00}$ for vector mesons on a solid ground. Within the theory we formulate $\rho_{00}$ for $\phi$ mesons into a factorization form in separation of momentum and space-time variables. We argue that the main contribution to $\rho_{00}$ at lower energies should be from the $\phi$ fields that can polarize the strange quark and antiquark in the same way as electromagnetic fields. The key observation is that there is correlation inside the $\phi$ meson wave function between the $\phi$ field that polarizes the strange quark and that polarizes the strange antiquark. This is reflected by the fact that the contributions to $\rho_{00}$ are all in squares of fields which are nonvanishing even if the fields may strongly fluctuate in space-time. The fluctuation of strong force fields can be extracted from $\rho_{00}$ of quarkonium vector mesons as links to fundamental properties of quantum chromodynamics.


title: On the Convergence to a Global Solution of Shuffling-Type Gradient Algorithms

abstract: Stochastic gradient descent (SGD) algorithm is the method of choice in many machine learning tasks thanks to its scalability and efficiency in dealing with large-scale problems. In this paper, we focus on the shuffling version of SGD which matches the mainstream practical heuristics. We show the convergence to a global solution of shuffling SGD for a class of non-convex functions under over-parameterized settings. Our analysis employs more relaxed non-convex assumptions than previous literature. Nevertheless, we maintain the desired computational complexity as shuffling SGD has achieved in the general convex setting.


title: Gaia Data Release 3: A Golden Sample of Astrophysical Parameters

abstract: Gaia Data Release 3 (DR3) provides a wealth of new data products for the astronomical community to exploit, including astrophysical parameters for a half billion stars. In this work we demonstrate the high quality of these data products and illustrate their use in different astrophysical contexts. We query the astrophysical parameter tables along with other tables in Gaia DR3 to derive the samples of the stars of interest. We validate our results by using the Gaia catalogue itself and by comparison with external data. We have produced six homogeneous samples of stars with high quality astrophysical parameters across the HR diagram for the community to exploit. We first focus on three samples that span a large parameter space: young massive disk stars (~3M), FGKM spectral type stars (~3M), and UCDs (~20K). We provide these sources along with additional information (either a flag or complementary parameters) as tables that are made available in the Gaia archive. We furthermore identify 15740 bone fide carbon stars, 5863 solar-analogues, and provide the first homogeneous set of stellar parameters of the Spectro Photometric Standard Stars. We use a subset of the OBA sample to illustrate its usefulness to analyse the Milky Way rotation curve. We then use the properties of the FGKM stars to analyse known exoplanet systems. We also analyse the ages of some unseen UCD-companions to the FGKM stars. We additionally predict the colours of the Sun in various passbands (Gaia, 2MASS, WISE) using the solar-analogue sample.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.IM


title: Causal Inference-Based Root Cause Analysis for Online Service Systems with Intervention Recognition

abstract: Fault diagnosis is critical in many domains, as faults may lead to safety threats or economic losses. In the field of online service systems, operators rely on enormous monitoring data to detect and mitigate failures. Quickly recognizing a small set of root cause indicators for the underlying fault can save much time for failure mitigation. In this paper, we formulate the root cause analysis problem as a new causal inference task named intervention recognition. We proposed a novel unsupervised causal inference-based method named Causal Inference-based Root Cause Analysis (CIRCA). The core idea is a sufficient condition for a monitoring variable to be a root cause indicator, i.e., the change of probability distribution conditioned on the parents in the Causal Bayesian Network (CBN). Towards the application in online service systems, CIRCA constructs a graph among monitoring metrics based on the knowledge of system architecture and a set of causal assumptions. The simulation study illustrates the theoretical reliability of CIRCA. The performance on a real-world dataset further shows that CIRCA can improve the recall of the top-1 recommendation by 25% over the best baseline method.


title: Resource Allocation and 3D Trajectory Design for Power-Efficient IRS-Assisted UAV-NOMA Communications

abstract: In this paper, an intelligent reflecting surface (IRS) is introduced to assist an unmanned aerial vehicle (UAV) communication system based on non-orthogonal multiple access (NOMA) for serving multiple ground users. We aim to minimize the average total system energy consumption by jointly designing the resource allocation strategy, the three dimensional (3D) trajectory of the UAV, as well as the phase control at the IRS. The design is formulated as a non-convex optimization problem taking into account the maximum tolerable outage probability constraint and the individual minimum data rate requirement. To circumvent the intractability of the design problem due to the altitude-dependent Rician fading in UAV-to-user links, we adopt the deep neural network (DNN) approach to accurately approximate the corresponding effective channel gains, which facilitates the development of a low-complexity suboptimal iterative algorithm via dividing the formulated problem into two subproblems and address them alternatingly. Numerical results demonstrate that the proposed algorithm can converge to an effective solution within a small number of iterations and illustrate some interesting insights: (1) IRS enables a highly flexible UAV's 3D trajectory design via recycling the dissipated radio signal for improving the achievable system data rate and reducing the flight power consumption of the UAV; (2) IRS provides a rich array gain through passive beamforming in the reflection link, which can substantially reduce the required communication power for guaranteeing the required quality-of-service (QoS); (3) Optimizing the altitude of UAV's trajectory can effectively exploit the outage-guaranteed effective channel gain to save the total required communication power enabling power-efficient UAV communications.


title: The metric of general rotating spacetimes

abstract: We propose the metric for general rotating spacetimes. These spacetimes are stationary, axially symmetric and spatially asymptotically flat. They can be the spacetimes outside of rotating black holes or rotating celestial bodies such as the Sun and the Earth. The metric functions are expanded in power series of distance and the angle variable is included in the expansion coefficients.


title: Uniqueness of conformal-harmonic maps on locally conformally flat 4-manifolds

abstract: Motivated by the theory of harmonic maps on Riemannian surfaces, conformal-harmonic maps between two Riemannian manifolds $M$ and $N$ were introduced in search of a natural notion of harmonicity for maps defined on a general even dimensional Riemannian manifold $M$. They are critical points of a conformally invariant energy functional and reassemble the GJMS operators when the target is the set of real or complex numbers. On a four dimensional manifold, conformal-harmonic maps are the conformally invariant counterparts of the intrinsic bi-harmonic maps and a mapping version of the conformally invariant Paneitz operator for functions. In this paper, we consider conformal-harmonic maps from certain locally conformally flat 4-manifolds into spheres. We prove a quantitative uniqueness result for such conformal-harmonic maps as an immediate consequence of convexity for the conformally-invariant energy functional. To this end, we are led to prove a version of second order Hardy inequality on manifolds, which may be of independent interest.


title: Decomposing ethnic achievement gaps across multiple levels of analysis and for multiple ethnic groups

abstract: Ethnic achievement gaps are often explained in terms of student and school factors. The decomposition of these gaps into their within- and between-school components has therefore been applied as a strategy to quantify the overall influence of each set of factors. Three competing approaches have previously been proposed, but each is limited to the study of student-school decompositions of the gap between two ethnic groups (e.g., White and Black). The authors show that these approaches can be reformulated as mediation models facilitating new extensions to allow additional levels in the school system (e.g., classrooms, school districts, geographic areas) and multiple ethnic groups (e.g., White, Black, Hispanic, Asian). The authors illustrate these extensions using administrative data for high school students in Colombia and highlight the increased substantive insights and nuanced policy implications they afford.


title: Description and Discussion on DCASE 2022 Challenge Task 2: Unsupervised Anomalous Sound Detection for Machine Condition Monitoring Applying Domain Generalization Techniques

abstract: We present the task description and discussion on the results of the DCASE 2022 Challenge Task 2: ``Unsupervised anomalous sound detection (ASD) for machine condition monitoring applying domain generalization techniques''. Domain shifts are a critical problem for the application of ASD systems. Because domain shifts can change the acoustic characteristics of data, a model trained in a source domain performs poorly for a target domain. In DCASE 2021 Challenge Task 2, we organized an ASD task for handling domain shifts. In this task, it was assumed that the occurrences of domain shifts are known. However, in practice, the domain of each sample may not be given, and the domain shifts can occur implicitly. In 2022 Task 2, we focus on domain generalization techniques that detects anomalies regardless of the domain shifts. Specifically, the domain of each sample is not given in the test data and only one threshold is allowed for all domains. Analysis of 81 submissions from 31 teams revealed two remarkable types of domain generalization techniques: 1) domain-mixing-based approach that obtains generalized representations and 2) domain-classification-based approach that explicitly or implicitly classifies different domains to improve detection performance for each domain.


title: On correlation of the 3-fold divisor function with itself

abstract: Let $\zeta^k(s) = \sum_{n=1}^\infty \tau_k(n) n^{-s}, \Re s > 1$. We present three conditional results on the ternary additive correlation sum $$\sum_{n\le X} \tau_3(n) \tau_3(n+h),\quad (h\ge 1),$$ and give numerical verifications of our method. The first is a conditional proof for the full main term of the above correlation sum for any composite shift $1 \le h \le X^{2/3}$, on assuming an averaged level of distribution for the three-fold divisor function $\tau_3(n)$ in arithmetic progressions to level two-thirds. The second is a conditional derivation for the leading order main term asymptotics of this correlation sum, also valid for any composite shift $1 \le h \le X^{2/3}$. The third result gives a complete expansion of the polynomial for the full main term for the special case $h=1$ from both our method and from the delta-method, showing that our answers match. Our method is essentially elementary, especially for the $h=1$ case, uses congruences, and, as alluded to earlier, gives the same answer as in prior prediction of Conrey and Gonek [Duke Math. J. 107 (3) 2002], previously computed by Ng and Thom [Funct. Approx. Comment. Math. 60(1) 2019], and unpublished heuristic probabilistic arguments of Tao. Our procedure is general and works to give the full main term with a power-saving error term for any correlations of the form $\sum_{n\le X} \tau_k(n) f(n+h)$, to any composite shift $h$, and for a wide class of arithmetic function $f(n)$.


title: Constraining a modified gravity theory in strong gravitational lensing and black hole shadow observations

abstract: We study the strong gravitational lensing effect around rotating black holes in different gravity theories. By calculating the deflection angle of strong gravitational lensing, we evaluate the lensing observables including the image position, separation, magnification and the time delays between the relativistic images of different rotating black holes. We argue that the differences in image positions, separations between the rotating black hole in modified gravity (MOG) theory and the Kerr black hole in general relativity (GR) are more significant in SgrA* than those in M87*, however the differences in time delays between rotating black holes in MOG and GR are shorter in SgrA* than that in M87*. Our evaluations on lensing observables in the strong gravity regime can help to distinguish the MOG from GR. Furthermore, we investigate the shadow observables of different rotating black holes. Employing the EHT observations on the angular shadow radius for supermassive M87* and SgrA* black holes respectively, we estimate the ranges of MOG parameter and obtain its upper limit constraint $0.350\lesssim\alpha_{\rm up}\lesssim 0.485$ and $0.162 \lesssim \alpha_{\rm up} \lesssim 0.285$ correspondingly, relating to black hole spins. This is the first constraint on the MOG parameter for rotating supermassive black holes from EHT observations on the angular shadow radius. Our constraint on the MOG parameter is much tighter compared with the result obtained from the orbital precession of the S2 star.


title: Fair Division with Two-Sided Preferences

abstract: We study a fair division setting in which a number of players are to be fairly distributed among a set of teams. In our model, not only do the teams have preferences over the players as in the canonical fair division setting, but the players also have preferences over the teams. We focus on guaranteeing envy-freeness up to one player (EF1) for the teams together with a stability condition for both sides. We show that an allocation satisfying EF1, swap stability, and individual stability always exists and can be computed in polynomial time, even when teams may have positive or negative values for players. Similarly, a balanced and swap stable allocation that satisfies a relaxation of EF1 can be computed efficiently. When teams have nonnegative values for players, we prove that an EF1 and Pareto optimal allocation exists and, if the valuations are binary, can be found in polynomial time. We also examine the compatibility between EF1 and justified envy-freeness.


title: Confident Sinkhorn Allocation for Pseudo-Labeling

abstract: Semi-supervised learning is a critical tool in reducing machine learning's dependence on labeled data. It has been successfully applied to structured data, such as images and natural language, by exploiting the inherent spatial and semantic structure therein with pretrained models or data augmentation. These methods are not applicable, however, when the data does not have the appropriate structure, or invariances. Due to their simplicity, pseudo-labeling (PL) methods can be widely used without any domain assumptions. However, the greedy mechanism in PL is sensitive to a threshold and can perform poorly if wrong assignments are made due to overconfidence. This paper studies theoretically the role of uncertainty to pseudo-labeling and proposes Confident Sinkhorn Allocation (CSA), which identifies the best pseudo-label allocation via optimal transport to only samples with high confidence scores. CSA outperforms the current state-of-the-art in this practically important area of semi-supervised learning. Additionally, we propose to use the Integral Probability Metrics to extend and improve the existing PACBayes bound which relies on the Kullback-Leibler (KL) divergence, for ensemble models. Our code is publicly available at https://github.com/amzn/confident-sinkhorn-allocation.


title: Computation Offloading and Resource Allocation in F-RANs: A Federated Deep Reinforcement Learning Approach

abstract: The fog radio access network (F-RAN) is a promising technology in which the user mobile devices (MDs) can offload computation tasks to the nearby fog access points (F-APs). Due to the limited resource of F-APs, it is important to design an efficient task offloading scheme. In this paper, by considering time-varying network environment, a dynamic computation offloading and resource allocation problem in F-RANs is formulated to minimize the task execution delay and energy consumption of MDs. To solve the problem, a federated deep reinforcement learning (DRL) based algorithm is proposed, where the deep deterministic policy gradient (DDPG) algorithm performs computation offloading and resource allocation in each F-AP. Federated learning is exploited to train the DDPG agents in order to decrease the computing complexity of training process and protect the user privacy. Simulation results show that the proposed federated DDPG algorithm can achieve lower task execution delay and energy consumption of MDs more quickly compared with the other existing strategies.


title: Deciphering quantum fingerprints in electric conductance

abstract: When the electric conductance of a nano-sized metal is measured at low temperatures, it often exhibits complex but reproducible patterns as a function of external magnetic fields, called quantum fingerprints in electric conductance. Such complex patterns are due to quantum-mechanical interference of conduction electrons; when thermal disturbance is feeble and coherence of the electrons extends all over the sample, the quantum interference pattern reflects microscopic structures, such as crystalline defects and the shape of the sample, giving rise to complicated interference. Although the interference pattern carries such microscopic information, it looks so random that it has not been analysed. Here we show that machine learning allows us to decipher quantum fingerprints; fingerprint patterns in magneto-conductance are shown to be transcribed into spatial images of electron wave function intensities (WIs) in a sample by using generative machine learning. The output WIs reveal quantum interference states of conduction electrons, as well as sample shapes. The present result augments the human ability to identify quantum states, and it should allow microscopy of quantum nanostructures in materials by making use of quantum fingerprints.


title: Detection of arbitrary quantum correlations via synthesized quantum channels

abstract: Quantum correlations are key information about the structures and dynamics of quantum many-body systems. There are many types of high-order quantum correlations with different time orderings, but only a few of them are accessible to the existing detection methods. Recently, a quantum-sensing approach based on sequential weak measurement was proposed to selectively extract arbitrary types of correlations. However, its experimental implementation is still elusive. Here we demonstrate the extraction of arbitrary types of quantum correlations. We generalized the original weak measurement scheme to a protocol using synthesized quantum channels, which can be applied to more universal scenarios including both single and ensemble quantum systems. In this quantum channel method, various controls on the sensors are superimposed to select the sensor-target evolution along a specific path for measuring a desired quantum correlation. Using the versatility of nuclear magnetic resonance techniques, we successfully extract the second- and fourth-order correlations of a nuclear-spin target by another nuclear-spin sensor. The full characterization of quantum correlations provides a new tool for understanding quantum many-body systems, exploring fundamental quantum physics, and developing quantum technologies.


title: A note on the Tur\'an number for the traces of hypergraphs

abstract: Let $\mathcal{H}$ be an $r$-uniform hypergraph and $F$ be a graph. We say $\mathcal{H}$ contains $F$ as a trace if there exists some set $S\subseteq V(\mathcal{H})$ such that $\mathcal{H}|_{S}:=\{E\cap S: E\in E(\mathcal{H})\}$ contains a subgraph isomorphic to $F.$ Let $ex_r(n,Tr(F))$ denote the maximum number of edges of an $n$-vertex $r$-uniform hypergraph $\mathcal{H}$ which does not contain $F$ as a trace. In this paper, we improve the lower bounds of $ex_r(n,Tr(F))$ when $F$ is a star, and give some optimal cases. We also improve the upper bound for the case when $\mathcal{H}$ is $3$-uniform and $F$ is $K_{2,t}$ when $t$ is small.


title: Auction-Promoted Trading for Multiple Federated Learning Services in UAV-Aided Networks

abstract: Federated learning (FL) represents a promising distributed machine learning paradigm that allows smart devices to collaboratively train a shared model via providing local data sets. However, problems considering multiple co-existing FL services and different types of service providers are rarely studied. In this paper, we investigate a multiple FL service trading problem in Unmanned Aerial Vehicle (UAV)-aided networks, where FL service demanders (FLSDs) aim to purchase various data sets from feasible clients (smart devices, e.g., smartphones, smart vehicles), and model aggregation services from UAVs, to fulfill their requirements. An auction-based trading market is established to facilitate the trading among three parties, i.e., FLSDs acting as buyers, distributed located client groups acting as data-sellers, and UAVs acting as UAV-sellers. The proposed auction is formalized as a 0-1 integer programming problem, aiming to maximize the overall buyers' revenue via investigating winner determination and payment rule design. Specifically, since two seller types (data-sellers and UAV-sellers) are considered, an interesting idea integrating seller pair and joint bid is introduced, which turns diverse sellers into virtual seller pairs. Vickrey-Clarke-Groves (VCG)-based, and one-sided matching-based mechanisms are proposed, respectively, where the former achieves the optimal solutions, which, however, is computationally intractable. While the latter can obtain suboptimal solutions that approach to the optimal ones, with low computational complexity, especially upon considering a large number of participants. Significant properties such as truthfulness and individual rationality are comprehensively analyzed for both mechanisms. Extensive experimental results verify the properties and demonstrate that our proposed mechanisms outperform representative methods significantly.


title: Is Fermi 1544-0649 a misaligned blazar? discovering the jet structure with VLBI

abstract: Fermi J1544-0649 is a transient GeV source first detected during its GeV flares in 2017. Multi-wavelength observations during the flaring time demonstrate variability and spectral energy distribution(SED) that are typical of a blazar. Other than the flare time, Fermi J1544-0649 is quiet in the GeV band and looks rather like a quiet galaxy (2MASX J15441967-0649156) for a decade. Together with the broad absorption lines feature we further explore the "misaligned blazar scenario". We analyzed the Very Long Baseline Array (VLBA) and East Asian VLBI Network (EAVN) data from 2018 to 2020 and discovered the four jet components from Fermi J1544-0649. We found a viewing angle around 3.7{\deg} to 7.4{\deg}. The lower limit of the viewing angle indicates a blazar with an extremely low duty cycle of the gamma-ray emission, the upper limit of it supports the "misaligned blazar scenario". Follow-up multi-wavelength observations after 2018 show Fermi J1544-0649 remains quiet in GeV, X-ray, and optical bands. Multi-messenger search of neutrinos is also performed, and an excess of 3.1 {\sigma} significance is found for this source.


title: Posterior covariance information criterion for arbitrary loss functions

abstract: We propose a novel computationally low-cost method for estimating the predictive risks of Bayesian methods for arbitrary loss functions. The proposed method utilises posterior covariance and provides estimators of the Gibbs and the plugin generalization errors. We present theoretical guarantees of the proposed method, clarifying the connection between the widely applicable information criterion, the Bayesian sensitivity analysis, and the infinitesimal jackknife approximation of Bayesian leave-one-out cross validation. An application to differentially-private learning is also discussed.


title: Adaptive Multi-robot Implicit Control of Heterogeneous Herds

abstract: This paper presents a novel control strategy to herd groups of non-cooperative evaders by means of a team of robotic herders. In herding problems, the motion of the evaders is typically determined by strongly nonlinear and heterogeneous reactive dynamics, which makes the development of flexible control solutions a challenging problem. In this context, we propose Implicit Control, an approach that leverages numerical analysis theory to find suitable herding inputs even when the nonlinearities in the evaders' dynamics yield to implicit equations. The intuition behind this methodology consists in driving the input, rather than computing it, towards the unknown value that achieves the desired dynamic behavior of the herd. The same idea is exploited to develop an adaptation law, with stability guarantees, that copes with uncertainties in the herd's models. Moreover, our solution is completed with a novel caging technique based on uncertainty models and Control Barrier Functions (CBFs), together with a distributed estimator to overcome the need of complete perfect measurements. Different simulations and experiments validate the generality and flexibility of the proposal.


title: Intra Encoding Complexity Control with a Time-Cost Model for Versatile Video Coding

abstract: For the latest video coding standard Versatile Video Coding (VVC), the encoding complexity is much higher than previous video coding standards to achieve a better coding efficiency, especially for intra coding. The complexity becomes a major barrier of its deployment and use. Even with many fast encoding algorithms, it is still practically important to control the encoding complexity to a given level. Inspired by rate control algorithms, we propose a scheme to precisely control the intra encoding complexity of VVC. In the proposed scheme, a Time-PlanarCost (viz. Time-Cost, or T-C) model is utilized for CTU encoding time estimation. By combining a set of predefined parameters and the T-C model, CTU-level complexity can be roughly controlled. Then to achieve a precise picture-level complexity control, a framework is constructed including uneven complexity pre-allocation, preset selection and feedback. Experimental results show that, for the challenging intra coding scenario, the complexity error quickly converges to under 3.21%, while keeping a reasonable time saving and rate-distortion (RD) performance. This proves the efficiency of the proposed methods.


title: Multinomial probability distribution and quantum deformed algebras

abstract: The multinomial coefficient and their recurrence relations from the generalized quantum deformed algebras are examined. Moreover, the $\mathcal{R}(p,q)-$ deformed multinomial probability distribution and the negative $\mathcal{R}(p,q)-$ deformed multinomial probability distribution are constructed. The recurrence relations are also determined. Particular cases of our results corresponding to the quantum algebras in the literature are deduced from the general formalism.


title: Anchor Sampling for Federated Learning with Partial Client Participation

abstract: Compared with full client participation, partial client participation is a more practical scenario in federated learning, but it may amplify some challenges in federated learning, such as data heterogeneity. The lack of inactive clients' updates in partial client participation makes it more likely for the model aggregation to deviate from the aggregation based on full client participation. Training with large batches on individual clients is proposed to address data heterogeneity in general, but their effectiveness under partial client participation is not clear. Motivated by these challenges, we propose to develop a novel federated learning framework, referred to as FedAMD, for partial client participation. The core idea is anchor sampling, which separates partial participants into anchor and miner groups. Each client in the anchor group aims at the local bullseye with the gradient computation using a large batch. Guided by the bullseyes, clients in the miner group steer multiple near-optimal local updates using small batches and update the global model. By integrating the results of the two groups, FedAMD is able to accelerate the training process and improve the model performance. Measured by $\epsilon$-approximation and compared to the state-of-the-art methods, FedAMD achieves the convergence by up to $O(1/\epsilon)$ fewer communication rounds under non-convex objectives. Empirical studies on real-world datasets validate the effectiveness of FedAMD and demonstrate the superiority of the proposed algorithm: Not only does it considerably save computation and communication costs, but also the test accuracy significantly improves.


title: Quantum imaging exploiting twisted photon pairs

abstract: Quantum correlation of two-photon states has been utilized to suppress the environmental noise in imaging down to the single-photon level. However, the size of the coherence area of photon pairs limits the applications of quantum imaging based on spatial correlations. Here, we propose a quantum imaging scheme exploiting twisted photon pairs with tunable spatial-correlation regions to circumvent this limitation. We employ a bulk-density coincidence to enhance the imaging signal. Specifically, we introduce a re-scaled image signal, which is immune to the background intensity distribution profile of the photon pulse. We reveal a destructive interference between the anti-bunched photon pair and bunched photon pair in the imaging process. Our work could pave a way for twisted-photon-based quantum holography and quantum microscopy.


title: Deploying Convolutional Networks on Untrusted Platforms Using 2D Holographic Reduced Representations

abstract: Due to the computational cost of running inference for a neural network, the need to deploy the inferential steps on a third party's compute environment or hardware is common. If the third party is not fully trusted, it is desirable to obfuscate the nature of the inputs and outputs, so that the third party can not easily determine what specific task is being performed. Provably secure protocols for leveraging an untrusted party exist but are too computational demanding to run in practice. We instead explore a different strategy of fast, heuristic security that we call Connectionist Symbolic Pseudo Secrets. By leveraging Holographic Reduced Representations (HRR), we create a neural network with a pseudo-encryption style defense that empirically shows robustness to attack, even under threat models that unrealistically favor the adversary.


title: Content Popularity Prediction in Fog-RANs: A Clustered Federated Learning Based Approach

abstract: In this paper, the content popularity prediction problem in fog radio access networks (F-RANs) is investigated. Based on clustered federated learning, we propose a novel mobility-aware popularity prediction policy, which integrates content popularities in terms of local users and mobile users. For local users, the content popularity is predicted by learning the hidden representations of local users and contents. Initial features of local users and contents are generated by incorporating neighbor information with self information. Then, dual-channel neural network (DCNN) model is introduced to learn the hidden representations by producing deep latent features from initial features. For mobile users, the content popularity is predicted via user preference learning. In order to distinguish regional variations of content popularity, clustered federated learning (CFL) is employed, which enables fog access points (F-APs) with similar regional types to benefit from one another and provides a more specialized DCNN model for each F-AP. Simulation results show that our proposed policy achieves significant performance improvement over the traditional policies.


title: Latent Diffusion Energy-Based Model for Interpretable Text Modeling

abstract: Latent space Energy-Based Models (EBMs), also known as energy-based priors, have drawn growing interests in generative modeling. Fueled by its flexibility in the formulation and strong modeling power of the latent space, recent works built upon it have made interesting attempts aiming at the interpretability of text modeling. However, latent space EBMs also inherit some flaws from EBMs in data space; the degenerate MCMC sampling quality in practice can lead to poor generation quality and instability in training, especially on data with complex latent structures. Inspired by the recent efforts that leverage diffusion recovery likelihood learning as a cure for the sampling issue, we introduce a novel symbiosis between the diffusion models and latent space EBMs in a variational learning framework, coined as the latent diffusion energy-based model. We develop a geometric clustering-based regularization jointly with the information bottleneck to further improve the quality of the learned latent space. Experiments on several challenging tasks demonstrate the superior performance of our model on interpretable text modeling over strong counterparts.


title: Improve Ranking Correlation of Super-net through Training Scheme from One-shot NAS to Few-shot NAS

abstract: The algorithms of one-shot neural architecture search(NAS) have been widely used to reduce computation consumption. However, because of the interference among the subnets in which weights are shared, the subnets inherited from these super-net trained by those algorithms have poor consistency in precision ranking. To address this problem, we propose a step-by-step training super-net scheme from one-shot NAS to few-shot NAS. In the training scheme, we firstly train super-net in a one-shot way, and then we disentangle the weights of super-net by splitting them into multi-subnets and training them gradually. Finally, our method ranks 4th place in the CVPR2022 3rd Lightweight NAS Challenge Track1. Our code is available at https://github.com/liujiawei2333/CVPR2022-NAS-competition-Track-1-4th-solution.


title: $\texttt{GradICON}$: Approximate Diffeomorphisms via Gradient Inverse Consistency

abstract: We present an approach to learning regular spatial transformations between image pairs in the context of medical image registration. Contrary to optimization-based registration techniques and many modern learning-based methods, we do not directly penalize transformation irregularities but instead promote transformation regularity via an inverse consistency penalty. We use a neural network to predict a map between a source and a target image as well as the map when swapping the source and target images. Different from existing approaches, we compose these two resulting maps and regularize deviations of the $\bf{Jacobian}$ of this composition from the identity matrix. This regularizer -- $\texttt{GradICON}$ -- results in much better convergence when training registration models compared to promoting inverse consistency of the composition of maps directly while retaining the desirable implicit regularization effects of the latter. We achieve state-of-the-art registration performance on a variety of real-world medical image datasets using a single set of hyperparameters and a single non-dataset-specific training protocol.


title: Pixel to Binary Embedding Towards Robustness for CNNs

abstract: There are several problems with the robustness of Convolutional Neural Networks (CNNs). For example, the prediction of CNNs can be changed by adding a small magnitude of noise to an input, and the performances of CNNs are degraded when the distribution of input is shifted by a transformation never seen during training (e.g., the blur effect). There are approaches to replace pixel values with binary embeddings to tackle the problem of adversarial perturbations, which successfully improve robustness. In this work, we propose Pixel to Binary Embedding (P2BE) to improve the robustness of CNNs. P2BE is a learnable binary embedding method as opposed to previous hand-coded binary embedding methods. P2BE outperforms other binary embedding methods in robustness against adversarial perturbations and visual corruptions that are not shown during training.


title: Faithfulness and sensitivity for ancilla-assisted process tomography

abstract: A system-ancilla bipartite state capable of containing the complete information of an unknown quantum channel acting on the system is called faithful. The equivalence between faithfulness of state and invertibility of the corresponding Jamiolkowski map proved by D'Ariano and Presti has been a useful characterization for ancilla-assisted process tomography albeit the proof was incomplete as they assumed trace nonincreasing quantum operations, not quantum channels. We complete the proof of the equivalence and introduce the generalization of faithfulness to various classes of quantum channels. We also explore a more general notion we call sensitivity, the property of quantum state being altered by any nontrivial action of quantum channel. We study their relationship by characterizing both properties for important classes of quantum channels such as unital channels, random unitary operations and unitary operations. Unexpected (non-)equivalence results among them shed light on the structure of quantum channels by showing that we need only two classes of quantum states for characterizing quantum states faithful or sensitive to various subclasses of quantum channels. For example, it reveals the relation between quantum process tomography and quantum correlation as it turns out that only bipartite states that has no local classical observable at all can be used to sense the effect of unital channels.


title: Provable Benefit of Multitask Representation Learning in Reinforcement Learning

abstract: As representation learning becomes a powerful technique to reduce sample complexity in reinforcement learning (RL) in practice, theoretical understanding of its advantage is still limited. In this paper, we theoretically characterize the benefit of representation learning under the low-rank Markov decision process (MDP) model. We first study multitask low-rank RL (as upstream training), where all tasks share a common representation, and propose a new multitask reward-free algorithm called REFUEL. REFUEL learns both the transition kernel and the near-optimal policy for each task, and outputs a well-learned representation for downstream tasks. Our result demonstrates that multitask representation learning is provably more sample-efficient than learning each task individually, as long as the total number of tasks is above a certain threshold. We then study the downstream RL in both online and offline settings, where the agent is assigned with a new task sharing the same representation as the upstream tasks. For both online and offline settings, we develop a sample-efficient algorithm, and show that it finds a near-optimal policy with the suboptimality gap bounded by the sum of the estimation error of the learned representation in upstream and a vanishing term as the number of downstream samples becomes large. Our downstream results of online and offline RL further capture the benefit of employing the learned representation from upstream as opposed to learning the representation of the low-rank model directly. To the best of our knowledge, this is the first theoretical study that characterizes the benefit of representation learning in exploration-based reward-free multitask RL for both upstream and downstream tasks.


title: Identical particle and lepton mass effects in the decay $H\to Z^\ast(\to\tau^+\tau^-)+Z^\ast(\to\tau^+\tau^-)$

abstract: We consider identical particle and lepton mass effects in the cascade decay $H\to Z^\ast(\to\tau^+\tau^-)+Z^\ast(\to\tau^+\tau^-)$. Since the scale of the problem is set by the off-shellness $p_a^2$ and $p_b^2$ of the respective gauge bosons in the limits ($4m_\tau^2\le p_a^2,p_b^2\le (m_H-2m_\tau)^2$) and not by $m_H^2$, lepton mass effects are nonnegligible in particular close to the threshold of the off-shell decays. We calculate the rates and single angle decay distributions and compare them with the corresponding rates and single angle decay distributions for the nonidentical particle decays $H\to Z^\ast(\to e^+e^-)+Z^\ast(\to\mu^+\mu^-)$ involving negligible lepton masses.


title: Gaia Data Release 3 Properties and validation of the radial velocities

abstract: Gaia Data Release 3 (Gaia DR3) contains the second release of the combined radial velocities. It is based on the spectra collected during the first 34 months of the nominal mission. The longer time baseline and the improvements of the pipeline made it possible to push the processing limit, from Grvs = 12 in Gaia DR2, to Grvs = 14 mag. In this article, we describe the new functionalities implemented for Gaia DR3, the quality filters applied during processing and post-processing and the properties and performance of the published velocities. For Gaia DR3, several functionalities were upgraded or added. (Abridged) Gaia DR3 contains the combined radial velocities of 33 812 183 stars. With respect to Gaia DR2, the interval of temperature has been expanded from Teff \in [3600, 6750] K to Teff \in [3100, 14500] K for the bright stars ( Grvs \leq 12 mag) and [3100, 6750] K for the fainter stars. The radial velocities sample a significant part of the Milky Way: they reach a few kilo-parsecs beyond the Galactic centre in the disc and up to about 10-15 kpc vertically into the inner halo. The median formal precision of the velocities is of 1.3 km/s at Grvs = 12 and 6.4 km/s at Grvs = 14 mag. The velocity zero point exhibits a small systematic trend with magnitude starting around Grvs = 11 mag and reaching about 400 m/s at Grvs = 14 mag. A correction formula is provided, which can be applied to the published data. The Gaia DR3 velocity scale is in satisfactory agreement with APOGEE, GALAH, GES and RAVE, with systematic differences that mostly do not exceed a few hundreds m/s. The properties of the radial velocities are also illustrated with specific objects: open clusters, globular clusters as well as the Large Magellanic Cloud (LMC). For example, the precision of the data allows to map the line-of-sight rotational velocities of the globular cluster 47 Tuc and of the LMC.


title: Geometrically Guided Integrated Gradients

abstract: Interpretability methods for deep neural networks mainly focus on the sensitivity of the class score with respect to the original or perturbed input, usually measured using actual or modified gradients. Some methods also use a model-agnostic approach to understanding the rationale behind every prediction. In this paper, we argue and demonstrate that local geometry of the model parameter space relative to the input can also be beneficial for improved post-hoc explanations. To achieve this goal, we introduce an interpretability method called "geometrically-guided integrated gradients" that builds on top of the gradient calculation along a linear path as traditionally used in integrated gradient methods. However, instead of integrating gradient information, our method explores the model's dynamic behavior from multiple scaled versions of the input and captures the best possible attribution for each input. We demonstrate through extensive experiments that the proposed approach outperforms vanilla and integrated gradients in subjective and quantitative assessment. We also propose a "model perturbation" sanity check to complement the traditionally used "model randomization" test.


title: Superiority of GNN over NN in generalizing bandlimited functions

abstract: Graph Neural Networks (GNNs) have emerged as formidable resources for processing graph-based information across diverse applications. While the expressive power of GNNs has traditionally been examined in the context of graph-level tasks, their potential for node-level tasks, such as node classification, where the goal is to interpolate missing node labels from the observed ones, remains relatively unexplored. In this study, we investigate the proficiency of GNNs for such classifications, which can also be cast as a function interpolation problem. Explicitly, we focus on ascertaining the optimal configuration of weights and layers required for a GNN to successfully interpolate a band-limited function over Euclidean cubes. Our findings highlight a pronounced efficiency in utilizing GNNs to generalize a bandlimited function within an $\varepsilon$-error margin. Remarkably, achieving this task necessitates only $O_d((\log\varepsilon^{-1})^d)$ weights and $O_d((\log\varepsilon^{-1})^d)$ training samples. We explore how this criterion stacks up against the explicit constructions of currently available Neural Networks (NNs) designed for similar tasks. Significantly, our result is obtained by drawing an innovative connection between the GNN structures and classical sampling theorems. In essence, our pioneering work marks a meaningful contribution to the research domain, advancing our understanding of the practical GNN applications.


title: Cohomology and relative Rota-Baxter-Nijenhuis structures on LieYRep pairs

abstract: A LieYRep pair consists of a Lie-Yamaguti algebra and its representation. In this paper, we establish the cohomology theory of LieYRep pairs and characterize their linear deformations by the second cohomology group. Then we introduce the notion of relative Rota-Baxter-Nijenhuis structures on LieYRep pairs, investigate their properties, and prove that a relative Rota-Baxter-Nijenhuis structure gives rise to a pair of compatible relative Rota-Baxter operators under a certain condition. Finally, we show the equivalence between $r$-matrix-Nijenhuis structures and Rota-Baxter-Nijenhuis structures on Lie-Yamaguti algebras.


title: A note on homogeneous rank $2$ locally nilpotent derivations on $k[X,Y,Z]$

abstract: In this article we show that for every prime number $p$, any irreducible homogeneous locally nilpotent derivations of rank $2$ and degree $p-2$ are triangularizable. Further, we describe the structure of irreducible non-triangularizable homogeneous locally nilpotent derivations of rank $2$ and degree $pq-2$, where $p,q$ are prime numbers. Consequently, we give explicit descriptions of the generators of the image ideals of certain homogeneous locally nilpotent derivations of rank $2$.


title: Computational Models based on Synchronized Oscillators for Solving Combinatorial Optimization Problems

abstract: The equivalence between the natural minimization of energy in a dynamical system and the minimization of an objective function characterizing a combinatorial optimization problem offers a promising approach to designing dynamical system-inspired computational models and solvers for such problems. For instance, the ground state energy of coupled electronic oscillators, under second harmonic injection, can be directly mapped to the optimal solution of the Maximum Cut problem. However, prior work has focused on a limited set of such problems. Therefore, in this work, we formulate computing models based on synchronized oscillator dynamics for a broad spectrum of combinatorial optimization problems ranging from the Max-K-Cut (the general version of the Maximum Cut problem) to the Traveling Salesman Problem. We show that synchronized oscillator dynamics can be engineered to solve these different combinatorial optimization problems by appropriately designing the coupling function and the external injection to the oscillators. Our work marks a step forward towards expanding the functionalities of oscillator-based analog accelerators and furthers the scope of dynamical system solvers for combinatorial optimization problems.


title: The smallest vertex-primitive $2$-arc-transitive digraph

abstract: In 2017, Giudici, Li and the third author constructed the first known family of vertex-primitive $2$-arc-transitive digraphs of valency at least $2$. The smallest digraph in this family admits $\mathrm{PSL}_3(49)$ acting $2$-arc-transitively with vertex-stabilizer $\mathrm{A}_6$ and hence has $30758154560$ vertices. In this paper, we prove that this digraph is the vertex-primitive $2$-arc-transitive digraph of valency at least $2$ with fewest vertices.


title: Local Distance Preserving Auto-encoders using Continuous k-Nearest Neighbours Graphs

abstract: Auto-encoder models that preserve similarities in the data are a popular tool in representation learning. In this paper we introduce several auto-encoder models that preserve local distances when mapping from the data space to the latent space. We use a local distance preserving loss that is based on the continuous k-nearest neighbours graph which is known to capture topological features at all scales simultaneously. To improve training performance, we formulate learning as a constraint optimisation problem with local distance preservation as the main objective and reconstruction accuracy as a constraint. We generalise this approach to hierarchical variational auto-encoders thus learning generative models with geometrically consistent latent and data spaces. Our method provides state-of-the-art performance across several standard datasets and evaluation metrics.


title: Safe-FinRL: A Low Bias and Variance Deep Reinforcement Learning Implementation for High-Freq Stock Trading

abstract: In recent years, many practitioners in quantitative finance have attempted to use Deep Reinforcement Learning (DRL) to build better quantitative trading (QT) strategies. Nevertheless, many existing studies fail to address several serious challenges, such as the non-stationary financial environment and the bias and variance trade-off when applying DRL in the real financial market. In this work, we proposed Safe-FinRL, a novel DRL-based high-freq stock trading strategy enhanced by the near-stationary financial environment and low bias and variance estimation. Our main contributions are twofold: firstly, we separate the long financial time series into the near-stationary short environment; secondly, we implement Trace-SAC in the near-stationary financial environment by incorporating the general retrace operator into the Soft Actor-Critic. Extensive experiments on the cryptocurrency market have demonstrated that Safe-FinRL has provided a stable value estimation and a steady policy improvement and reduced bias and variance significantly in the near-stationary financial environment.


title: Local-global principles for multinorm tori over semi-global fields

abstract: Let $K$ be a complete discretely valued field with the residue field $\kappa$. Assume that cohomological dimension of $\kappa$ is less than or equal to $1$ (for example, $\kappa$ is an algebraically closed field or a finite field). Let $F$ be the function field of a curve over $K$. Let $n$ be a squarefree positive integer not divisible by char$(\kappa)$. Then for any two degree $n$ abelian extensions, we prove that the local-global principle holds for the associated multinorm torus with respect to discrete valuations. Let $\mathscr{X}$ be a regular proper model of $F$ such that the reduced special fibre $X$ is a union of regular curves with normal crossings. Suppose that $\kappa$ is algebraically closed with $char(\kappa)\neq 2$. If the graph associated to $\mathscr{X}$ is a tree (e.g. $F = K(t)$) then we show that the same local-global principle holds for the multinorm torus associated to finitely many abelian extensions where one of the extensions is quadratic and others are of degree not divisible by $4$.


title: INDIGO: Intrinsic Multimodality for Domain Generalization

abstract: For models to generalize under unseen domains (a.k.a domain generalization), it is crucial to learn feature representations that are domain-agnostic and capture the underlying semantics that makes up an object category. Recent advances towards weakly supervised vision-language models that learn holistic representations from cheap weakly supervised noisy text annotations have shown their ability on semantic understanding by capturing object characteristics that generalize under different domains. However, when multiple source domains are involved, the cost of curating textual annotations for every image in the dataset can blow up several times, depending on their number. This makes the process tedious and infeasible, hindering us from directly using these supervised vision-language approaches to achieve the best generalization on an unseen domain. Motivated from this, we study how multimodal information from existing pre-trained multimodal networks can be leveraged in an "intrinsic" way to make systems generalize under unseen domains. To this end, we propose IntriNsic multimodality for DomaIn GeneralizatiOn (INDIGO), a simple and elegant way of leveraging the intrinsic modality present in these pre-trained multimodal networks along with the visual modality to enhance generalization to unseen domains at test-time. We experiment on several Domain Generalization settings (ClosedDG, OpenDG, and Limited sources) and show state-of-the-art generalization performance on unseen domains. Further, we provide a thorough analysis to develop a holistic understanding of INDIGO.


title: The ALMaQUEST survey. VIII. What causes the velocity discrepancy between CO and H$\alpha$ rotation curves in galaxies?

abstract: We compare the CO(1-0) and H$\alpha$ kinematics in 34 nearby galaxies, selected from the ALMaQUEST and EDGE-CALIFA surveys. We use 3-D Barolo, a 3D tilted ring model, to derive the CO and H$\alpha$ rotation curves. Before comparing rotation curves in the 34 nearby galaxies, we found systematics between the MaNGA and the CALIFA data using eight MaNGA-CALIFA overlapping galaxies. We assume the rotation curves based on the MaNGA data are accurate and made the corresponding correction to the CALIFA data. Our result shows that $\sim$56% (19/34) of our galaxies present slower H$\alpha$ rotation curves compared to the CO rotation curves, with a median value of 6.5 km/s. The remaining galaxies (15/34) show consistent CO-H$\alpha$ rotation velocity within uncertainties. As a result, the Ha rotation may underestimate the total dynamical mass by ~6% for a circular velocity of 200 km/s (the median value in our sample). Furthermore, the velocity difference between the CO and H$\alpha$ rotation velocity is found to correlate with the velocity dispersion difference between CO and H$\alpha$, suggesting that the gas pressure plays a role in the velocity discrepancy. After incorporating the effect of pressure support due to the turbulent gas motion to our sample, the median value of the velocity differences decreases to 1.9 km/s, which in turn reduces the underestimation of dynamical mass to $\sim$2%. Finally, we also investigate the role that the extra-planar diffuse ionized gas (eDIG) plays in the CO-H$\alpha$ velocity discrepancy.


title: Second sound with ultracold atoms: A brief historical account

abstract: We briefly review the research on second sound in ultracold atomic physics, with emphasis on strongly interacting unitary Fermi gases with infinitely large $s$-wave scattering length. Second sound is a smoking-gun feature of superfluidity in any quantum superfluids. The observation and characterization of second sound in ultracold quantum gases has been a long-standing challenge, and in recent years there are rapid developments due to the experimental realization of a uniform box-trap potential. The purpose of this review is to present a brief historical account of the key research activities on second sound over the past two decades. We summarize the initial theoretical works that reveal the characteristics of second sound in a unitary Fermi gas, and introduce its first observation in a highly elongated harmonic trap. We then discuss the most recent measurement on second sound attenuation in a uniform setup, which may open a new era to understand quantum transport near quantum criticality in the strongly interacting regime. The observation of second sound in homogeneous weakly interacting Bose condensates in both two and three dimensions are also briefly introduced.


title: Optogenetic switching of migration of contractile cells

abstract: Cell crawling on flat substrates is based on intracellular flows of the actin cytoskeleton that are driven by both actin polymerization at the front and myosin contractility at the back. The new experimental tool of optogenetics makes it possible to spatially control contraction and thereby possibly also cell migration. Here we analyze this situation theoretically using a one-dimensional active gel model in which the excluded volume interactions of myosin and their aggregation into minifilaments is modeled by a supercritical van der Waals fluid. This physically simple and transparent, but nonlinear and thermodynamically rigorous model predicts bistability between sessile and motile solutions. We then show that one can switch between these two states at realistic parameter ranges via optogenetic activation or inhibition of contractility, in agreement with recent experiments. We also predict the required activation strengths and initiation times.


title: Why Quantization Improves Generalization: NTK of Binary Weight Neural Networks

abstract: Quantized neural networks have drawn a lot of attention as they reduce the space and computational complexity during the inference. Moreover, there has been folklore that quantization acts as an implicit regularizer and thus can improve the generalizability of neural networks, yet no existing work formalizes this interesting folklore. In this paper, we take the binary weights in a neural network as random variables under stochastic rounding, and study the distribution propagation over different layers in the neural network. We propose a quasi neural network to approximate the distribution propagation, which is a neural network with continuous parameters and smooth activation function. We derive the neural tangent kernel (NTK) for this quasi neural network, and show that the eigenvalue of NTK decays at approximately exponential rate, which is comparable to that of Gaussian kernel with randomized scale. This in turn indicates that the Reproducing Kernel Hilbert Space (RKHS) of a binary weight neural network covers a strict subset of functions compared with the one with real value weights. We use experiments to verify that the quasi neural network we proposed can well approximate binary weight neural network. Furthermore, binary weight neural network gives a lower generalization gap compared with real value weight neural network, which is similar to the difference between Gaussian kernel and Laplace kernel.


title: Signed interval graphs and bigraphs: A generalization of interval graphs and bigraphs

abstract: In this paper, we define and characterize signed interval graphs and bigraphs introducing the concept of negative interval. Also we have shown that these classes of graphs are respectively a generalization of well known classes of interval graphs and interval bigraphs. In this context we have observed that signed interval graphs coincide with the complement of Threshold tolerance graphs(co-TT graphs) introduced by Monma, Reed and Trotter \cite{22}. Finally, we have solved the open problem of forbidden induced subgraph characterization of co-TT graphs posed by them in the same paper.


title: Novel Ultra-hard tetragonal Octacarbon C8 close to Diamond from First Principles

abstract: Novel ultra-hard carbon allotrope is proposed with mechanical, dynamic, and thermal properties like diamond. Based on energy criteria from computations within density functional theory DFT, tetragonal C8 stoichiometry is identified as a cohesive network of corner sharing C4 tetrahedra illustrated by charge density projections exhibiting sp3-like carbon hybridization. The new allotrope is mechanically (elastic constants) and dynamically (phonons) stable, exhibiting thermal properties (heat capacity CV) in close agreement with experimental data of diamond from the literature. From the used models to evaluate Vickers hardness, a larger magnitude with respect diamond is hypothesized for the new allotrope. Electronic band structure calculations show insulating behavior with large band gap of 5 eV like diamond.


title: Primitive decomposition of Bott-Chern and Dolbeault harmonic $(k,k)$-forms on compact almost K\"ahler manifolds

abstract: We consider the primitive decomposition of $\bar \partial, \partial$, Bott-Chern and Aeppli-harmonic $(k,k)$-forms on compact almost K\"ahler manifolds $(M,J,\omega)$. For any $D \in \{\bar\partial, \partial, BC, A\}$, we prove that the $L^k P^0$ component of $\psi \in \mathcal{H}_{D}^{k,k}$, is a constant multiple of $\omega^k$. Focusing on dimension 8, we give a full description of the spaces $\mathcal{H}_{BC}^{2,2}$ and $\mathcal{H}_{A}^{2,2}$, from which follows $\mathcal{H}^{2,2}_{BC}\subseteq\mathcal{H}^{2,2}_{\partial}$ and $\mathcal{H}^{2,2}_{A}\subseteq\mathcal{H}^{2,2}_{\bar\partial}$. We also provide an almost K\"ahler 8-dimensional example where the previous inclusions are strict and the primitive components of an harmonic form $\psi \in \mathcal{H}_{D}^{k,k}$ are not $D$-harmonic, showing that the primitive decomposition of $(k,k)$-forms in general does not descend to harmonic forms.


title: Testing CMB Anomalies in E-mode Polarization with Current and Future Data

abstract: In this paper, we explore the power of the cosmic microwave background (CMB) polarization (E-mode) data to corroborate four potential anomalies in CMB temperature data: the lack of large angular-scale correlations, the alignment of the quadrupole and octupole (Q-O), the point-parity asymmetry, and the hemispherical power asymmetry. We use CMB simulations with noise representative of three experiments -- the Planck satellite, the Cosmology Large Angular Scale Surveyor (CLASS), and the LiteBIRD satellite -- to test how current and future data constrain the anomalies. We find the correlation coefficients $\rho$ between temperature and E-mode estimators to be less than $0.1$, except for the point-parity asymmetry ($\rho=0.17$ for cosmic-variance-limited simulations), confirming that E-modes provide a check on the anomalies that is largely independent of temperature data. Compared to Planck component-separated CMB data (SMICA), the putative LiteBIRD survey would reduce errors on E-mode anomaly estimators by factors of $\sim 3$ for hemispherical power asymmetry and point-parity asymmetry, and by $\sim 26$ for lack of large-scale correlation. The improvement in Q-O alignment is not obvious due to large cosmic variance, but we found the ability to pin down the estimator value will be improved by a factor $\gtrsim100$. Improvements with CLASS are intermediate to these.


title: Maxwell's two-demon engine under pure dephasing noise

abstract: The interplay between thermal machines and quantum correlations is of great interest in both quantum thermodynamics and quantum information science. Recently, a quantum Szil\'ard engine has been proposed, showing that the quantum steerability between a Maxwell's demon and a work medium can be beneficial to a work extraction task. Nevertheless, this type of quantum-fueled machine is usually fragile in the presence of decoherence effects. We provide an example of the pure dephasing process, showing that the engine's quantumness can be degraded. Therefore, in this work, we tackle this question by introducing a second demon who can access a control system and make the work medium pass through two dephasing channels in a manner of quantum superposition. Furthermore, we provide a quantum circuit to simulate our proposed concept and test it on IBMQ and IonQ quantum computers.


title: From Perception to Programs: Regularize, Overparameterize, and Amortize

abstract: Toward combining inductive reasoning with perception abilities, we develop techniques for neurosymbolic program synthesis where perceptual input is first parsed by neural nets into a low-dimensional interpretable representation, which is then processed by a synthesized program. We explore several techniques for relaxing the problem and jointly learning all modules end-to-end with gradient descent: multitask learning; amortized inference; overparameterization; and a differentiable strategy for penalizing lengthy programs. Collectedly this toolbox improves the stability of gradient-guided program search, and suggests ways of learning both how to perceive input as discrete abstractions, and how to symbolically process those abstractions as programs.


title: A supCBI process with application to streamflow discharge and a model reduction

abstract: We propose a new stochastic model for streamflow discharge timeseries as a jump-driven process, called a superposition of continuous-state branching processes with immigration (a supCBI process). It is a non-Markovian model having the capability of reproducing the subexponential autocorrelation found in the hydrological data. The Markovian embedding as a version of matrix analytic methods is applied to the supCBI process, successfully yielding analytical formulae of statistical moments and autocorrelation. The supCBI process is identified at study sites, where hourly streamflow discharge data are available. We also consider another Markovian embedding as a model reduction of the supCBI process to a continuous-time binary semi-Markov chain of high- and low-flow regimes. We show that waiting times can be modeled using a mixture of exponential distributions, suggesting that semi-Markov chains serve as effectively reduced models of the supCBI process.