title: White-Box and Black-Box Fuzzing for GraphQL APIs

abstract: The Graph Query Language (GraphQL) is a powerful language for APIs manipulation in web services. It has been recently introduced as an alternative solution for addressing the limitations of RESTful APIs. This paper introduces an automated solution for GraphQL APIs testing. We present a full framework for automated APIs testing, from the schema extraction to test case generation. In addition, we consider two kinds of testing: white-box and black-box testing. The white-box testing is performed when the source code of the GraphQL API is available. Our approach is based on evolutionary search. Test cases are evolved to intelligently explore the solution space while maximizing code coverage and fault-finding criteria. The black-box testing does not require access to the source code of the GraphQL API. It is therefore of more general applicability, albeit it has worse performance. In this context, we use a random search to generate GraphQL data. The proposed framework is implemented and integrated into the open-source EvoMaster tool. With enabled white-box heuristics, i.e., white-box mode, experiments on 7 open-source GraphQL APIs show statistically significant improvement of the evolutionary approach compared to the baseline random search. In addition, experiments on 31 online GraphQL APIs reveal the ability of the black-box mode to detect real faults.


title: Computer vision system to count crustacean larvae

abstract: Fish products account for about 16 percent of the human diet worldwide, as of 2017. The counting action is a significant component in growing and producing these products. Growers must count the fish accurately, to do so technological solutions are needed. Two computer vision systems to automatically count crustacean larvae grown in industrial ponds were developed. The first system included an iPhone 11 camera with 3024X4032 resolution which acquired images from an industrial pond in indoor conditions. Two experiments were performed with this system, the first one included 200 images acquired in one day on growth stages 9,10 with an iPhone 11 camera on specific illumination condition. In the second experiment, a larvae industrial pond was photographed for 11 days with two devices an iPhone 11 and a SONY DSCHX90V cameras. With the first device (iPhone 11) two illumination conditions were tested. In each condition, 110 images were acquired. That system resulted in an accuracy of 88.4 percent image detection. The second system included a DSLR Nikon D510 camera with a 2000X2000 resolution with which seven experiments were performed outside the industrial pond. Images were acquired on day 1 of larvae growing stage resulting in the acquisition of a total of 700 images. That system resulted in an accuracy of 86 percent for a density of 50. An algorithm that automatically counts the number of larvae was developed for both cases based on the YOLOv5 CNN model. In addition, in this study, a larvae growth function was developed. Daily, several larvae were taken manually from the industrial pond and analyzed under a microscope. Once the growth stage was determined, images of the larva were acquired. Each larva's length was measured manually from the images. The most suitable model was the Gompertz model with a goodness of fit index of R squared of 0.983.


title: Geometric criteria for the absence of effective many-body interactions in nonadditive hard particle mixtures

abstract: We consider a mixture of small and big classical particles in arbitrary spatial dimensions interacting via hard-body potentials with non-additive excluded-volume interactions. In particular, we focus on variants of the Asakura--Oosawa (AO) model where the interaction between the small particles is neglected but the big-small and big-big interactions are present and can be condensed into an effective depletion interaction among the big particles alone. The original AO model involves hard spherical particles in three spatial dimensions with interaction diameters $\sigma_\text{pp}=0$, $\sigma_\text{cc}>0$ and $\sigma_\text{pc}>\sigma_\text{cc}/2$ respectively, where $\sigma_{ij}$ with $\{i,j\}=\{\text{p},\text{c}\}$ (indicating the physical interpretation of the small and big particles as polymers (p) and colloids (c), respectively) is the minimum possible center-to-center distance between particle $i$ and particle $j$ allowed by the excluded-volume constraints. It is common knowledge that there are only pairwise effective depletion interactions between the big particles if the geometric condition $\sigma_\text{pc}/\sigma_\text{cc} < 1/\sqrt{3}$ is fulfilled. In this case, triplet and higher-order many body interactions are vanishing and the equilibrium statistics of the binary mixture can exactly be mapped onto that of an effective one-component system with the effective depletion pair-potential. Here we prove this geometric criterion rigorously and generalize it to polydisperse mixtures and to anisotropic particle shapes in any dimension, providing geometric criteria sufficient to guarantee the absence of triplet and higher-order many body interactions. For an external hard wall confining the full mixture, we also give criteria which guarantee that the system can be mapped onto one with effective external one-body interactions.

categories: math-ph cond-mat.soft cond-mat.stat-mech math.MP


title: Observables on multisymplectic manifolds and higher Courant algebroids

abstract: Let $\omega$ be a closed, non-degenerate differential form of arbitrary degree. Associated to it there are an $L_{\infty}$-algebra of observables, and an $L_{\infty}$-algebra of sections of the higher Courant algebroid twisted by $\omega$. Our main result is the existence of an $L_{\infty}$-embedding of the former into the latter. We display explicit formulae for the embedding, involving the Bernoulli numbers. When $\omega$ is an integral symplectic form, the embedding can be realized geometrically via the prequantization construction, and when $\omega$ is a 3-form the embedding was found by Rogers in 2010. Further, in the presence of homotopy moment maps, we show that the embedding is compatible with gauge transformations.


title: Large data limit of the MBO scheme for data clustering: convergence of the dynamics

abstract: We prove that the dynamics of the MBO scheme for data clustering converge to a viscosity solution to mean curvature flow. The main ingredients are (i) a new abstract convergence result based on quantitative estimates for heat operators and (ii) the derivation of these estimates in the setting of random geometric graphs. To implement the scheme in practice, two important parameters are the number of eigenvalues for computing the heat operator and the step size of the scheme. The results of the current paper give a theoretical justification for the choice of these parameters in relation to sample size and interaction width.


title: SATViz: Real-Time Visualization of Clausal Proofs

abstract: Visual layouts of graphs representing SAT instances can highlight the community structure of SAT instances. The community structure of SAT instances has been associated with both instance hardness and known clause quality heuristics. Our tool SATViz visualizes CNF formulas using the variable interaction graph and a force-directed layout algorithm. With SATViz, clause proofs can be animated to continuously highlight variables that occur in a moving window of recently learned clauses. If needed, SATViz can also create new layouts of the variable interaction graph with the adjusted edge weights. In this paper, we describe the structure and feature set of SATViz. We also present some interesting visualizations created with SATViz.


title: On bounded depth proofs for Tseitin formulas on the grid; revisited

abstract: We study Frege proofs using depth-$d$ Boolean formulas for the Tseitin contradiction on $n \times n$ grids. We prove that if each line in the proof is of size $M$ then the number of lines is exponential in $n/(\log M)^{O(d)}$. This strengthens a recent result of Pitassi et al. [PRT22]. The key technical step is a multi-switching lemma extending the switching lemma of H\r{a}stad [H\r{a}s20] for a space of restrictions related to the Tseitin contradiction. The strengthened lemma also allows us to improve the lower bound for standard proof size of bounded depth Frege refutations from exponential in $\tilde \Omega (n^{1/59d})$ to exponential in $\tilde \Omega (n^{1/(2d-1)})$.


title: Visual Recipe Flow: A Dataset for Learning Visual State Changes of Objects with Recipe Flows

abstract: We present a new multimodal dataset called Visual Recipe Flow, which enables us to learn each cooking action result in a recipe text. The dataset consists of object state changes and the workflow of the recipe text. The state change is represented as an image pair, while the workflow is represented as a recipe flow graph (r-FG). The image pairs are grounded in the r-FG, which provides the cross-modal relation. With our dataset, one can try a range of applications, from multimodal commonsense reasoning and procedural text generation.


title: Absolutely minimum attaining Toeplitz and absolutely norm attaining Hankel operators

abstract: In this article, we completely characterize absolutely norm attaining Hankel operators and absolutely minimum attaining Toeplitz operators. We also improve \cite[Theorem 2.1]{RGSSSTOE1}, by characterizing the absolutely norm attaining Toeplitz operator $T_\varphi$ in terms of the symbol $\varphi \in L^\infty$.


title: Skin Lesion Recognition with Class-Hierarchy Regularized Hyperbolic Embeddings

abstract: In practice, many medical datasets have an underlying taxonomy defined over the disease label space. However, existing classification algorithms for medical diagnoses often assume semantically independent labels. In this study, we aim to leverage class hierarchy with deep learning algorithms for more accurate and reliable skin lesion recognition. We propose a hyperbolic network to learn image embeddings and class prototypes jointly. The hyperbola provably provides a space for modeling hierarchical relations better than Euclidean geometry. Meanwhile, we restrict the distribution of hyperbolic prototypes with a distance matrix that is encoded from the class hierarchy. Accordingly, the learned prototypes preserve the semantic class relations in the embedding space and we can predict the label of an image by assigning its feature to the nearest hyperbolic class prototype. We use an in-house skin lesion dataset which consists of around 230k dermoscopic images on 65 skin diseases to verify our method. Extensive experiments provide evidence that our model can achieve higher accuracy with less severe classification errors than models without considering class relations.


title: Continuous Design Control for Machine Learning in Certified Medical Systems

abstract: Continuous software engineering has become commonplace in numerous fields. However, in regulating intensive sectors, where additional concerns needs to be taken into account, it is often considered difficult to apply continuous development approaches, such as devops. In this paper, we present an approach for using pull requests as design controls, and apply this approach to machine learning in certified medical systems leveraging model cards, a novel technique developed to add explainability to machine learning systems, as a regulatory audit trail. The approach is demonstrated with an industrial system that we have used previously to show how medical systems can be developed in a continuous fashion.


title: Quasi-optimal $hp$-finite element refinements towards singularities via deep neural network prediction

abstract: We show how to construct the deep neural network (DNN) expert to predict quasi-optimal $hp$-refinements for a given computational problem. The main idea is to train the DNN expert during executing the self-adaptive $hp$-finite element method ($hp$-FEM) algorithm and use it later to predict further $hp$ refinements. For the training, we use a two-grid paradigm self-adaptive $hp$-FEM algorithm. It employs the fine mesh to provide the optimal $hp$ refinements for coarse mesh elements. We aim to construct the DNN expert to identify quasi-optimal $hp$ refinements of the coarse mesh elements. During the training phase, we use the direct solver to obtain the solution for the fine mesh to guide the optimal refinements over the coarse mesh element. After training, we turn off the self-adaptive $hp$-FEM algorithm and continue with quasi-optimal refinements as proposed by the DNN expert trained. We test our method on three-dimensional Fichera and two-dimensional L-shaped domain problems. We verify the convergence of the numerical accuracy with respect to the mesh size. We show that the exponential convergence delivered by the self-adaptive $hp$-FEM can be preserved if we continue refinements with a properly trained DNN expert. Thus, in this paper, we show that from the self-adaptive $hp$-FEM it is possible to train the DNN expert the location of the singularities, and continue with the selection of the quasi-optimal $hp$ refinements, preserving the exponential convergence of the method.


title: Gaia-TESS synergy: Improving the identification of transit candidates

abstract: Context: The TESS team periodically issues a new list of transiting exoplanet candidates based on the analysis of the accumulating light curves obtained by the satellite. The list includes the estimated epochs, periods, and durations of the potential transits. As the point spread function (PSF) of TESS is relatively wide, follow-up photometric observations at higher spatial resolution are required in order to exclude apparent transits that are actually blended background eclipsing binaries (BEBs). Aims: The Gaia space mission, with its growing database of epoch photometry and high angular resolution, enables the production of distinct light curves for all sources included in the TESS PSF, up to the limiting magnitude of Gaia. This paper reports the results of an ongoing Gaia-TESS collaboration that uses the Gaia photometry to facilitate the identification of BEB candidates and even to confirm on-target candidates in some cases. Methods: We inspected the Gaia photometry of the individual sources included in the TESS PSF, searching for periodic dimming events compatible with their ephemerides and uncertainties, as published by TESS. The performance of the search depends mainly on the number of Gaia measurements during transit and their precision. Results: Since February 2021, the collaboration has been able to confirm 126 on-target candidates and exclude 124 as BEBs. Since June 2021, when our search methodology matured, we have been able to identify on the order of 5% as on-target candidates and another 5% as BEBs. Conclusions: This synergistic approach is combining the complementary capabilities of two of the astronomical space missions of NASA and ESA. It serves to optimize the process of detecting new planets by making better use of the resources of the astronomical community.

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


title: Testing Bayesian reconstruction methods from peculiar velocities

abstract: Reconstructing the large scale density and velocity fields from surveys of galaxy distances, is a major challenge for cosmography. The data is very noisy and sparse. Estimated distances, and thereby peculiar velocities, are strongly affected by the Malmquist-like lognormal bias. Two algorithms have been recently introduced to perform reconstructions from such data: the Bias Gaussian correction coupled with the Wiener filter (BGc/WF) and the HAMLET implementation of the Hamiltonian Monte Carlo forward modelling. The two methods are tested here against mock catalogs that mimic the Cosmicflows-3 data. Specifically the reconstructed cosmography and moments of the velocity field (monopole, dipole) are examined. A comparison is made to the ``exact'' wiener filter as well - namely the Wiener Filter in the unrealistic case of zero observational errors. This is to understand the limits of the WF method. The following is found. In the nearby regime ($d \lesssim 40 {\rm Mpc}/h$) the two methods perform roughly equally well. HAMLET does slightly better in the intermediate regime ($ 40 \lesssim d \lesssim 120 {\rm Mpc}/h$). The main differences between the two appear in the most distant regime ($d \gtrsim 120 {\rm Mpc}/h$), close to the edge of the data. The HAMLET outperforms the BGc/WF in terms of better and tighter correlations, yet in the distant regime the HAMLET yields a somewhat biased reconstruction. Such biases are missing from the BGc/WF reconstruction. In sum, both methods perform well and create reliable reconstructions with significant differences apparent when details are examined.


title: Higher order Hochschild cohomology of schemes

abstract: We show that Higher Hochschild complex associated to a connected pointed simplicial set commutes with localization of commutative algebras over a field of characteristic zero. Then, we define in two ways higher order Hochschild cohomology of schemes over a field of characteristic zero. Originally, we can take the hyperext functor of the sheaf associated to Higher Hochschild presheaf. We obtain a Hodge decomposition for higher order Hochschild cohomology of smooth algebraic varieties over a field of characteristic zero which generalizes Pirashvili's Hodge decomposition. We can also define the Higher Hochschild cohomology of order d of a separated scheme by taking the ext functor of its structure presheaf over the Higher Hochschild presheaf of order d -- 1. These two definitions are really close to those of Swanfor classical Hochschild cohomology, but our tools are model categories and derived functors. We also generalize the equivalence of Swan's definitions to any separated schemes over a field.


title: Equivariant localisation in the theory of $Z$-stability for K\"ahler manifolds

abstract: We apply equivariant localisation to the theory of $Z$-stability and $Z$-critical metrics on a K\"ahler manifold $(X,\alpha)$, where $\alpha$ is a K\"ahler class. We show that the invariants used to determine $Z$-stability of the manifold, which are integrals over test configurations, can be written as a product of equivariant classes, hence equivariant localisation can be applied. We also study the existence of $Z$-critical K\"ahler metrics in $\alpha$, whose existence is conjectured to be equivalent to $Z$-stability of $(X,\alpha)$. In particular, we study a class of invariants that give an obstruction to the existence of such metrics. Then we show that these invariants can also be written as a product of equivariant classes. From this we give a new, more direct proof of an existing result: the former invariants determining $Z$-stability on a test configuration are equal to the latter invariants related to the existence of $Z$-critical metrics on the central fibre of the test configuration. This provides a new approach from which to derive the $Z$-critical equation.


title: Weight-based Channel-model Matrix Framework provides a reasonable solution for EEG-based cross-dataset emotion recognition

abstract: Cross-dataset emotion recognition as an extremely challenging task in the field of EEG-based affective computing is influenced by many factors, which makes the universal models yield unsatisfactory results. Facing the situation that lacks EEG information decoding research, we first analyzed the impact of different EEG information(individual, session, emotion and trial) for emotion recognition by sample space visualization, sample aggregation phenomena quantification, and energy pattern analysis on five public datasets. Based on these phenomena and patterns, we provided the processing methods and interpretable work of various EEG differences. Through the analysis of emotional feature distribution patterns, the Individual Emotional Feature Distribution Difference(IEFDD) was found, which was also considered as the main factor of the stability for emotion recognition. After analyzing the limitations of traditional modeling approach suffering from IEFDD, the Weight-based Channel-model Matrix Framework(WCMF) was proposed. To reasonably characterize emotional feature distribution patterns, four weight extraction methods were designed, and the optimal was the correction T-test(CT) weight extraction method. Finally, the performance of WCMF was validated on cross-dataset tasks in two kinds of experiments that simulated different practical scenarios, and the results showed that WCMF had more stable and better emotion recognition ability.


title: A Noise-Robust Data Assimilation Method for Crystal Structure Prediction Using Powder Diffraction Intensity

abstract: Crystal structure prediction for a given chemical composition has long been a challenge in condensed-matter science. We have recently shown that experimental powder X-ray diffraction (XRD) data are helpful in a crystal structure search using simulated annealing, even when they are insufficient for structure determination by themselves (N. Tsujimoto et al., Phys. Rev. Materials 2, 053801 (2018)). In the method, the XRD data are assimilated into the simulation by adding a penalty function to the physical potential energy, where we used a crystallinity-type penalty function defined by the difference between experimental and simulated diffraction angles. To improve the success rate and noise robustness, we introduce a correlation-coefficient-type penalty function adaptable to XRD data with significant experimental noise. We apply the new penalty function to SiO$_2$ coesite and $\epsilon$-Zn(OH)$_2$ to determine its effectiveness in the data assimilation method.


title: Stability of spherical nuclei in the inner crust of neutron stars

abstract: Neutron stars are the densest objects in the Universe. In this paper we consider so-called inner crust - the layer, where neutron-excess nuclei are immersed into degenerate gas of electrons and sea of quasi-free neutrons. It was generally believed that spherical nuclei become unstable with respect to quadrupole deformations at high densities and here we consider this instability. Within perturbative approach we show that spherical nuclei with equilibrium number density are, in fact, stable with respect to infinitesimal quadrupole deformation. This is due to background of degenerate electrons and associated electrostatic potential which maintain stability of spherical nuclei. However, if the number of atomic nuclei per unit volume is much less than the equilibrium value, instability can arise. To avoid confusion we stress that our results are limited to infinitesimal deformations and do not guaranty strict thermodynamic stability of spherical nuclei. In particular, they does not exclude that substantially non-spherical nuclei (so-called pasta phase) represent thermodynamic equilibrium state of the densest layers of neutron star crust. Rather our results points that spherical nuclei can be metastable even if they are not energetically favourable and the timescale of transformation of spherical nuclei to the pasta phases should be estimated subsequently.


title: Local metaplectic correspondence and applications

abstract: We revisit the local metaplectic correspondence previously constructed and studied by Flicker and Kazhdan. After restoring and generalizing some of their results, we get several interesting applications to the representation theory of a Kazhdan-Patterson covering group over a $p$-adic field, including a full criterion of the irreducibility of the Bernstein-Zelevinsky product of two cuspidal representations, the classification of essentially square integrable and tempered representations, and more interestingly, the calculation of the Whittaker dimension of an irreducible representation.


title: Dark Energy Survey Year 3 Results: Redshift Calibration of the MagLim Lens Sample from the combination of SOMPZ and clustering and its impact on Cosmology

abstract: We present an alternative calibration of the MagLim lens sample redshift distributions from the Dark Energy Survey (DES) first three years of data (Y3). The new calibration is based on a combination of a Self-Organising Maps based scheme and clustering redshifts to estimate redshift distributions and inherent uncertainties, which is expected to be more accurate than the original DES Y3 redshift calibration of the lens sample. We describe in detail the methodology, we validate it on simulations and discuss the main effects dominating our error budget. The new calibration is in fair agreement with the fiducial DES Y3 redshift distributions calibration, with only mild differences ($<3\sigma$) in the means and widths of the distributions. We study the impact of this new calibration on cosmological constraints, analysing DES Y3 galaxy clustering and galaxy-galaxy lensing measurements, assuming a $\Lambda$CDM cosmology. We obtain $\Omega_{\rm m} = 0.30\pm 0.04$, $\sigma_8 = 0.81\pm 0.07 $ and $S_8 = 0.81\pm 0.04$, which implies a $\sim 0.4\sigma$ shift in the $\Omega_{\rm}-S_8$ plane compared to the fiducial DES Y3 results, highlighting the importance of the redshift calibration of the lens sample in multi-probe cosmological analyses.


title: Overcrowding for zeros of Hyperbolic Gaussian analytic functions

abstract: We consider the family $\{f_L\}_{L>0}$ of Gaussian analytic functions in the unit disk, distinguished by the invariance of their zero set with respect to hyperbolic isometries. Let $n_L\left(r\right)$ be the number of zeros of $f_L$ in a disk of radius $r$. We study the asymptotic probability of the rare event where there is an overcrowding of the zeros as $r\uparrow1$, i.e. for every $L>0$, we are looking for the asymptotics of the probability $\mathbb{P}\left[n_L(r)\geq V(r)\right]$ with $V\left(r\right)$ large compared to the $\mathbb{E}\left[n_L\left(r\right)\right]$. Peres and Vir\'ag showed that for $L=1$ (and only then) the zero set forms a determinantal point process, making many explicit computations possible. Curiously, contrary to the much better understood planar model, it appears that for $L<1$ the exponential order of decay of the probability of overcrowding when $V$ is close to $\mathbb{E}\left[n_L\left(r\right)\right]$ is much less than the probability of a deficit of zeros.


title: Production of single-charmed baryons in a quark model approach

abstract: The production of single-charmed baryons $\Lambda_c^+ \Lambda_c^-$, $\Lambda_c^+ \Sigma_c^-$+h.c. and $\Sigma_c^+ \Sigma_c^-$ in $p\bar p$ collisions is studied in the framework of a constituent quark model which has satisfactorily described the $N\bar N$ system and the strangeness production $p\bar p\to \Lambda\bar \Lambda$, $\Lambda\bar\Sigma$ and $\Sigma\bar\Sigma$ processes. Predictions on the total cross sections are analyzed for different approaches to the underlying $n\bar n\to c\bar c$ process, mediated by one gluon annihilation diagrams. The results indicate that the cross section is of the order of $1$ nb between $10-14$ GeV for $\Lambda_c^+\Lambda_c^-$ and $\Lambda_c^+ \Sigma_c^-$ channels, and around $0.01-0.1$ nb for $\Sigma_c^+\Sigma_c^-$. This estimations can be relevant for their future search in facilities like $\bar{P}$ANDA.


title: Just Noticeable Difference Modeling for Face Recognition System

abstract: High-quality face images are required to guarantee the stability and reliability of automatic face recognition (FR) systems in surveillance and security scenarios. However, a massive amount of face data is usually compressed before being analyzed due to limitations on transmission or storage. The compressed images may lose the powerful identity information, resulting in the performance degradation of the FR system. Herein, we make the first attempt to study just noticeable difference (JND) for the FR system, which can be defined as the maximum distortion that the FR system cannot notice. More specifically, we establish a JND dataset including 3530 original images and 137,670 compressed images generated by advanced reference encoding/decoding software based on the Versatile Video Coding (VVC) standard (VTM-15.0). Subsequently, we develop a novel JND prediction model to directly infer JND images for the FR system. In particular, in order to maximum redundancy removal without impairment of robust identity information, we apply the encoder with multiple feature extraction and attention-based feature decomposition modules to progressively decompose face features into two uncorrelated components, i.e., identity and residual features, via self-supervised learning. Then, the residual feature is fed into the decoder to generate the residual map. Finally, the predicted JND map is obtained by subtracting the residual map from the original image. Experimental results have demonstrated that the proposed model achieves higher accuracy of JND map prediction compared with the state-of-the-art JND models, and is capable of saving more bits while maintaining the performance of the FR system compared with VTM-15.0.


title: Redundant Apodized Pupils (RAP) for high-contrast imagers robust to segmentation-due aberrations and island effects

abstract: The imaging and characterization of a larger range of exoplanets, down to young Jupiters and exo-Earths will require accessing very high contrasts at small angular separations with an increased robustness to aberrations, three constraints that drive current instrumentation development. This goal relies on efficient coronagraphs set up on extremely large diameter telescopes such as the Thirty Meter Telescope (TMT), the Giant Magellan Telescope (GMT), or the Extremely Large Telescope (ELT). However, they tend to be subject to specific aberrations that drastically deteriorate the coronagraph performance: their primary mirror segmentation implies phasing errors or even missing segments, and the size of the telescope imposes large spiders, generating low-wind effect as already observed on the Very Large Telescope (VLT)/SPHERE instrument or at the Subaru telescope, or adaptive-optics-due petaling, studied in simulations in the ELT case. The ongoing development of coronagraphs has then to take into account their sensitivity to such errors. We propose an innovative method to generate coronagraphs robust to primary mirror phasing errors and low-wind and adaptive-optics-due petaling effect. This method is based on the apodization of the segment or petal instead of the entire pupil, this apodization being then repeated to mimic the pupil redundancy. We validate this so-called Redundant Apodized Pupil (RAP) method on a James Webb Space Telescope-like pupil composed of 18 hexagonal segments segments to align, and on the VLT architecture in the case of residual low-wind effect.


title: Suppressing Recoil Heating in Levitated Optomechanics using Squeezed Light

abstract: We theoretically show that laser recoil heating in free-space levitated optomechanics can be arbitrarily suppressed by shining squeezed light onto an optically trapped nanoparticle. The presence of squeezing modifies the quantum electrodynamical light-matter interaction in a way that enables us to control the amount of information that the scattered light carries about a given mechanical degree of freedom. Moreover, we analyze the trade-off between measurement imprecision and back-action noise and show that optical detection beyond the standard quantum limit can be achieved. We predict that, with state-of-the-art squeezed light sources, laser recoil heating can be reduced by at least 60% by squeezing a single Gaussian mode with an appropriate incidence direction, and by 98% by squeezing a properly mode-matched mode. Our results, which are valid both for motional and librational degrees of freedom, will lead to improved feedback cooling schemes as well as boost the coherence time of optically levitated nanoparticles in the quantum regime.


title: A new Reinforcement Learning framework to discover natural flavor molecules

abstract: The flavor is the focal point in the flavor industry, which follows social tendencies and behaviors. The research and development of new flavoring agents and molecules are essential in this field. On the other hand, the development of natural flavors plays a critical role in modern society. In light of this, the present work proposes a novel framework based on Scientific Machine Learning to undertake an emerging problem in flavor engineering and industry. Therefore, this work brings an innovative methodology to design new natural flavor molecules. The molecules are evaluated regarding the synthetic accessibility, the number of atoms, and the likeness to a natural or pseudo-natural product.


title: The influence of host star activity evolution on the population of super-Earths and mini-Neptunes

abstract: The detected exoplanet population displays a dearth of planets with sizes of about two Earth radii, the so-called radius gap. This is interpreted as an evolutionary effect driven by a variety of possible atmospheric mass loss processes of exoplanets. For mass loss driven by an exoplanet's irradiation by stellar X-ray and extreme-UV photons, the time evolution of the stellar magnetic activity is important. It is known from observations of open stellar clusters that stars of the same age and mass do not all follow the same time evolution of activity-induced X-ray and extreme-UV luminosities. Here we explore how a realistic spread of different stellar activity tracks influences the mass loss and radius evolution of a simulated population of small exoplanets and the observable properties of the radius gap. Our results show qualitatively that different saturation time scales, i.e. the young age at which stellar high-energy emission starts to decline, and different activity decay tracks over moderate stellar ages can cause changes in the population density of planets in the gap, as well as in the observable width of the gap. We also find that while the first 100 million years of mass loss are highly important to shape the radius gap, significant evolution of the gap properties is expected to take place for at least the first 500-600 million years, i.e. the age of the Hyades cluster. Observations of exoplanet populations with defined ages will be able to shed more light on the radius gap evolution.


title: Unified Generative & Dense Retrieval for Query Rewriting in Sponsored Search

abstract: Sponsored search is a key revenue source for search engines, where advertisers bid on keywords to target users or search queries of interest. However, finding relevant keywords for a given query is challenging due to the large and dynamic keyword space, ambiguous user/advertiser intents, and diverse possible topics and languages. In this work, we present a comprehensive comparison between two paradigms for online query rewriting: Generative (NLG) and Dense Retrieval (DR) methods. We observe that both methods offer complementary benefits that are additive. As a result, we show that around 40% of the high-quality keywords retrieved by the two approaches are unique and not retrieved by the other. To leverage the strengths of both methods, we propose CLOVER-Unity, a novel approach that unifies generative and dense retrieval methods in one single model. Through offline experiments, we show that the NLG and DR components of CLOVER-Unity consistently outperform individually trained NLG and DR models on public and internal benchmarks. Furthermore, we show that CLOVER-Unity achieves 9.8% higher good keyword density than the ensemble of two separate DR and NLG models while reducing computational costs by almost half. We conduct extensive online A/B experiments on Microsoft Bing in 140+ countries and achieve improved user engagement, with an average increase in total clicks by 0.89% and increased revenue by 1.27%. We also share our practical lessons and optimization tricks for deploying such unified models in production.


title: Coronagraphy for DiRect Imaging of Exoplanets (CIDRE) testbed 1: concept, optical set up, and experimental results of adaptive amplitude apodization

abstract: Oncoming exoplanet spectro-imagers like the Planetary Camera and Spectrograph (PCS) for the Extremely Large Telescope (ELT) will aim for a new class of exoplanets, including Earth-like planets evolving around M dwarfs i.e., closer than 0.1'' with contrasts around 10^-8. This can be achieved with coronagraphs to modulate the wavefront. Classical coronagraphs are not optimal: 1) they impose a planetary photon loss, which is particularly problematic when the instrument includes a high spectral-resolution spectrograph, 2) some aberrations such as the missing segments of the ELT are dynamic and not compatible with a static coronagraph design, 3) the coupling of the exoplanet image with a fiber for spectroscopy only requires the electric field to be controlled on a small region of the detector. Such instruments would benefit from an adaptive tool to modulate the wavefront in both amplitude and phase. We propose to combine in the pupil plane a deformable mirror (DM) to control the phase and a digital micro-mirror device (DMD) i.e., an array made of 1920*1080 micro-mirrors able to switch between two positions, to control its amplitude. If the DM is already well-known in the field in particular for adaptive optics applications, the DMD has so far not been fully considered. At IPAG, we are currently assembling a testbed called CIDRE (Coronagraphy for DiRect Imaging of Exoplanets) to develop, test, calibrate, and validate the combination of these two components with a Lyot coronagraph. Since March 2022, CIDRE is assembled albeit without the Lyot coronagraph yet. The first few months have been dedicated to the calibration of the DMD. Since May 2022, it is operational and used to test dynamic amplitude apodization coronagraphs (so-called Shaped Pupils). This proceeding presents the set up of the CIDRE testbench and the first experimental results on adaptive Shaped Pupils obtained with the DMD.


title: Calibrated Forecasts: The Minimax Proof

abstract: A formal write-up of the simple proof (1995) of the existence of calibrated forecasts by the minimax theorem, which moreover shows that $N^3$ periods suffice to guarantee a calibration error of at most $1/N$.


title: A simple algorithm for the design of accelerating Bessel beams with adjustable features along their propagation

abstract: We present an extremely simple method for designing self-accelerating non-diffracting beams having arbitrary trajectories while their intensity, width and orbital angular momentum are modulated in a prescribed way along their propagation. Different beams constructed with this method are demonstrated experimentally in the paraxial regime and numerically in the non-paraxial regime.


title: Observation of an Anomalous Hall Effect in Single-crystal Mn3Pt

abstract: The Mn3X family of compounds was the first in which a large anomalous Hall effect (AHE) was predicted to arise from a purely antiferromagnetic structure, due to the Berry curvature in momentum space. Nearly simultaneously with this prediction, a large AHE was observed experimentally in one of the hexagonal members of this family, Mn3Sn. Aligning antiferromagnetic domains, a necessary step for observation of the AHE, is more challenging for the cubic members of the Mn3X family, due to a combination of a smaller spontaneous ferromagnetic moment and much stronger magnetic anisotropy. Here, we use a combination of uniaxial stress and applied magnetic field to align domains of bulk single-crystal Mn3Pt, and demonstrate for the first time a substantial AHE in a bulk sample of a cubic member of the Mn3X family. The AHE remains locked in with essentially no quantitative variation when the stress is ramped back to zero, which shows that it is not a consequence of any stress-induced ferromagnetic moment.

categories: cond-mat.mtrl-sci cond-mat.other cond-mat.str-el physics.app-ph quant-ph


title: Local symmetry breaking and low-energy continuum in K$_2$ReCl$_6 $

abstract: Using polarization selective spontaneous Raman scattering, we have investigated the 5$d$ transition metal compound K$_2$ReCl$_6$ which displays a series of structural phase transitions. We observe a violation of the Raman selection rules in the cubic high temperature phase as well as a low-energy scattering continuum persistent throughout the investigated temperature range from 300 down to 5 K. The continuum couples to one of the phonon modes at temperatures above the lowest structural phase transition at 76 K. We propose a common origin of these observations caused by local fluctuations in the orientation of the ReCl$_6$ octahedra which locally break the long-range cubic symmetry. Consistent results from the related non-magnetic compound K$_2$SnCl$_6$ support this interpretation.


title: Deep-learning approach for the atomic configuration interaction problem on large basis sets

abstract: High-precision atomic structure calculations require accurate modelling of electronic correlations typically addressed via the configuration interaction (CI) problem on a multiconfiguration wave function expansion. The latter can easily become challenging or infeasibly large even for advanced supercomputers. Here we develop a deep-learning approach which allows to preselect the most relevant configurations out of large CI basis sets until the targeted energy precision is achieved. The large CI computation is thereby replaced by a series of smaller ones performed on an iteratively expanding basis subset managed by a neural network. While dense architectures as used in quantum chemistry fail, we show that a convolutional neural network naturally accounts for the physical structure of the basis set and allows for robust and accurate CI calculations. The method was benchmarked on basis sets of moderate size allowing for the direct CI calculation, and further demonstrated on prohibitively large sets where the direct computation is not possible.


title: Tachyon-dependent Chern-Simons terms and the V-QCD Baryon

abstract: The structure of the five-dimensional Tachyon-Chern-Simons action and its relevance to single-baryon states in the context of the V-QCD models for holographic QCD with backreacting flavor are analyzed. The most general form of the Tachyon-Chern-Simons 5-form, compatible with symmetries and flavor anomalies is determined. It is the sum of a non-trivial gauge-invariant 5-dimensional form and a non-invariant closed 5-form that reproduces the flavor anomalies. Single-baryon solutions of the gravity theory, arising from the DBI plus Tachyon-Chern-Simons actions are considered. The baryon is realised as a bulk axial instanton. The baryon ansatz and the field equations are derived and the boundary conditions are determined, which ensure that the solution has finite boundary energy and unit baryon charge. The boundary baryon number, which is computed from the universal (closed) part of the Tachyon-Chern-Simons action, is shown to coincide with the bulk axial instanton number.


title: Multi-stage Distillation Framework for Cross-Lingual Semantic Similarity Matching

abstract: Previous studies have proved that cross-lingual knowledge distillation can significantly improve the performance of pre-trained models for cross-lingual similarity matching tasks. However, the student model needs to be large in this operation. Otherwise, its performance will drop sharply, thus making it impractical to be deployed to memory-limited devices. To address this issue, we delve into cross-lingual knowledge distillation and propose a multi-stage distillation framework for constructing a small-size but high-performance cross-lingual model. In our framework, contrastive learning, bottleneck, and parameter recurrent strategies are combined to prevent performance from being compromised during the compression process. The experimental results demonstrate that our method can compress the size of XLM-R and MiniLM by more than 50\%, while the performance is only reduced by about 1%.


title: Sudden quench of harmonically trapped mass-imbalanced fermions

abstract: Dynamical properties of two-component mass-imbalanced few-fermion systems confined in a one-dimensional harmonic trap following a sudden quench of interactions are studied. It is assumed that initially the system is prepared in the non-interacting ground state and then, after a sudden quench of interactions, the unitary evolution is governed by interacting many-body Hamiltonian. By careful analysis of the evolution of the Loschmidt echo, density distributions of the components, and entanglement entropy between them, the role of mass imbalance and particle number imbalance on the system's evolution stability are investigated. All the quantities studied manifest a dramatic dependence on the number of heavy and lighter fermions in each component at a given quench strength. The results may have implications for upcoming experiments on fermionic mixtures with a well-defined and small number of particles.


title: Building post-Newtonian neutron stars

abstract: Owed to their compactness, neutron stars involve strong gravity and extreme density physics. Nevertheless, at present, there are a variety of problems where progress (at least conceptually) can be made in the context of weak gravity. Motivated by this we examine how accurately one can model neutron stars using the post-Newtonian approximation to general relativity. In general, we find there is a significant degree of freedom in how the post-Newtonian equations of stellar structure can be formulated. We discuss this flexibility in the formulation and provide examples to demonstrate the impact on stellar models. We also consider the (closely related) problem of building neutron stars using isotropic coordinates. In this context, we provide a new strategy for solving the equations (based on a scaling argument) which significantly simplifies the problem.


title: Smart Contract Vulnerability Detection Technique: A Survey

abstract: Smart contract, one of the most successful applications of blockchain, is taking the world by storm, playing an essential role in the blockchain ecosystem. However, frequent smart contract security incidents not only result in tremendous economic losses but also destroy the blockchain-based credit system. The security and reliability of smart contracts thus gain extensive attention from researchers worldwide. In this survey, we first summarize the common types and typical cases of smart contract vulnerabilities from three levels, i.e., Solidity code layer, EVM execution layer, and Block dependency layer. Further, we review the research progress of smart contract vulnerability detection and classify existing counterparts into five categories, i.e., formal verification, symbolic execution, fuzzing detection, intermediate representation, and deep learning. Empirically, we take 300 real-world smart contracts deployed on Ethereum as the test samples and compare the representative methods in terms of accuracy, F1-Score, and average detection time. Finally, we discuss the challenges in the field of smart contract vulnerability detection and combine with the deep learning technology to look forward to future research directions.


title: A probabilistic virtual process chain to quantify process-induced uncertainties in Sheet Molding Compounds

abstract: The manufacturing process of Sheet Molding Compound (SMC) influences the properties of a component in a non-deterministic fashion. To predict this influence on the mechanical performance, we develop a virtual process chain acting as a digital twin for SMC specimens from compounding to failure. More specifically, we inform a structural simulation with individual fields for orientation and volume fraction computed from a direct bundle simulation of the manufacturing process. The structural simulation employs an interpolated direct deep material network to upscale a tailored SMC damage model. We evaluate hundreds of virtual specimens and conduct a probabilistic analysis of the mechanical performance. We estimate the contribution to uncertainty originating from the process-induced inherent random microstructure and from varying initial SMC stack configurations. Our predicted results are in good agreement with experimental tensile tests and thermogravimetric analysis.


title: Federated Meta-Learning for Traffic Steering in O-RAN

abstract: The vision of 5G lies in providing high data rates, low latency (for the aim of near-real-time applications), significantly increased base station capacity, and near-perfect quality of service (QoS) for users, compared to LTE networks. In order to provide such services, 5G systems will support various combinations of access technologies such as LTE, NR, NR-U and Wi-Fi. Each radio access technology (RAT) provides different types of access, and these should be allocated and managed optimally among the users. Besides resource management, 5G systems will also support a dual connectivity service. The orchestration of the network therefore becomes a more difficult problem for system managers with respect to legacy access technologies. In this paper, we propose an algorithm for RAT allocation based on federated meta-learning (FML), which enables RAN intelligent controllers (RICs) to adapt more quickly to dynamically changing environments. We have designed a simulation environment which contains LTE and 5G NR service technologies. In the simulation, our objective is to fulfil UE demands within the deadline of transmission to provide higher QoS values. We compared our proposed algorithm with a single RL agent, the Reptile algorithm and a rule-based heuristic method. Simulation results show that the proposed FML method achieves higher caching rates at first deployment round 21% and 12% respectively. Moreover, proposed approach adapts to new tasks and environments most quickly amongst the compared methods.


title: A geometric approach to inequalities for the Hilbert--Schmidt norm

abstract: We define angle $\Theta_{X,Y}$ between non-zero Hilbert--Schmidt operators $X$ and $Y$ by $\cos\Theta_{_{X,Y}} = \frac{{\rm Re}{\rm Tr}(Y^*X)}{{\|X\|}_{_2}{\|Y\|}_{_2}}$, and give some of its essentially properties. It is shown, among other things, that \begin{align*} \big|\cos\Theta_{_{X,Y}}\big|\leq \min\left\{\sqrt{\cos\Theta_{_{|X^*|,|Y^*|}}}, \sqrt{\cos\Theta_{_{|X|,|Y|}}}\right\}. \end{align*} It enables us to provide alternative proof of some well-known inequalities for the Hilbert--Schmidt norm. In particular, we apply this inequality to prove Lee's conjecture [Linear Algebra Appl. 433 (2010), no.~3, 580--584] as follows \begin{align*} {\big\|X + Y\big\|}_{_2} \leq \sqrt{\frac{\sqrt{2} + 1}{2}}\,{\big\|\,|X| + |Y|\,\big\|}_{_2}. \end{align*} A numerical example is presented to show the constant $\sqrt{\frac{\sqrt{2} + 1}{2}}$ is smallest possible. Other related inequalities for the Hilbert--Schmidt norm are also considered.


title: Double-superradiant cathodoluminescence

abstract: There exist two families of superradiance phenomena: relying on correlated emission by an ensemble of atoms or by free electrons. Here we investigate emission from an ensemble of atoms driven by coherently shaped electrons. This interaction creates superradiance emerging from both the atoms' and the electrons' coherence - with emission intensity that scales quadratically in both the number of atoms and number of electrons. This phenomenon enables electrons to become novel probes of quantum correlations in matter, with high temporal and spatial resolution.


title: R-WhONet: Recalibrated Wheel Odometry Neural Network for Vehicular Positioning using Transfer Learning

abstract: This paper proposes a transfer learning approach to recalibrate our previously developed Wheel Odometry Neural Network (WhONet) for vehicle positioning in environments where Global Navigation Satellite Systems (GNSS) are unavailable. The WhONet has been shown to possess the capability to learn the uncertainties in the wheel speed measurements needed for correction and accurate positioning of vehicles. These uncertainties may be manifested as tyre pressure changes from driving on muddy and uneven terrains or wheel slips. However, a common cause for concern for data-driven approaches, such as the WhONet model, is usually the inability to generalise the models to a new vehicle. In scenarios where machine learning models are trained in a specific domain but deployed in another domain, the model's performance degrades. In real-life scenarios, several factors are influential to this degradation, from changes to the dynamics of the vehicle to new pattern distributions of the sensor's noise, and bias will make the test sensor data vary from training data. Therefore, the challenge is to explore techniques that allow the trained machine learning models to spontaneously adjust to new vehicle domains. As such, we propose the Recalibrated-Wheel Odometry neural Network (R-WhONet), that adapts the WhONet model from its source domain (a vehicle and environment on which the model is initially trained) to the target domain (a new vehicle on which the trained model is to be deployed). Through a performance evaluation on several GNSS outage scenarios - short-term complex driving scenarios, and on longer-term GNSS outage scenarios. We demonstrate that a model trained in the source domain does not generalise well to a new vehicle in the target domain. However, we show that our new proposed framework improves the generalisation of the WhONet model to new vehicles in the target domains by up to 32%.


title: Probing dissipation in spreading drops with granular suspensions

abstract: In this article, we study the spreading of droplets of density-matched granular suspensions on the surface of a solid. Bidispersity of the particle size distribution enriches the conclusions drawn from monodisperse experiments by highlighting key elements of the wetting dynamics. In all cases, the relation between the dynamic contact angle and the velocity of the contact line follows a similar relation as that of a simple fluid, despite the complexity introduced by the presence of particles. We extract from this relation an apparent wetting viscosity of the suspensions that differs from that measured in the bulk. Dimensional analysis supported by experimental measurements yields estimate of the size of the region inside the droplet where the value of the dynamic contact angle depends on a balance of viscous dissipation and capillary stresses. Depending on how particle size compares with this viscous cut-off length seems crucial in determining the value of the apparent wetting viscosity. With bimodal blends, the particle size ratio can be used to show the effects of the local structure and volume fraction at the contact line, both impacting the value of the corresponding wetting viscosity.


title: Bounded Model Checking for Unbounded Client Server Systems

abstract: Bounded model checking (BMC) is an efficient formal verification technique which allows for desired properties of a software system to be checked on bounded runs of an abstract model of the system. The properties are frequently described in some temporal logic and the system is modeled as a state transition system. In this paper we propose a novel counting logic, $\mathcal{L}_{C}$, to describe the temporal properties of client-server systems with an unbounded number of clients. We also propose two dimensional bounded model checking ($2D$-BMC) strategy that uses two distinguishable parameters, one for execution steps and another for the number of tokens in the net representing a client-server system, and these two evolve separately, which is different from the standard BMC techniques in the Petri Nets formalism. This $2D$-BMC strategy is implemented in a tool called DCModelChecker which leverages the $2D$-BMC technique with a state-of-the-art satisfiability modulo theories (SMT) solver Z3. The system is given as a Petri Net and properties specified using $\mathcal{L}_{C}$ are encoded into formulas that are checked by the solver. Our tool can also work on industrial benchmarks from the Model Checking Contest (MCC). We report on these experiments to illustrate the applicability of the $2D$-BMC strategy.


title: Disorder driven cluster glass state in a geometrically frustrated hexagonal perovskite

abstract: We report the observation of cluster glass-like properties in a double perovskite ruthenate Ba$_2$CoRuO$_6$ through structural (neutron and synchrotron X-ray diffraction), magnetic and transport measurements. The system exhibits classic glassy characteristics like a frequency dependence in ac Susceptibility, aging and memory effects along with persistance of short-range correlations upto room temperature. The significant ($\sim30\%$) anti-site disorder on the dimer sites, coupled with the inherent geometrical frustration, allows a variety of exchange (both antiferro- and ferromagnetic) interactions to be distributed randomly across the lattice. On cooling, locally dominant interactions cause spins to nucleate and form local, short-range ordered clusters which grow in size until a global freezing occurs at about $T_f \sim 43K$.


title: Computing one-loop radiative corrections in $\tau \to \pi (K) \nu [\gamma]$ and testing new physics

abstract: Without a doubt the ratios $R_{\tau / P}\equiv \Gamma \left( \tau \to P \nu_{\tau}[\gamma] \right) / \Gamma \left(P\to \mu \nu_{\mu}[\gamma]\right)$ ($P=\pi,K$) give a convenient scenario to test the lepton universality, the CKM unitarity and to search for non-standard interactions in $\tau$ decays. Moreover, the previous theoretical estimation of these observables is more than twenty-five years old and some assumptions of that estimation are unrealistic. Therefore, an update of $R_{\tau / P}$ was timely. The one-loop radiative corrections have been computed by considering an expansion of Chiral Perturbation Theory including the lightest spin-one resonances and respecting the short-distance behavior dictated by QCD. We have reported $\delta R_{\tau/\pi}=(0.18\pm 0.57 )\%$ and $\delta R_{\tau/K}=(0.97\pm 0.58 )\%$, where the uncertainties have been induced fundamentally by the estimation of the counterterms. We have tested the lepton universality, the CKM unitarity and have searched for new physics in $\tau$ decays. As a by-product, we have also determined the theoretical radiative corrections to the $\tau \to P \nu_{\tau}[\gamma]$ decay rates, $\delta_{\tau \pi} = -(0.24 \pm 0.56) \%$ and $\delta_{\tau K} = -(0.15 \pm 0.57) \%$


title: XYZ spectroscopy at electron-hadron facilities II: Semi-inclusive processes with pion exchange

abstract: Semi-inclusive processes are very promising to investigate $XYZ$ hadrons at the next generation of electron-hadron facilities, because they generally boast higher cross sections. We extend our formalism of exclusive photoproduction to semi-inclusive final states. The inclusive production cross sections for charged axial-vector $Z$ states from pion exchange are predicted. We isolate the contribution of $\Delta$ resonances at small missing mass. Production near threshold is shown to be enhanced roughly by a factor of two compared to the exclusive reaction. We benchmark the model with data of semi-inclusive $b_1^\pm$ production.


title: Monoidal Pull-Push I: Cocartesian Fibrations and Categories of Spans

abstract: We develop a basic theory of cocartesian fibrations between Segal spaces (in line with that of arxiv:2102.05190), and use it to provide a proof of a theorem of Barwick (the main result of arxiv:1404.0108). Note: This work was originally the author's master's thesis, submitted 21.09.2020.


title: On the Thermodynamics of the q-Particles

abstract: Since the grand partition function $Z_q$ for the so-called $q$-particles (i.e.,\ quons), $q\in(-1,1)$, cannot be computed by using the standard 2nd quantisation technique involving the full Fock space construction for $q=0$, and its $q$-deformations for the remaining cases, we determine such grand partition functions in order to obtain the natural generalisation of the Plank distribution to $q\in [-1,1]$. We also note the (non) surprising fact that the right grand partition function concerning the Boltzmann case (i.e.,\ $q=0$) can be easily obtained by using the full Fock space 2nd quantisation, by considering the appropriate correction by the Gibbs factor $1/n!$ in the $n$ term of the power series expansion with respect to the fugacity $z$. As an application, we briefly discuss the equations of the state for a gas of free quons or the condensation phenomenon into the ground state, also occurring for the Bose-like quons $q\in(0,1)$.


title: Thermodynamics and Fluctuations in Quantum Heat Engines under Reservoir Squeezing

abstract: We investigate the thermodynamics and fluctuations of a finite-time quantum Otto engine alternatively driven by a hot squeezed and a cold thermal reservoir. We show that reservoir squeezing significantly enhances the performance by increasing the thermodynamic efficiency and the power, and enables higher stability by decreasing the relative power fluctuations and speeding up the convergence of quantum efficiency to its most probable value. These results are explained by our theoretical analysis that incorporates the effect of reservoir squeezing on the irreversibility associated with quantum friction and coherence due to finite time. An experimental scheme for realizing this quantum heat engine is proposed using a single-electron spin pertaining to a trapped 40Ca$^+$ ion. We provide a general framework for reliably studying the finite-time quantum heat engine and derive important insights into the novel thermodynamic behaviors beyond the classical thermal machines.


title: Deepest far ultraviolet view of a central field in the Coma cluster by AstroSat UVIT

abstract: We present analysis of the far ultraviolet (FUV) emission of sources in the central region of the Coma cluster (z=0.023) using the data taken by the UVIT aboard the multi-wavelength satellite mission AstroSat. We find a good correlation between the UVIT FUV flux and the fluxes in both wavebands of the Galex mission, for the common sources. We detect stars and galaxies, amongst which the brightest (r <= 17 mag) galaxies in the field of view are mostly members of the Coma cluster. We also detect three quasars (z = 0.38, 0.51, 2.31), one of which is likely the farthest object observed by the UVIT so far. In almost all the optical and UV colour-colour and colour-magnitude planes explored in this work, the Coma galaxies, other galaxies and bright stars could be separately identified, but the fainter stars and quasars often coincide with the faint galaxies. We have also investigated galaxies with unusual FUV morphology which are likely to be galaxies experiencing ram-pressure stripping in the cluster. Amongst others, two confirmed cluster members which were not investigated in the literature earlier, have been found to show unusual FUV emission. All the distorted sources are likely to have fallen into the cluster recently, and hence have not virialised yet. A subset of our data have optical spectroscopic information available from the archives. For these sources (~ 10% of the sample), we find that 17 galaxies identify as star-forming, 18 as composite and 13 as host galaxies for active galactic nuclei, respectively on the emission-line diagnostic diagram.


title: Kinetics of the chiral phase transition in a quark-meson $\sigma$ model

abstract: Using the two-particle irreducible (2PI) $\Phi$-functional formalism for self-consistent approximations of a linear-$\sigma$ model for quarks and mesons in and out of equilibrium, the build-up of fluctuations of net-baryon number during the time evolution of an expanding fireball is studied within a kinetic theory for the order parameter ($\sigma$ field) and quark distribution functions. Initializing the system with purely Gaussian fluctuations a fourth-order cumulant is temporarily built up due to the evolution of the $\sigma$-field. This is counterbalanced, however, by the dissipative evolution due to collisions between quarks, anti-quarks, mesons, and the mean field, depending on the speed of the fireball expansion.


title: The Transients Handler System for the Cherenkov Telescope Array Observatory

abstract: The Cherenkov Telescope Array Observatory (CTAO) will be the largest and most advanced ground-based facility for gamma-ray astronomy. Several dozens of telescopes will be operated at both the Northern and Southern Hemisphere. With the advent of multi-messenger astronomy, many new large science infrastructures will start science operations and target-of-opportunity observations will play an important role in the operation of the CTAO. The Array Control and Data Acquisition (ACADA) system deployed on each CTAO site will feature a dedicated sub-system to manage external and internal scientific alerts: the Transients Handler. It will receive, validate, and process science alerts in order to determine if target-of-opportunity observations can be triggered or need to be updated. Various tasks defined by proposal-based configurations are processed by the Transients Handler. These tasks include, among others, the evaluation of observability of targets and their correlation with known sources or objects. This contribution will discuss the concepts and design of the Transients Handler and its integration in the ACADA system.


title: Investigating Bias with a Synthetic Data Generator: Empirical Evidence and Philosophical Interpretation

abstract: Machine learning applications are becoming increasingly pervasive in our society. Since these decision-making systems rely on data-driven learning, risk is that they will systematically spread the bias embedded in data. In this paper, we propose to analyze biases by introducing a framework for generating synthetic data with specific types of bias and their combinations. We delve into the nature of these biases discussing their relationship to moral and justice frameworks. Finally, we exploit our proposed synthetic data generator to perform experiments on different scenarios, with various bias combinations. We thus analyze the impact of biases on performance and fairness metrics both in non-mitigated and mitigated machine learning models.


title: Phenomenology of Scalar Leptoquarks at the LHC in Explaining the Radiative Neutrino Mass, Muon $g-2$ and Lepton Flavour Violating Observables

abstract: We study the phenomenology of a particular leptoquark extension of the Standard Model (SM), namely the doublet-singlet scalar leptoquark extension of the SM (DSL-SM). Besides generating Majorana mass for neutrinos, these leptoquarks contribute to muon and electron $(g-2)$ and various lepton flavour violating processes. Collider signatures of the benchmark points (BPs), consistent with the neutrino oscillation data, anomalous muon/electron magnetic moments, experimental bounds on the charged lepton flavour violation observables, etc., are studied at the LHC/FCC with centre-of-mass energies of 14, 27 and 100 TeV. While the two $-1/3$ charged colored scalars from singlet and doublet leptoquark mix with each other, the charge $2/3$ colored scalar from the doublet leptoquark remains pure. With a near-degenerate mass spectrum, the pure and mixed leptoquark states are shown to be distinguishable from multiple finalstates, while discerning between the two mixed states remain very challenging.


title: Minimum Riesz energy problems with external fields

abstract: The paper deals with minimum energy problems in the presence of external fields with respect to the Riesz kernels $|x-y|^{\alpha-n}$, $0<\alpha<n$, on $\mathbb R^n$, $n\geqslant2$. For quite a general (not necessarily lower semicontinuous) external field $f$, we obtain necessary and/or sufficient conditions for the existence of $\lambda_{A,f}$ minimizing the Gauss functional \[\int|x-y|^{\alpha-n}\,d(\mu\otimes\mu)(x,y)+2\int f\,d\mu\] over all positive Radon measures $\mu$ with $\mu(\mathbb R^n)=1$, concentrated on quite a general (not necessarily closed) $A\subset\mathbb R^n$. We also provide various alternative characterizations of the minimizer $\lambda_{A,f}$, analyze the continuity of both $\lambda_{A,f}$ and the modified Robin constant for monotone families of sets, and give a description of the support of $\lambda_{A,f}$. The significant improvement of the theory in question thereby achieved is due to a new approach based on the close interaction between the strong and the vague topologies, as well as on the theory of inner balayage, developed recently by the author.


title: Reply to ` "Comment on Doubly periodic solutions of the focusing nonlinear Schr\"odinger equation: Recurrence, period doubling, and amplification outside the conventional modulation-instability band" '

abstract: We reply to the comments on our previous paper Physical Review A, Vol. 101, 023843 (2020), raised by H. Schuermann and V. Serov in arXiv:2204.05846.


title: Skyrmion lattice hosted in synthetic antiferromagnets and helix modes

abstract: Thin ferromagnetic films can possess unconventional magnetic properties, opening a new road for using them in spintronic technologies. In the present work exploiting three different methods, we comprehensively analyze phason excitations of a skyrmion lattice in synthetic antiferromagnets. To analyze phason excitations of the skyrmion lattice, we have constructed an analytical model based on three coupled helices and found a linear gapless mode. Micromagnetic simulations also support this result. Moreover, a similar result has been achieved within the rigid skyrmion lattice model based on the coupled Thiele's equations, when the coupling between skyrmions in different layers of the synthetic antiferromagnetic is comparable to or larger than the intralayer coupling. In addition, we also consider the orbital angular momentum and spin pumping current associated with phason excitations. Due to the gapless excitations in the case of skyrmion lattice, the pumping current is nonzero for the arbitrary frequency of pumping microwaves. In the case of individual skyrmions, no current is pumped when microwave frequency is inside the gap of the spectrum of individual skyrmions.


title: Nonparametric estimation of trawl processes: Theory and Applications

abstract: Trawl processes belong to the class of continuous-time, strictly stationary, infinitely divisible processes; they are defined as L\'{e}vy bases evaluated over deterministic trawl sets. This article presents the first nonparametric estimator of the trawl function characterising the trawl set and the serial correlation of the process. Moreover, it establishes a detailed asymptotic theory for the proposed estimator, including a law of large numbers and a central limit theorem for various asymptotic relations between an in-fill and a long-span asymptotic regime. In addition, it develops consistent estimators for both the asymptotic bias and variance, which are subsequently used for establishing feasible central limit theorems which can be applied to data. A simulation study shows the good finite sample performance of the proposed estimators and, in an empirical illustration, the new methodology is applied to modelling and forecasting high-frequency financial spread data from a limit order book.


title: A galaxy group candidate at z~3.7 in the COSMOS field

abstract: We report a galaxy group candidate HPC1001 at $z\approx3.7$ in the COSMOS field. This structure was selected as a high galaxy overdensity at $z>3$ in the COSMOS2020 catalog. It contains ten candidate members, of which eight are assembled in a $10''\times10''$ area with the highest sky density among known protoclusters and groups at $z>3$. Four out of ten sources were also detected at 1.2$~$mm with Atacama Large Millimeter Array continuum observations. Photometric redshifts, measured by four independent methods, fall within a narrow range of $3.5<z<3.9$ and with a weighted average of $z=3.65\pm0.07$. The integrated far-IR-to-radio spectral energy distribution yields a total UV and IR star formation rate ${\rm SFR}\approx 900~M_{\odot}~yr^{-1}$. We also estimated a halo mass of $\sim10^{13}~M_\odot$ for the structure, which at this redshift is consistent with potential cold gas inflow. Remarkably, the most massive member has a specific star formation rate and dust to stellar mass ratio of $M_{\rm dust}/M_{*}$ that are both significantly lower than that of star-forming galaxies at this redshift, suggesting that HPC1001 could be a $z\approx3.7$ galaxy group in maturing phase. If confirmed, this would be the earliest structure in maturing phase to date, and an ideal laboratory to study the formation of the earliest quiescent galaxies as well as cold gas accretion in dense environments.


title: Divisibility Arising From Addition: The Application of Modular Functions to Infinite Partition Congruence Families

abstract: The theory of partition congruences has been a fascinating and difficult subject for over a century now. In attempting to prove a given congruence family, multiple possible complications include the genus of the underlying modular curve, representation difficulties of the associated sequences of modular functions, and difficulties regarding the piecewise $\ell$-adic convergence of elements of the associated space of modular functions. However, our knowledge of the subject has developed substantially and continues to develop. In this very brief survey, we will discuss the utility of modular functions in proving partition congruences, both theoretical and computational, and many of the problems in the subject that are yet to be overcome.


title: K\"othe-Herz Spaces: The Amalgam-Type Spaces of Infinite Direct Sums

abstract: In this paper, we introduce a class of function spaces called K\"othe-Herz spaces $E(\mathcal{X})$. These spaces are similar to amalgam spaces and are characterized by a local component given by a countable family $\mathcal{X}=\left( X_{\alpha }\right) _{\alpha \in I}$ of quasi-normed function spaces, and a global component $E$, which is a quasi-normed sequence space. We investigate various geometric and topological properties inherited by $E(\mathcal{X})$ from its components, such as their completeness, duality, order continuity, ideal and Fatou properties, in an abstract setting. In addition, we provide a Banach function space characterization for $E(\mathcal{X})$, which allows us to understand its structure and behavior more deeply. Furthermore, by appropriate amalgamation of Lorentz spaces (Orlicz spaces) and Lebesgue sequence spaces, we define Lorentz-Herz spaces (Orlicz-Herz spaces) as a particular case of $E(\mathcal{X})$, which are still generalizations of the classical Herz spaces. In this context (especially Lorentz-Herz spaces), we establish previously studied properties, demonstrate interpolation results, and prove the boundedness of important sublinear integral operators with kernels that satisfy a size condition.


title: Low energy electron interactions with resveratrol and resorcinol: anion states and likely dissociation pathways

abstract: We report a computational study of the anion states of the resveratrol (RV) and resorcinol (RS) molecules, also investigating dissociative electron attachment (DEA) pathways. RV has well known beneficial effects in human health, and its antioxidant activity was previously associated with DEA reactions producing H$_2$. Our calculations indicate a valence bound state ($\pi^*_1$) and four resonances ($\pi^*_2$ to $\pi^*_5$) for that system. While the computed thermodynamical thresholds are compatible with DEA reactions producing H$_2$ at 0~eV, the well known mechanism involving vibrational Feshbach resonances built on a dipole bound state should not be present in RV. Our results suggest that the shallow $\pi^*_1$ valence bound state is expected to account for H$_2$ elimination, probably involving $\pi_1^*$/$\sigma_{\text{OH}}^*$ couplings along the vibration dynamics. The RS molecule is also an oxidant and a subunit of RV. Since two close-lying hydroxyl groups are found in the RS moiety, the H$_2$-elimination reaction in RV should take place at the RS site. Our calculations point out a correspondence between the anion states of RV and RS, and even between the thresholds. Nevertheless, the absence of bound anion states in RS, indicated by our calculations, is expected to suppress the H$_2$-formation channel at 0~eV. One is lead to conclude that the ethene and phenol subunits in RV stabilize the $\pi^*_1$ state, thus switching on the DEA mechanism producing H$_2$.

categories: physics.atom-ph cond-mat.other physics.app-ph physics.chem-ph


title: A Meta-level Analysis of Online Anomaly Detectors

abstract: Real-time detection of anomalies in streaming data is receiving increasing attention as it allows us to raise alerts, predict faults, and detect intrusions or threats across industries. Yet, little attention has been given to compare the effectiveness and efficiency of anomaly detectors for streaming data (i.e., of online algorithms). In this paper, we present a qualitative, synthetic overview of major online detectors from different algorithmic families (i.e., distance, density, tree or projection-based) and highlight their main ideas for constructing, updating and testing detection models. Then, we provide a thorough analysis of the results of a quantitative experimental evaluation of online detection algorithms along with their offline counterparts. The behavior of the detectors is correlated with the characteristics of different datasets (i.e., meta-features), thereby providing a meta-level analysis of their performance. Our study addresses several missing insights from the literature such as (a) how reliable are detectors against a random classifier and what dataset characteristics make them perform randomly; (b) to what extent online detectors approximate the performance of offline counterparts; (c) which sketch strategy and update primitives of detectors are best to detect anomalies visible only within a feature subspace of a dataset; (d) what are the tradeoffs between the effectiveness and the efficiency of detectors belonging to different algorithmic families; (e) which specific characteristics of datasets yield an online algorithm to outperform all others.


title: Binaural Signal Representations for Joint Sound Event Detection and Acoustic Scene Classification

abstract: Sound event detection (SED) and Acoustic scene classification (ASC) are two widely researched audio tasks that constitute an important part of research on acoustic scene analysis. Considering shared information between sound events and acoustic scenes, performing both tasks jointly is a natural part of a complex machine listening system. In this paper, we investigate the usefulness of several spatial audio features in training a joint deep neural network (DNN) model performing SED and ASC. Experiments are performed for two different datasets containing binaural recordings and synchronous sound event and acoustic scene labels to analyse the differences between performing SED and ASC separately or jointly. The presented results show that the use of specific binaural features, mainly the Generalized Cross Correlation with Phase Transform (GCC-phat) and sines and cosines of phase differences, result in a better performing model in both separate and joint tasks as compared with baseline methods based on logmel energies only.


title: Semifinite harmonic functions on the direct product of graded graphs

abstract: Indecomposible semifinite harmonic functions on the direct product of graded graphs are classified. As a particular case, the full list of indecomposible traces for the infinite inverse symmetric semigroup is obtained.


title: Kink Collision in the Noncanonical $\varphi^{6}$ Model: A Model with Localized Inner Structures

abstract: We study collisions of kinks in the one-space and one-time dimensional noncanonical nonintegrable scalar $\phi^{6}$ model. We examine the energy density of the kink, and we find that, as a function of the parameters that control the curvature of the potential, a localized inner structure of the energy density emerges. We also examine the kink excitation spectrum and the dynamics of the kink collisions for a wide range of initial velocities. We find that apart from the resonance windows, the production of two to three oscillons occurs for some values of the principal parameters of the model.


title: Isomorphism of locally compact Polish metric structures

abstract: We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism), which implies, in particular, that isometry of locally compact Polish metric spaces is Borel reducible to graph isomorphism. We show that potentially $\pmb{\Pi}^0_{\alpha+1}$ isomorphism relations are Borel reducible to equality on hereditarily countable sets of rank $\alpha$, $\alpha \geq 2$. We also study approximations of the Hjorth-isomorphism game, and formulate a condition ruling out classifiability by countable structures.


title: Joint optimization of wavefront sensing and reconstruction with automatic differentiation

abstract: High-contrast imaging instruments need extreme wavefront control to directly image exoplanets. This requires highly sensitive wavefront sensors which optimally make use of the available photons to sense the wavefront. Here, we propose to numerically optimize Fourier-filtering wavefront sensors using automatic differentiation. First, we optimize the sensitivity of the wavefront sensor for different apertures and wavefront distributions. We find sensors that are more sensitive than currently used sensors and close to the theoretical limit, under the assumption of monochromatic light. Subsequently, we directly minimize the residual wavefront error by jointly optimizing the sensing and reconstruction. This is done by connecting differentiable models of the wavefront sensor and reconstructor and alternatingly improving them using a gradient-based optimizer. We also allow for nonlinearities in the wavefront reconstruction using Convolutional Neural Networks, which extends the design space of the wavefront sensor. Our results show that optimization can lead to wavefront sensors that have improved performance over currently used wavefront sensors. The proposed approach is flexible, and can in principle be used for any wavefront sensor architecture with free design parameters.


title: Big Bang Singularity Resolution In Quantum Cosmology

abstract: We evaluate the physical viability and logical strength of an array of putative criteria for big bang singularity resolution in quantum cosmology. Based on this analysis, we propose a mutually consistent set of constitutive conditions, which we argue should be taken to jointly define `global' and `local' big bang singularity resolution in this context. Whilst the present article will focus exclusively on evaluating resolution criteria for big bang singularities in the context of finite dimensional models of quantum cosmology, it is also hoped that the core features of our analysis will be extendable to a more general analysis of criteria for quantum singularity resolution in cosmology and black hole physics.


title: Norm estimates for the $\bar\partial$-equation on a non-reduced space

abstract: We study norm-estimates for the $\bar\partial$-equation on non-reduced analytic spaces. Our main result is that on a non-reduced analytic space, which is Cohen-Macaulay and whose underlying reduced space is smooth, the $\bar\partial$-equation for $(0,1)$-forms can be solved with $L^p$-estimates.


title: Amorphous ice in comets: evidence and consequences

abstract: Ice naturally forms in the disordered or ``amorphous'' state when accreted from vapor at temperatures and pressures found in the interstellar medium and in the frigid, low density outer regions of the Sun's protoplanetary disk. It is therefore the expected form of ice in comets and other primitive bodies that have escaped substantial heating since formation. Despite expectations, however, the observational evidence for amorphous ice in comets remains largely indirect. This is both because the spectral features of amorphous ice are subtle and because the solar system objects for which we possess high quality data are mostly too close to the Sun and too hot for amorphous ice to survive near the surface, where it can be detected. This chapter reviews the properties of amorphous ice, the evidence for its existence and its consequences for the behavior of comets.


title: Monoidal Pull-Push II: Local Systems

abstract: Our aim in this work is to provide an explicit, simple construction of pull-push of local systems as a lax monoidal functor. To this end, we show that one can solve horn filling problems Cat_\infty using left Kan extensions, and use this to provide an explicit construction of a left Kan extension functor. We use this result to show that pull-push of local systems induces a functor from Span(S), the infinity category of spans of spaces, into Cat_\infty. We then develop a machinery of monoidal Beck-Chevalley fibrations, and use this to show that the pull-push functor above admits a lax monoidal structure.


title: TDB: Breaking All Hop-Constrained Cycles in Billion-Scale Directed Graphs

abstract: The Feedback vertex set with the minimum size is one of Karp's 21 NP-complete problems targeted at breaking all the cycles in a graph. This problem is applicable to a broad variety of domains, including E-commerce networks, database systems, and program analysis. In reality, users are frequently most concerned with the hop-constrained cycles (i.e., cycles with a limited number of hops). For instance, in the E-commerce networks, the fraud detection team would discard cycles with a high number of hops since they are less relevant and grow exponentially in size. Thus, it is quite reasonable to investigate the feedback vertex set problem in the context of hop-constrained cycles, namely hop-constrained cycle cover problem. It is concerned with determining a set of vertices that covers all hop-constrained cycles in a given directed graph. A common method to solve this is to use a bottom-up algorithm, where it iteratively selects cover vertices into the result set. Based on this paradigm, the existing works mainly focus on the vertices orders and several heuristic strategies. In this paper, a totally opposite cover process topdown is proposed and bounds are presented on it. Surprisingly, both theoretical time complexity and practical performance are improved.


title: The Climate and Compositional Variation of the Highly Eccentric Planet HD 80606 b -- the rise and fall of carbon monoxide and elemental sulfur

abstract: The gas giant HD 80606 b has a highly eccentric orbit (e $\sim$ 0.93). The variation due to the rapid shift of stellar irradiation provides a unique opportunity to probe the physical and chemical timescales and to study the interplay between climate dynamics and atmospheric chemistry. In this work, we present integrated models to study the atmospheric responses and the underlying physical and chemical mechanisms of HD 80606 b. We first run three-dimensional general circulation models (GCMs) to establish the atmospheric thermal and dynamical structures for different atmospheric metallicities and internal heat. Based on the GCM output, we then adopted a 1D time-dependent photochemical model to investigate the compositional variation along the eccentric orbit. The transition of the circulation patterns of HD 80606 b matched the dynamics regimes in previous works. Our photochemical models show that efficient vertical mixing leads to deep quench levels of the major carbon and nitrogen species and the quenching behavior does not change throughout the eccentric orbit. Instead, photolysis is the main driver of the time-dependent chemistry. While CH$_4$ dominates over CO through most of the orbits, a transient state of [CO]/[CH$_4$}] $>$ 1 after periastron is confirmed for all metallicity and internal heat cases. The upcoming JWST Cycle 1 GO program will be able to track this real-time CH$_4$--CO conversion and infer the chemical timescale. Furthermore, sulfur species initiated by sudden heating and photochemical forcing exhibit both short-term and long-term cycles, opening an interesting avenue for detecting sulfur on exoplanets.


title: Computer vision based vehicle tracking as a complementary and scalable approach to RFID tagging

abstract: Logging of incoming/outgoing vehicles serves as a piece of critical information for root-cause analysis to combat security breach incidents in various sensitive organizations. RFID tagging hampers the scalability of vehicle tracking solutions on both logistics as well as technical fronts. For instance, requiring each incoming vehicle(departmental or private) to be RFID tagged is a severe constraint and coupling video analytics with RFID to detect abnormal vehicle movement is non-trivial. We leverage publicly available implementations of computer vision algorithms to develop an interpretable vehicle tracking algorithm using finite-state machine formalism. The state-machine consumes input from the cascaded object detection and optical character recognition(OCR) models for state transitions. We evaluated the proposed method on 75 video clips of 285 vehicles from our system deployment site. We observed that the detection rate is most affected by the speed and the type of vehicle. The highest detection rate is achieved when the vehicle movement is restricted to follow a movement restrictions(SOP) at the checkpoint similar to RFID tagging. We further analyzed 700 vehicle tracking predictions on live-data and identified that the majority of vehicle number prediction errors are due to illegible-text, image-blur, text occlusion and out-of-vocab letters in vehicle numbers. Towards system deployment and performance enhancement, we expect our ongoing system monitoring to provide evidences to establish a higher vehicle-throughput SOP at the security checkpoint as well as to drive the fine-tuning of the deployed computer-vision models and the state-machine to establish the proposed approach as a promising alternative to RFID-tagging.


title: Chiral run-and-tumble walker: transport and optimizing search

abstract: We study the statistical properties of a non-Markovian chiral run-and-tumble particle (CRTP) in two dimensions in continuous space and time. In our model, the possible orientations of the particle correspond to the four cardinal directions. The particle can reorient by turning left, right or reversing its direction of motion at different rates. We show how chirality manifests itself in the transport properties like the spatial moments of the marginal position distribution and the first-passage properties of a CRTP. Interestingly, we find that the chirality leads to enhanced diffusion and a \textit{looping} tendency in the trajectory space. Furthermore, our results show that chirality plays a pivotal role in the improvement of the search strategy -- notably, there exists an optimal bias in tumbling that minimizes the mean search time. This key observation can play a crucial role in determining how living systems efficiently search under non-equilibrium conditions.


title: Dual-Scale Single Image Dehazing Via Neural Augmentation

abstract: Model-based single image dehazing algorithms restore haze-free images with sharp edges and rich details for real-world hazy images at the expense of low PSNR and SSIM values for synthetic hazy images. Data-driven ones restore haze-free images with high PSNR and SSIM values for synthetic hazy images but with low contrast, and even some remaining haze for real world hazy images. In this paper, a novel single image dehazing algorithm is introduced by combining model-based and data-driven approaches. Both transmission map and atmospheric light are first estimated by the model-based methods, and then refined by dual-scale generative adversarial networks (GANs) based approaches. The resultant algorithm forms a neural augmentation which converges very fast while the corresponding data-driven approach might not converge. Haze-free images are restored by using the estimated transmission map and atmospheric light as well as the Koschmiederlaw. Experimental results indicate that the proposed algorithm can remove haze well from real-world and synthetic hazy images.


title: Estimation of Average Derivatives of Latent Regressors: With an Application to Inference on Buffer-Stock Saving

abstract: This paper proposes a density-weighted average derivative estimator based on two noisy measures of a latent regressor. Both measures have classical errors with possibly asymmetric distributions. We show that the proposed estimator achieves the root-n rate of convergence, and derive its asymptotic normal distribution for statistical inference. Simulation studies demonstrate excellent small-sample performance supporting the root-n asymptotic normality. Based on the proposed estimator, we construct a formal test on the sub-unity of the marginal propensity to consume out of permanent income (MPCP) under a nonparametric consumption model and a permanent-transitory model of income dynamics with nonparametric distribution. Applying the test to four recent waves of U.S. Panel Study of Income Dynamics (PSID), we reject the null hypothesis of the unit MPCP in favor of a sub-unit MPCP, supporting the buffer-stock model of saving.


title: Observation of room temperature excitons in an atomically thin topological insulator

abstract: Optical spectroscopy of ultimately thin materials has significantly enhanced our understanding of collective excitations in low-dimensional semiconductors. This is particularly reflected by the rich physics of excitons in atomically thin crystals which uniquely arises from the interplay of strong Coulomb correlation, spin-orbit coupling (SOC), and lattice geometry. Here we extend the field by reporting the observation of room temperature excitons in a material of non-trivial global topology. We study the fundamental optical excitation spectrum of a single layer of bismuth atoms epitaxially grown on a SiC substrate (hereafter bismuthene or Bi/SiC) which has been established as a large-gap, two-dimensional (2D) quantum spin Hall (QSH) insulator. Strongly developed optical resonances are observed to emerge around the direct gap at the K and K' points of the Brillouin zone, indicating the formation of bound excitons with considerable oscillator strength. These experimental findings are corroborated, concerning both the character of the excitonic resonances as well as their energy scale, by ab-initio \emph{GW} and Bethe-Salpeter equation calculations, confirming strong Coulomb interaction effects in these optical excitations. Our observations provide the first evidence of excitons in a 2D QSH insulator at room temperature, with excitonic and topological physics deriving from the very same electronic structure.


title: Workplace Breastfeeding Legislation and Labor Market Outcomes

abstract: This paper studies the effects of legislation mandating workplace breastfeeding amenities on various labor market outcomes. Using the Panel Study of Income Dynamics, I implement both a traditional fixed-effects event study framework and the Interaction-Weighted event study technique proposed by Sun & Abraham (2020). I find that workplace breastfeeding legislation increases the likelihood of female labor force participation by 4.2 percentage points in the two years directly following implementation. Female labor force participation remains higher than before implementation in subsequent years, but the significant effect does not persist. Using the CDC's Infant Feeding Practices Survey II, I then show that breastfeeding women who do not live in states with workplace breastfeeding supportive legislation are 3.9 percentage points less likely to work, supporting the PSID findings. The legislation mainly impacts white women. I find little effect on labor income or work intensity.


title: SpaDE: Improving Sparse Representations using a Dual Document Encoder for First-stage Retrieval

abstract: Sparse document representations have been widely used to retrieve relevant documents via exact lexical matching. Owing to the pre-computed inverted index, it supports fast ad-hoc search but incurs the vocabulary mismatch problem. Although recent neural ranking models using pre-trained language models can address this problem, they usually require expensive query inference costs, implying the trade-off between effectiveness and efficiency. Tackling the trade-off, we propose a novel uni-encoder ranking model, Sparse retriever using a Dual document Encoder (SpaDE), learning document representation via the dual encoder. Each encoder plays a central role in (i) adjusting the importance of terms to improve lexical matching and (ii) expanding additional terms to support semantic matching. Furthermore, our co-training strategy trains the dual encoder effectively and avoids unnecessary intervention in training each other. Experimental results on several benchmarks show that SpaDE outperforms existing uni-encoder ranking models.


title: A stochastic volatility model for the valuation of temperature derivatives

abstract: This paper develops a new stochastic volatility model for the temperature that is a natural extension of the Ornstein-Uhlenbeck model proposed by Benth and Benth (2007). This model allows to be more conservative regarding extreme events while keeping tractability. We give a method based on Conditional Least Squares to estimate the parameters on daily data and estimate our model on eight major European cities. We then show how to calculate efficiently the average payoff of weather derivatives both by Monte-Carlo and Fourier transform techniques. This new model allows to better assess the risk related to temperature volatility.


title: Thermal Ising transition in two-dimensional SU(3) Fermi lattice gases with population imbalance

abstract: We focus on three-component SU(3) Fermi gases loaded into a square optical lattice, with population imbalance between one component and the others. At strong coupling the system is described by the SU(3) Heisenberg model with an external field that couples to the population imbalance. We discuss the ground state at the mean-field level and then analyze the thermal fluctuations with the semi-classical Monte Carlo method. The interplay of interactions, population imbalance and thermal fluctuations gives rise to a phase transition linked to the breaking of an emergent Ising symmetry, despite the absence of frustration. This represents a new scenario of discrete symmetry breaking in low-dimensional systems with continuous symmetries. Possible implementations with cold alkaline-earth(-like) atoms are discussed.