title: Computing Divergences between Discrete Decomposable Models

abstract: There are many applications that benefit from computing the exact divergence between 2 discrete probability measures, including machine learning. Unfortunately, in the absence of any assumptions on the structure or independencies within these distributions, computing the divergence between them is an intractable problem in high dimensions. We show that we are able to compute a wide family of functionals and divergences, such as the alpha-beta divergence, between two decomposable models, i.e. chordal Markov networks, in time exponential to the treewidth of these models. The alpha-beta divergence is a family of divergences that include popular divergences such as the Kullback-Leibler divergence, the Hellinger distance, and the chi-squared divergence. Thus, we can accurately compute the exact values of any of this broad class of divergences to the extent to which we can accurately model the two distributions using decomposable models.


title: Local mechanism of valence bond formation in IrTe$_2$

abstract: Doped IrTe$_2$ is considered a platform for topological superconductivity and therefore receives currently a lot of interest. In addition, the superconductivity in these materials exists in close vicinity of electronic valence bond crystals, which we explore here by means of high-pressure single crystal x-ray diffraction in combination with density functional theory. Our crystallographic refinements provide unprecedented information about the structural evolution as a function of applied pressure up to 42 GPa. Using this structural information for density functional theory calculations, we show that the valence bond formation in IrTe$_2$ is driven by changes in the Ir-Te-Ir bond angle. When a valence bond is formed, this bond angle decreases drastically, leading to a stabilization of local valence bonds large enough to push them out of a broad band continuum. This unusual local mechanism of valence bond formation in an itinerant material provides a natural explanation for the different valence bond orders in IrTe$_2$, implies a very strong electron-phonon coupling and is most likely relevant for the superconductivity as well.


title: MASTAF: A Model-Agnostic Spatio-Temporal Attention Fusion Network for Few-shot Video Classification

abstract: We propose MASTAF, a Model-Agnostic Spatio-Temporal Attention Fusion network for few-shot video classification. MASTAF takes input from a general video spatial and temporal representation,e.g., using 2D CNN, 3D CNN, and Video Transformer. Then, to make the most of such representations, we use self- and cross-attention models to highlight the critical spatio-temporal region to increase the inter-class variations and decrease the intra-class variations. Last, MASTAF applies a lightweight fusion network and a nearest neighbor classifier to classify each query video. We demonstrate that MASTAF improves the state-of-the-art performance on three few-shot video classification benchmarks(UCF101, HMDB51, and Something-Something-V2), e.g., by up to 91.6%, 69.5%, and 60.7% for five-way one-shot video classification, respectively.


title: Monolithic Integration of Quantum Resonant Tunneling Gate on a 22nm FD-SOI CMOS Process

abstract: The proliferation of quantum computing technologies has fueled the race to build a practical quantum computer. The spectrum of the innovation is wide and encompasses many aspects of this technology, such as the qubit, control and detection mechanism, cryogenic electronics, and system integration. A few of those emerging technologies are poised for successful monolithic integration of cryogenic electronics with the quantum structure where the qubits reside. In this work, we present a fully integrated Quantum Processor Unit in which the quantum core is co-located with control and detection circuits on the same die in a commercial 22-nm FD-SOI process from GlobalFoundries. The system described in this work comprises a two dimensional (2D) 240 qubits array integrated with 8 detectors and 32 injectors operating at 3K and inside a two-stage Gifford-McMahon cryo-cooler. The power consumption of each detector and injector is 1mW and 0.27mW, respectively. The control sequence is programmed into an on-chip pattern generator that acts as a command and control block for all hardware in the Quantum Processor Unit. Using the aforementioned apparatus, we performed a quantum resonant tunneling experiment on two qubits inside the 2D qubit array. With supporting lab measurements, we demonstrate the feasibility of the proposed architecture in scaling-up the existing quantum core to thousands of qubits.


title: Effect of clouds on emission spectra for Super Venus

abstract: We report a model study on the effects of clouds on emission spectra of super-Venus planets. Our goal is to assess possible ways to identify characteristic spectral features due to clouds. We show that it is possible to distinguish an impact of H2SO4 clouds on the CO2 absorption band at 4.8 micron for temperature profiles with and without a thermal inversion. The thermal inversion can help to distinguish the signal from high altitude clouds (85 km, ~1 mbar). Featureless emission spectra are found for high altitude clouds (85 km, ~1 mbar) with temperature profile without thermal inversion. More spectral features appear in the emission spectra with decreasing cloud top altitudes. The compactness of clouds has an inverse effect on emission spectra than cloud top altitudes. Small cloud scale heights reduce the signal and the CO2 absorption bands become flat.


title: A Critical Comparison on Attitude Estimation: From Gaussian Approximate Filters to Coordinate-free Dual Optimal Control

abstract: This paper conveys attitude and rate estimation without rate sensors by performing a critical comparison, validated by extensive simulations. The two dominant approaches to facilitate attitude estimation are based on stochastic and set-membership reasoning. The first one mostly utilizes the commonly known Gaussian-approximate filters, namely the EKF and UKF. Although more conservative, the latter seems to be more promising as it considers the inherent geometric characteristics of the underline compact state space and accounts -- from first principles -- for large model errors. We address the set-theoretic approach from a control point of view, and we show that it can overcome reported deficiencies of the Bayesian architectures related to this problem, leading to coordinate-free optimal filters. Lastly, as an example, we derive a modified predictive filter on the tangent bundle of the special orthogonal group $\mathbb{TSO}(3)$.


title: Moments estimators and omnibus chi-square tests for some usual probability laws

abstract: For many probability laws, in parametric models, the estimation of the parameters can be done in the frame of the maximum likelihood method, or in the frame of moment estimation methods, or by using the plug-in method, etc. Usually, for estimating more than one parameter, the same frame is used. We focus on the moment estimation method in this paper. We use the instrumental tool of the functional empirical process (fep) in Lo (2016) to show how it is practical to derive, almost algebraically, the joint distribution Gaussian law and to derive omnibus chi-square asymptotic laws from it. We choose four distributions to illustrate the method (Gamma law, beta law, Uniform law and Fisher law) and completely describe the asymptotic laws of the moment estimators whenever possible. Simulations studies are performed to investigate for each case the smallest sizes for which the obtained statistical tests are recommendable. Generally, the omnibus chi-square test proposed here work fine with sample sizes around fifty


title: The perils of being unhinged: On the accuracy of classifiers minimizing a noise-robust convex loss

abstract: Van Rooyen et al. introduced a notion of convex loss functions being robust to random classification noise, and established that the "unhinged" loss function is robust in this sense. In this note we study the accuracy of binary classifiers obtained by minimizing the unhinged loss, and observe that even for simple linearly separable data distributions, minimizing the unhinged loss may only yield a binary classifier with accuracy no better than random guessing.


title: Variational Regularization in Inverse Problems and Machine Learning

abstract: This paper discusses basic results and recent developments on variational regularization methods, as developed for inverse problems. In a typical setup we review basic properties needed to obtain a convergent regularization scheme and further discuss the derivation of quantitative estimates respectively needed ingredients such as Bregman distances for convex functionals. In addition to the approach developed for inverse problems we will also discuss variational regularization in machine learning and work out some connections to the classical regularization theory. In particular we will discuss a reinterpretation of machine learning problems in the framework of regularization theory and a reinterpretation of variational methods for inverse problems in the framework of risk minimization. Moreover, we establish some previously unknown connections between error estimates in Bregman distances and generalization errors.


title: Lifts, transfers, and degrees of univariate maps

abstract: One can compute the local $\mathbb{A}^1$-degree at points with separable residue field by base changing, working rationally, and post-composing with the field trace. We show that for endomorphisms of the affine line, one can compute the local $\mathbb{A}^1$-degree at points with inseparable residue field by taking a suitable lift of the polynomial and transferring its local degree. We also discuss the general set-up and strategy in terms of the six functor formalism. As an application, we show that trace forms of number fields are local $\mathbb{A}^1$-degrees.


title: Deciphering the role of multiple scatterings and time delays in the in-medium emission process

abstract: In this work we use the all-order resummed solution of the BDMPS-Z spectrum to shed light on the dynamics that controls the in-medium radiation process for each kinematical regime. We find that multiple scatterings are essential to correctly describe the radiation process both in the low and mid-energy regime, while in the high-energy region one single hard scattering is enough. Furthermore, we compute the all-order spectrum when the medium is produced with a time delay with respect to the hard process in which the parent parton was created. The propagation of the hard parton though vacuum before the medium formation induces extra medium-induced radiation which might have an impact on phenomenological analyses.


title: Macroscopic scalar curvature and codimension 2 width

abstract: We show that a complete $3$-dimensional Riemannian manifold $M$ with finitely generated first homology has macroscopic dimension $1$ if it satisfies the following "macroscopic curvature" assumptions: every ball of radius $10$ in $M$ has volume at most $4$, and every loop in every ball of radius $1$ in $M$ is null-homologous in the concentric ball of radius $2$.


title: Vortices in spin-0 superfluids carry magnetic flux

abstract: Vortices in spin-$0$ superfluids generically carry magnetic fields inside their cores, so that even neutral superfluid vortices may be thought of as magnetic flux tubes. We give a systematic analysis of this `vortex magnetic effect' using effective field theory, clarifying earlier literature on the subject. Our analysis shows that in superfluid Helium-$4$ the vortex magnetic effect may be large enough to be experimentally detectable.


title: Refined Commonsense Knowledge from Large-Scale Web Contents

abstract: Commonsense knowledge (CSK) about concepts and their properties is helpful for AI applications. Prior works, such as ConceptNet, have compiled large CSK collections. However, they are restricted in their expressiveness to subject-predicate-object (SPO) triples with simple concepts for S and strings for P and O. This paper presents a method called ASCENT++ to automatically build a large-scale knowledge base (KB) of CSK assertions, with refined expressiveness and both better precision and recall than prior works. ASCENT++ goes beyond SPO triples by capturing composite concepts with subgroups and aspects, and by refining assertions with semantic facets. The latter is essential to express the temporal and spatial validity of assertions and further qualifiers. Furthermore, ASCENT++ combines open information extraction (OpenIE) with judicious cleaning and ranking by typicality and saliency scores. For high coverage, our method taps into the large-scale crawl C4 with broad web contents. The evaluation with human judgments shows the superior quality of the ASCENT++ KB, and an extrinsic evaluation for QA-support tasks underlines the benefits of ASCENT++. A web interface, data, and code can be accessed at https://ascentpp.mpi-inf.mpg.de/.


title: H-band light curves of Milky Way Cepheids via Difference Imaging

abstract: We present H-band light curves of Milky Way Classical Cepheids observed as part of the DEHVILS survey with the Wide-Field Infrared Camera on the United Kingdom InfraRed Telescope. Due to the crowded nature of these fields caused by defocusing the Camera, we performed difference-imaging photometry by modifying a pipeline originally developed to analyze images from the Transiting Exoplanet Survey Satellite. We achieved a photometric precision in line with expectations from photon statistics, reaching 0.01 mag for 8 <= H <= 11 mag. We used the resulting Cepheid light curves to derive corrections to "mean light" for random-phase Hubble Space Telescope observations in F160W. We find good agreement with previous phase corrections based on VI light curves from the literature, with a mean difference of -1 +/- 6 millimag.


title: InvGAN: Invertible GANs

abstract: Generation of photo-realistic images, semantic editing and representation learning are a few of many potential applications of high resolution generative models. Recent progress in GANs have established them as an excellent choice for such tasks. However, since they do not provide an inference model, image editing or downstream tasks such as classification can not be done on real images using the GAN latent space. Despite numerous efforts to train an inference model or design an iterative method to invert a pre-trained generator, previous methods are dataset (e.g. human face images) and architecture (e.g. StyleGAN) specific. These methods are nontrivial to extend to novel datasets or architectures. We propose a general framework that is agnostic to architecture and datasets. Our key insight is that, by training the inference and the generative model together, we allow them to adapt to each other and to converge to a better quality model. Our \textbf{InvGAN}, short for Invertible GAN, successfully embeds real images to the latent space of a high quality generative model. This allows us to perform image inpainting, merging, interpolation and online data augmentation. We demonstrate this with extensive qualitative and quantitative experiments.


title: Quotients of span categories that are allegories and the representation of regular categories

abstract: We consider the ordinary category Span(C) of (isomorphism classes of) spans of morphisms in a category C with finite limits as needed, composed horizontally via pullback, and give a general criterion for a quotient of Span(C) to be an allegory. In particular, when C carries a pullback-stable, but not necessarily proper, (E, M)-factorization system, we establish a quotient category Span_E(C) that is isomorphic to the category Rel_M(C) of M-relations in C, and show that it is a (unitary and tabular) allegory precisely when M is a class of monomorphisms in C. Without this restriction, one can still find a least pullback-stable and composition-closed class E. containing E such that Span_E.(C) is a unitary and tabular allegory. In this way one obtains a left adjoint to the 2-functor that assigns to every unitary and tabular allegory the regular category of its Lawverian maps. With the Freyd-Scedrov Representation Theorem for regular categories, we conclude that every finitely complete category with a stable factorization system has a reflection into the huge 2-category of all regular categories.


title: Polymatroids, closure operators and lattices

abstract: We study the closure operators of polymatroids from a lattice theoretic point of view. We show that polymatroid closure operators relate to lattices enriched with a generating set in the same way that matroids relate to geometric lattices. Through this relation we define a notion of minors for lattices enriched with a generating set. For the lattice of flats of a graphic matroid, the minors of the lattice are shown to correspond to simple minors of the graph when the vertices are labeled and the edges unlabeled. This correspondence is generalized to all polymatroids.


title: Asymptotics of coefficients of algebraic series via embedding into rational series (extended abstract)

abstract: We present a strategy for computing asymptotics of coefficients of $d$-variate algebraic generating functions. Using known constructions, we embed the coefficient array into an array represented by a rational generating functions in $d+1$ variables, and then apply ACSV theory to analyse the latter. This method allows us to give systematic results in the multivariate case, seems more promising than trying to derive analogs of the rational ACSV theory for algebraic GFs, and gives the prospect of further improvements as embedding methods are studied in more detail.


title: Adaptive packet transmission in response to anomaly detection in software defined smart meter networks

abstract: In this paper, we examine a basic smart meter network topology in mininet and address the issue of congestion over a commodity network, proposing an adaptive algorithm to cope with varying grid data delivery latencies.


title: A Unified Architecture of Semantic Segmentation and Hierarchical Generative Adversarial Networks for Expression Manipulation

abstract: Editing facial expressions by only changing what we want is a long-standing research problem in Generative Adversarial Networks (GANs) for image manipulation. Most of the existing methods that rely only on a global generator usually suffer from changing unwanted attributes along with the target attributes. Recently, hierarchical networks that consist of both a global network dealing with the whole image and multiple local networks focusing on local parts are showing success. However, these methods extract local regions by bounding boxes centred around the sparse facial key points which are non-differentiable, inaccurate and unrealistic. Hence, the solution becomes sub-optimal, introduces unwanted artefacts degrading the overall quality of the synthetic images. Moreover, a recent study has shown strong correlation between facial attributes and local semantic regions. To exploit this relationship, we designed a unified architecture of semantic segmentation and hierarchical GANs. A unique advantage of our framework is that on forward pass the semantic segmentation network conditions the generative model, and on backward pass gradients from hierarchical GANs are propagated to the semantic segmentation network, which makes our framework an end-to-end differentiable architecture. This allows both architectures to benefit from each other. To demonstrate its advantages, we evaluate our method on two challenging facial expression translation benchmarks, AffectNet and RaFD, and a semantic segmentation benchmark, CelebAMask-HQ across two popular architectures, BiSeNet and UNet. Our extensive quantitative and qualitative evaluations on both face semantic segmentation and face expression manipulation tasks validate the effectiveness of our work over existing state-of-the-art methods.


title: Regularization methods for the short-term forecasting of the Italian electric load

abstract: The problem of forecasting the whole 24 profile of the Italian electric load is addressed as a multitask learning problem, whose complexity is kept under control via alternative regularization methods. In view of the quarter-hourly samplings, 96 predictors are used, each of which linearly depends on 96 regressors. The 96x96 matrix weights form a 96x96 matrix, that can be seen and displayed as a surface sampled on a square domain. Different regularization and sparsity approaches to reduce the degrees of freedom of the surface were explored, comparing the obtained forecasts with those of the Italian Transmission System Operator Terna. Besides outperforming Terna in terms of quarter-hourly mean absolute percentage error and mean absolute error, the prediction residuals turned out to be weakly correlated with Terna, which suggests that further improvement could ensue from forecasts aggregation. In fact, the aggregated forecasts yielded further relevant drops in terms of quarter-hourly and daily mean absolute percentage error, mean absolute error and root mean square error (up to 30%) over the three test years considered.


title: Prediction of Adverse Biological Effects of Chemicals Using Knowledge Graph Embeddings

abstract: We have created a knowledge graph based on major data sources used in ecotoxicological risk assessment. We have applied this knowledge graph to an important task in risk assessment, namely chemical effect prediction. We have evaluated nine knowledge graph embedding models from a selection of geometric, decomposition, and convolutional models on this prediction task. We show that using knowledge graph embeddings can increase the accuracy of effect prediction with neural networks. Furthermore, we have implemented a fine-tuning architecture that adapts the knowledge graph embeddings to the effect prediction task and leads to better performance. Finally, we evaluate certain characteristics of the knowledge graph embedding models to shed light on the individual model performance.


title: Positivity and polynomial decay of energies for square-field operators

abstract: We show that for a general Markov generator the associated square-field (or carr\'e du champs) operator and all their iterations are positive. The proof is based on an interpolation between the operators involving the generator and their semigroups, and an interplay between positivity and convexity on Banach lattices. Positivity of the square-field operators allows to define a hierarchy of quadratic and positive energy functionals which decay to zero along solutions of the corresponding evolution equation. Assuming that the Markov generator satisfies an operator-theoretic normality condition, the sequence of energies is log-convex. In particular, this implies polynomial decay in time for the energy functionals along solutions.

categories: math.FA math-ph math.AP math.CA math.MP math.PR


title: Constrained Mean Shift Using Distant Yet Related Neighbors for Representation Learning

abstract: We are interested in representation learning in self-supervised, supervised, and semi-supervised settings. Some recent self-supervised learning methods like mean-shift (MSF) cluster images by pulling the embedding of a query image to be closer to its nearest neighbors (NNs). Since most NNs are close to the query by design, the averaging may not affect the embedding of the query much. On the other hand, far away NNs may not be semantically related to the query. We generalize the mean-shift idea by constraining the search space of NNs using another source of knowledge so that NNs are far from the query while still being semantically related. We show that our method (1) outperforms MSF in SSL setting when the constraint utilizes a different augmentation of an image from the previous epoch, and (2) outperforms PAWS in semi-supervised setting with less training resources when the constraint ensures that the NNs have the same pseudo-label as the query.


title: Enhancing Food Intake Tracking in Long-Term Care with Automated Food Imaging and Nutrient Intake Tracking (AFINI-T) Technology

abstract: Half of long-term care (LTC) residents are malnourished increasing hospitalization, mortality, morbidity, with lower quality of life. Current tracking methods are subjective and time consuming. This paper presents the automated food imaging and nutrient intake tracking (AFINI-T) technology designed for LTC. We propose a novel convolutional autoencoder for food classification, trained on an augmented UNIMIB2016 dataset and tested on our simulated LTC food intake dataset (12 meal scenarios; up to 15 classes each; top-1 classification accuracy: 88.9%; mean intake error: -0.4 mL$\pm$36.7 mL). Nutrient intake estimation by volume was strongly linearly correlated with nutrient estimates from mass ($r^2$ 0.92 to 0.99) with good agreement between methods ($\sigma$= -2.7 to -0.01; zero within each of the limits of agreement). The AFINI-T approach is a deep-learning powered computational nutrient sensing system that may provide a novel means for more accurately and objectively tracking LTC resident food intake to support and prevent malnutrition tracking strategies.


title: Minimal Length Phenomenology and the Black Body Radiation

abstract: The generalized uncertainty principle (GUP) modifies the uncertainty relation between momentum and position giving room for a minimal length, as predicted by candidates theories of quantum gravity. Inspired by GUP, Planck's distribution is derived by considering a new quantization of the electromagnetic field. We elaborate on the thermodynamics of the black body radiation obtaining Wien's law and the Stefan-Boltzmann law. We show that such thermodynamics laws are modified at Planck-scale.


title: A Simple and efficient deep Scanpath Prediction

abstract: Visual scanpath is the sequence of fixation points that the human gaze travels while observing an image, and its prediction helps in modeling the visual attention of an image. To this end several models were proposed in the literature using complex deep learning architectures and frameworks. Here, we explore the efficiency of using common deep learning architectures, in a simple fully convolutional regressive manner. We experiment how well these models can predict the scanpaths on 2 datasets. We compare with other models using different metrics and show competitive results that sometimes surpass previous complex architectures. We also compare the different leveraged backbone architectures based on their performances on the experiment to deduce which ones are the most suitable for the task.


title: Accessing subnuclear fluctuations and saturation with multiplicity dependent $J/\psi$ production in p+p and p+Pb collisions

abstract: We study the production of $J/\psi$ vector mesons as a function of charged hadron multiplicity in p+p and p+Pb collisions at LHC energies. We employ the color glass condensate framework, using running coupling Balitsky-Kovchegov evolved dipole amplitudes, to compute gluon and $c\bar{c}$-pair production. We use fragmentation functions to obtain charged hadrons, and explore two different hadronization schemes for the $J/\psi$: non-relativistic quantum chromodynamics and the improved color evaporation model. In our framework, event-by-event multiplicity fluctuations of both hadrons and $J/\psi$ are driven by geometric and saturation scale normalization fluctuations. Studying the correlation between $J/\psi$ and hadron multiplicity, we show that the characteristic difference between forward and backward rapidity in p+Pb collisions is a result of different degrees of saturation probed at different rapidities. We demonstrate that experimental data on heavy-flavor production as a function of event activity provide stringent constraints on the fluctuating proton structure.


title: Gaussian Process Constraint Learning for Scalable Chance-Constrained Motion Planning from Demonstrations

abstract: We propose a method for learning constraints represented as Gaussian processes (GPs) from locally-optimal demonstrations. Our approach uses the Karush-Kuhn-Tucker (KKT) optimality conditions to determine where on the demonstrations the constraint is tight, and a scaling of the constraint gradient at those states. We then train a GP representation of the constraint which is consistent with and which generalizes this information. We further show that the GP uncertainty can be used within a kinodynamic RRT to plan probabilistically-safe trajectories, and that we can exploit the GP structure within the planner to exactly achieve a specified safety probability. We demonstrate our method can learn complex, nonlinear constraints demonstrated on a 5D nonholonomic car, a 12D quadrotor, and a 3-link planar arm, all while requiring minimal prior information on the constraint. Our results suggest the learned GP constraint is accurate, outperforming previous constraint learning methods that require more a priori knowledge.


title: NICE-Beam: Neural Integrated Covariance Estimators for Time-Varying Beamformers

abstract: Estimating a time-varying spatial covariance matrix for a beamforming algorithm is a challenging task, especially for wearable devices, as the algorithm must compensate for time-varying signal statistics due to rapid pose-changes. In this paper, we propose Neural Integrated Covariance Estimators for Beamformers, NICE-Beam. NICE-Beam is a general technique for learning how to estimate time-varying spatial covariance matrices, which we apply to joint speech enhancement and dereverberation. It is based on training a neural network module to non-linearly track and leverage scene information across time. We integrate our solution into a beamforming pipeline, which enables simple training, faster than real-time inference, and a variety of test-time adaptation options. We evaluate the proposed model against a suite of baselines in scenes with both stationary and moving microphones. Our results show that the proposed method can outperform a hand-tuned estimator, despite the hand-tuned estimator using oracle source separation knowledge.


title: EIT spectroscopy of high-lying Rydberg states in $^{39}K$

abstract: We present a study of the Rydberg spectrum in $^{39}K$ for $nS$ and $nD_{3/2}$ series connected to $5^2P_{1/2}$ using two-photon spectroscopy based on EIT in a heated vapor cell. We observed some 80 transitions from $5P_{1/2}$ to Rydberg states with principal quantum numbers $n\sim50-90$, and determined their transition frequencies and state energies with sub-GHz precision. Our spectroscopy results lay the groundwork for using Rydberg atoms as sensitive microwave photon detectors in searches for dark matter axions in the $\sim40-200$ $\mu$eV mass range, which is a prime range for future axion searches suggested by theory studies.


title: Observational constraints and dynamical analysis of Kaniadakis horizon-entropy cosmology

abstract: We study the scenario of Kanadiakis horizon entropy cosmology which arises from the application of the gravity-thermodynamics conjecture using the Kaniadakis modified entropy. The resulting modified Friedmann equations contain extra terms that constitute an effective dark energy sector. We use data from Cosmic chronometers, Supernova Type Ia, HII galaxies, Strong lensing systems, and Baryon acoustic oscillations observations and we apply a Bayesian Markov Chain Monte Carlo analysis to construct the likelihood contours for the model parameters. We find that the Kaniadakis parameter is constrained around 0, namely, around the value where the standard Bekenstein-Hawking is recovered. Concerning the normalized Hubble parameter, we find $h=0.708^{+0.012}_{-0.011}$, a result that is independently verified by applying the $\mathbf{\mathbb{H}}0(z)$ diagnostic and, thus, we conclude that the scenario at hand can alleviate the $H_0$ tension problem. Regarding the transition redshift, the reconstruction of the cosmographic parameters gives $z_T=0.715^{+0.042}_{-0.041}$. Furthermore, we apply the AICc, BIC and DIC information criteria and we find that in most datasets the scenario is statistical equivalent to $\Lambda$CDM one. Moreover, we examine the Big Bang Nucleosynthesis (BBN) and we show that the scenario satisfies the corresponding requirements. Additionally, we perform a phase-space analysis, and we show that the Universe past attractor is the matter-dominated epoch, while at late times the Universe results in the dark-energy-dominated solution. Finally, we show that Kanadiakis horizon entropy cosmology accepts heteroclinic sequences, but it cannot exhibit bounce and turnaround solutions.


title: Persistent Corner Spin Mode at the Quantum Critical Point of a Plaquette Heisenberg Model

abstract: Gapless edge states are the hallmark of a large class of topological states of matter. Recently, intensive research has been devoted to understanding the physical properties of the edge states at the quantum phase transitions of the bulk topological states. A higher-order symmetry-protected topological state is realized in a plaquette Heisenberg model on the square lattice. In its disordered phase, the lattice with an open boundary hosts either dangling corner states with spin-$1/2$ degeneracy characterizing the topological phase, or nondangling corner states without degeneracy, which depends on the bond configuration near the corners. In this work, we study the critical behavior of these corner states at the quantum critical point (QCP), and find that the spin-$1/2$ corner state induces a new universality class of the corner critical behavior, which is distinct from the ordinary transition of the nondangling corners. In particular, we find that the dangling spin-$1/2$ corner state persists at the QCP despite its coupling to the critical spin fluctuations in the bulk. This shows the robustness of the corner state of the higher-order topological state.


title: Limiting Eigenvalue Behavior of a Class of Large Dimensional Random Matrices Formed From a Hadamard Product

abstract: This paper investigates the strong limiting behavior of the eigenvalues of the class of matrices $\frac1N(D_n\circ X_n)(D_n\circ X_n)^*$, studied in Girko 2001. Here, $X_n=(x_{ij})$ is an $n\times N$ random matrix consisting of independent complex standardized random variables, $D_n=(d_{ij})$, $n\times N$, has nonnegative entries, and $\circ$ denotes Hadamard (componentwise) product. Results are obtained under assumptions on the entries of $X_n$ and $D_n$ which are different from those in Girko (2001), which include a Lindeberg condition on the entries of $D_n\circ X_n$, as well as a bound on the average of the rows and columns of $D_n\circ D_n$. The present paper separates the assumptions needed on $X_n$ and $D_n$. It assumes a Lindeberg condition on the entries of $X_n$, along with a tigntness-like condition on the entries of $D_n$,


title: The equivalence of optimal perspective formulation and Shor's SDP for quadratic programs with indicator variables

abstract: In this paper, we compare the strength of the optimal perspective reformulation and Shor's SDP relaxation. We prove these two formulations are equivalent for quadratic optimization problems with indicator variables.


title: Taxonomy of Virtual and Augmented Reality Applications in Education

abstract: This paper presents and analyses existing taxonomies of virtual and augmented reality and demonstrates knowledge gaps and mixed terminology which may cause confusion among educators, researchers, and developers. Several such occasions of confusion are presented. A methodology is then presented to construct a taxonomy of virtual reality and augmented reality applications based on a combination of: a faceted analysis approach for the overall design of the taxonomy; an existing taxonomy of educational objectives to derive the educational purpose; an information systems analysis to establish important facets of the taxonomy; and two systematic mapping studies to identify categories within each facet. Based onUsing thisthe methodology a new taxonomy is proposed and the implications of its facets (and their combinations of facets)are demonstrated. The taxonomy focuses on technology used to provide the virtual or augmented reality as well as the content presented to the user, including the type of gamification and how it is operated. It also takes into accountaccommodates a large number of devices and approaches developed throughout the years and for multiple industries, and proposes and developsprovides a way to categorize them in order to clarify communication between researchers, developers and as well as educators. Use of the taxonomy and implications of choices made during their development is then demonstrated ion two case studies:, a virtual reality chemical plant for use in chemical engineering education and an augmented reality dog for veterinary education.


title: Online Calibrated and Conformal Prediction Improves Bayesian Optimization

abstract: Accurate uncertainty estimates are important in sequential model-based decision-making tasks such as Bayesian optimization. However, these estimates can be imperfect if the data violates assumptions made by the model (e.g., Gaussianity). This paper studies which uncertainties are needed in model-based decision-making and in Bayesian optimization, and argues that uncertainties can benefit from calibration -- i.e., an 80% predictive interval should contain the true outcome 80% of the time. Maintaining calibration, however, can be challenging when the data is non-stationary and depends on our actions. We propose using simple algorithms based on online learning to provably maintain calibration on non-i.i.d. data, and we show how to integrate these algorithms in Bayesian optimization with minimal overhead. Empirically, we find that calibrated Bayesian optimization converges to better optima in fewer steps, and we demonstrate improved performance on standard benchmark functions and hyperparameter optimization tasks.


title: Role of Magnon-Magnon Scattering in Magnon Polaron Spin Seebeck Effect

abstract: The spin Seebeck effect (SSE) signal of magnon polarons in bulk-Y3Fe5O12 (YIG)/Pt heterostructures is found to drastically change as a function of temperature. It appears as a dip in the total SSE signal at low temperatures, but as the temperature increases, the dip gradually decreases before turning to a peak. We attribute the observed dip-to-peak transition to the rapid rise of the four-magnon scattering rate. Our analysis provides important insights into the microscopic origin of the hybridized excitations and the overall temperature dependence of the SSE anomalies.


title: Greedy Algorithm for Multiway Matching with Bounded Regret

abstract: In this paper we prove the efficacy of a simple greedy algorithm for a finite horizon online resource allocation/matching problem, when the corresponding static planning linear program (SPP) exhibits a non-degeneracy condition called the general position gap (GPG). The key intuition that we formalize is that the solution of the reward maximizing SPP is the same as a feasibility Linear Program restricted to the optimal basic activities, and under GPG this solution can be tracked with bounded regret by a greedy algorithm, i.e., without the commonly used technique of periodically resolving the SPP. The goal of the decision maker is to combine resources (from a finite set of resource types) into configurations (from a finite set of feasible configurations) where each configuration is specified by the number of resources consumed of each type and a reward. The resources are further subdivided into three types - offline (whose quantity is known and available at time 0), online-queueable (which arrive online and can be stored in a buffer), and online-nonqueueable (which arrive online and must be matched on arrival or lost). Under GRG we prove that, (i) our greedy algorithm gets bounded any-time regret of $\mathcal{O}(1/\epsilon_0)$ for matching reward ($\epsilon_0$ is a measure of the GPG) when no configuration contains both an online-queueable and an online-nonqueueable resource, and (ii) $\mathcal{O}(\log t)$ expected any-time regret otherwise (we also prove a matching lower bound). By considering the three types of resources, our matching framework encompasses several well-studied problems such as dynamic multi-sided matching, network revenue management, online stochastic packing, and multiclass queueing systems.


title: Efficient Checking of Temporal Compliance Rules Over Business Process Event Logs

abstract: Verifying temporal compliance rules, such as a rule stating that an inquiry must be answered within a time limit, is a recurrent operation in the realm of business process compliance. In this setting, a typical use case is one where a manager seeks to retrieve all cases where a temporal rule is violated, given an event log recording the execution of a process over a time period. Existing approaches for checking temporal rules require a full scan of the log. Such approaches are unsuitable for interactive use when the log is large and the set of compliance rules is evolving. This paper proposes an approach to evaluate temporal compliance rules in sublinear time by pre-computing a data structure that summarizes the temporal relations between activities in a log. The approach caters for a wide range of temporal compliance patterns and supports incremental updates. Our evaluation on twenty real-life logs shows that our data structure allows for real-time checking of a large set of compliance rules.


title: Deep Molecular Representation Learning via Fusing Physical and Chemical Information

abstract: Molecular representation learning is the first yet vital step in combining deep learning and molecular science. To push the boundaries of molecular representation learning, we present PhysChem, a novel neural architecture that learns molecular representations via fusing physical and chemical information of molecules. PhysChem is composed of a physicist network (PhysNet) and a chemist network (ChemNet). PhysNet is a neural physical engine that learns molecular conformations through simulating molecular dynamics with parameterized forces; ChemNet implements geometry-aware deep message-passing to learn chemical / biomedical properties of molecules. Two networks specialize in their own tasks and cooperate by providing expertise to each other. By fusing physical and chemical information, PhysChem achieved state-of-the-art performances on MoleculeNet, a standard molecular machine learning benchmark. The effectiveness of PhysChem was further corroborated on cutting-edge datasets of SARS-CoV-2.


title: Determining ground-state phase diagrams on quantum computers via a generalized application of adiabatic state preparation

abstract: Quantum phase transitions materialize as level crossings in the ground-state energy when the parameters of the Hamiltonian are varied. The resulting ground-state phase diagrams are straightforward to determine by exact diagonalization on classical computers, but are challenging on quantum computers because of the accuracy needed and the near degeneracy of competing states close to the level crossings. In this work, we use a local adiabatic ramp for state preparation to allow us to directly compute ground-state phase diagrams on a quantum computer via time evolution. This methodology is illustrated by examining the ground states of the XY model with a magnetic field in the z-direction in one dimension. We are able to calculate an accurate phase diagram on both two and three site systems using IBM quantum machines.


title: Bayesian Semiparametric Longitudinal Inverse-Probit Mixed Models for Category Learning

abstract: Understanding how the adult human brain learns novel categories is an important problem in neuroscience. Drift-diffusion models are popular in such contexts for their ability to mimic the underlying neural mechanisms. One such model for gradual longitudinal learning was recently developed in Paulon, et al. (2020). Fitting drift-diffusion models however require data on both category responses and associated response times. Category response accuracies are, however, often the only reliable measure recorded by behavioral scientists to describe human learning. To our knowledge, however, drift-diffusion models for such scenarios have never been considered in the literature before. To address this gap, in this article we build carefully on Paulon, et al. (2020), but now with latent response times integrated out, to derive a novel biologically interpretable class of `inverse-probit' categorical probability models for observed categories. This marginal model, however, presents significant identifiability and inferential challenges not encountered originally for the joint model in Paulon, et al. (2020). We address these new challenges via a novel projection-based approach with a symmetry-preserving identifiability constraint that allows us to work with conjugate priors in an unconstrained space. We adapt the model for group and individual-level inference in longitudinal settings. Building again on the model's latent variable representation, we design an efficient Markov chain Monte Carlo algorithm for posterior computation. We evaluate the method's empirical performances through simulation experiments. The method's practical efficacy is illustrated in applications to longitudinal tone learning studies.


title: Hypotheses for Triton's Plumes: New Analyses and Future Remote Sensing Tests

abstract: At least two active plumes were observed on Neptune's moon Triton during the Voyager 2 flyby in 1989. Models for Triton's plumes have previously been grouped into five hypotheses, two of which are primarily atmospheric phenomena and are generally considered unlikely, and three of which include eruptive processes and are plausible. These hypotheses are compared, including new arguments, such as comparisons based on current understanding of Mars, Enceladus, and Pluto. An eruption model based on a solar-powered, solid-state greenhouse effect was previously considered the leading hypothesis for Triton's plumes, in part due to the proximity of the plumes to the subsolar latitude during the Voyager 2 flyby and the distribution of Triton's fans that are putatively deposits from former plumes. The other two eruption hypotheses are powered by internal heat, not solar insolation. Based on new analyses of the ostensible relation between the latitude of the subsolar point on Triton and the geographic locations of the plumes and fans, we argue that neither the locations of the plumes nor fans are strong evidence in favor of the solar-powered hypothesis. We conclude that all three eruption hypotheses should be considered further. Five tests are presented that could be implemented with remote sensing observations from future spacecraft to confidently distinguish among the eruption hypotheses for Triton's plumes. The five tests are based on the: (1) composition and thickness of Triton's southern hemisphere terrains, (2) composition of fan deposits, (3) distribution of active plumes, (4) distribution of fans, and (5) surface temperature at the locations of plumes and/or fans. The tests are independent, but complementary, and implementable with a single flyby mission such as the Trident mission concept. We note that, in the case of the solar-driven hypothesis, the 2030s and 2040s may be the last ...


title: Learning Auxiliary Monocular Contexts Helps Monocular 3D Object Detection

abstract: Monocular 3D object detection aims to localize 3D bounding boxes in an input single 2D image. It is a highly challenging problem and remains open, especially when no extra information (e.g., depth, lidar and/or multi-frames) can be leveraged in training and/or inference. This paper proposes a simple yet effective formulation for monocular 3D object detection without exploiting any extra information. It presents the MonoCon method which learns Monocular Contexts, as auxiliary tasks in training, to help monocular 3D object detection. The key idea is that with the annotated 3D bounding boxes of objects in an image, there is a rich set of well-posed projected 2D supervision signals available in training, such as the projected corner keypoints and their associated offset vectors with respect to the center of 2D bounding box, which should be exploited as auxiliary tasks in training. The proposed MonoCon is motivated by the Cramer-Wold theorem in measure theory at a high level. In implementation, it utilizes a very simple end-to-end design to justify the effectiveness of learning auxiliary monocular contexts, which consists of three components: a Deep Neural Network (DNN) based feature backbone, a number of regression head branches for learning the essential parameters used in the 3D bounding box prediction, and a number of regression head branches for learning auxiliary contexts. After training, the auxiliary context regression branches are discarded for better inference efficiency. In experiments, the proposed MonoCon is tested in the KITTI benchmark (car, pedestrain and cyclist). It outperforms all prior arts in the leaderboard on car category and obtains comparable performance on pedestrian and cyclist in terms of accuracy. Thanks to the simple design, the proposed MonoCon method obtains the fastest inference speed with 38.7 fps in comparisons


title: Transferability Properties of Graph Neural Networks

abstract: Graph neural networks (GNNs) are composed of layers consisting of graph convolutions and pointwise nonlinearities. Due to their invariance and stability properties, GNNs are provably successful at learning representations from data supported on moderate-scale graphs. However, they are difficult to learn on large-scale graphs. In this paper, we study the problem of training GNNs on graphs of moderate size and transferring them to large-scale graphs. We use graph limits called graphons to define limit objects for graph filters and GNNs -- graphon filters and graphon neural networks (WNNs) -- which we interpret as generative models for graph filters and GNNs. We then show that graphon filters and WNNs can be approximated by graph filters and GNNs sampled from them on weighted and stochastic graphs. Because the error of these approximations can be upper bounded, by a triangle inequality argument we can further bound the error of transferring a graph filter or a GNN across graphs. Our results show that (i) the transference error decreases with the graph size, and (ii) that graph filters have a transferability-discriminability tradeoff that in GNNs is alleviated by the scattering behavior of the nonlinearity. These findings are demonstrated empirically in a movie recommendation problem and in a decentralized control task.


title: Towards Neural Functional Program Evaluation

abstract: This paper explores the capabilities of current transformer-based language models for program evaluation of simple functional programming languages. We introduce a new program generation mechanism that allows control over syntactic sugar for semantically equivalent programs. T5 experiments reveal that neural functional program evaluation performs surprisingly well, achieving high 90% exact program match scores for most in-distribution and out-of-distribution tests. Using pretrained T5 weights has significant advantages over random initialization. We present and evaluate on three datasets to study generalization abilities that are specific to functional programs based on: type, function composition, and reduction steps. Code and data are publicly available at https://github.com/ElementAI/neural-interpreters.


title: A dynamically reprogrammable metasurface with self-evolving shape morphing

abstract: Dynamic shape-morphing soft materials systems are ubiquitous in living organisms; they are also of rapidly increasing relevance to emerging technologies in soft machines, flexible electronics, and smart medicines. Soft matter equipped with responsive components can switch between designed shapes or structures, but cannot support the types of dynamic morphing capabilities needed to reproduce natural, continuous processes of interest for many applications. Challenges lie in the development of schemes to reprogram target shapes post fabrication, especially when complexities associated with the operating physics and disturbances from the environment can prohibit the use of deterministic theoretical models to guide inverse design and control strategies. Here, we present a mechanical metasurface constructed from a matrix of filamentary metal traces, driven by reprogrammable, distributed Lorentz forces that follow from passage of electrical currents in the presence of a static magnetic field. The resulting system demonstrates complex, dynamic morphing capabilities with response times within 0.1 s. Implementing an in-situ stereo-imaging feedback strategy with a digitally controlled actuation scheme guided by an optimization algorithm, yields surfaces that can self-evolve into a wide range of 3-dimensional (3D) target shapes with high precision, including an ability to morph against extrinsic or intrinsic perturbations. These concepts support a data-driven approach to the design of dynamic, soft matter, with many unique characteristics.


title: Recurrent Glimpse-based Decoder for Detection with Transformer

abstract: Although detection with Transformer (DETR) is increasingly popular, its global attention modeling requires an extremely long training period to optimize and achieve promising detection performance. Alternative to existing studies that mainly develop advanced feature or embedding designs to tackle the training issue, we point out that the Region-of-Interest (RoI) based detection refinement can easily help mitigate the difficulty of training for DETR methods. Based on this, we introduce a novel REcurrent Glimpse-based decOder (REGO) in this paper. In particular, the REGO employs a multi-stage recurrent processing structure to help the attention of DETR gradually focus on foreground objects more accurately. In each processing stage, visual features are extracted as glimpse features from RoIs with enlarged bounding box areas of detection results from the previous stage. Then, a glimpse-based decoder is introduced to provide refined detection results based on both the glimpse features and the attention modeling outputs of the previous stage. In practice, REGO can be easily embedded in representative DETR variants while maintaining their fully end-to-end training and inference pipelines. In particular, REGO helps Deformable DETR achieve 44.8 AP on the MSCOCO dataset with only 36 training epochs, compared with the first DETR and the Deformable DETR that require 500 and 50 epochs to achieve comparable performance, respectively. Experiments also show that REGO consistently boosts the performance of different DETR detectors by up to 7% relative gain at the same setting of 50 training epochs. Code is available via https://github.com/zhechen/Deformable-DETR-REGO.


title: Energy storage in lead-free Ba(Zr, Ti)O$_{3}$ relaxor ferroelectrics: Large densities and efficiencies and their origins

abstract: An atomistic first-principles-based effective Hamiltonian is used to investigate energy storage in Ba(Zr$_{0.5}$Ti$_{0.5}$)O$_{3}$ relaxor ferroelectrics, both in their bulk and epitaxial films' forms, for electric fields applied along different crystallographic directions. We find that the energy density linearly increases with temperature for electric fields applied along the pseudocubic [001], [110] and [111] directions in Ba(Zr$_{0.5}$Ti$_{0.5}$)O$_{3}$ bulk. For films at room temperature, the energy density adopts different behaviors (i.e., increase versus decrease) with strain depending on the direction of the applied electric fields. We also predicted ultrahigh energy densities (basically larger than 100 J/cm$^{3}$) with an ideal efficiency of 100\% in all these Ba(Zr$_{0.5}$Ti$_{0.5}$)O$_{3}$ systems. In addition, a phenomenological model is used to reveal the origin of all the aforementioned features, and should be applicable to other relaxor ferroelectrics.


title: Process Mining-Driven Analysis of the COVID19 Impact on the Vaccinations of Victorian Patients

abstract: Process mining is a discipline sitting between data mining and process science, whose goal is to provide theoretical methods and software tools to analyse process execution data, known as event logs. Although process mining was originally conceived to facilitate business process management activities, research studies have shown the benefit of leveraging process mining tools in different contexts, including healthcare. However, applying process mining tools to analyse healthcare process execution data is not straightforward. In this paper, we report the analysis of an event log recording more than 30 million events capturing the general practice healthcare processes of more than one million patients in Victoria--Australia--over five years. Our analysis allowed us to understand benefits and limitations of the state-of-the-art process mining techniques when dealing with highly variable processes and large data-sets. While we provide solutions to the identified limitations, the overarching goal of this study was to detect differences between the patients` health services utilization pattern observed in 2020--during the COVID-19 pandemic and mandatory lock-downs --and the one observed in the prior four years, 2016 to 2019. By using a combination of process mining techniques and traditional data mining, we were able to demonstrate that vaccinations in Victoria did not drop drastically--as other interactions did. On the contrary, we observed a surge of influenza and pneumococcus vaccinations in 2020, contradicting research findings of similar studies conducted in different geographical areas.


title: Decentralized Frequency Regulation of Hybrid MTDC-linked Grids

abstract: This paper proposes a new strategy for optimal grid frequency regulation (FR) in an interconnected power system where regional ac grids and an offshore wind farm are linked via a multi-terminal high voltage direct-current (MTDC) network. In the proposed strategy, decentralized H-infinity controllers are developed to coordinate the operations of ac synchronous generators and hybrid MTDC converters, thus achieving optimal power sharing of interconnected ac grids and minimizing frequency deviations in each grid. To develop the controllers, robust optimization problems are formulated and solved using a dynamic model of the hybrid MTDC-linked grids with model parameter uncertainty and decentralized control inputs and outputs. The model orders of the resulting controllers are then reduced using a balanced truncation algorithm to eliminate unobservable and uncontrollable state variables while preserving their dominant response characteristics. Sensitivity and eigenvalue analyses are conducted focusing on the effects of grid measurements, parameter uncertainty levels, and communication time delays. Comparative case studies are also carried out to verify that the proposed strategy improves the effectiveness, stability, and robustness of real-time FR in MTDC-linked grids under various conditions characterized mainly by load demands, communications systems, and weighting functions.


title: Artificial neural network interatomic potential for dislocation and fracture properties of Molybdenum

abstract: A high dimensional artificial neural network interatomic potential for Mo is developed. To train and validate the potential density functional theory calculations on structures and properties that correlate to fracture, such as elastic constants, surface energies, generalized stacking fault energies, and surface decohesion energies, have been employed. The potential provides total energies with a root mean square error less than 5\;meV per atom both in the training and validation data sets. The potential was applied to investigate screw dislocation core properties as well as to conduct large scale fracture simulations. These calculations revealed that the 1/2$\langle111\rangle$ screw dislocation core is non-degenerate and symmetric and mode I fracture is brittle. It is anticipated that the thus constructed potential is well suited to be applied in large scale atomistic calculations of plasticity and fracture.


title: Efficient counterfactual estimation in semiparametric discrete choice models: a note on Chiong, Hsieh, and Shum (2017)

abstract: I suggest an enhancement of the procedure of Chiong, Hsieh, and Shum (2017) for calculating bounds on counterfactual demand in semiparametric discrete choice models. Their algorithm relies on a system of inequalities indexed by cycles of a large number $M$ of observed markets and hence seems to require computationally infeasible enumeration of all such cycles. I show that such enumeration is unnecessary because solving the "fully efficient" inequality system exploiting cycles of all possible lengths $K=1,\dots,M$ can be reduced to finding the length of the shortest path between every pair of vertices in a complete bidirected weighted graph on $M$ vertices. The latter problem can be solved using the Floyd--Warshall algorithm with computational complexity $O\left(M^3\right)$, which takes only seconds to run even for thousands of markets. Monte Carlo simulations illustrate the efficiency gain from using cycles of all lengths, which turns out to be positive, but small.


title: Bifurcations and dynamics in inertial focusing of particles in curved rectangular ducts

abstract: Particles suspended in fluid flow through a curved duct focus to stable equilibrium positions in the duct cross-section due to the balance of two dominant forces: (i) inertial lift force - arising from the inertia of the fluid, and (ii) secondary drag force - resulting from cross-sectional vortices induced by the curvature of the duct. Such particle focusing is exploited in various medical and industrial technologies aimed at separating particles by size. Using the theoretical model developed by Harding et al.~[7], we numerically investigate the dynamics of neutrally buoyant particles in fluid flow through curved ducts with rectangular cross-sections at low flow rates. We explore the rich bifurcations that take place in the particle equilibria as a function of three system parameters - particle size, duct bend radius and aspect ratio of the cross-section. We also explore the transient dynamics of particles as they focus to their equilibria by delineating the effects of these three parameters, as well as the initial location of the particle inside the cross-section, on the focusing dynamics.


title: Safe Autonomous Navigation for Systems with Learned SE(3) Hamiltonian Dynamics

abstract: Safe autonomous navigation in unknown environments is an important problem for mobile robots. This paper proposes techniques to learn the dynamics model of a mobile robot from trajectory data and synthesize a tracking controller with safety and stability guarantees. The state of a rigid-body robot usually contains its position, orientation, and generalized velocity and satisfies Hamilton's equations of motion. Instead of a hand-derived dynamics model, we use a dataset of state-control trajectories to train a translation-equivariant nonlinear Hamiltonian model represented as a neural ordinary differential equation (ODE) network. The learned Hamiltonian model is used to synthesize an energy-shaping passivity-based controller and derive conditions which guarantee safe regulation to a desired reference pose. We enable adaptive tracking of a desired path, subject to safety constraints obtained from obstacle distance measurements. The trade-off between the robot's energy and the distance to safety constraint violation is used to adaptively govern a reference pose along the desired path. Our safe adaptive controller is demonstrated on a simulated hexarotor robot navigating in an unknown environments.


title: Differentially Private Ensemble Classifiers for Data Streams

abstract: Learning from continuous data streams via classification/regression is prevalent in many domains. Adapting to evolving data characteristics (concept drift) while protecting data owners' private information is an open challenge. We present a differentially private ensemble solution to this problem with two distinguishing features: it allows an \textit{unbounded} number of ensemble updates to deal with the potentially never-ending data streams under a fixed privacy budget, and it is \textit{model agnostic}, in that it treats any pre-trained differentially private classification/regression model as a black-box. Our method outperforms competitors on real-world and simulated datasets for varying settings of privacy, concept drift, and data distribution.


title: Multiple Residual Dense Networks for Reconfigurable Intelligent Surfaces Cascaded Channel Estimation

abstract: Reconfigurable intelligent surface (RIS) constitutes an essential and promising paradigm that relies programmable wireless environment and provides capability for space-intensive communications, due to the use of low-cost massive reflecting elements over the entire surfaces of man-made structures. However, accurate channel estimation is a fundamental technical prerequisite to achieve the huge performance gains from RIS. By leveraging the low rank structure of RIS channels, three practical residual neural networks, named convolutional blind denoising network, convolutional denoising generative adversarial networks and multiple residual dense network, are proposed to obtain accurate channel state information, which can reflect the impact of different methods on the estimation performance. Simulation results reveal the evolution direction of these three methods and reveal their superior performance compared with existing benchmark schemes.


title: Collective resonance of $D$ states in rubidium atoms probed by optical two-dimensional coherent spectroscopy

abstract: Collective resonance of interacting particles has important implications in many-body quantum systems and their applications. Strong interactions can lead to a blockade that prohibits the excitation of a collective resonance of two or more nearby atoms. However, a collective resonance can be excited with the presence of weak interaction and has been observed for atoms in the first excited state ($P$ states). Here, we report the observation of collective resonance of rubidium atoms in a higher excited state ($D$ states) in addition to the first excited state. The collective resonance is excited by a double-quantum four-pulse excitation sequence. The resulting double-quantum two-dimensional (2D) spectrum displays well-isolated peaks that can be attributed to collective resonances of atoms in $P$ and $D$ states. The experimental one-quantum and double-quantum 2D spectra can be reproduced by a simulation based on the perturbative solutions to the optical Bloch equations, confirming collective resonances as the origin of the measured spectra. The experimental technique provides a new approach for preparing and probing collective resonances of atoms in highly excited states.


title: Autoregressive Quantile Flows for Predictive Uncertainty Estimation

abstract: Numerous applications of machine learning involve representing probability distributions over high-dimensional data. We propose autoregressive quantile flows, a flexible class of normalizing flow models trained using a novel objective based on proper scoring rules. Our objective does not require calculating computationally expensive determinants of Jacobians during training and supports new types of neural architectures, such as neural autoregressive flows from which it is easy to sample. We leverage these models in quantile flow regression, an approach that parameterizes predictive conditional distributions with flows, resulting in improved probabilistic predictions on tasks such as time series forecasting and object detection. Our novel objective functions and neural flow parameterizations also yield improvements on popular generation and density estimation tasks, and represent a step beyond maximum likelihood learning of flows.


title: Weight metamorphosis of varifolds and the LDDMM-Fisher-Rao metric

abstract: This paper introduces and studies a metamorphosis framework for geometric measures known as varifolds, which extends the diffeomorphic registration model for objects such as curves, surfaces and measures by complementing diffeomorphic deformations with a transformation process on the varifold weights. We consider two classes of cost functionals to penalize those combined transformations, in particular the LDDMM-Fisher-Rao energy which, as we show, leads to a well-defined Riemannian metric on the space of varifolds with existence of corresponding geodesics. We further introduce relaxed formulations of the respective optimal control problems, study their well-posedness and derive optimality conditions for the solutions. From these, we propose a numerical approach to compute optimal metamorphoses between discrete varifolds and illustrate the interest of this model in the situation of partially missing data.


title: BACON: Band-limited Coordinate Networks for Multiscale Scene Representation

abstract: Coordinate-based networks have emerged as a powerful tool for 3D representation and scene reconstruction. These networks are trained to map continuous input coordinates to the value of a signal at each point. Still, current architectures are black boxes: their spectral characteristics cannot be easily analyzed, and their behavior at unsupervised points is difficult to predict. Moreover, these networks are typically trained to represent a signal at a single scale, so naive downsampling or upsampling results in artifacts. We introduce band-limited coordinate networks (BACON), a network architecture with an analytical Fourier spectrum. BACON has constrained behavior at unsupervised points, can be designed based on the spectral characteristics of the represented signal, and can represent signals at multiple scales without per-scale supervision. We demonstrate BACON for multiscale neural representation of images, radiance fields, and 3D scenes using signed distance functions and show that it outperforms conventional single-scale coordinate networks in terms of interpretability and quality.


title: Applying Magnetic Curvature to to MMS data to identify thin current sheets relative to tail reconnection

abstract: Magnetic reconnection X-lines have been observed to be more common duskward of midnight. Thin current sheets have also been postulated to be a necessary precondition for reconnection onset. We take advantage of the MMS tetrahedral formation during the 2017--2020 MMS tail seasons to calculate the thickness of the cross-tail neutral sheet relative to ion gyroradius. While a similar technique was applied to Cluster data, current sheet thickness over a broader range of radial distances has not been robustly explored before this study. We compare this to recent theories regarding mechanisms of tail current sheet thinning and to recent simulations. We find MMS spent more than twice as long in ion-scale thin current sheets in the pre-midnight sector than post-midnight, despite nearly even plasma sheet dwell time. The dawn-dusk asymmetry in the distribution of Ion Diffusion Regions, as previously reported in relation to regions of thin current sheets, is also analyzed.


title: Astrophysically viable Kerr-like spacetime -- into the eye of the storm

abstract: We analyse a rotating regular black hole with asymptotically Minkowski core. This Kerr-like geometry possesses the full "Killing tower" of nontrivial Killing tensor, Killing-Yano tensor, and principal tensor. The Hamilton-Jacobi equation, the Klein-Gordon equation, and Maxwell's equations are separable. Energy-condition-violating physics is pushed into an arbitrarily small region in the deep core. The geometry has a very high level of mathematical tractability; extraction of astrophysical observables falsifiable/verifiable by the observational community is straightforward.


title: Global well-posedness for the generalized derivative nonlinear Schr\"odinger equation

abstract: We study the well-posedness of the generalized derivative nonlinear Schr\"odinger equation (gDNLS) $$iu_t+u_{xx}=i|u|^{2\sigma}u_x,$$ for small powers $\sigma$. We analyze this equation at both low and high regularity, and are able to establish global well-posedness in $H^s$ when $s\in [1,4\sigma)$ and $\sigma \in (\frac{\sqrt{3}}{2},1)$. Our result when $s=1$ is particularly relevant because it corresponds to the regularity of the energy for this problem. To our knowledge, this is the first low regularity well-posedness result for a quasilinear dispersive model where the nonlinearity is both rough and lacks the decay necessary for global smoothing type estimates. These two features pose considerable difficulty when trying to apply standard tools for closing low-regularity estimates. While the tools developed in this article are used to study gDNLS, we believe that they should be applicable in the study of local well-posedness for other dispersive equations of a similar character. It should also be noted that the high regularity well-posedness presents a novel issue, as the roughness of the nonlinearity limits the potential regularity of solutions. Our high regularity well-posedness threshold $s<4\sigma$ is twice as high as one might na\"ively expect, given that the function $z\mapsto |z|^{2\sigma}$ is only $C^{1,2\sigma-1}$ H\"older continuous. Moreover, although we cannot prove $H^1$ well-posedness when $\sigma\leq \frac{\sqrt{3}}{2}$, we are able to establish $H^s$ well-posedness in the high regularity regime $s\in (2-\sigma,4\sigma)$ for the full range of $\sigma\in (\frac{1}{2},1)$. This considerably improves the known local results, which had only been established in either $H^2$ or in weighted Sobolev spaces.


title: Comparative studies of hydrogen dissolution and release behavior in zirconate oxides by TDS and TMAP4 analysis

abstract: Proton-conducting oxides are potential materials for electrochemical devices such as fuel cells, hydrogen pumps, hydrogen sensors, and the tritium purification and recovery system in nuclear fusion reactors. The hydrogen concentration in oxide materials is important, but its precise measurement is difficult. In this study, thermal desorption spectroscopy (TDS) was used to investigate hydrogen dissolution and release behavior in proton-conducting oxides, yttrium (Y), and cobalt (Co) doped barium-zirconates in the temperature range of 673-1273 K using deuterium (D2) and heavy water (D2O). Specimens were prepared with conventional powder metallurgy: the powder of three zirconates, BaZr0.9Y0.1O3-a (BZY), BaZr0.955Y0.03Co0.015O3-a (BZYC), and CaZr0.9In0.1O2.95 (CZI) was pressed into discs and fired in the air at 1873 K for 20 h. The densities of the sintered BZY, BZYC, and CZI specimens were 98 percent, 99.7 percent, and 99.5 percent of the theoretical densities respectively. XRD, SEM, and EDX were performed for the structural and morphological analysis of the sintered samples. From TDS measurement, a similar trend of temperature-dependent hydrogen solubility was obtained for all samples compared to the tritium imaging plate (TIP) methods literature data of HT- and DTO-exposed samples. To compare the experimental results of the deuterium desorption profile derived by TDS analysis, the simulation code of the tritium migration analysis program, version 4 (TMAP4) was employed.


title: Detecting parity violation from axion inflation with third generation detectors

abstract: A gravitational wave background is expected to emerge from the superposition of numerous gravitational wave sources of both astrophysical and cosmological origin. A number of cosmological models can have a parity violation, resulting in the generation of circularly polarised gravitational waves. We investigate the constraining power of third generation Einstein Telescope and Cosmic Explorer detectors, for a gravitational wave background generated by early universe axion inflation.


title: Constraining the position of the knee in the galactic cosmic ray spectrum with ultra-high-energy diffuse $\gamma$-rays

abstract: The diffuse $\gamma$-ray emission was measured up to $957$ TeV by the Tibet-AS$\gamma$ experiment recently. Assuming that it is produced by the hadronic interaction between cosmic ray nuclei and the interstellar medium, it requires that the cosmic ray nuclei should be accelerated well beyond PeV energies. Measurements of the cosmic ray spectra for different species show diverse results at present. The Tibet experiments showed that the spectrum of proton plus helium has an early knee below PeV. If this is correct, the diffuse $\gamma$-ray emission would suggest an additional component of Galactic cosmic rays above PeV energies. This second component may originate from a source population of so-called PeVatrons revealed by recent ultra-high energy $\gamma$-ray observations, and could contribute to the cosmic ray fluxes up to the energy of the second knee. On the other hand, the KASCADE measurement showed that the knee of protons is higher than PeV. In this case, the diffuse $\gamma$-rays observed by Tibet-AS$\gamma$ can be well accounted for by only one cosmic ray component. These two scenarious (ie. the Tibet and KASCADE knees) could be distinguished by the spectral structures of diffuse $\gamma$-rays and cosmic ray nuclei. Future measurements of spectra of individual nuclei by HERD and LHAASO experiments and diffuse $\gamma$-rays by LHAASO can jointly constrain these two scenarios.


title: Resolving Two Distinct Thermal X-ray Components in A compound Solar Flare

abstract: X-ray emission provides the most direct diagnostics of the energy-release process in solar flares. Occasionally, a superhot X-ray source is found to be above hot flare loops of ~10 MK temperature. While the origin of the superhot plasma is still elusive, it has conjured up an intriguing image of in-situ plasma heating near the reconnection site high above the flare loops, in contrast to the conventional picture of chromospheric evaporation. Here we investigate an extremely long-duration solar flare, in which EUV images show two distinct flare loop systems that appear successively along a Gamma-shaped polarity inversion line (PIL). When both flare loop systems are present, the HXR spectrum is found to be well fitted by combining a hot component (Te ~12 MK) and a superhot component (Te ~30 MK). Associated with a fast CME, the superhot X-ray source is located at top of the flare arcade that appears earlier, straddling and extending along the long "arm" of the Gamma-shaped PIL. Associated with a slow CME, the hot X-ray source is located at the top of the flare arcade that appears later and sits astride the short "arm" of the Gamma-shaped PIL. Aided by observations from a different viewing angle, we are able to verify that the superhot X-ray source is above the hot one in projection, but the two sources belong to different flare loop systems. Thus, this case study provides a stereoscopic observation explaining the co-existence of superhot and hot X-ray emitting plasmas in solar flares.


title: Extending nn-UNet for brain tumor segmentation

abstract: Brain tumor segmentation is essential for the diagnosis and prognosis of patients with gliomas. The brain tumor segmentation challenge has continued to provide a great source of data to develop automatic algorithms to perform the task. This paper describes our contribution to the 2021 competition. We developed our methods based on nn-UNet, the winning entry of last year competition. We experimented with several modifications, including using a larger network, replacing batch normalization with group normalization, and utilizing axial attention in the decoder. Internal 5-fold cross validation as well as online evaluation from the organizers showed the effectiveness of our approach, with minor improvement in quantitative metrics when compared to the baseline. The proposed models won first place in the final ranking on unseen test data. The codes, pretrained weights, and docker image for the winning submission are publicly available at https://github.com/rixez/Brats21_KAIST_MRI_Lab


title: Unimodular triangulations of sufficiently large dilations

abstract: An integral polytope is a polytope whose vertices have integer coordinates. A unimodular triangulation of an integral polytope in $\mathbb{R}^d$ is a triangulation in which all simplices are integral with volume $1/d!$. A classic result of Knudsen, Mumford, and Waterman states that for every integral polytope $P$, there exists a positive integer $c$ such that $cP$ has a unimodular triangulation. We strengthen this result by showing that for every integral polytope $P$, there exists $c$ such that for every positive integer $c' \ge c$, $c'P$ admits a unimodular triangulation. This answers a longstanding question in the area.


title: Cutoff Phenomenon and Limiting Profile of a Random Walk on the Symmetric Group

abstract: We present an overview of the representation theoretic techniques used to study the mixing times of random walks on finite groups. We focus on the card shuffle studied by Diaconis and Shahshahani in the 1980s and a recent improvement on their result by Teyssier


title: The cohomology of $C_2$-surfaces with $\underline{\mathbb{Z}}$-coefficients

abstract: Let $C_2$ denote the cyclic group of order 2. We compute the $RO(C_2)$-graded cohomology of all $C_2$-surfaces with constant integral coefficients. We show when the action is nonfree, the answer depends only on the genus, the orientability of the underlying surface, the number of isolated fixed points, the number of fixed circles with trivial normal bundles, and the number of fixed circles with nontrivial normal bundles. When the action on the surface is free, we show the answer depends only on the genus, the orientability of the underlying surface, whether the action is orientation preserving versus reversing in the orientable case, and one other invariant.


title: Illuminating the Darkest Galaxies

abstract: Low luminosity dwarf galaxies provide stringent constraints on the nature of dark matter. Establishing these constraints depends on precise kinematic measurements of individual stars. In this overview for non-specialists, we describe current and future prospects for three unique tests of dark matter using resolved stellar kinematics in low luminosity galaxies: the overall number of satellite galaxies around the Milky Way, dark-matter annihilation radiation from dwarf galaxies, and their internal density profiles. We then assess the prospects for meaningfully testing theories of dark matter based on the improved kinematic precision expected from upcoming facilities.


title: Bifurcations in inertial focusing of a particle suspended in flow through curved rectangular ducts

abstract: Particles suspended in a fluid flow through a curved duct can focus to specific locations within the duct cross-section. This particle focusing is a result of a balance between two dominant forces acting on the particle: (i) the inertial lift force arising from small but non-negligible inertia of the fluid, and (ii) the secondary drag force due to the cross-sectional vortices induced by the curvature of the duct. By adopting a simplified particle dynamics model developed by Ha et al.~[1], we investigate both analytically and numerically, the particle equilibria and their bifurcations when a small particle is suspended in low-flow-rate fluid flow through a curved duct having a $2\times1$ and a $1\times2$ rectangular cross-section. In certain parameter regimes of the model, we analytically obtain the particle equilibria and deduce their stability, while for other parameter regimes, we numerically calculate the particle equilibria and stability. Moreover, we observe a number of different bifurcations in particle equilibria such as saddle-node, pitchfork and Hopf, as the model parameters are varied. These results may aid in the design of inertial microfluidic devices aimed at particle separation by size.


title: Orbital Dynamics in Centrosymmetric Systems

abstract: Orbital dynamics in time-reversal-symmetric centrosymmetric systems is examined theoretically. Contrary to common belief, we demonstrate that many aspects of orbital dynamics are qualitatively different from spin dynamics because the algebraic properties of the orbital and spin angular momentum operators are different. This difference generates interesting orbital responses, which do not have spin counterparts. For instance, the orbital angular momentum expectation values may oscillate even without breaking neither the time-reversal nor the inversion symmetry. Our quantum Boltzmann approach reproduces the previous result on the orbital Hall effect and reveals additional orbital dynamics phenomena, whose detection schemes are discussed briefly. Our work will be useful for the experimental differentiation of the orbital dynamics from the spin dynamics.


title: A Fully Single Loop Algorithm for Bilevel Optimization without Hessian Inverse

abstract: In this paper, we propose a new Hessian inverse free Fully Single Loop Algorithm (FSLA) for bilevel optimization problems. Classic algorithms for bilevel optimization admit a double loop structure which is computationally expensive. Recently, several single loop algorithms have been proposed with optimizing the inner and outer variable alternatively. However, these algorithms not yet achieve fully single loop. As they overlook the loop needed to evaluate the hyper-gradient for a given inner and outer state. In order to develop a fully single loop algorithm, we first study the structure of the hyper-gradient and identify a general approximation formulation of hyper-gradient computation that encompasses several previous common approaches, e.g. back-propagation through time, conjugate gradient, \emph{etc.} Based on this formulation, we introduce a new state variable to maintain the historical hyper-gradient information. Combining our new formulation with the alternative update of the inner and outer variables, we propose an efficient fully single loop algorithm. We theoretically show that the error generated by the new state can be bounded and our algorithm converges with the rate of $O(\epsilon^{-2})$. Finally, we verify the efficacy our algorithm empirically through multiple bilevel optimization based machine learning tasks.


title: Quantitative Determination of the Critical Points of Mott Metal-Insulator Transition in Strongly Correlated Systems

abstract: Mottness is at the heart of the essential physics in a strongly correlated system as many novel quantum phenomena occur in the metallic phase near the Mott metal-insulator transition. We investigate the Mott transition in a Hubbard model by using the dynamical mean-field theory and introduce the local quantum state fidelity to depict the Mott metal-insulator transition. The local quantum state fidelity provides a convenient approach for determining the critical point of the Mott transition. Additionally, it presents a consistent description of the two distinct forms of the Mott transition points.


title: Dual Cluster Contrastive learning for Object Re-Identification

abstract: Recently, cluster contrastive learning has been proven effective for object ReID by computing the contrastive loss between the individual features and the cluster memory. However, existing methods that use the individual features to momentum update the cluster memory will fluctuate over the training examples, especially for the outlier samples. Unlike the individual-based updating mechanism, the centroid-based updating mechanism that applies the mean feature of each cluster to update the cluster memory can reduce the impact of individual samples. Therefore, we formulate the individual-based updating and centroid-based updating mechanisms in a unified cluster contrastive framework, named Dual Cluster Contrastive framework (DCC), which maintains two types of memory banks: individual and centroid cluster memory banks. Significantly, the individual cluster memory considers just one individual at a time to take a single step for updating. The centroid cluster memory applies the mean feature of each cluster to update the corresponding cluster memory. During optimization, besides the vallina contrastive loss of each memory, a cross-view consistency constraint is applied to exchange the benefits of two memories for generating a discriminative description for the object ReID. Note that DCC can be easily applied for unsupervised or supervised object ReID by using ground-truth labels or the generated pseudo-labels. Extensive experiments on three benchmarks, \emph{e.g.,} Market-1501, MSMT17, and VeRi-776, under \textbf{supervised Object ReID} and \textbf{unsupervised Object ReID} demonstrate the superiority of the proposed DCC.


title: Atmospheres of Rocky Exoplanets

abstract: Rocky planets are common around other stars, but their atmospheric properties remain largely unconstrained. Thanks to a wealth of recent planet discoveries and upcoming advances in observing capability, we are poised to characterize the atmospheres of dozens of rocky exoplanets in this decade. Theoretical understanding of rocky exoplanet atmospheres has advanced considerably in the last few years, yielding testable predictions of their evolution, chemistry, dynamics and even possible biosignatures. Here we review key progress in this field to date and discuss future objectives. Our major conclusions are as follows: 1) Many rocky planets may form with initial H$_2$-He envelopes that are later lost to space, likely due to a combination of stellar UV/X-ray irradiation and internal heating. 2) After the early stages of evolution, a wide diversity of atmospheric compositions is expected, due to variations in host star flux, atmospheric escape rates, interior exchange and other factors. 3) Observations have ruled out the presence of hydrogen-dominated atmospheres on several nearby rocky exoplanets, and the presence of any thick atmosphere on one target. More detailed atmospheric characterization of these planets and others will become possible in the near future. 4) Exoplanet biosphere searches are an exciting future goal. However, reliable detections for a representative sample of planets will require further advances in observing capability and improvements in our understanding of abiotic planetary processes.


title: Evolution between two orbital-selective Mott phases driven by interorbital hopping

abstract: The effect of interorbital hopping on the orbital selective Mottness in a two-band correlation system is investigated by using the dynamical mean-field theory with the Lanczos method as impurity solver. We construct the phase diagram of the two-orbital Hubbard model with interorbital hopping ($t_{12})$, where the orbital selective Mott phases (OSMP) show different evolution trends. We find that the negative interorbital hopping ($t_{12}<0$) can enhance the OSMP regime upon tuning the effective bandwidth ratio. On the contrary, for the cases with positive interorbital hopping ($t_{12}>0$), the OSMP region becomes narrow with the increase of orbital hybridization until it disappears. It is also shown that a new OSMP emerges for a large enough positive interorbital hopping, owing to the role exchange of wide and narrow effective orbitals caused by the large $t_{12}$. Our results are also applicable to the hole-overdoped Ba$_2$CuO$_{4-\delta}$ superconductor, which is an orbital-selective Mott compound at half-filling.


title: Style Mixing and Patchwise Prototypical Matching for One-Shot Unsupervised Domain Adaptive Semantic Segmentation

abstract: In this paper, we tackle the problem of one-shot unsupervised domain adaptation (OSUDA) for semantic segmentation where the segmentors only see one unlabeled target image during training. In this case, traditional unsupervised domain adaptation models usually fail since they cannot adapt to the target domain with over-fitting to one (or few) target samples. To address this problem, existing OSUDA methods usually integrate a style-transfer module to perform domain randomization based on the unlabeled target sample, with which multiple domains around the target sample can be explored during training. However, such a style-transfer module relies on an additional set of images as style reference for pre-training and also increases the memory demand for domain adaptation. Here we propose a new OSUDA method that can effectively relieve such computational burden. Specifically, we integrate several style-mixing layers into the segmentor which play the role of style-transfer module to stylize the source images without introducing any learned parameters. Moreover, we propose a patchwise prototypical matching (PPM) method to weighted consider the importance of source pixels during the supervised training to relieve the negative adaptation. Experimental results show that our method achieves new state-of-the-art performance on two commonly used benchmarks for domain adaptive semantic segmentation under the one-shot setting and is more efficient than all comparison approaches.


title: Densifying Sparse Representations for Passage Retrieval by Representational Slicing

abstract: Learned sparse and dense representations capture different successful approaches to text retrieval and the fusion of their results has proven to be more effective and robust. Prior work combines dense and sparse retrievers by fusing their model scores. As an alternative, this paper presents a simple approach to densifying sparse representations for text retrieval that does not involve any training. Our densified sparse representations (DSRs) are interpretable and can be easily combined with dense representations for end-to-end retrieval. We demonstrate that our approach can jointly learn sparse and dense representations within a single model and then combine them for dense retrieval. Experimental results suggest that combining our DSRs and dense representations yields a balanced tradeoff between effectiveness and efficiency.


title: Non-equilibrium cumulants within model A from crossover to first-order phase transition side

abstract: We study the non-equilibrium cumulants of the chiral order parameter field ({\sigma} field) in different phase transition scenarios via Langevin dynamics. Cumulants up to fourth-order have been calculated based on the spacetimedependent {\sigma} configurations from the event-by-event numerical simulations. By limiting the cooling of the system in a Hubble-like way, the out-of-equilibrium cumulants illustrate clear memory effects during the evolution. Both the signs and the magnitudes of the high-order cumulants differ from the equilibrium ones below the phase transition temperature. Especially, the dynamical cumulants grow more intensively from the first-order phase transition side than they do from the crossover side. In addition, analysis of the high-order offequilibrium cumulants on the hypothetical freeze-out lines present non-monotonic curves in the large chemical potential region.


title: Establishing a non-hydrostatic global atmospheric modeling system (iAMAS) at 3-km horizontal resolution with online integrated aerosol feedbacks on the Sunway supercomputer of China

abstract: During the era of global warming and highly urbanized development, extreme and high impact weather as well as air pollution incidents influence everyday life and might even cause the incalculable loss of life and property. Although with the vast development of numerical simulation of atmosphere, there still exists substantial forecast biases objectively. To predict extreme weather, severe air pollution, and abrupt climate change accurately, the numerical atmospheric model requires not only to simulate meteorology and atmospheric compositions and their impacts simultaneously involving many sophisticated physical and chemical processes but also at high spatiotemporal resolution. Global atmospheric simulation of meteorology and atmospheric compositions simultaneously at spatial resolutions of a few kilometers remains challenging due to its intensive computational and input/output (I/O) requirement. Through multi-dimension-parallelism structuring, aggressive and finer-grained optimizing, manual vectorizing, and parallelized I/O fragmenting, an integrated Atmospheric Model Across Scales (iAMAS) was established on the new Sunway supercomputer platform to significantly increase the computational efficiency and reduce the I/O cost. The global 3-km atmospheric simulation for meteorology with online integrated aerosol feedbacks with iAMAS was scaled to 39,000,000 processor cores and achieved the speed of 0.82 simulation day per hour (SDPH) with routine I/O, which enables us to perform 5-day global weather forecast at 3-km horizontal resolution with online natural aerosol impacts. The results demonstrate the promising future that the increasing of spatial resolution to a few kilometers with online integrated aerosol impacts may significantly improve the global weather forecast.


title: A Survey on Parameterized Inapproximability: $k$-Clique, $k$-SetCover, and More

abstract: In the past a few years, many interesting inapproximability results have been obtained from the parameterized perspective. This article surveys some of such results, with a focus on $k$-Clique, $k$-SetCover, and other related problems.


title: Weak$^*$ closures and derived sets for convex sets in dual Banach spaces

abstract: The paper is devoted to the convex-set counterpart of the theory of weak$^*$ derived sets initiated by Banach and Mazurkiewicz for subspaces. The main result is the following: For every nonreflexive Banach space $X$ and every countable successor ordinal $\alpha$, there exists a convex subset $A$ in $X^*$ such that $\alpha$ is the least ordinal for which the weak$^*$ derived set of order $\alpha$ coincides with the weak$^*$ closure of $A$. This result extends the previously known results on weak$^*$ derived sets by Ostrovskii (2011) and Silber (2021).