title: Structural properties and classification of variable stars: A study through unsupervised machine learning techniques

abstract: The advancement in the field of data science especially in machine learning along with vast databases of variable star projects like the Optical Gravitational Lensing Experiment (OGLE) encourages researchers to analyse as well as classify light curves of different variable stars automatically with efficiency. In the present work, we have demonstrated the relative performances of principal component analysis (PCA) and independent component analysis (ICA) applying to huge databases of OGLE variable star light curves after obtaining 1000 magnitudes between phase 0 to 1 with step length 0.001 for each light curves in identifying resonances for fundamental mode (FU) and first overtone (FO) Cepheids and in the classification of variable stars for Large Magellanic Cloud (LMC), Small Magellanic Cloud (SMC) as well as Milky Way (MW). We have seen that the performance of ICA is better for finding resonances for Cepheid variables as well as for accurately classifying large data sets of light curves than PCA. Using K-means clustering algorithm (CA) with respect to independent components (ICs), we have plotted period-luminosity diagrams and colour-magnitude diagrams separately for LMC, SMC and MW and found that ICA along with K-means CA is a very robust tool for classification as well as future prediction on the nature of light curves of variable stars.


title: Tuned Regularized Estimators for Linear Regression via Covariance Fitting

abstract: We consider the problem of finding tuned regularized parameter estimators for linear models. We start by showing that three known optimal linear estimators belong to a wider class of estimators that can be formulated as a solution to a weighted and constrained minimization problem. The optimal weights, however, are typically unknown in many applications. This begs the question, how should we choose the weights using only the data? We propose using the covariance fitting SPICE-methodology to obtain data-adaptive weights and show that the resulting class of estimators yields tuned versions of known regularized estimators - such as ridge regression, LASSO, and regularized least absolute deviation. These theoretical results unify several important estimators under a common umbrella. The resulting tuned estimators are also shown to be practically relevant by means of a number of numerical examples.


title: The role of the cosmic web in the scatter of the galaxy stellar mass - gas metallicity relation

abstract: Understanding the relationship between the cosmic web and the gas content of galaxies is a key step towards understanding galaxy evolution. However, the impact of the cosmic web on the growth of galaxies and dark matter halos is not yet properly understood. We report a detection of the effect of the cosmic web on the galaxy stellar mass - gas phase metallicity relation of low redshift star-forming galaxies, using SDSS data. The proximity of a galaxy to a node, independently of stellar mass and overdensity, influences its gas-phase metallicity, with galaxies closer to nodes displaying higher chemical enrichment than those further away. We find a similar but significantly weaker effect with respect to filaments. We supplement our observational analysis with a study of the cosmological hydrodynamical simulation IllustrisTNG (TNG300), finding qualitative agreement with our results. Using IllustrisTNG, our results can be explained by both halo assembly bias and gas supply combining in nodes in a way that significantly modulates the metallicity of the gas, contributing to the scatter of this fundamental relation in galaxy evolution.


title: Semisimple decompositions of Lie algebras and prehomogeneous modules

abstract: We study {\em disemisimple} Lie algebras, i.e., Lie algebras which can be written as a vector space sum of two semisimple subalgebras. We show that a Lie algebra $\mathfrak{g}$ is disemisimple if and only if its solvable radical coincides with its nilradical and is a prehomogeneous $\mathfrak{s}$-module for a Levi subalgebra $\mathfrak{s}$ of $\mathfrak{g}$. We use the classification of prehomogeneous $\mathfrak{s}$-modules for simple Lie algebras $\mathfrak{s}$ given by Vinberg to show that the solvable radical of a disemisimple Lie algebra with simple Levi subalgebra is abelian. We extend this result to disemisimple Lie algebras having no simple quotients of type $A$.


title: Detection of iron emission lines and a temperature inversion on the dayside of the ultra-hot Jupiter KELT-20b

abstract: Ultra-hot Jupiters (UHJs) are gas giants with very high equilibrium temperatures. In recent years, multiple chemical species, including various atoms and ions, have been discovered in their atmospheres. Most of these observations have been performed with transmission spectroscopy, although UHJs are also ideal targets for emission spectroscopy due to their strong thermal radiation. We present high-resolution thermal emission spectroscopy of the transiting UHJ KELT-20b/MASCARA-2b. The observation was performed with the CARMENES spectrograph at orbital phases before and after the secondary eclipse. We detected atomic Fe using the cross-correlation technique. The detected Fe lines are in emission, which unambiguously indicates a temperature inversion on the dayside hemisphere. We furthermore retrieved the temperature structure with the detected Fe lines. The result shows that the atmosphere has a strong temperature inversion with a temperature of $4900\pm{700}$ K and a pressure of $10^{-4.8_{-1.1}^{+1.0}}$ bar at the upper layer of the inversion. A joint retrieval of the CARMENES data and the TESS secondary eclipse data returns a temperature of $2550_{-250}^{+150}$ K and a pressure of $10^{-1.5_{-0.6}^{+0.7}}$ bar at the lower layer of the temperature inversion. The detection of such a strong temperature inversion is consistent with theoretical simulations that predict an inversion layer on the dayside of UHJs. The joint retrieval of the CARMENES and TESS data demonstrates the power of combing high-resolution emission spectroscopy with secondary eclipse photometry in characterizing atmospheric temperature structures.


title: Rigorous computation of Maass cusp forms of squarefree level

abstract: We derive an algorithm to rigorously compute and verify Maass cusp forms of squarefree level and trivial character. The main tool we use is an explicit version of the Selberg trace formula with Hecke operators due to Str\"{o}mbergsson. We use this algorithm to compute several thousand Maass forms for a range of levels and use this data to obtain numerical evidence towards various conjectures.


title: Ab initio metadynamics determination of temperature-dependent free-energy landscape in ultrasmall silver clusters

abstract: Ab initio metadynamics enables extracting free-energy landscapes having the accuracy of first principles electronic structure methods. We introduce an interface between the PLUMED code that computes free-energy landscapes and enhanced-sampling algorithms and the ASE module, which includes several ab initio electronic structure codes. The interface is validated with a Lennard-Jones cluster free-energy landscape calculation by averaging multiple short metadynamics trajectories. We use this interface and analysis to estimate the free-energy landscape of Ag5 and Ag6 clusters at 10, 100 and 300 K with the radius of gyration and coordination number as collective variables, finding at most tens of meV in error. Relative free-energy differences between the planar and non-planar isomers of both clusters decrease with temperature, in agreement with previously proposed stabilization of non-planar isomers. Interestingly, we find that Ag6 is the smallest silver cluster where entropic effects at room temperature boost the non planar isomer probability to a competing state. The new ASE-PLUMED interface enables simulating nanosystem electronic properties at more realistic temperature-dependent conditions.


title: Infrared properties of five-point massive amplitudes in N=4 SYM on the Coulomb branch

abstract: We investigate the structure of the five-point W boson scattering amplitude in N=4 SYM on the Coulomb branch in a small mass limit. We show that up to two loops the IR divergences exponentiate and are controlled by the $\Gamma_{oct}$ anomalous dimension similar to the four-point amplitude case considered recently in the literature. We also make a conjecture regarding the all-loop structure of the five-point amplitude


title: Object Detection in Aerial Images: What Improves the Accuracy?

abstract: Object detection is a challenging and popular computer vision problem. The problem is even more challenging in aerial images due to significant variation in scale and viewpoint in a diverse set of object categories. Recently, deep learning-based object detection approaches have been actively explored for the problem of object detection in aerial images. In this work, we investigate the impact of Faster R-CNN for aerial object detection and explore numerous strategies to improve its performance for aerial images. We conduct extensive experiments on the challenging iSAID dataset. The resulting adapted Faster R-CNN obtains a significant mAP gain of 4.96% over its vanilla baseline counterpart on the iSAID validation set, demonstrating the impact of different strategies investigated in this work.


title: Group lattices over division rings A tribute to the renowned Indian Mathematician K.S.S.Nambooripad

abstract: Group action on an algebraic structure gives a representation of the group by automorphisms on the structure. An action of a group on a lattice gives a group lattice. K.S.S. Nambooripad introduced G-lattice in 1990. In this paper revisits Nambooripad construction of G-lattice.


title: Emission-line diagnostics of HII regions using conditional Invertible Neural Networks

abstract: Young massive stars play an important role in the evolution of the interstellar medium (ISM) and the self-regulation of star formation in giant molecular clouds (GMCs) by injecting energy, momentum, and radiation (stellar feedback) into surrounding environments, disrupting the parental clouds, and regulating further star formation. Information of the stellar feedback inheres in the emission we observe, however inferring the physical properties from photometric and spectroscopic measurements is difficult, because stellar feedback is a highly complex and non-linear process, so that the observational data are highly degenerate. On this account, we introduce a novel method that couples a conditional invertible neural network (cINN) with the WARPFIELD-emission predictor (WARPFIELD-EMP) to estimate the physical properties of star-forming regions from spectral observations. We present a cINN that predicts the posterior distribution of seven physical parameters (cloud mass, star formation efficiency, cloud density, cloud age which means age of the first generation stars, age of the youngest cluster, the number of clusters, and the evolutionary phase of the cloud) from the luminosity of 12 optical emission lines, and test our network with synthetic models that are not used during training. Our network is a powerful and time-efficient tool that can accurately predict each parameter, although degeneracy sometimes remains in the posterior estimates of the number of clusters. We validate the posteriors estimated by the network and confirm that they are consistent with the input observations. We also evaluate the influence of observational uncertainties on the network performance.


title: How the super-Eddington regime regulates black hole growth in high-redshift galaxies

abstract: Super-Eddington accretion is one scenario that may explain the rapid assembly of $\sim 10^9\rm\, M_\odot$ supermassive black holes (BHs) within the first billion year of the Universe. This critical regime is associated with radiatively inefficient accretion and accompanied by powerful outflows in the form of winds and jets. By means of hydrodynamical simulations of BH evolution in an isolated galaxy and its host halo with 12 pc resolution, we investigate how super-Eddington feedback affects the mass growth of the BH. It is shown that super-Eddington feedback efficiently prevents BH growth within a few Myr. The super-Eddington accretion events remain relatively mild with typical rates of about 2-3 times the Eddington limit, because of the efficient regulation by jets in that regime. We find that these jets are powerful enough to eject gas from the centre of the host galaxy all the way up to galactic scales at a few kpc, but do not significantly impact gas inflows at those large scales. By varying the jet feedback efficiency, we find that weaker super-Eddington jets allow for more significant BH growth through more frequent episodes of super-Eddington accretion. We conclude that effective super-Eddington growth is possible, as we find that simulations with weak jet feedback efficiencies provide a slightly larger BH mass evolution over long periods of time ($\sim 80\,\rm Myr$) than that for a BH accreting at the Eddington limit.


title: Upper density of monochromatic paths in edge-coloured infinite complete graphs and bipartite graphs

abstract: The upper density of an infinite graph $G$ with $V(G) \subseteq \mathbb{N}$ is defined as $\overline{d}(G) = \limsup_{n \rightarrow \infty}{|V(G) \cap \{1,\ldots,n\}|}/{n}$. Let $K_{\mathbb{N}}$ be the infinite complete graph with vertex set $\mathbb{N}$. Corsten, DeBiasio, Lamaison and Lang showed that in every $2$-edge-colouring of $K_{\mathbb{N}}$, there exists a monochromatic path with upper density at least $(12 + \sqrt{8})/17$, which is best possible. In this paper, we extend this result to $k$-edge-colouring of $K_{\mathbb{N}}$ for $k \ge 3$. We conjecture that every $k$-edge-coloured $K_{\mathbb{N}}$ contains a monochromatic path with upper density at least $1/(k-1)$, which is best possible (when $k-1$ is a prime power). We prove that this is true when $k = 3$ and asymptotically when $k =4$. Furthermore, we show that this problem can be deduced from its bipartite variant, which is of independent interest.


title: On probability-raising causality in Markov decision processes

abstract: The purpose of this paper is to introduce a notion of causality in Markov decision processes based on the probability-raising principle and to analyze its algorithmic properties. The latter includes algorithms for checking cause-effect relationships and the existence of probability-raising causes for given effect scenarios. Inspired by concepts of statistical analysis, we study quality measures (recall, coverage ratio and f-score) for causes and develop algorithms for their computation. Finally, the computational complexity for finding optimal causes with respect to these measures is analyzed.


title: Fractional calculus and time-fractional differential equations: revisit and construction of a theory

abstract: For fractional derivatives and time-fractional differential equations, we construct a framework on the basis of the operator theory in fractional Sobolev spaces. Our framework provides a feasible extension of the classical Caputo and the Riemann-Liouville derivatives within Sobolev spaces of fractional orders including negative ones. Our approach enables a unified treatment for fractional calculus and time-fractional differential equations. We formulate initial value problems for fractional ordinary differential equations and initial boundary value problems for fractional partial differential equations to prove the well-posedness and other properties.


title: Generalization Metrics for Practical Quantum Advantage in Generative Models

abstract: As the quantum computing community gravitates towards understanding the practical benefits of quantum computers, having a clear definition and evaluation scheme for assessing practical quantum advantage in the context of specific applications is paramount. Generative modeling, for example, is a widely accepted natural use case for quantum computers, and yet has lacked a concrete approach for quantifying success of quantum models over classical ones. In this work, we construct a simple and unambiguous approach to probe practical quantum advantage for generative modeling by measuring the algorithm's generalization performance. Using the sample-based approach proposed here, any generative model, from state-of-the-art classical generative models such as GANs to quantum models such as Quantum Circuit Born Machines, can be evaluated on the same ground on a concrete well-defined framework. In contrast to other sample-based metrics for probing practical generalization, we leverage constrained optimization problems (e.g., cardinality-constrained problems) and use these discrete datasets to define specific metrics capable of unambiguously measuring the quality of the samples and the model's generalization capabilities for generating data beyond the training set but still within the valid solution space. Additionally, our metrics can diagnose trainability issues such as mode collapse and overfitting, as we illustrate when comparing GANs to quantum-inspired models built out of tensor networks. Our simulation results show that our quantum-inspired models have up to a $68 \times$ enhancement in generating unseen unique and valid samples compared to GANs, and a ratio of 61:2 for generating samples with better quality than those observed in the training set. We foresee these metrics as valuable tools for rigorously defining practical quantum advantage in the domain of generative modeling.


title: Tsallis statistics and thermofractals: applications to high energy and hadron physics

abstract: We study the applications of non-extensive Tsallis statistics to high energy and hadron physics. These applications include studies of $pp$ collisions, equation of state of QCD, as well as Bose-Einstein condensation. We also analyze the connections of Tsallis statistics with thermofractals, and address some of the conceptual aspects of the fractal approach, which are expressed in terms of the renormalization group equation and the self-energy corrections to the parton mass. We associate these well-known concepts with the origins of the fractal structure in the quantum field theory.


title: Under-Approximating Expected Total Rewards in POMDPs

abstract: We consider the problem: is the optimal expected total reward to reach a goal state in a partially observable Markov decision process (POMDP) below a given threshold? We tackle this -- generally undecidable -- problem by computing under-approximations on these total expected rewards. This is done by abstracting finite unfoldings of the infinite belief MDP of the POMDP. The key issue is to find a suitable under-approximation of the value function. We provide two techniques: a simple (cut-off) technique that uses a good policy on the POMDP, and a more advanced technique (belief clipping) that uses minimal shifts of probabilities between beliefs. We use mixed-integer linear programming (MILP) to find such minimal probability shifts and experimentally show that our techniques scale quite well while providing tight lower bounds on the expected total reward.


title: UOCS VII. Blue Straggler Populations of Open Cluster NGC 7789 with UVIT/AstroSat

abstract: NGC 7789 is a $\sim$1.6 Gyr old, populous open cluster located at $\sim$2000 pc. We characterize the blue straggler stars (BSS) of this cluster using the Ultraviolet (UV) data from the UVIT/AstroSat. We present spectral energy distributions (SED) of 15 BSS candidates constructed using multi-wavelength data ranging from UV to IR wavelengths. In 8 BSS candidates, a single temperature SED is found to be satisfactory. We discover hot companions in 5 BSS candidates. The hot companions with Teff $\sim$11750-15500 K, R $\sim$0.069-0.242 R$_{\odot}$, and L $\sim$0.25-1.55 L$_{\odot}$, are most likely extremely low mass (ELM) white dwarfs (WDs) with masses smaller than $\sim$0.18 M$_{\odot}$, and thereby confirmed post mass transfer systems. We discuss the implication of this finding in the context of BSS formation mechanisms. Two additional BSS show excess in one or more UV filters, and may have a hot companion, however, we are unable to characterize them. We suggest that at least 5 of the 15 BSS candidates (33%) studied in this cluster have formed via the mass transfer mechanism.


title: Two for One $\&$ One for All: Two-Sided Manipulation in Matching Markets

abstract: Strategic behavior in two-sided matching markets has been traditionally studied in a "one-sided" manipulation setting where the agent who misreports is also the intended beneficiary. Our work investigates "two-sided" manipulation of the deferred acceptance algorithm where the misreporting agent and the manipulator (or beneficiary) are on different sides. Specifically, we generalize the recently proposed accomplice manipulation model (where a man misreports on behalf of a woman) along two complementary dimensions: (a) the two for one model, with a pair of misreporting agents (man and woman) and a single beneficiary (the misreporting woman), and (b) the one for all model, with one misreporting agent (man) and a coalition of beneficiaries (all women). Our main contribution is to develop polynomial-time algorithms for finding an optimal manipulation in both settings. We obtain these results despite the fact that an optimal one for all strategy fails to be inconspicuous, while it is unclear whether an optimal two for one strategy satisfies the inconspicuousness property. We also study the conditions under which stability of the resulting matching is preserved. Experimentally, we show that two-sided manipulations are more frequently available and offer better quality matches than their one-sided counterparts.


title: Smoothed Model-Assisted Small Area Estimation

abstract: In countries where population census data are limited, generating accurate subnational estimates of health and demographic indicators is challenging. Existing model-based geostatistical methods leverage covariate information and spatial smoothing to reduce the variability of estimates but often ignore survey design, while traditional small area estimation approaches may not incorporate both unit level covariate information and spatial smoothing in a design-consistent way. We propose a smoothed model-assisted estimator that accounts for survey design and leverages both unit level covariates and spatial smoothing. Under certain assumptions, this estimator is both design-consistent and model-consistent. We compare it with existing design-based and model-based estimators using real and simulated data.


title: Deep upper limit on the optical emission during a hard X-ray burst from the magnetar SGR J1935+2154

abstract: In September 2021 the magnetar SGR J1935+2154 entered a stage of burst/flaring activity in the hard X-ray band. On September 10, 2021 we observed SGR J1935+2154 with the fiber-fed fast optical photon counter IFI+Iqueye, mounted at the 1.22 m Galileo telescope in Asiago. During one of the IFI+Iqueye observing windows a hard X-ray burst was detected with the Fermi Gamma-ray Burst Monitor. We performed a search for any significant increase in the count rate on the 1-s, 10-ms and 1-ms binned IFI+Iqueye light curves around the time of the Fermi burst. No significant peak was detected with a significance above 3$\sigma$ in an interval of $\pm$90 s around the burst. Correcting for interstellar extinction ($A_V \simeq 5.8$ mag), the IFI+Iqueye upper limits to any possible optical burst from SGR J1935+2154 are $V=10.1$ mag, $V=7.2$ mag and $V=5.8$ mag for the 1-s, 10-ms and 1-ms binned light curves, respectively. The corresponding extinction corrected upper limits to the fluence (specific fluence) are $3.1 \times 10^{-10}$ erg cm$^{-2}$ (0.35 Jy s), $4.2 \times 10^{-11}$ erg cm$^{-2}$ (4.8 Jy $\cdot$ 10 ms), and $1.6 \times 10^{-11}$ erg cm$^{-2}$ (17.9 Jy ms), orders of magnitude deeper than any previous simultaneous optical limit on a magnetar burst. The IFI+Iqueye measurement can also place a more stringent constraint to the spectral index of the optical to hard X-ray fluence of SGR J1935+2154, implying a spectrum steeper than $\nu^{0.64}$. Fast optical timing observations of bursts associated with radio emission have then the potential to yield a detection.


title: Generalizations of results of Friedman and Washington on cokernels of random $p$-adic matrices

abstract: Let $p$ be prime and $X$ be a Haar-random $n \times n$ matrix over $\mathbb{Z}_{p}$, the ring of $p$-adic integers. Let $P_{1}(t), \dots, P_{l}(t) \in \mathbb{Z}_{p}[t]$ be monic polynomials of degree at most $2$ whose images modulo $p$ are distinct and irreducible in $\mathbb{F}_{p}[t]$. For each $j$, let $G_{j}$ be a finite module over $\mathbb{Z}_{p}[t]/(P_{j}(t))$. We show that as $n$ goes to infinity, the probabilities that $\mathrm{cok}(P_{j}(X)) \simeq G_{j}$ are independent, and each probability can be described in terms of a Cohen-Lenstra distribution. We also show that for any fixed $n$, the probability that $\mathrm{cok}(P_{j}(X)) \simeq G_{j}$ for each $j$ is a constant multiple of the probability that that $\mathrm{cok}(P_{j}(\bar{X})) \simeq G_{j}/pG_{j}$ for each $j$, where $\bar{X}$ is an $n \times n$ uniformly random matrix over $\mathbb{F}_{p}$. These results generalize work of Friedman and Washington and prove new cases of a conjecture of Cheong and Huang.


title: Mitigating Smart Jammers in MU-MIMO via Joint Channel Estimation and Data Detection

abstract: Wireless systems must be resilient to jamming attacks. Existing mitigation methods require knowledge of the jammer's transmit characteristics. However, this knowledge may be difficult to acquire, especially for smart jammers that attack only specific instants during transmission in order to evade mitigation. We propose a novel method that mitigates attacks by smart jammers on massive multi-user multiple-input multiple-output (MU-MIMO) basestations (BSs). Our approach builds on recent progress in joint channel estimation and data detection (JED) and exploits the fact that a jammer cannot change its subspace within a coherence interval. Our method, called MAED (short for MitigAtion, Estimation, and Detection), uses a novel problem formulation that combines jammer estimation and mitigation, channel estimation, and data detection, instead of separating these tasks. We solve the problem approximately with an efficient iterative algorithm. Our results show that MAED effectively mitigates a wide range of smart jamming attacks without having any a priori knowledge about the attack type.


title: Contrastive and Selective Hidden Embeddings for Medical Image Segmentation

abstract: Medical image segmentation has been widely recognized as a pivot procedure for clinical diagnosis, analysis, and treatment planning. However, the laborious and expensive annotation process lags down the speed of further advances. Contrastive learning-based weight pre-training provides an alternative by leveraging unlabeled data to learn a good representation. In this paper, we investigate how contrastive learning benefits the general supervised medical segmentation tasks. To this end, patch-dragsaw contrastive regularization (PDCR) is proposed to perform patch-level tugging and repulsing with the extent controlled by a continuous affinity score. And a new structure dubbed uncertainty-aware feature selection block (UAFS) is designed to perform the feature selection process, which can handle the learning target shift caused by minority features with high uncertainty. By plugging the proposed 2 modules into the existing segmentation architecture, we achieve state-of-the-art results across 8 public datasets from 6 domains. Newly designed modules further decrease the amount of training data to a quarter while achieving comparable, if not better, performances. From this perspective, we take the opposite direction of the original self/un-supervised contrastive learning by further excavating information contained within the label.


title: Real-Time Seizure Detection using EEG: A Comprehensive Comparison of Recent Approaches under a Realistic Setting

abstract: Electroencephalogram (EEG) is an important diagnostic test that physicians use to record brain activity and detect seizures by monitoring the signals. There have been several attempts to detect seizures and abnormalities in EEG signals with modern deep learning models to reduce the clinical burden. However, they cannot be fairly compared against each other as they were tested in distinct experimental settings. Also, some of them are not trained in real-time seizure detection tasks, making it hard for on-device applications. Therefore in this work, for the first time, we extensively compare multiple state-of-the-art models and signal feature extractors in a real-time seizure detection framework suitable for real-world application, using various evaluation metrics including a new one we propose to evaluate more practical aspects of seizure detection models. Our code is available at https://github.com/AITRICS/EEG_real_time_seizure_detection.


title: Quantification of the helical morphology of chiral Au nanorods

abstract: Chirality in inorganic nanoparticles and nanostructures has gained increasing scientific interest, because of the possibility to tune their ability to interact differently with left- and right-handed circularly polarized light. In some cases, the optical activity is hypothesized to originate from a chiral morphology of the nanomaterial. However, quantifying the degree of chirality in objects with sizes of tens of nanometers is far from straightforward. Electron tomography offers the possibility to faithfully retrieve the three-dimensional morphology of nanomaterials, but only a qualitative interpretation of the morphology of chiral nanoparticles has been possible so far. We introduce herein a methodology that enables us to quantify the helicity of complex chiral nanomaterials, based on the geometrical properties of a helix. We demonstrate that an analysis at the single particle level can provide significant insights into the origin of chiroptical properties.


title: Probing Anisotropies of the Stochastic Gravitational Wave Background with LISA

abstract: We investigate the sensitivity of the Laser Interferometer Space Antenna (LISA) to the anisotropies of the Stochastic Gravitational Wave Background (SGWB). We first discuss the main astrophysical and cosmological sources of SGWB which are characterized by anisotropies in the GW energy density, and we build a Signal-to-Noise estimator to quantify the sensitivity of LISA to different multipoles. We then perform a Fisher matrix analysis of the prospects of detectability of anisotropic features with LISA for individual multipoles, focusing on a SGWB with a power-law frequency profile. We compute the noise angular spectrum taking into account the specific scan strategy of the LISA detector. We analyze the case of the kinematic dipole and quadrupole generated by Doppler boosting an isotropic SGWB. We find that $\beta\, \Omega_{\rm GW}\sim 2\times 10^{-11}$ is required to observe a dipolar signal with LISA. The detector response to the quadrupole has a factor $\sim 10^3 \,\beta$ relative to that of the dipole. The characterization of the anisotropies, both from a theoretical perspective and from a map-making point of view, allows us to extract information that can be used to understand the origin of the SGWB, and to discriminate among distinct superimposed SGWB sources.


title: Optical diagnostics of laser-produced plasmas

abstract: Laser-produced plasmas (LPPs) engulf exotic and complex conditions ranging in temperature, density, pressure, magnetic and electric fields, charge states, charged particle kinetics, and gas-phase reactions, based on the irradiation conditions, target geometries, and the background cover gas. The application potential of the LPP is so diverse that it generates considerable interest for both basic and applied research areas. Although most of the traditional characterization techniques developed for other plasma sources can be used to characterize the LPPs, care must be taken to interpret the results because of their small size, transient nature, and inhomogeneities. The existence of the large spatiotemporal density and temperature gradients often necessitates non-uniform weighted averaging over distance and time. Among the various plasma characterization tools, optical-based diagnostic tools play a key role in the accurate measurements of LPP parameters. The optical toolbox contains optical probing methods (Thomson scattering, shadowgraphy, Schlieren, interferometry, velocimetry, and deflectometry), optical spectroscopy (emission, absorption, and fluorescence), and passive and active imaging. Each technique is useful for measuring a specific property, and its use is limited to a certain time span during the LPP evolution because of the sensitivity issues related to the selected measuring tool. Therefore, multiple diagnostic tools are essential for a comprehensive insight into the entire plasma behavior. In recent times, the improvements in performance in the lasers and detector systems expanded the capability of the aforementioned passive and active diagnostics tools. This review provides an overview of optical diagnostic tools frequently employed for the characterization of the LPPs and emphasizes techniques, associated assumptions, and challenges.


title: Persistence probabilities of mixed FBM and other mixed processes

abstract: We consider the sum of two self-similar centred Gaussian processes with different self-similarity indices. Under non-negativity assumptions of covariance functions and some further minor conditions, we show that the asymptotic behaviour of the persistence probability of the sum is the same as for the single process with the greater self-similarity index. In particular, this covers the mixed fractional Brownian motion introduced in Cheridito (2001) and shows that the corresponding persistence probability decays asymptotically polynomially with persistence exponent $1-\max(1/2,H),$ where $H$ is the Hurst parameter of the underlying fractional Brownian motion.


title: Search setup for long-duration transient gravitational waves from glitching pulsars during LIGO-Virgo third observing run

abstract: Pulsars are spinning neutron stars which emit an electromagnetic beam. We expect pulsars to slowly decrease their rotational frequency. However, sudden increases of the rotational frequency have been observed from different pulsars. These events are called "glitches" and they are followed by a relaxation phase with timescales from days to months. Gravitational wave (GW) emission may follow these peculiar events. We give an overview of the setup for an analysis of GW data from the Advanced LIGO and Virgo third observing run (O3) arXiv:2112.10990 searching for transient GW signals lasting hours to months after glitches in known pulsars. The search method consists of placing a template grid in frequency-spindown space with fixed grid spacings. Then, for each point we compute the transient F-statistic which is maximized over a set of transient parameters like the duration and start time of the potential signals. A threshold on the detection statistic is then set, and we search for peaks over the parameter space for each candidate.


title: FedComm: Federated Learning as a Medium for Covert Communication

abstract: Proposed as a solution to mitigate the privacy implications related to the adoption of deep learning, Federated Learning (FL) enables large numbers of participants to successfully train deep neural networks without having to reveal the actual private training data. To date, a substantial amount of research has investigated the security and privacy properties of FL, resulting in a plethora of innovative attack and defense strategies. This paper thoroughly investigates the communication capabilities of an FL scheme. In particular, we show that a party involved in the FL learning process can use FL as a covert communication medium to send an arbitrary message. We introduce FedComm, a novel multi-system covert-communication technique that enables robust sharing and transfer of targeted payloads within the FL framework. Our extensive theoretical and empirical evaluations show that FedComm provides a stealthy communication channel, with minimal disruptions to the training process. Our experiments show that FedComm successfully delivers 100% of a payload in the order of kilobits before the FL procedure converges. Our evaluation also shows that FedComm is independent of the application domain and the neural network architecture used by the underlying FL scheme.


title: The Properties and Evolutions of Starspots on Three Detached Eclipsing Binaries in the LAMOST-Kepler survey

abstract: The spotted detached eclipsing binary (DEB) offers insights into starspots on the binary. Three spotted DEBs, KIC 8097825, KIC 6859813, and KIC 5527172, which were observed by the Kepler photometry and LAMOST spectroscopy, are studied in this work. The physical parameters of binaries are determined by binary modeling. The sizes, lifetimes, and single/double-dip ratio (SDR) of starspots are derived by starspot analysis. KIC 8097825 has large starspots. KIC 6859813 has a spot rotation period shorter than its orbital period but the system should be synchronized inferred from timescale estimation. The difference may be the result of the surface differential rotation. The KIC 5527172 has a long spot lifetime and an M dwarf component with an inflation radius. The primaries of these binaries and the secondary of KIC 8097825 have spots. Adding spotted DEBs of literature, we compare the starspots on binaries with those on the single stars. The spot sizes of starspots on 65% binaries are smaller than the median of those on single stars. The lifetimes of starspots on binaries are consistent with those on single stars when the rotation periods are larger than 3 days. SDRs for half of the binaries are consistent with those of single star systems, while another half are smaller. The relative lifetime positively correlates with the RMS and SDR but negatively correlates with the rotation period. These relations are similar to those of spots on the single star systems. Binaries with luminosity ratios close to the unit tend to have more double dips.


title: A Note on Hardness of Multiprocessor Scheduling with Scheduling Solution Space Tree

abstract: We study the computational complexity of the non-preemptive scheduling problem of a list of independent jobs on a set of identical parallel processors with a makespan minimization objective. We make a maiden attempt to explore the combinatorial structure showing the exhaustive solution space of the problem by defining the \textit{Scheduling Solution Space Tree (SSST)} data structure. The properties of the \textit{SSST} are formally defined and characterized through our analytical results. We develop a unique technique to show the problem $\mathcal{NP}$ using the SSST and the \textit{Weighted Scheduling Solution Space Tree (WSSST)} data structures. We design the first non-deterministic polynomial-time algorithm named \textit{Magic Scheduling (MS)} for the problem based on the reduction framework. We also define a new variant of multiprocessor scheduling by including the user as an additional input parameter. We formally establish the complexity class of the variant by the reduction principle. Finally, we conclude the article by exploring several interesting open problems for future research investigation.


title: AiTLAS: Artificial Intelligence Toolbox for Earth Observation

abstract: The AiTLAS toolbox (Artificial Intelligence Toolbox for Earth Observation) includes state-of-the-art machine learning methods for exploratory and predictive analysis of satellite imagery as well as repository of AI-ready Earth Observation (EO) datasets. It can be easily applied for a variety of Earth Observation tasks, such as land use and cover classification, crop type prediction, localization of specific objects (semantic segmentation), etc. The main goal of AiTLAS is to facilitate better usability and adoption of novel AI methods (and models) by EO experts, while offering easy access and standardized format of EO datasets to AI experts which further allows benchmarking of various existing and novel AI methods tailored for EO data.


title: Updated evaluation of potential ultra-low Q value $\beta$-decay candidates

abstract: "Ultra-low" Q value $\beta$ decays are referred to as such due to their low decay energies of less than $\sim$1 keV. Such a low energy decay is possible when the parent nucleus decays into an excited state in the daughter, with an energy close to that of the Q value. These decays are of interest as potential new candidates for neutrino mass determination experiments and as a testing ground for studies of atomic interference effects in the nuclear decay process. In this paper, we provide an updated evaluation of atomic mass data and nuclear energy level data to identify potential ultra-low Q value $\beta$ decay candidates. For many of these candidates, more precise and accurate atomic mass data is needed to determine if the Q value of the potential ultra-low decay branch is energetically allowed and in fact ultra-low. The precise atomic mass measurements can be achieved via Penning trap mass spectrometry.


title: Non-perturbative phase structure of the bosonic BMN matrix model

abstract: We study the bosonic part of the BMN matrix model for wide ranges of temperatures, values of the deformation parameter, and numbers of colors $16 \leq N \leq 48$. Using lattice computations, we analyze phase transitions in the model, observing a single first-order transition from a uniform to a gapped phase for all values of the deformation parameter. We study the functional form of the dependence of the critical temperature on the deformation parameter, to describe how our results smoothly interpolate between the limits of the bosonic BFSS model and the gauged Gaussian model.


title: Elucidating the oscillation instability of sessile drops triggered by surface acoustic waves

abstract: The oscillation instability of sessile drops is ubiquitous in surface acoustic wave (SAW)-powered digital microfluidics. Yet, the physics underlying these phenomena has not been elucidated owing to the interplay between hydrodynamics, acoustics and capillarity. We decipher the instability by combining high-speed imaging with pressure measurements. We rationalize the observed behaviour with a model inspired from optomechanics, which couples an intracavity acoustic mode excited by the SAW to a surface deformation eigenmode through amplitude modulation and delayed radiation pressure feedback.


title: Nonlocal gradients in bounded domains motivated by Continuum Mechanics: Fundamental Theorem of Calculus and embeddings

abstract: In this paper we develop a new set of results based on a nonlocal gradient jointly inspired by the Riesz s-fractional gradient and Peridynamics, in the sense that its integration domain depends on a ball of radius delta > 0 (horizon of interaction among particles, in the terminology of Peridynamics), while keeping at the same time the singularity of the Riesz potential in its integration kernel. Accordingly, we define a functional space suitable for nonlocal models in Calculus of Variations and partial differential equations. Our motivation is to develop the proper functional analysis framework in order to tackle nonlocal models in Continuum Mechanics, which requires working with bounded domains, while retaining the good mathematical properties of Riesz s-fractional gradients. This functional space is defined consistently with Sobolev and Bessel fractional ones: we consider the closure of smooth functions under the natural norm obtained as the sum of the Lp norms of the function and its nonlocal gradient. Among the results showed in this investigation we highlight a nonlocal version of the Fundamental Theorem of Calculus (namely, a representation formula where a function can be recovered from its nonlocal gradient), which allows us to prove inequalities in the spirit of Poincar\'e, Morrey, Trudinger and Hardy as well as the corresponding compact embeddings. These results are enough to show the existence of minimizers of general energy functionals under the assumption of convexity. Equilibrium conditions in this nonlocal situation are also established, and those can be viewed as a new class of nonlocal partial differential equations in bounded domains.


title: Hairpin RF Resonators for Transceiver Arrays with High Inter-channel Isolation and B1 Efficiency at Ultrahigh Field 7T MR Imaging

abstract: Electromagnetic decoupling among a close-fitting or high-density transceiver RF array elements is required to maintain the integrity of the magnetic flux density from individual channel for enhanced performance in detection sensitivity and parallel imaging. High-impedance RF coils have demonstrated to be a prominent design method to circumvent these coupling issues. Yet, inherent characteristics of these coils have ramification on the B1 field efficiency and SNR. In this work, we propose a hairpin high impedance RF resonator design for highly decoupled multichannel transceiver arrays at ultrahigh magnetic fields. Due to the high impedance property of the hairpin resonators, the proposed transceiver array can provide high decoupling performance without using any dedicated decoupling circuit among the resonant elements. Because of elimination of lumped inductors in the resonator circuit, higher B1 field efficiency in imaging subjects can be expected. In order to validate the feasibility of the proposed hairpin RF coils, systematical studies on decoupling performance, field distribution, and SNR are performed, and the results are compared with those obtained from existing high-impedance RF coil, e.g., "self-decoupled RF coil". To further investigate its performance, an 8-channel head coil array using the proposed hairpin resonators loaded with a cylindrical phantom is designed, demonstrating a 19 % increase of the B1+ field intensity compared to the "self-decoupled" coils at 7T. Furthermore, the characteristics of the hairpin RF coils are evaluated using a more realistic human head voxel model numerically. The proposed hairpin RF coil provides excellent decoupling performance and superior RF magnetic field efficiency compared to the self-decoupled high impedance coils. Bench test of a pair of fabricated hairpin coils prove to be in good accordance with numerical results.


title: Intersection cohomology of character varieties for punctured Riemann surfaces

abstract: We study intersection cohomology of character varieties for punctured Riemann surfaces with prescribed monodromies around the punctures. Relying on previous result from Mellit for semisimple monodromies we compute the intersection cohomology of character varieties with monodromies of any Jordan type. This proves the Poincar\'e polynomial specialization of a conjecture from Letellier.


title: Harmonic structures of Beethoven quartets: a complex network approach

abstract: We propose a complex network approach to the harmonic structure underpinning western tonal music. From a database of Beethoven's string quartets, we construct a directed network whose nodes are musical chords and edges connect chords following each other. We show that the network is scale-free and has specific properties when ranking algorithms are applied. We explore its community structure and its musical interpretation, and propose statistical measures stemming from network theory allowing to distinguish stylistically between periods of composition. Our work opens the way to a network approach of structural properties of tonal harmony.


title: Wall-crossing structures on surfaces

abstract: Families of Bridgeland stability conditions induce families of stability data, wall-crossing structures and scattering diagrams on the motivic Hall algebra. These structures can be transferred to the quantum torus if the stability conditions of the family have global dimension at most 2. We show that geometric stability conditions on surfaces with nef anticanonical bundle have global dimension 2 and we study the resulting family of stability data. We formulate a conjecture relating this family to the family of stability data associated with a quiver with potential and we verify this conjecture for the projective plane.


title: Less Mundane Applications of the Most Mundane Functions

abstract: Linear functions are arguably the most mundane among all functions. However, the basic fact that a multi-variable linear function has a constant gradient field can provide simple geometric insights into several familiar results such as the Cauchy-Schwarz inequality, the GM-AM inequality, and some distance formulae, as we shall show.


title: GHz-Pulsed Source of Entangled Photons for Reconfigurable Quantum Networks

abstract: Entanglement is a universal resource in quantum networks, yet entangled photon sources are typically custom-made for a specific use case. Versatility, both in terms of state modulation and tunability of the temporal properties of the photons, is the key to flexible network architectures and cryptographic primitives that go beyond quantum key distribution. Here, we report on a flexible source design that produces high-quality entanglement in continuous-wave and GHz-rate-pulsed operation modes. Utilizing off-the-shelf optical components, our approach uses a fiber-based Sagnac loop to generate polarization-entangled photons at telecom wavelength with high efficiency and fidelities above 0.99. Phase modulation up to GHz before entangled state generation is also possible for fast entangled state switching. We show phase modulation at 100 MHz with an average fidelity of 0.95. Furthermore, the source 60 nm spectral bandwidth is entirely compatible with fully reconfigurable wavelength-multiplexed quantum networks.


title: Orders of Oscillation Motivated by Sarnak's Conjecture, Part II

abstract: I have investigated orders of oscillating sequences motivated by Sarnak's conjecture in~\cite{JPAMS} and proved that an oscillating sequence of order $d$ is linearly disjoint from affine distal flows on the $d$-torus. One of the consequences is that an oscillating sequence of order $d$ in the arithmetic sense is linearly disjoint from affine flows with zero topological entropy on the $d$-torus. In this paper, I will extend these results to polynomial skew products on the $d$-torus, that is, given a polynomial skew product on the $d$-torus, there is a positive integer $m$ such that any oscillating sequence of order $m$ is linearly disjoint from this polynomial skew product. In particular, when all polynomials depend only on the first variable, I have that an oscillating sequence of order $m=d+k-1$ is linearly disjoint from all polynomial skew products on the $d$-torus with polynomials of degree less than or equal to $k$. One of the consequences is the linear disjointness for flows which are automorphisms of the $d$-torus with absolute values of eigenvalues $1$ plus a polynomial vector and oscillating sequences of order $m$ in the arithmetic sense. Furthermore, I will prove that an oscillating sequence of order $d$ is linearly disjoint from minimal mean attractable and minimal quasi-discrete spectrum of order $d$ flows. Finally, I define and give some examples of Chowla sequences from our paper~\cite{AJ}.


title: Anomalous metals: from "failed superconductor" to "failed insulator"

abstract: Resistivity saturation is found on both superconducting and insulating sides of an "avoided" magnetic-field-tuned superconductor-to-insulator transition (H-SIT) in a two-dimensional In/InO$_x$ composite, where the anomalous metallic behaviors cut off conductivity or resistivity divergence in the zero-temperature limit. The granular morphology of the material implies a system of Josephson junctions (JJ) with a broad distribution of Josephson coupling E$_J$ and charging energy E$_C$ , with a H-SIT determined by the competition between E$_J$ and E$_C$ . By virtue of self-duality across the true H-SIT, we invoke macroscopic quantum tunneling effects to explain the temperature-independent resistance where the "failed superconductor" side is a consequence of phase fluctuations and the "failed insulator" side results from charge fluctuations. While true self-duality is lost in the avoided transition, its vestiges are argued to persist, owing to the incipient duality of the percolative nature of the dissipative path in the underlying random JJ system.


title: Deconfounding to Explanation Evaluation in Graph Neural Networks

abstract: Explainability of graph neural networks (GNNs) aims to answer "Why the GNN made a certain prediction?", which is crucial to interpret the model prediction. The feature attribution framework distributes a GNN's prediction to its input features (e.g., edges), identifying an influential subgraph as the explanation. When evaluating the explanation (i.e., subgraph importance), a standard way is to audit the model prediction based on the subgraph solely. However, we argue that a distribution shift exists between the full graph and the subgraph, causing the out-of-distribution problem. Furthermore, with an in-depth causal analysis, we find the OOD effect acts as the confounder, which brings spurious associations between the subgraph importance and model prediction, making the evaluation less reliable. In this work, we propose Deconfounded Subgraph Evaluation (DSE) which assesses the causal effect of an explanatory subgraph on the model prediction. While the distribution shift is generally intractable, we employ the front-door adjustment and introduce a surrogate variable of the subgraphs. Specifically, we devise a generative model to generate the plausible surrogates that conform to the data distribution, thus approaching the unbiased estimation of subgraph importance. Empirical results demonstrate the effectiveness of DSE in terms of explanation fidelity.


title: Regularity properties of bulk and edge current densities at positive temperature

abstract: We consider magnetic Schr\"odinger operators describing a quantum Hall effect setup both in the plane and in the half-plane. First, we study the structure and smoothness of the operator range of various powers of the half-plane resolvent. Second, we provide a complete analysis of the diamagnetic current density at positive temperature: we prove that bulk and edge current densities are smooth functions and we show that the edge current density converges to the bulk current density faster than any polynomial in the inverse distance from the boundary. Our proofs are based on gauge covariant magnetic perturbation theory and on a detailed analysis of the integral kernels of functions of magnetic Schr\"odinger operators on the half-plane.

categories: math-ph cond-mat.mes-hall math.AP math.MP


title: Towards energy discretization for muon scattering tomography in GEANT4 simulations: A discrete probabilistic approach

abstract: In this study, by attempting to eliminate the disadvantageous complexity of the existing particle generators, we present a discrete probabilistic scheme adapted for the discrete energy spectra in the GEANT4 simulations. In our multi-binned approach, we initially compute the discrete probabilities for each energy bin, the number of which is flexible depending on the computational goal, and we solely satisfy the imperative condition that requires the sum of the discrete probabilities to be the unity. Regarding the implementation in GEANT4, we construct a one-dimensional probability grid that consists of sub-cells equaling the number of the energy bin, and each cell represents the discrete probability of each energy bin by fulfilling the unity condition. Through uniformly generating random numbers between 0 and 1, we assign the discrete energy in accordance with the associated generated random number that corresponds to a specific cell in the probability grid. This probabilistic methodology does not only permits us to discretize the continuous energy spectra based on the Monte Carlo generators, but it also gives a unique access to utilize the experimental energy spectra measured at the distinct particle flux values. Ergo, we initially perform our simulations by discretizing the muon energy spectrum acquired via the CRY generator over the energy interval between 0 and 8 GeV along with the measurements from the BESS spectrometer and we determine the average scattering angle, the root-mean-square of the scattering angle, and the number of the muon absorption by using a series of slabs consisting of aluminum, copper, iron, lead, and uranium. Eventually, we express a computational strategy in the GEANT4 simulations that grants us the ability to verify as well as to modify the energy spectrum depending on the nature of the information source in addition to the exceptional tracking speed.


title: Effects of UV stellar spectral uncertainty on the chemistry of terrestrial atmospheres

abstract: The upcoming deployment of JWST will dramatically advance our ability to characterize exoplanet atmospheres, both in terms of precision and sensitivity to smaller and cooler planets. Disequilibrium chemical processes dominate these cooler atmospheres, requiring accurate photochemical modeling of such environments. The host star's UV spectrum is a critical input to these models, but most exoplanet hosts lack UV observations. For cases in which the host UV spectrum is unavailable, a reconstructed or proxy spectrum will need to be used in its place. In this study, we use the MUSCLES catalog and UV line scaling relations to understand how well reconstructed host star spectra reproduce photochemically modeled atmospheres using real UV observations. We focus on two cases; a modern Earth-like atmosphere and an Archean Earth-like atmosphere that forms copious hydrocarbon hazes. We find that modern Earth-like environments are well-reproduced with UV reconstructions, whereas hazy (Archean Earth) atmospheres suffer from changes at the observable level. Specifically, both the stellar UV emission lines and the UV continuum significantly influence the chemical state and haze production in our modeled Archean atmospheres, resulting in observable differences in their transmission spectra. Our modeling results indicate that UV observations of individual exoplanet host stars are needed to accurately characterize and predict the transmission spectra of hazy terrestrial atmospheres. In the absence of UV data, reconstructed spectra that account for both UV emission lines and continuum are the next best option, albeit at the cost of modeling accuracy.


title: Signatures of misalignment in x-ray cavities of cavity-based x-ray free-electron lasers

abstract: Cavity-based x-ray free-electron lasers (CBXFEL) will allow use of optical cavity feedback to support generation of fully coherent x-rays of high brilliance and stability by electrons in undulators. CBXFEL optical cavities comprise Bragg-reflecting flat crystal mirrors, which ensure x-rays circulation on a closed orbit, and x-ray refractive lenses, which stabilize the orbit and refocus the x-rays back on the electrons in the undulator. Depending on the cavity design, there are tens of degrees of freedom of the optical elements, which can never be perfectly aligned. Here, we study signatures of misalignment of the optical components and of the undulator source with the purposes of understanding the effects of misalignment on x-ray beam dynamics, understanding misalignment tolerances, and developing cavity alignment procedures. Betatron oscillations of the x-ray beam trajectory (both symmetric and asymmetric) are one of the characteristic signatures of cavity misalignment. The oscillation period is in the general case a non-integer number of round-trip passes of x-rays in the cavity. This period (unlike the amplitude and offset of the oscillations) is independent of the type of misalignment and is defined by cavity parameters. The studies are performed on an example of a four-crystal rectangular cavity using analytical and numerical wave optics as well as ray-tracing techniques. Both confocal and generic stable cavity types are studied.


title: Directed mean curvature flow in noisy environment

abstract: We consider the directed mean curvature flow on the plane in a weak Gaussian random environment. We prove that, when started from a sufficiently flat initial condition, a rescaled and recentred solution converges to the Cole-Hopf solution of the KPZ equation. This result follows from the analysis of a more general system of nonlinear SPDEs driven by inhomogeneous noises, using the theory of regularity structures. However, due to inhomogeneity of the noise, the "black box" result developed in the series of works [Hai14, BHZ19, CH16, BCCH21] cannot be applied directly and requires significant extension to infinite-dimensional regularity structures. Analysis of this general system of SPDEs gives two more interesting results. First, we prove that the solution of the quenched KPZ equation with a very strong force also converges to the Cole-Hopf solution of the KPZ equation. Second, we show that a properly rescaled and renormalised quenched Edwards-Wilkinson model in any dimension converges to the stochastic heat equation.


title: Conversational Information Seeking

abstract: Conversational information seeking (CIS) is concerned with a sequence of interactions between one or more users and an information system. Interactions in CIS are primarily based on natural language dialogue, while they may include other types of interactions, such as click, touch, and body gestures. This monograph provides a thorough overview of CIS definitions, applications, interactions, interfaces, design, implementation, and evaluation. This monograph views CIS applications as including conversational search, conversational question answering, and conversational recommendation. Our aim is to provide an overview of past research related to CIS, introduce the current state-of-the-art in CIS, highlight the challenges still being faced in the community. and suggest future directions.


title: Discriminating protein tags on dsDNA constructs using a dual Nanopore device

abstract: We report a novel simulation strategy that enables us to identify key parameters controlling the experimentally measurable characteristics of structural protein tags on dsDNA construct translocating through a double nanopore setup. First, we validate the scheme in silico by reproducing and explaining the physical origin of the experimental dwell time distributions of the Streptavidin markers on a 48 kbp long dsDNA. These studies reveal the important differences in the characteristics of the protein tags compared to the dynamics of dsDNA segments, immediately providing clues on how to improve the measurement protocols to decipher the unknown genomic lengths accurately. Of particular importance is the in silico studies on the effect of electric field inside and beyond the pores which we find is critical to discriminate protein tags based on their effective charges and masses revealed through a generic power-law dependence of the average dwell time at each pore. The simulation protocols enable to monitor piecewise dynamics of the individual monomers at a sub-nanometer length scale and provide an explanation of the disparate velocity variation from one tag to the other using the nonequilibrium tension propagation theory, - a key element to decipher genomic lengths accurately. We further justify the model and the chosen simulation parameters by calculating the Peclet number which is in close agreement with the experiment. Analysis of our simulation results from the CG model has the capability to refine the accuracy of the experimentally obtained genomic lengths and carefully chosen simulation strategies can serve as a powerful tool to discriminate different types of neutral and charged tags of different origins on a dsDNA construct in terms of their physical characteristics and can provide insights to increase both the efficiency and accuracy of an experimental dual-nanopore setup.


title: GAP-Gen: Guided Automatic Python Code Generation

abstract: Automatic code generation from natural language descriptions can be highly beneficial during the process of software development. In this work, we propose GAP-Gen, a Guided Automatic Python Code Generation method based on Python syntactic constraints and semantic constraints. We first introduce Python syntactic constraints in the form of Syntax-Flow, which is a simplified version of Abstract Syntax Tree (AST) reducing the size and high complexity of Abstract Syntax Tree but maintaining crucial syntactic information of Python code. In addition to Syntax-Flow, we introduce Variable-Flow which abstracts variable and function names consistently through out the code. In our work, rather than pretraining, we focus on modifying the finetuning process which reduces computational requirements but retains high generation performance on automatic Python code generation task. GAP-Gen fine-tunes the transformer based language models T5 and CodeT5 using the Code-to-Docstring datasets CodeSearchNet, CodeSearchNet AdvTest and Code-Docstring Corpus from EdinburghNLP. Our experiments show that GAP-Gen achieves better results on automatic Python code generation task than previous works.


title: Incoherent coherences

abstract: This article explores a generic framework of well-typed and well-scoped syntaxes, with a signature-axiom approach resembling traditional abstract algebra. The boilerplate code needed in defining operations on syntaxes is identified and abstracted away. Some of the frequent boilerplate proofs are also generalized.


title: DeepMix: Mobility-aware, Lightweight, and Hybrid 3D Object Detection for Headsets

abstract: Mobile headsets should be capable of understanding 3D physical environments to offer a truly immersive experience for augmented/mixed reality (AR/MR). However, their small form-factor and limited computation resources make it extremely challenging to execute in real-time 3D vision algorithms, which are known to be more compute-intensive than their 2D counterparts. In this paper, we propose DeepMix, a mobility-aware, lightweight, and hybrid 3D object detection framework for improving the user experience of AR/MR on mobile headsets. Motivated by our analysis and evaluation of state-of-the-art 3D object detection models, DeepMix intelligently combines edge-assisted 2D object detection and novel, on-device 3D bounding box estimations that leverage depth data captured by headsets. This leads to low end-to-end latency and significantly boosts detection accuracy in mobile scenarios. A unique feature of DeepMix is that it fully exploits the mobility of headsets to fine-tune detection results and boost detection accuracy. To the best of our knowledge, DeepMix is the first 3D object detection that achieves 30 FPS (an end-to-end latency much lower than the 100 ms stringent requirement of interactive AR/MR). We implement a prototype of DeepMix on Microsoft HoloLens and evaluate its performance via both extensive controlled experiments and a user study with 30+ participants. DeepMix not only improves detection accuracy by 9.1--37.3% but also reduces end-to-end latency by 2.68--9.15x, compared to the baseline that uses existing 3D object detection models.


title: Active Predictive Coding Networks: A Neural Solution to the Problem of Learning Reference Frames and Part-Whole Hierarchies

abstract: We introduce Active Predictive Coding Networks (APCNs), a new class of neural networks that solve a major problem posed by Hinton and others in the fields of artificial intelligence and brain modeling: how can neural networks learn intrinsic reference frames for objects and parse visual scenes into part-whole hierarchies by dynamically allocating nodes in a parse tree? APCNs address this problem by using a novel combination of ideas: (1) hypernetworks are used for dynamically generating recurrent neural networks that predict parts and their locations within intrinsic reference frames conditioned on higher object-level embedding vectors, and (2) reinforcement learning is used in conjunction with backpropagation for end-to-end learning of model parameters. The APCN architecture lends itself naturally to multi-level hierarchical learning and is closely related to predictive coding models of cortical function. Using the MNIST, Fashion-MNIST and Omniglot datasets, we demonstrate that APCNs can (a) learn to parse images into part-whole hierarchies, (b) learn compositional representations, and (c) transfer their knowledge to unseen classes of objects. With their ability to dynamically generate parse trees with part locations for objects, APCNs offer a new framework for explainable AI that leverages advances in deep learning while retaining interpretability and compositionality.


title: Separating polynomial $\chi$-boundedness from $\chi$-boundedness

abstract: Extending the idea from the recent paper by Carbonero, Hompe, Moore, and Spirkl, for every function $f\colon\mathbb{N}\to\mathbb{N}\cup\{\infty\}$ with $f(1)=1$ and $f(n)\geq\binom{3n+1}{3}$, we construct a hereditary class of graphs $\mathcal{G}$ such that the maximum chromatic number of a graph in $\mathcal{G}$ with clique number $n$ is equal to $f(n)$ for every $n\in\mathbb{N}$. In particular, we prove that there exist hereditary classes of graphs that are $\chi$-bounded but not polynomially $\chi$-bounded.


title: Learning from One and Only One Shot

abstract: Humans can generalize from only a few examples and from little pretraining on similar tasks. Yet, machine learning (ML) typically requires large data to learn or pre-learn to transfer. Motivated by nativism and artificial general intelligence, we directly model human-innate priors in abstract visual tasks such as character and doodle recognition. This yields a white-box model that learns general-appearance similarity by mimicking how humans naturally ``distort'' an object at first sight. Using just nearest-neighbor classification on this cognitively-inspired similarity space, we achieve human-level recognition with only $1$--$10$ examples per class and no pretraining. This differs from few-shot learning that uses massive pretraining. In the tiny-data regime of MNIST, EMNIST, Omniglot, and QuickDraw benchmarks, we outperform both modern neural networks and classical ML. For unsupervised learning, by learning the non-Euclidean, general-appearance similarity space in a $k$-means style, we achieve multifarious visual realizations of abstract concepts by generating human-intuitive archetypes as cluster centroids.


title: Skyline variations allow estimating distance to trees on landscape photos using semantic segmentation

abstract: Approximate distance estimation can be used to determine fundamental landscape properties including complexity and openness. We show that variations in the skyline of landscape photos can be used to estimate distances to trees on the horizon. A methodology based on the variations of the skyline has been developed and used to investigate potential relationships with the distance to skyline objects. The skyline signal, defined by the skyline height expressed in pixels, was extracted for several Land Use/Cover Area frame Survey (LUCAS) landscape photos. Photos were semantically segmented with DeepLabV3+ trained with the Common Objects in Context (COCO) dataset. This provided pixel-level classification of the objects forming the skyline. A Conditional Random Fields (CRF) algorithm was also applied to increase the details of the skyline signal. Three metrics, able to capture the skyline signal variations, were then considered for the analysis. These metrics shows a functional relationship with distance for the class of trees, whose contours have a fractal nature. In particular, regression analysis was performed against 475 ortho-photo based distance measurements, and, in the best case, a R2 score equal to 0.47 was achieved. This is an encouraging result which shows the potential of skyline variation metrics for inferring distance related information.


title: Biochemical Space Language in Relation to Multiset Rewriting Systems

abstract: This technical report relates Biochemical Space Language (BCSL) to Multiset rewriting systems (MRS). For a BCSL model, the semantics are defined in terms of transition systems, while for an MRS, they are defined in terms of a set of runs. In this report, we relate BCSL to MRS by first showing how the transition system is related to a set of runs and consequently showing how for every BCSL model, an MRS can be constructed such that both represent the same set of runs. The motivation of this step is to establish BCSL in the context of a more general rewriting system and benefit from properties shown for them. Finally, we show that regulations defined for MRS can be consequently used in the BCSL model.


title: Vortex and the Gradient of Divergence in Sobolev Spaces

abstract: The properties of the vortex and the gradient of divergence operators ( $ \text{rot}$ and $\nabla \text{div}$ ) are studied in the space $ \mathbf {L}_2 (G) $ in a bounded domain $ G \subset \textrm {R}^3 $ with a smooth boundary $ \Gamma$ and in the Sobolev spaces: $ \mathbf{C}(2k, m)(G)\equiv \mathbf{A}^{2k}(G) \oplus \mathbf{W}^m(G)$. S.L. Sobolev studied boundary value problems for the scalar polyharmonic equation $\Delta^m\,u=\rho$ in the spaces $W_2^m(\Omega)$ with a generalized right-hand side and laid the foundation for the theory of these spaces. Its constructions have matrix analogs, here are some of them. Analogues of the spaces ${W}_2^{(m)}(G)$ in the classes $ \mathcal {A} $ and $ \mathcal {B} $ are the space $\mathbf{A}^{2k}(G)$ and $\mathbf{W}^m(G)$ of orders $ 2k> 0 $ and $ m> 0 $, and $ \mathbf {A}^{-2k} (G) $ and their dual spaces $ \mathbf{W}^{- m}(G) $. Pairs of spaces form a net of Sobolev spaces, its elements are classes $ \mathbf{C}(2k, m)(G)\equiv \mathbf{A}^{2k}(G) \oplus \mathbf{W}^m(G)$; the class $ \mathbf{C}(2k, 2k)$coincides with the Sobolev space $\mathbf{H}^{2k}(G)$. They belong to $\mathbf{L}_{2}(G)$, if $k\geq 0$ and $m\geq 0$. A wide field of problems has opened up: studying the operators $(\mathrm{rot})^p$, $ (\nabla \, \mathrm{div})^p$ for $ p = 1,2, ...,$ and others in the network Sobolev spaces.


title: Bottoms Up: Standard Model Effective Field Theory from a Model Perspective

abstract: Experiments in particle physics have hitherto failed to produce any significant evidence for the many explicit models of physics beyond the Standard Model (BSM) that had been proposed over the past decades. As a result, physicists have increasingly turned to model-independent strategies as tools in searching for a wide range of possible BSM effects. In this paper, we describe the Standard Model Effective Field Theory (SM-EFT) and analyse it in the context of the philosophical discussions about models, theories, and (bottom-up) effective field theories. We find that while the SM-EFT is a quantum field theory, assisting experimentalists in searching for deviations from the SM, in its general form it lacks some of the characteristic features of models. Those features only come into play if put in by hand or prompted by empirical evidence for deviations. Employing different philosophical approaches to models, we argue that the case study suggests not to take a view on models that is overly permissive because it blurs the lines between the different stages of the SM-EFT research strategies and glosses over particle physicists' motivations for undertaking this bottom-up approach in the first place. Looking at EFTs from the perspective of modelling does not require taking a stance on some specific brand of realism or taking sides in the debate between reduction and emergence into which EFTs have recently been embedded.


title: Conformal Metasurfaces: a Novel Solution for Vehicular Communications

abstract: In future 6G millimeter wave (mmWave)/sub-THz vehicle-to-everything (V2X) communication systems, vehicles are expected to be equipped with massive antenna arrays to realize beam-based links capable of compensating for the severe path loss. However, vehicle-to-vehicle (V2V) direct links are prone to be blocked by surrounding vehicles. Emerging metasurface technologies enable the control of the electromagnetic wave reflection towards the desired direction, enriching the channel scattering to boost communication performance. Reconfigurable intelligent surfaces (RIS), and mostly the pre-configured counterpart intelligent reflecting surfaces (IRS), are a promising low-cost relaying system for 6G. This paper proposes using conformal metasurfaces (either C-RIS or C-IRS) deployed on vehicles' body to mitigate the blockage impact in a highway multi-lane scenario. In particular, conformal metasurfaces create artificial reflections to mitigate blockage by compensating for the non-flat shape of the vehicle's body, such as the lateral doors, with proper phase patterns. We analytically derive the phase pattern to apply to a cylindrical C-RIS/C-IRS approximating the shape of the car body, as a function of both incidence and reflection angles, considering cylindrical RIS/IRS as a generalization of conventional planar ones. We propose a novel design for optimally pre-configured C-IRS to mimic the behavior of an EM flat surface on car doors, proving the benefits of C-RIS and C-IRS in a multi-lane V2V highway scenario. The results show a consistent reduction of blockage probability when exploiting C-RIS/C-IRS, 20% for pre-configured C-IRS, and 70% for C-RIS, as well as a remarkable improvement in terms of average signal-to-noise ratio, respectively 10-20 dB for C-IRS and 30-40 dB for C-RIS.


title: Representing Long-Range Context for Graph Neural Networks with Global Attention

abstract: Graph neural networks are powerful architectures for structured datasets. However, current methods struggle to represent long-range dependencies. Scaling the depth or width of GNNs is insufficient to broaden receptive fields as larger GNNs encounter optimization instabilities such as vanishing gradients and representation oversmoothing, while pooling-based approaches have yet to become as universally useful as in computer vision. In this work, we propose the use of Transformer-based self-attention to learn long-range pairwise relationships, with a novel "readout" mechanism to obtain a global graph embedding. Inspired by recent computer vision results that find position-invariant attention performant in learning long-range relationships, our method, which we call GraphTrans, applies a permutation-invariant Transformer module after a standard GNN module. This simple architecture leads to state-of-the-art results on several graph classification tasks, outperforming methods that explicitly encode graph structure. Our results suggest that purely-learning-based approaches without graph structure may be suitable for learning high-level, long-range relationships on graphs. Code for GraphTrans is available at https://github.com/ucbrise/graphtrans.


title: Ensemble of Opinion Dynamics Models to Understand the Role of the Undecided in the Vaccination Debate

abstract: We present three models used to describe the recruitment of the undecided population by pro-vax and no-vax factions. Starting from real-world data of Facebook pages, we compare three opinion dynamics models that catch different behaviours of the undecided population. The first one is a variation of the SIS model, where undecided position is considered indifferent. Neutrals can be "infected" by one of the two extreme factions, joining their side, and they "recover" when they lose interest in the debate and go back to neutrality. The second model is a three parties Voters model: neutral pages represent a centrist position. They lean their original ideas, that are different from both the other parties. The last is the Bilingual model adapted to the vaccination debate: neutral individuals are in agreement with both pro-, ad anti-vax factions, with a position of compromise between the extremes ("bilingualism''). If they have a one-sided neighbourhood, the convenience to agree with both parties comes out, and bi-linguists can become mono-linguists. Our results depicts an agreement between the three models: anti-vax opinion propagates more than pro-vax, thanks to an initial strategic position in the online social network (even if they start with a smaller population). While most of the pro-vaccines nodes are segregated in their own communities, no-vaccines ones are entangled at the core of the network, where the majority of undecided population is located. In the last section, we propose and compare some policies that could be applied on the network to prevent anti-vax overcome: they lead us to conclude that censoring strategies are not effective, as well as segregating scenarios based on unfollowing decisions, while the addition of links in the network favours the containment of the pro-vax domain, reducing the distance between pro-vaxxers and undecided population.


title: A generalization of Bang's lemma

abstract: We prove a common extension of Bang's and Kadets' lemmas for contact pairs, in the spirit of the Colourful Carath\'eodory Theorem. We also formulate a generalized version of the affine plank problem and prove it under special assumptions. In particular, we obtain a generalization of Kadets' theorem. Finally, we give applications to problems regarding translative and homothetic coverings.


title: Clock Fields and Logarithmic Decay of Dark Energy

abstract: We investigate the physical measurability of the infrared instability of a de Sitter phase in the formalism recently proposed by Kitamoto et al.. We find that the logarithmic decay of the effective cosmological constant is only measurable if an additional clock field is introduced.


title: Modeling Short-Range Microwave Networks to Scale Superconducting Quantum Computation

abstract: A core challenge for superconducting quantum computers is to scale up the number of qubits in each processor without increasing noise or cross-talk. Distributed quantum computing across small qubit arrays, known as chiplets, can address these challenges in a scalable manner. We propose a chiplet architecture over microwave links with potential to exceed monolithic performance on near-term hardware. Our methods of modeling and evaluating the chiplet architecture bridges the physical and network layers in these processors. We find evidence that distributing computation across chiplets may reduce the overall error rates associated with moving data across the device, despite higher error figures for transfers across links. Preliminary analyses suggest that latency is not substantially impacted, and that at least some applications and architectures may avoid bottlenecks around chiplet boundaries. In the long-term, short-range networks may underlie quantum computers just as local area networks underlie classical datacenters and supercomputers today.


title: Minimax-Regret Climate Policy with Deep Uncertainty in Climate Modeling and Intergenerational Discounting

abstract: Integrated assessment models have become the primary tools for comparing climate policies that seek to reduce greenhouse gas emissions. Policy comparisons have often been performed by considering a planner who seeks to make optimal trade-offs between the costs of carbon abatement and the economic damages from climate change. The planning problem has been formalized as one of optimal control, the objective being to minimize the total costs of abatement and damages over a time horizon. Studying climate policy as a control problem presumes that a planner knows enough to make optimization feasible, but physical and economic uncertainties abound. Earlier, Manski, Sanstad, and DeCanio proposed and studied use of the minimax-regret (MMR) decision criterion to account for deep uncertainty in climate modeling. Here we study choice of climate policy that minimizes maximum regret with deep uncertainty regarding both the correct climate model and the appropriate time discount rate to use in intergenerational assessment of policy consequences. The analysis specifies a range of discount rates to express both empirical and normative uncertainty about the appropriate rate. The findings regarding climate policy are novel and informative. The MMR analysis points to use of a relatively low discount rate of 0.02 for climate policy. The MMR decision rule keeps the maximum future temperature increase below 2C above the 1900-10 level for most of the parameter values used to weight costs and damages.


title: SciGRID_gas -- Data Model of the European Gas Transport Network

abstract: The current transition in the European energy sector towards climate neutrality requires detailed and reliable energy system modeling. The quality and relevance of the energy system modeling highly depend on the availability and quality of model input datasets. However, detailed and reliable datasets, especially for energy infrastructure, are still missing. In this contribution, we present our approach to developing an open-source and open-data model of the gas transport network in Europe. Various freely available data sources were used to collect gas transport datasets and their attributes. The resulting datasets of the various data sources were processed, and unique elements were merged together. Statistical and heuristic methods were used to generate missing network element attributes. As a result, we successfully created a gas transport network model only using open-source data. The SciGRID_gas model contains 237.000 km of pipeline data which is a very good approximation to know length values. In addition, datasets of compressor stations, LNG terminals, storage, production sides, gas power plants, border points, and demand time series are provided. Finally, we have discussed data gaps and how they can potentially be closed.


title: Tuning Catalytic Activity and Selectivity in Photocatalysis on Dielectric Cuprous Oxide Particles

abstract: Dye degradation has been for more than forty years in the scientific community. All these studies have primarily focused on breaking various dyes using catalysts driven by either light or heat. Most studies started to focus on metal-oxides after the discovery of water-splitting by TiO2. Among the many catalysts used plasmonic metal nanostructures have been explored significantly in recent times due to their special property called localized surface plasmon resonances (LSPR). However, facing multiple problems of heat losses and instability, people started to focus on dielectric medium-to-high refractive indexed materials for photonic applications. Most of these dielectric materials have been studied from a physics point of view and less from chemistry. In this work, we have focused on how these materials can be used for tuning selectivity through wavelength-dependent studies by performing methylene blue (MB) dye degradation.


title: Tunable Chirality-dependent Nonlinear Electrical Responses in 2D Tellurium

abstract: Tellurium (Te) is an elemental semiconductor with a simple chiral crystal structure. Te in a two-dimensional (2D) form synthesized by solution-based method shows excellent electrical, optical, and thermal properties. In this work, the chirality of hydrothermally grown 2D Te is identified and analyzed by hot sulfuric acid etching and high-angle tilted high-resolution scanning transmission electron microscopy. The gate-tunable nonlinear electrical responses, including the nonreciprocal electrical transport in the longitudinal direction and the nonlinear planar Hall effect in the transverse direction, are observed in 2D Te under a magnetic field. Moreover, the nonlinear electrical responses have opposite signs in left- and right-handed 2D Te due to the opposite spin polarizations ensured by the chiral symmetry. The fundamental relationship between the spin-orbit coupling and the crystal symmetry in two enantiomers provides a viable platform for realizing chirality-based electronic devices by introducing the chirality degree of freedom into electron transport.


title: APack: Off-Chip, Lossless Data Compression for Efficient Deep Learning Inference

abstract: Data accesses between on- and off-chip memories account for a large fraction of overall energy consumption during inference with deep learning networks. We present APack, a simple and effective, lossless, off-chip memory compression technique for fixed-point quantized models. APack reduces data widths by exploiting the non-uniform value distribution in deep learning applications. APack can be used to increase the effective memory capacity, to reduce off-chip traffic, and/or to achieve the desired performance/energy targets while using smaller off-chip memories. APack builds upon arithmetic coding, encoding each value as an arithmetically coded variable length prefix, plus an offset. To maximize compression ratio a heuristic software algorithm partitions the value space into groups each sharing a common prefix. APack exploits memory access parallelism by using several, pipelined encoder/decoder units in parallel and keeps up with the high data bandwidth demands of deep learning. APack can be used with any machine learning accelerator. In the demonstrated configuration, APack is placed just before the off-chip memory controller so that he rest of the on-chip memory and compute units thus see the original data stream. We implemented the APack compressor and decompressor in Verilog and in a 65nm tech node demonstrating its performance and energy efficiency. Indicatively, APack reduces data footprint of weights and activations to 60% and 48% respectively on average over a wide set of 8-bit quantized models. It naturally adapts and compresses models that use even more aggressive quantization methods. When integrated with a Tensorcore-based accelerator, APack boosts the speedup and energy efficiency to 1.44X and 1.37X respectively.


title: Reliable Detection of Doppelg\"angers based on Deep Face Representations

abstract: Doppelg\"angers (or lookalikes) usually yield an increased probability of false matches in a facial recognition system, as opposed to random face image pairs selected for non-mated comparison trials. In this work, we assess the impact of doppelg\"angers on the HDA Doppelg\"anger and Disguised Faces in The Wild databases using a state-of-the-art face recognition system. It is found that doppelg\"anger image pairs yield very high similarity scores resulting in a significant increase of false match rates. Further, we propose a doppelg\"anger detection method which distinguishes doppelg\"angers from mated comparison trials by analysing differences in deep representations obtained from face image pairs. The proposed detection system employs a machine learning-based classifier, which is trained with generated doppelg\"anger image pairs utilising face morphing techniques. Experimental evaluations conducted on the HDA Doppelg\"anger and Look-Alike Face databases reveal a detection equal error rate of approximately 2.7% for the task of separating mated authentication attempts from doppelg\"angers.


title: Occupancy Information Ratio: Infinite-Horizon, Information-Directed, Parameterized Policy Search

abstract: In this work, we propose an information-directed objective for infinite-horizon reinforcement learning (RL), called the occupancy information ratio (OIR), inspired by the information ratio objectives used in previous information-directed sampling schemes for multi-armed bandits and Markov decision processes as well as recent advances in general utility RL. The OIR, comprised of a ratio between the average cost of a policy and the entropy of its induced state occupancy measure, enjoys rich underlying structure and presents an objective to which scalable, model-free policy search methods naturally apply. Specifically, we show by leveraging connections between quasiconcave optimization and the linear programming theory for Markov decision processes that the OIR problem can be transformed and solved via concave programming methods when the underlying model is known. Since model knowledge is typically lacking in practice, we lay the foundations for model-free OIR policy search methods by establishing a corresponding policy gradient theorem. Building on this result, we subsequently derive REINFORCE- and actor-critic-style algorithms for solving the OIR problem in policy parameter space. Crucially, exploiting the powerful hidden quasiconcavity property implied by the concave programming transformation of the OIR problem, we establish finite-time convergence of the REINFORCE-style scheme to global optimality and asymptotic convergence of the actor-critic-style scheme to (near) global optimality under suitable conditions. Finally, we experimentally illustrate the utility of OIR-based methods over vanilla methods in sparse-reward settings, supporting the OIR as an alternative to existing RL objectives.


title: Consequences of the compatibility of skein algebra and cluster algebra on surfaces

abstract: We investigate two algebra of curves on a topological surface with punctures - the cluster algebra of surfaces defined by Fomin, Shapiro, and Thurston, and the generalized skein algebra constructed by Roger and Yang. By establishing their compatibility, we resolve Roger-Yang's conjecture on the deformation quantization of the decorated Teichmuller space. We also obtain several structural results on the cluster algebra of surfaces. The cluster algebra of a positive genus surface is not finitely generated, and it differs from its upper cluster algebra.


title: Quantum Dipolar Coupling Thermal Correction for NMR Signal during Natural Rock Flooding by Melding Experimentation and Numerical Simulation (Th-CENS)

abstract: Researchers have used NMR to measure multi-phase fluid saturation and distribution inside porous media of natural rock. However, the NMR signal amplitude suffers reduction with the increase of temperature. The main reason is the Transverse Overhauser Effect, where heating increases the freedom for ionic motion, affecting spinning behavior by having two spins go in two opposite directions to form the Dipolar Coupling. We approach solving NMR thermal effects correction by melding experimentation and numerical simulation method. We use NMR for Cretaceous carbonate rock multi-phase flow research. We conduct time step in-situ temperature measurement for four different sections of the flooding system at the inlet, center, and outlet along the flooding path. In addition, we conduct a temperature measurement at the NMR device radial axis, representing the permanent magnet temperature. We build a 3D cylindrical heat transfer model for the numerical simulator that simulates thermal effect distribution on the NMR for optimally generating the correction model. The insight provided by the simulator improved the understanding of the thermal distribution at the natural rock core plug to produce a better thermal correction model that meld experimentation and simulation, a method we call Th-CENS.


title: Controlling extrapolations of nuclear properties with feature selection

abstract: Predictions of nuclear properties far from measured data are inherently imprecise because of uncertainties in our knowledge of nuclear forces and in our treatment of quantum many-body effects in strongly-interacting systems. While the model bias can be directly calculated when experimental data is available, only an estimate can be made in the absence of such measurements. Current approaches to compute the estimated bias quickly lose predictive power when input variables such as proton or neutron number are extrapolated, resulting in uncontrolled uncertainties in applications such as nucleosynthesis simulations. In this letter, we present a novel technique to identify the input variables of machine learning algorithms that can provide robust estimates of model bias. Our process is based on selecting input variables, or features, based on their probability distribution functions across the entire nuclear chart. We illustrate our approach on the problem of quantifying the model bias in nuclear binding energies calculated with Density Functional Theory (DFT). We show that feature selection can systematically improve theoretical predictions without increasing uncertainties.


title: A Matheuristic Approach for Solving a Simultaneous Lot Sizing and Scheduling Problem with Client Prioritization in Tire Industry

abstract: This paper introduces an integrated lot sizing and scheduling problem inspired from a real-world application in off-the-road tire industry. This problem considers the assignment of different items on parallel machines with complex eligibility constraints within a finite planning horizon. It also considers a large panel of specific constraints such as: backordering, a limited number of setups, upstream resources saturation and customers prioritization. A novel mixed integer formulation is proposed with the objective of optimizing different normalized criteria related to the inventory and service level performance. Based on this mathematical formulation, a problem-based matheuristic method that solves the lot sizing and assignment problems separately is proposed to solve the industrial case. A computational study and sensitivity analysis are carried out based on real-world data with up to 170 products, 70 unrelated parallel machines and 42 periods. The obtained results show the effectiveness of the proposed approach on improving the company's solution. Indeed, the two most important KPIs for the management have been optimized of respectively 32% for the backorders and 13% for the overstock. Moreover, the computational time have been reduced significantly.