title: Mid-infrared frequency combs and staggered spectral patterns in $\chi^{(2)}$ microresonators

abstract: The potential of frequency comb spectroscopy has aroused great interest in generating mid-infrared frequency combs in the integrated photonic setting. However, despite remarkable progress in microresonators and quantum cascade lasers, the availability of suitable mid-IR comb sources remains scarce. Here, we present a new approach for the generation of mid-IR microcombs through cascaded three-wave-mixing. By pumping a CdSiP$_2$ microresonator at 1.55 $\mu$m wavelength with a low power continuous wave laser, we generate $\chi^{(2)}$ frequency combs at 3.1 $\mu$m wavelength, with a span of about 30 nm. We observe ordinary combs states with a line spacing of the free spectral range of the resonator, and combs where the sideband numbers around the pump and half-harmonic alternate, forming staggered patterns of spectral lines. Our scheme for mid-IR microcomb generation is compatible with integrated telecom lasers. Therefore, it has the potential to be used as a simple and fully integrated mid-IR comb source, relying on only one single material.


title: A formula for the Gromov-Witten potential of an elliptic curve

abstract: An algorithm to determine all the Gromov-Witten invariants of any smooth projective curve was obtained by Okounkov and Pandharipande in 2006. They identified stationary invariants with certain Hurwitz numbers and then presented Virasoro type constraints that allow to determine all the other Gromov-Witten invariants in terms of the stationary ones. In the case of an elliptic curve, we show that these Virasoro type constraints can be explicitly solved leading to a very explicit formula for the full Gromov-Witten potential in terms of the stationary invariants.


title: Self-excited waves in complex social systems

abstract: A social system is considered whose agents choose between several alternatives of possible actions. The system is described by the fractions of agents preferring the corresponding alternatives. The agents interact with each other by exchanging information on their choices. Each alternative is characterized by three attributes: utility, attractiveness, and replication. The agents are heterogeneous having different initial conditions and different types of memory, which can be long-term or short-term. The agent interactions, generally, can depend on the distance between the agents, varying from short-range to long-range interactions. The emphasis in the paper is on long-range interactions. In a mixed society consisting of agents with both long-term and short-term memory, there appears the effect of spontaneous excitation of preference waves, when the fractions of agents preferring this or that alternative suddenly start strongly oscillating, either periodically or chaotically. Since the considered society forms a closed system, without any external influence, the arising waves are internally self-excited by the society.


title: Effects of Born-Infeld electrodynamics on black hole shadows

abstract: In this work, we study the shadow of Born-Infeld (BI) black holes with magnetic monopoles and Schwarzschild black holes immersed in the BI uniform magnetic field. Illuminated by a celestial sphere, black hole images are obtained by using the backward ray-tracing method. For magnetically charged BI black holes, we find that the shadow radius increases with the increase of nonlinear electromagnetics effects. For Schwarzschild black holes immersed in the BI uniform magnetic field, photons tend to move towards the axis of symmetric, resulting in stretched shadows along the equatorial plane.


title: Search for Lorentz Invariance Violation using Bayesian model comparison applied to Xiao et al. GRB spectral lag catalog

abstract: We use the spectral lag catalog of 46 short GRBs aggregated by Xiao et al (2022), to carry out an independent search for Lorentz Invariance violation (LIV). For this purpose, we use a power-law model as a function of energy for the intrinsic astrophysical induced spectral lags. The expansion history of the universe needed for constraining LIV was obtained in a non-parametric method using cosmic chronometers. We use Bayesian model comparison to determine if the aforementioned spectral lags show evidence for LIV as compared to only astrophysically induced lags. We do not find any evidence for LIV, and obtain 95\% c.l. lower limits on the corresponding energy scale to be $4 \times 10^{15}$ GeV and $6.8 \times 10^{9}$ GeV for the linear and quadratic LIV models respectively. Our results obtained by using the flat $\Lambda$CDM model for characterizing the cosmic expansion history are consistent with those obtained using chronometers.


title: Ultra-compact Binary Neural Networks for Human Activity Recognition on RISC-V Processors

abstract: Human Activity Recognition (HAR) is a relevant inference task in many mobile applications. State-of-the-art HAR at the edge is typically achieved with lightweight machine learning models such as decision trees and Random Forests (RFs), whereas deep learning is less common due to its high computational complexity. In this work, we propose a novel implementation of HAR based on deep neural networks, and precisely on Binary Neural Networks (BNNs), targeting low-power general purpose processors with a RISC-V instruction set. BNNs yield very small memory footprints and low inference complexity, thanks to the replacement of arithmetic operations with bit-wise ones. However, existing BNN implementations on general purpose processors impose constraints tailored to complex computer vision tasks, which result in over-parametrized models for simpler problems like HAR. Therefore, we also introduce a new BNN inference library, which targets ultra-compact models explicitly. With experiments on a single-core RISC-V processor, we show that BNNs trained on two HAR datasets obtain higher classification accuracy compared to a state-of-the-art baseline based on RFs. Furthermore, our BNN reaches the same accuracy of a RF with either less memory (up to 91%) or more energy-efficiency (up to 70%), depending on the complexity of the features extracted by the RF.


title: Discovery of faint double-peak Halpha emission in the halo of low redshift galaxies

abstract: Aiming at the detection of cosmological gas being accreted onto galaxies of the local Universe, we examined the Halpha emission in the halo of 164 galaxies in the field of view of the Multi-Unit Spectroscopic Explorer Wide survey (\musew ) with observable Halpha (redshift < 0.42). An exhaustive screening of the corresponding Halpha images led us to select 118 reliable Halpha emitting gas clouds. The signals are faint, with a surface brightness of 10**(-17.3 pm 0.3) erg/s/cm2/arcsec2. Through statistical tests and other arguments, we ruled out that they are created by instrumental artifacts, telluric line residuals, or high redshift interlopers. Around 38% of the time, the Halpha line profile shows a double peak with the drop in intensity at the rest-frame of the central galaxy, and with a typical peak-to-peak separation of the order of pm 200 km/s. Most line emission clumps are spatially unresolved. The mass of emitting gas is estimated to be between one and 10**(-3) times the stellar mass of the central galaxy. The signals are not isotropically distributed; their azimuth tends to be aligned with the major axis of the corresponding galaxy. The distances to the central galaxies are not random either. The counts drop at a distance > 50 galaxy radii, which roughly corresponds to the virial radius of the central galaxy. We explore several physical scenarios to explain this Halpha emission, among which accretion disks around rogue intermediate mass black holes fit the observations best.


title: Detection of eccentric close-binary supermassive black holes with incomplete interferometric data

abstract: Recent studies have proposed that GRAVITY+ instrument is able to trace the circular orbit of the subparsec close-binary supermassive black holes (CB-SMBHs) by measuring the photocentre variation of the hot dust emission. However, the CB-SMBHs orbit may become highly eccentric throughout the evolution of these objects, and the orbital period may be far longer than the observational time baseline. We investigate the problem of detecting the CB-SMBH with hot dust emission and high eccentricity (eCBSMBH, e=0.5) when the observed time baselines of their astrometric data and radial velocities are considerably shorter than the orbital period. The parameter space of the Keplerian model of the eCBSMBH is large for exploratory purposes. We therefore applied the Bayesian method to fit orbital elements of the eCBSMBH to combined radial velocity and astrometric data covering a small fraction of the orbital period. We estimate that a number of potential eCBSMBH systems within reach of GRAVITY + will be similar to the number of the planned circular targets. We show that using observational time baselines that cover ~ 10% of the orbit increases the possibility of determining the period, eccentricity, and total mass of an eCBSMBH. When the observational time baseline becomes too short (~ 5%), the quality of the retrieved eCBSMBH parameters degrades. We also illustrate how interferometry may be used to estimate the photo-centre at the eCBSMBH emission line, which could be relevant for GRAVITY+ successors. Even if the astrometric signal for eCBSMBH systems is reduced by a factor of sqrt{1-e^{2}} compared to circular ones, we find that the hot dust emission of eCBSMBHs can be traced by GRAVITY+ at the elementary level.


title: TrustGNN: Graph Neural Network based Trust Evaluation via Learnable Propagative and Composable Nature

abstract: Trust evaluation is critical for many applications such as cyber security, social communication and recommender systems. Users and trust relationships among them can be seen as a graph. Graph neural networks (GNNs) show their powerful ability for analyzing graph-structural data. Very recently, existing work attempted to introduce the attributes and asymmetry of edges into GNNs for trust evaluation, while failed to capture some essential properties (e.g., the propagative and composable nature) of trust graphs. In this work, we propose a new GNN based trust evaluation method named TrustGNN, which integrates smartly the propagative and composable nature of trust graphs into a GNN framework for better trust evaluation. Specifically, TrustGNN designs specific propagative patterns for different propagative processes of trust, and distinguishes the contribution of different propagative processes to create new trust. Thus, TrustGNN can learn comprehensive node embeddings and predict trust relationships based on these embeddings. Experiments on some widely-used real-world datasets indicate that TrustGNN significantly outperforms the state-of-the-art methods. We further perform analytical experiments to demonstrate the effectiveness of the key designs in TrustGNN.


title: AO2-DETR: Arbitrary-Oriented Object Detection Transformer

abstract: Arbitrary-oriented object detection (AOOD) is a challenging task to detect objects in the wild with arbitrary orientations and cluttered arrangements. Existing approaches are mainly based on anchor-based boxes or dense points, which rely on complicated hand-designed processing steps and inductive bias, such as anchor generation, transformation, and non-maximum suppression reasoning. Recently, the emerging transformer-based approaches view object detection as a direct set prediction problem that effectively removes the need for hand-designed components and inductive biases. In this paper, we propose an Arbitrary-Oriented Object DEtection TRansformer framework, termed AO2-DETR, which comprises three dedicated components. More precisely, an oriented proposal generation mechanism is proposed to explicitly generate oriented proposals, which provides better positional priors for pooling features to modulate the cross-attention in the transformer decoder. An adaptive oriented proposal refinement module is introduced to extract rotation-invariant region features and eliminate the misalignment between region features and objects. And a rotation-aware set matching loss is used to ensure the one-to-one matching process for direct set prediction without duplicate predictions. Our method considerably simplifies the overall pipeline and presents a new AOOD paradigm. Comprehensive experiments on several challenging datasets show that our method achieves superior performance on the AOOD task.


title: Multi-sum Rogers-Ramanujan Type Identities

abstract: We use an integral method to establish a number of Rogers-Ramanujan type identities involving double and triple sums. The key step for proving such identities is to find some infinite products whose integrals over suitable contours are still infinite products. The method used here is motivated by Rosengren's proof of the Kanade-Russell identities.


title: Impartial Games: A Challenge for Reinforcement Learning

abstract: While AlphaZero-style reinforcement learning (RL) algorithms excel in various board games, in this paper we show that they face challenges on impartial games where players share pieces. We present a concrete example of a game - namely the children's game of Nim - and other impartial games that seem to be a stumbling block for AlphaZero-style and similar self-play reinforcement learning algorithms. Our work is built on the challenges posed by the intricacies of data distribution on the ability of neural networks to learn parity functions, exacerbated by the noisy labels issue. Our findings are consistent with recent studies showing that AlphaZero-style algorithms are vulnerable to adversarial attacks and adversarial perturbations, showing the difficulty of learning to master the games in all legal states. We show that Nim can be learned on small boards, but the learning progress of AlphaZero-style algorithms dramatically slows down when the board size increases. Intuitively, the difference between impartial games like Nim and partisan games like Chess and Go can be explained by the fact that if a small part of the board is covered for impartial games it is typically not possible to predict whether the position is won or lost as there is often zero correlation between the visible part of a partly blanked-out position and its correct evaluation. This situation starkly contrasts partisan games where a partly blanked-out board position typically provides abundant or at least non-trifle information about the value of the fully uncovered position.


title: Hydrodynamic phase field crystal approach to interfaces, dislocations, and multi-grain networks

abstract: We derive a phase field crystal model that couples the diffusive evolution of a microscopic structure with the fast dynamics of a macroscopic velocity field, explicitly accounting for the relaxation of elastic excitations. This model captures better than previous formulations the dynamics of complex interfaces and dislocations in single crystals as well as grain boundary migration in poly-crystals where the long-range elastic field is properly relaxed. The proposed model features a diffusivity that depends non-linearly on the local phase. It induces more localized interfaces between a disordered phase (liquid-like) and an ordered phase, e.g., stripes or crystal lattices. For stripes, the interface dynamics are shown to be strongly anisotropic. We also show that the model is able to evolve the classical PFC at mechanical equilibrium. However, in contrast to previous approaches, it is not restricted to a single-crystal configuration or small distortions from a fixed reference lattice. To showcase the capabilities of this approach, we consider a few examples, from the annihilation of dislocation loops in a single crystal at mechanical equilibrium to the relaxation of a microstructure including crystalline domains with different orientations and grain boundaries. During the self-annihilation of a mixed type dislocation loop (i.e., not shear or prismatic), long-range elastic effects cause the loop to move out of plane before the annihilation event.


title: Electroluminescence of monolayer WS$_2$ in a scanning tunneling microscope: the effect of bias polarity on the spectral and angular distribution of the emitted light

abstract: Inelastic electron tunneling in a scanning tunneling microscope (STM) is used to generate excitons in monolayer tungsten disulfide (WS$_2$). Excitonic electroluminescence is measured both at positive and negative sample bias. Using optical spectroscopy and Fourier-space optical microscopy, we show that the bias polarity of the tunnel junction determines the spectral and angular distribution of the emitted light. At positive sample bias, only emission from excitonic species featuring an in-plane transition dipole moment is detected. Based on the spectral distribution of the emitted light, we infer that the dominant contribution is from charged excitons, i.e., trions. At negative sample bias, additional contributions from lower-energy excitonic species are evidenced in the emission spectra and the angular distribution of the emitted light reveals a mixed character of in-plane and out-of-plane transition dipole moments.


title: Interplay of quantum spin Hall effect and spontaneous time-reversal symmetry breaking in electron-hole bilayers I: Transport properties

abstract: The band-inverted electron-hole bilayers, such as InAs/GaSb, are an interesting playground for the interplay of quantum spin Hall effect and correlation effects because of the small density of electrons and holes and the relatively small hybridization between the electron and hole bands. It has been proposed that Coulomb interactions lead to a time-reversal symmetry broken phase when the electron and hole densities are tuned from the trivial to the quantum spin Hall insulator regime. We show that the transport properties of the system in the time-reversal symmetry broken phase are consistent with the recent experimental observations in InAs/GaSb. Moreover, we carry out a quantum transport study on a Corbino disc where the bulk and edge contributions to the conductance can be separated. We show that the edge becomes smoothly conducting and the bulk is always insulating when one tunes the system from the trivial to the quantum spin Hall insulator phase, providing unambiguous transport signatures of the time-reversal symmetry broken phase.


title: Theory of phase-adaptive parametric cooling

abstract: We propose an adaptive phase technique for the parametric cooling of mechanical resonances. This involves the detection of the mechanical quadratures, followed by a sequence of periodic controllable adjustments of the phase of a parametric modulation. The technique allows the preparation of the quantum ground state with an exponential loss of thermal energy, similarly to the case of cold-damping or cavity self-cooling. Analytical derivations are presented for the cooling rate and final occupancies both in the classical and quantum regimes.


title: On the two-dimensional Jacobian conjecture: Magnus' formula revisited, II

abstract: This article is part of an ongoing investigation of the two-dimensional Jacobian conjecture. In the first paper of this series, we proved the generalized Magnus' formula. In this paper, inspired by cluster algebras, we introduce a sequence of new conjectures including the remainder vanishing conjecture. This makes the generalized Magnus' formula become a useful tool to show the two-dimensional Jacobian conjecture. In the forthcoming paper(s), we plan to prove the remainder vanishing conjecture.


title: MONG: An extension to galaxy clusters

abstract: The presence of dark matter, though well established by indirect evidence, is yet to be observed directly. Various dark matter detection experiments running for several years have yielded no positive results. In view of these negative results, we had earlier proposed alternate models by postulating a minimum gravitational field strength (minimum curvature) and a minimum acceleration. These postulates led to the modified Newtonian dynamics and modified Newtonian gravity (MONG). The observed flat rotation curves of galaxies were also accounted for through these postulates. Here we extend these postulates to galaxy clusters and model the dynamical velocity-distance curve for a typical cluster such as the Virgo cluster. The radial velocities of galaxies in the Virgo cluster are also obtained through this model. Observations show an inconsistency in the Hubble flow at a mean cluster distance of 17 Mpc, which is expected in regions of high matter density. This decrease in velocity is predicted by our model of modified gravity (MONG). The radial velocity versus distance relation for galaxies in the Virgo cluster obtained using MONG is in agreement with observations.


title: Odd two-variable Soergel bimodules and Rouquier complexes

abstract: We consider the odd analogue of the category of Soergel bimodules. In the odd case and already for two variables, the transposition bimodule cannot be merged into the generating Soergel bimodule, forcing one into a monoidal category with a larger Grothendieck ring compared to the even case. We establish biadjointness of suitable functors and develop graphical calculi in the 2-variable case for the odd Soergel category and the related singular Soergel 2-category. We describe the odd analogue of the Rouquier complexes and establish their invertibility in the homotopy category. For three variables, the absence of a direct sum decomposition of the tensor product of generating Soergel bimodules presents an obstacle for the Reidemeister III relation to hold in the homotopy category.


title: Machine learning the deuteron: new architectures and uncertainty quantification

abstract: We solve the ground state of the deuteron using a variational neural network ansatz for the wave function in momentum space. This ansatz provides a flexible representation of both the $S$ and the $D$ states, with relative errors in the energy which are within fractions of a percent of a full diagonalisation benchmark. We extend the previous work on this area in two directions. First, we study new architectures by adding more layers to the network and by exploring different connections between the states. Second, we provide a better estimate of the numerical uncertainty by taking into account the final oscillations at the end of the minimisation process. Overall, we find that the best performing architecture is the simple one-layer, state-independent network. Two-layer networks show indications of overfitting, in regions that are not probed by the fixed momentum basis where calculations are performed. In all cases, the error associated to the model oscillations around the real minimum is larger than the stochastic initialisation uncertainties. The conclusions that we draw can be generalised to other quantum mechanics settings.


title: Non-rigid Point Cloud Registration with Neural Deformation Pyramid

abstract: Non-rigid point cloud registration is a key component in many computer vision and computer graphics applications. The high complexity of the unknown non-rigid motion make this task a challenging problem. In this paper, we break down this problem via hierarchical motion decomposition. Our method called Neural Deformation Pyramid (NDP) represents non-rigid motion using a pyramid architecture. Each pyramid level, denoted by a Multi-Layer Perception (MLP), takes as input a sinusoidally encoded 3D point and outputs its motion increments from the previous level. The sinusoidal function starts with a low input frequency and gradually increases when the pyramid level goes down. This allows a multi-level rigid to nonrigid motion decomposition and also speeds up the solving by 50 times compared to the existing MLP-based approach. Our method achieves advanced partialto-partial non-rigid point cloud registration results on the 4DMatch/4DLoMatch benchmark under both no-learned and supervised settings.


title: Gradient-based explanations for Gaussian Process regression and classification models

abstract: Gaussian Processes (GPs) have proven themselves as a reliable and effective method in probabilistic Machine Learning. Thanks to recent and current advances, modeling complex data with GPs is becoming more and more feasible. Thus, these types of models are, nowadays, an interesting alternative to Neural and Deep Learning methods, which are arguably the current state-of-the-art in Machine Learning. For the latter, we see an increasing interest in so-called explainable approaches - in essence methods that aim to make a Machine Learning model's decision process transparent to humans. Such methods are particularly needed when illogical or biased reasoning can lead to actual disadvantageous consequences for humans. Ideally, explainable Machine Learning should help detect such flaws in a model and aid a subsequent debugging process. One active line of research in Machine Learning explainability are gradient-based methods, which have been successfully applied to complex neural networks. Given that GPs are closed under differentiation, gradient-based explainability for GPs appears as a promising field of research. This paper is primarily focused on explaining GP classifiers via gradients where, contrary to GP regression, derivative GPs are not straightforward to obtain.


title: An involutive dual knot surgery formula

abstract: We prove an involutive analog of the dual knot surgery formula of Eftekhary and Hedden-Levine. We also compute a small model for the local equivalence class of the involutive dual knot complex.


title: SAT Preprocessors and Symmetry

abstract: Exploitation of symmetries is an indispensable approach to solve certain classes of difficult SAT instances. Numerous techniques for the use of symmetry in SAT have evolved over the past few decades. But no matter how symmetries are used precisely, they have to be detected first. We investigate how to detect more symmetry, faster. The initial idea is to reap the benefits of SAT preprocessing for symmetry detection. As it turns out, applying an off-the-shelf preprocessor before handling symmetry runs into problems: the preprocessor can haphazardly remove symmetry from formulas, severely impeding symmetry exploitation. Our main contribution is a theoretical framework that captures the relationship of SAT preprocessing techniques and symmetry. Based on this, we create a symmetry-aware preprocessor that can be applied safely before handling symmetry. We then demonstrate that applying the preprocessor does not only substantially decrease symmetry detection and breaking times, but also uncovers hidden symmetry not detectable in the original instances. Overall, we depart the conventional view of treating symmetry detection as a black-box, presenting a new application-specific approach to symmetry detection in SAT.


title: Exponentially-improved asymptotics and numerics for the (un)perturbed first Painlev\'e equation

abstract: The solutions of the perturbed first Painlev\'e equation $y"=6y^2-x^\mu$, $\mu>-4$, are uniquely determined by the free constant $C$ multiplying the exponentially small terms in the complete large $x$ asymptotic expansions. Full details are given, including the nonlinear Stokes phenomenon, and the computation of the relevant Stokes multipliers. We derive asymptotic approximations, depending on $C$, for the locations of the singularities that appear on the boundary of the sectors of validity of these exponentially-improved asymptotic expansions. Several numerical examples illustrate the power of the approximations. For the tri-tronqu\'ee solution of the unperturbed first Painlev\'e equation we give highly accurate numerics for the values at the origin and the locations of the zeros and poles.


title: Convergence of improper Iwasawa Continued Fractions

abstract: We prove the convergence of a wide class of continued fractions, including generalized continued fractions over quaternions and octonions. Fractional points in these systems are not bounded away from the unit sphere, so that the iteration map is not uniformly expanding. We bypass this problem by analyzing digit sequences for points that converge to the unit sphere under iteration, expanding on previous methods of Dani-Nogueira.


title: Quantum Thermodynamic Uncertainties in Nonequilibrium Systems from Robertson-Schr\"odinger Relations

abstract: Thermodynamic uncertainty principles make up one of the few rare anchors in the largely uncharted waters of nonequilibrium systems, the fluctuation theorems being the more familiar. In this work we aim to trace the uncertainties of thermodynamic quantities in nonequilibrium systems to their quantum origins, namely, to the quantum uncertainty principles. Our results enable us to make this categorical statement: For Gaussian systems, thermodynamic functions are functionals of the Robertson-Schrodinger uncertainty function, which is always non-negative for quantum systems, but not necessarily so for classical systems. Here, quantum refers to noncommutativity of the canonical operator pairs. From the nonequilibrium free energy[1], we succeeded in deriving several inequalities between certain thermodynamic quantities. They assume the same forms as those in conventional thermodynamics, but these are nonequilibrium in nature and they hold for all times and at strong coupling. In addition we show that a fluctuation-dissipation inequality exists at all times in the nonequilibrium dynamics of the system. For nonequilibrium systems which relax to an equilibrium state at late times, this fluctuation-dissipation inequality leads to the Robertson-Schrodinger uncertainty principle with the help of the Cauchy-Schwarz inequality. This work provides the microscopic quantum basis to certain important thermodynamic properties of macroscopic nonequilibrium systems.


title: Estimating Total Treatment Effect in Randomized Experiments with Unknown Network Structure

abstract: Randomized experiments are widely used to estimate the causal effects of a proposed treatment in many areas of science, from medicine and healthcare to the physical and biological sciences, from the social sciences to engineering, to public policy and to the technology industry at large. Here, we consider situations where classical methods for estimating the total treatment effect on a target population are considerably biased due to confounding network effects, i.e., the fact that the treatment of an individual may impact their neighbors' outcomes, an issue referred to as network interference or as non-individualized treatment response. A key challenge in these situations, is that the network is often unknown, and difficult, or costly, to measure. In this paper, we characterize the limitations in estimating the total treatment effect without knowledge of the network that drives interference, assuming a potential outcomes model with heterogeneous additive network effects. This model encompasses a broad class of network interference sources, including spillover, peer effects, and contagion. Within this framework, we show that, surprisingly, given access to average historical baseline measurements prior to the experiment, we can develop a simple estimator and efficient randomized design that outputs an unbiased estimate with low variance. Our solution does not require knowledge of the underlying network structure, and it comes with statistical guarantees for a broad class of models. We believe our results are poised to impact current randomized experimentation strategies due to its ease of interpretation and implementation, alongside its provable theoretical insights under heterogeneous network effects.


title: Revisiting the name variant of the two-children problem

abstract: Initially proposed by Martin Gardner in the 1950s, the famous two-children problem is often presented as a paradox in probability theory. A relatively recent variant of this paradox states that, while in a two-children family for which at least one child is a girl, the probability that the other child is a boy is $2/3$, this probability becomes $1/2$ if the first name of the girl is disclosed (provided that two sisters may not be given the same first name). We revisit this variant of the problem and show that, if one adopts a natural model for the way first names are given to girls, then the probability that the other child is a boy may take any value in $(0,2/3)$. By exploiting the concept of Schur-concavity, we study how this probability depends on model parameters.


title: Exosphere-Mediated Migration of Volatile Species On Airless Bodies Across the Solar System

abstract: Surface-bound exospheres facilitate volatile migration across the surfaces of nearly airless bodies. However, such transport requires that the body can both form and retain an exosphere. To form a sublimation exosphere requires the surface of a body to be sufficiently warm for surface volatiles to sublime; to retain an exosphere, the ballistic escape and photodestruction rates and other loss mechanisms must be sufficiently low. Here we construct a simple free molecular model of exospheres formed by volatile desorption/sublimation. We consider the conditions for forming and retaining exospheres for common volatile species across the Solar System, and explore how three processes (desorption/sublimation, ballistic loss, and photodestruction) shape exospheric dynamics on airless bodies. Our model finds that the CO2 exosphere of Callisto is too dense to be sustained by impact-delivered volatiles, but could be maintained by only ~7 hectares of exposed CO2 ice. We predict the peak surface locations of Callisto's CO2 exosphere along with other Galilean moons, which could be tested by JUICE observations. Our model finds that to maintain Iapetus' two-tone appearance, its dark Cassini Regio likely has unresolved exposures of water ice, perhaps in sub-resolution impact craters, that amount to up to ~0.06% of its surface. In the Uranian system, we find that the CO2 deposits on Ariel, Umbriel, Titania, and Oberon are unlikely to have been delivered via impacts, but are consistent with both a magnetospheric origin or sourced endogenously. We suggest that exosphere-mediated volatile transport could produce these moons' leading/trailing CO2 asymmetries, and may be a seasonal equinox feature that could be largely erased by volatile migration during the Uranian solstices. We calculate that ~2.4-6.4 mm thick layer of CO2 could migrate about the surface of Uranus' large moons during a seasonal cycle.


title: The Tjurina number for Sebastiani-Thom type isolated hypersurface singularities

abstract: In this note we provide a formula for the Tjurina number of a join of isolated hypersurface singularities in separated variables. From this we are able to provide a characterization of isolated hypersurface singularities whose difference between the Milnor and Tjurina numbers is less or equal than two arising as the join of isolated hypersurface singularities in separated variables. Also, we are able to provide new upper bounds for the quotient of Milnor and Tjurina numbers of certain join of isolated hypersurface singularities. Finally, we deduce an upper bound for the quotient of Milnor and Tjurina numbers in terms of the singularity index of any isolated hypersurface singularity, not necessarily a join of singularities.


title: A Quest for Simple and Unified Proofs in Regularity Theory: Perturbation Stability

abstract: Ioffe's criterion and various reformulations of it have become a~standard tool in proving theorems guaranteeing metric regularity of a (set-valued) mapping. First, we demonstrate that one should always use directly the so-called general criterion which follows, for example, from Ekeland's variational principle, and that there is no need to make a detour through the slope-based consequences of this general statement. Second, we argue that when proving perturbation stability results, in the spirit of Lyusternik-Graves theorem, there is no need to employ the concept of a lower semi-continuous envelope even in the case of an incomplete target space. The gist is to use the "correct" function to which Ekeland's variational principle is applied; namely, the distance function to the graph of the set-valued mapping under consideration. This approach originates in the notion of graphical regularity introduced by L. Thibault, which is equivalent to the property of metric regularity. Our criteria cover also both metric subregularity and metric semiregularity, which are weaker properties obtained by fixing one of the points in the definition of metric regularity.


title: Mirror Descent Maximizes Generalized Margin and Can Be Implemented Efficiently

abstract: Driven by the empirical success and wide use of deep neural networks, understanding the generalization performance of overparameterized models has become an increasingly popular question. To this end, there has been substantial effort to characterize the implicit bias of the optimization algorithms used, such as gradient descent (GD), and the structural properties of their preferred solutions. This paper answers an open question in this literature: For the classification setting, what solution does mirror descent (MD) converge to? Specifically, motivated by its efficient implementation, we consider the family of mirror descent algorithms with potential function chosen as the $p$-th power of the $\ell_p$-norm, which is an important generalization of GD. We call this algorithm $p$-$\textsf{GD}$. For this family, we characterize the solutions it obtains and show that it converges in direction to a generalized maximum-margin solution with respect to the $\ell_p$-norm for linearly separable classification. While the MD update rule is in general expensive to compute and perhaps not suitable for deep learning, $p$-$\textsf{GD}$ is fully parallelizable in the same manner as SGD and can be used to train deep neural networks with virtually no additional computational overhead. Using comprehensive experiments with both linear and deep neural network models, we demonstrate that $p$-$\textsf{GD}$ can noticeably affect the structure and the generalization performance of the learned models.


title: Measurement of Double Beta Decay Half-life of $^{136}$Xe with the PandaX-4T Detector

abstract: Precise measurement of two-neutrino double beta decay (DBD) half-life is an important step for the searches of Majorana neutrinos with neutrinoless double beta decay. We report the measurement of DBD half-life of $^{136}$Xe using the PandaX-4T dual-phase Time Projection Chamber (TPC) with 3.7-tonne natural xenon and the first 94.9-day physics data release. The background model in the fiducial volume is well constrained in situ by events in the outer active region. With a $^{136}$Xe exposure of 15.5 kg-year, we establish the half-life as $2.27 \pm 0.03 (stat.)\pm 0.10 (syst.)\times 10^{21}$ years. This is the first DBD half-life measurement with natural xenon and demonstrates the physics capability of a large-scale liquid xenon TPC in the field of rare event searches.


title: Topological edge-state contributions to high-order harmonic generation in finite flakes

abstract: Edge states play a major role in the electron dynamics of topological insulators as they are the only conducting part in such materials. In this work, we consider the Haldane model for a 2D topological insulator, subjected to an intense laser field. We compare the numerically simulated high-harmonic generation (HHG) in the bulk of the Haldane model to HHG in corresponding finite flakes with edge states present, and explain the differences. In particular, peaks for energies below the bulk band gap appear in the spectra for the finite flakes. The positions of these peaks show a strong dependence on the size of the flakes, which can be explained using the dispersion relation for the edge states.

categories: cond-mat.mes-hall physics.atom-ph physics.optics quant-ph


title: Automatic question generation based on sentence structure analysis using machine learning approach

abstract: Automatic question generation is one of the most challenging tasks of Natural Language Processing. It requires "bidirectional" language processing: firstly, the system has to understand the input text (Natural Language Understanding) and it then has to generate questions also in the form of text (Natural Language Generation). In this article, we introduce our framework for generating the factual questions from unstructured text in the English language. It uses a combination of traditional linguistic approaches based on sentence patterns with several machine learning methods. We firstly obtain lexical, syntactic and semantic information from an input text and we then construct a hierarchical set of patterns for each sentence. The set of features is extracted from the patterns and it is then used for automated learning of new transformation rules. Our learning process is totally data-driven because the transformation rules are obtained from a set of initial sentence-question pairs. The advantages of this approach lie in a simple expansion of new transformation rules which allows us to generate various types of questions and also in the continuous improvement of the system by reinforcement learning. The framework also includes a question evaluation module which estimates the quality of generated questions. It serves as a filter for selecting the best questions and eliminating incorrect ones or duplicates. We have performed several experiments to evaluate the correctness of generated questions and we have also compared our system with several state-of-the-art systems. Our results indicate that the quality of generated questions outperforms the state-of-the-art systems and our questions are also comparable to questions created by humans. We have also created and published an interface with all created datasets and evaluated questions, so it is possible to follow up on our work.


title: Cooling process of substellar objects in scalar-tensor gravity

abstract: Cooling processes of brown dwarf stars and giant planets are studied in the framework of DHOST theories. We confirm the previous results in the field that the effect of modified gravity on substellar objects' age is pronounced the most.


title: On the helicity conservation for Mie optical cavities

abstract: The study of helicity in the context of light-matter interactions is an increasing area of research. However, some fundamental aspects of the helicity content of light fields inside scatterers have been overlooked. In this work, we demonstrate that the helicity of light fields inside lossless spherical cavities cannot be either conserved or sign-flipped as a result of a scattering event. The underlying reason is that the internal electric and magnetic Mie coefficients cannot simultaneously oscillate with equal amplitude and equal/opposite phase. Our analytical demonstration is fulfilled regardless of the refractive index, sphere size, and multipolar order. In addition, we show that the helicity of light fields inside lossy spheres can be conserved. This fact is in striking contrast to the behavior of the scattered field, whose helicity content cannot be conserved precisely when the sphere has losses. Finally, we show that the helicity content of internal fields can be flipped for materials with gain.


title: The isomorphism problem for Grassmannian Schubert varieties

abstract: We prove that Schubert varieties in potentially different Grassmannians are isomorphic as varieties if and only if their corresponding Young diagrams are identical up to a transposition. We also discuss a generalization of this result to Grassmannian Richardson varieties. In particular, we prove that Richardson varieties in potentially different Grassmannians are isomorphic as varieties if their corresponding skew diagrams are semi-isomorphic as posets, and we conjecture the converse. Here, two posets are said to be semi-isomorphic if there is a bijection between their sets of connected components such that the corresponding components are either isomorphic or opposite.


title: Krylov complexity and orthogonal polynomials

abstract: Krylov complexity measures operator growth with respect to a basis, which is adapted to the Heisenberg time evolution. The construction of that basis relies on the Lanczos algorithm, also known as the recursion method. The mathematics of Krylov complexity can be described in terms of orthogonal polynomials. We provide a pedagogical introduction to the subject and work out analytically a number of examples involving the classical orthogonal polynomials, polynomials of the Hahn class, and the Tricomi-Carlitz polynomials.


title: P4Filter: A two level defensive mechanism against attacks in SDN using P4

abstract: The advancements in networking technologies have led to a new paradigm of controlling networks, with data plane programmability as a basis. This facility opens up many advantages, such as flexibility in packet processing and better network management, which leads to better security in the network. However, the current literature lacks network security solutions concerning authentication and preventing unauthorized access. In this work, our goal is to avoid attacks in a two level defense mechanism (P4Filter). The first level is a dynamic firewall logic, which blocks packets generated from an unauthorized source. The second level is an authentication mechanism based on dynamic port knocking. The two security levels were tested in a virtual environment with P4 based switches. The packets arriving at the switch from unknown hosts are sent to the controller. The controller maintains an ACL using which it assigns rules for both the levels to allow or drop the packets. For port knocking a new random sequence is generated for every new host. Hosts can only connect using the correct sequence assigned to them.The tests conducted show this approach performs better than the previous P4 based firewall approaches due to two security levels. Moreover, it is successful in mitigating specific security attacks by blocking unauthorized access to the network.


title: Partial regularity for an elliptic-parabolic system modeling miscible fluid flows in porous media

abstract: In this paper we study the existence and partial regularity of weak solutions to an elliptic-parabolic system that models the single-phase miscible displacement of one incompressible fluid by another in a porous media. The system is singular and involves quadratic nonlinearity. A partial regularity result is obtained via the Fefferman-Stein inequality.


title: On Building Spoken Language Understanding Systems for Low Resourced Languages

abstract: Spoken dialog systems are slowly becoming and integral part of the human experience due to their various advantages over textual interfaces. Spoken language understanding (SLU) systems are fundamental building blocks of spoken dialog systems. But creating SLU systems for low resourced languages is still a challenge. In a large number of low resourced language, we don't have access to enough data to build automatic speech recognition (ASR) technologies, which are fundamental to any SLU system. Also, ASR based SLU systems do not generalize to unwritten languages. In this paper, we present a series of experiments to explore extremely low-resourced settings where we perform intent classification with systems trained on as low as one data-point per intent and with only one speaker in the dataset. We also work in a low-resourced setting where we do not use language specific ASR systems to transcribe input speech, which compounds the challenge of building SLU systems to simulate a true low-resourced setting. We test our system on Belgian Dutch (Flemish) and English and find that using phonetic transcriptions to make intent classification systems in such low-resourced setting performs significantly better than using speech features. Specifically, when using a phonetic transcription based system over a feature based system, we see average improvements of 12.37% and 13.08% for binary and four-class classification problems respectively, when averaged over 49 different experimental settings.


title: Spectral measures and dominant vertices in graphs of bounded degree

abstract: A graph $G = (V, E)$ of bounded degree has an adjacency operator~$A$ which acts on the Hilbert space $\ell^2(V)$. There are different kinds of measures of interest on the spectrum $\Sigma (A)$ of $A$. In particular, each vector $\xi \in \ell^2(V)$ defines a local spectral measure $\mu_\xi$ at $\xi$ on $\Sigma (A)$; therefore each vertex $v \in V$ defines a vector $\delta_v \in \ell^2(V)$ and the associated measure $\mu_v$ on $\Sigma (A)$. A vertex $v$ is dominant if, for all $w \in V$, the measure $\mu_w$ is absolutely continuous with respect to $\mu_v$ (it then follows that, for all $\xi \in \ell^2(V)$, the measure $\mu_\xi$ is absolutely continuous with respect to $\mu_v$). The main object of this paper is to show that all possibilities occur: in some graphs, for example in vertex-transitive graphs, all vertices are dominant; in other graphs, only some vertices are dominant; and there are graphs without dominant vertices at all.


title: Fluctuations of $\lambda$-geodesic Poisson hyperplanes in hyperbolic space

abstract: Poisson processes of so-called $\lambda$-geodesic hyperplanes in $d$-dimensional hyperbolic space are studied for $0\leq\lambda\leq 1$. The case $\lambda=0$ corresponds to genuine geodesic hyperplanes, the case $\lambda=1$ to horospheres and $\lambda\in(0,1)$ to $\lambda$-equidistants. In the focus are the fluctuations of the centred and normalized total surface area of the union of all $\lambda$-geodesic hyperplanes in the Poisson process within a hyperbolic ball of radius $R$ centred at some fixed point, as $R\to\infty$. It is shown that for $\lambda<1$ these random variables satisfy a quantitative central limit theorem precisely for $d=2$ and $d=3$. The exact form of the non-Gaussian, infinitely divisible limiting distribution is determined for all higher space dimensions $d\geq 4$. The special case $\lambda=1$ is in sharp contrast to this behaviour. In fact, for the total surface area of Poisson processes of horospheres, a non-standard central limit theorem with limiting variance $1/2$ is established for all space dimensions $d\geq 2$. We discuss the analogy between the problem studied here and the Random Energy Model whose partition function exhibits a similar structure of possible limit laws.


title: The complexity of blocking (semi)total dominating sets with edge contractions

abstract: We consider the problem of reducing the (semi)total domination number of graph by one by contracting edges. It is known that this can always be done with at most three edge contractions and that deciding whether one edge contraction suffices is an $\mathsf{NP}$-hard problem. We show that for every fixed $k \in \{2,3\}$, deciding whether exactly $k$ edge contractions are necessary is $\mathsf{NP}$-hard and further provide for $k=2$ complete complexity dichotomies on monogenic graph classes.


title: Spin dynamics and continuum spectra of the honeycomb J1-J2 antiferromagnetic Heisenberg model

abstract: We employ the spin cluster perturbation theory to investigate the dynamical properties of the antiferromagnetic $J_{1}$-$J_{2}$ Heisenberg model on the honeycomb lattice. We obtain the excitation spectra for all possible phases in the phase diagram, including the N\'{e}el phase, plaquette valence-bond-solid phase, dimer valence-bond-solid phase and stripe antiferromagnetic phase. In the N\'{e}el phase, besides the obvious renormalization of the magnon dispersion, we find that the spectrum exhibits a dome-shaped broad continuum around the second Brillouin zone (BZ) and the additional strong continuum close to the corner of the BZ. In the valence-bond-solid phases, the spectra are dominated by a strong broad continuum all the way down to below $J_1$ coexisting with the lowest-energy triplon modes characterizing the plaquette and dimer phases. We ascribe this strong broad continuum and the additional continuum close to the BZ corner in the N\'{e}el phase to the contributions of fractionalized spinon excitations. In the stripe phase, a clear difference from the linear spin wave approximation is that the spectrum is gapped at the $M$ point while that obtained by the latter is gapless due to the strong quantum fluctuations. We point out that the features observed in the N\'{e}el phase are consistent with the recent neutron scattering experiments on YbCl$_{3}$ and YbBr$_{3}$.


title: Real-time Visualization of Stream-based Monitoring Data

abstract: Stream-based runtime monitors are used in safety-critical applications such as Unmanned Aerial Systems (UAS) to compute comprehensive statistics and logical assessments of system health that provide the human operator with critical information in hand-over situations. In such applications, a visual display of the monitoring data can be much more helpful than the textual alerts provided by a more traditional user interface. This visualization requires extensive real-time data processing, which includes the synchronization of data from different streams, filtering and aggregation, and priorization and management of user attention. We present a visualization approach for the \rtlola monitoring framework. Our approach is based on the principle that the necessary data processing is the responsibility of the monitor itself, rather than the responsibility of some external visualization tool. We show how the various aspects of the data transformation can be described as RTLola stream equations and linked to the visualization component through a bidirectional synchronous interface. In our experience, this approach leads to highly informative visualizations as well as to understandable and easily maintainable monitoring code.


title: A note on classes of subgraphs of locally finite graphs

abstract: We investigate the question how `small' a graph can be, if it contains all members of a given class of locally finite graphs as subgraphs or induced subgraphs. More precisely, we give necessary and sufficient conditions for the existence of a connected, locally finite graph $H$ containing all elements of a graph class $\mathcal G$. These conditions imply that such a graph $H$ exists for the class $\mathcal G_d$ consisting of all graphs with maximum degree $<d$ which raises the question whether in this case $H$ can be chosen to have bounded maximum degree. We show that this is not the case, thereby answering a question recently posed by Huynh et al.


title: A Paradigm Change for Formal Syntax: Computational Algorithms in the Grammar of English

abstract: Language sciences rely less and less on formal syntax as their base. The reason is probably its lack of psychological reality, knowingly avoided. Philosophers of science call for a paradigm shift in which explanations are by mechanisms, as in biology. We turned to programming languages as heuristic models for a process-based syntax of English. The combination of a functional word and a content word was chosen as the topic of modeling. Such combinations are very frequent, and their output is the important immediate constituents of sentences. We found their parallel in Object Oriented Programming where an all-methods element serves as an interface, and the content-full element serves as its implementation, defining computational objects. The fit of the model was tested by deriving three functional characteristics crucial for the algorithm and checking their presence in English grammar. We tested the reality of the interface-implementation mechanism on psycholinguistic and neurolinguistic evidence concerning processing, development and loss of syntax. The close fit and psychological reality of the mechanism suggests that a paradigm shift to an algorithmic theory of syntax is a possibility.


title: Two Ramsey problems in blowups of graphs

abstract: Given graphs $G$ and $H$, we say $G \stackrel{r}{\to} H$ if every $r$-colouring of the edges of $G$ contains a monochromatic copy of $H$. Let $H[t]$ denote the $t$-blowup of $H$. The blowup Ramsey number $B(G \stackrel{r}{\to} H;t)$ is the minimum $n$ such that $G[n] \stackrel{r}{\to} H[t]$. Fox, Luo and Wigderson refined an upper bound of Souza, showing that, given $G$, $H$ and $r$ such that $G \stackrel{r}{\to} H$, there exist constants $a=a(G,H,r)$ and $b=b(H,r)$ such that for all $t \in \mathbb{N}$, $B(G \stackrel{r}{\to} H;t) \leq ab^t$. They conjectured that there exist some graphs $H$ for which the constant $a$ depending on $G$ is necessary. We prove this conjecture by showing that the statement is true in the case of $H$ being $3$-chromatically connected, which in particular includes triangles. On the other hand, perhaps surprisingly, we show that for forests $F$, the function $B(G \stackrel{r}{\to} F;t)$ is independent of $G$. Second, we show that for any $r,t \in \mathbb{N}$, any sufficiently large $r$-edge coloured complete graph on $n$ vertices with $\Omega(n^{2-1/t})$ edges in each colour contains a member from a certain finite family $\mathcal{F}^r_t$ of $r$-edge coloured complete graphs. This answers a conjecture of Bowen, Hansberg, Montejano and M\"uyesser.


title: Hirzebruch Surfaces, Tyurin Degenerations and Toric Mirrors: Bridging Generalized Calabi-Yau Constructions

abstract: There is a large number of different ways of constructing Calabi-Yau manifolds, as well as related non-geometric formulations, relevant in string compactifications. Showcasing this diversity, we discuss explicit deformation families of discretely distinct Hirzebruch hypersurfaces in $\mathbb{P}^n \times \mathbb{P}^1$ and identify their toric counterparts in detail. This precise isomorphism is then used to investigate some of their special divisors of interest, and in particular the secondary deformation family of their Calabi-Yau subspaces. In particular, most of the above so called Hirzebruch scrolls are non-Fano, and their (regular) Calabi-Yau hypersurfaces are Tyurin-degenerate, but admit novel (Laurent) deformations by special rational sections as well as a sweeping generalization of the transposition construction of mirror models. This bi-projective embedding also reveals a novel deformation connection between distinct toric spaces, and so also the various divisors of interest including their Calabi-Yau subspaces.


title: Improved Approximations for Vector Bin Packing via Iterative Randomized Rounding

abstract: We study the $d$-dimensional Vector Bin Packing ($d$VBP) problem, a generalization of Bin Packing with central applications in resource allocation and scheduling. In $d$VBP, we are given a set of items, each of which is characterized by a $d$-dimensional volume vector; the objective is to partition the items into a minimum number of subsets (bins), such that the total volume of items in each subset is at most $1$ in each dimension. Our main result is an asymptotic approximation algorithm for $d$VBP that yields a ratio of $(1+\ln d-\chi(d) +\varepsilon)$ for all $d \in \mathbb{N}$ and any $\varepsilon > 0$; here, $\chi(d)$ is some strictly positive function. This improves upon the best known asymptotic ratio of $ \left(1+ \ln d +\varepsilon\right)$ due to Bansal, Caprara and Sviridenko (SICOMP 2010) for any $d >3$. By slightly modifying our algorithm to include an initial matching phase and applying a tighter analysis we obtain an asymptotic approximation ratio of $\left(\frac{4}{3}+\varepsilon\right)$ for the special case of $d=2$, thus substantially improving the previous best ratio of $\left(\frac{3}{2}+\varepsilon\right)$ due to Bansal, Elias and Khan (SODA 2016). Our algorithm iteratively solves a configuration LP relaxation for the residual instance (from previous iterations) and samples a small number of configurations based on the solution for the configuration LP. While iterative rounding was already used by Karmarkar and Karp (FOCS 1982) to establish their celebrated result for classic (one-dimensional) Bin Packing, iterative randomized rounding is used here for the first time in the context of (Vector) Bin Packing. Our results show that iterative randomized rounding is a powerful tool for approximating $d$VBP, leading to simple algorithms with improved approximation guarantees.


title: Diophantine approximation on conics

abstract: Given a conic $\mathcal{C}$ over $\mathbb{Q}$, it is natural to ask what real points on $\mathcal{C}$ are most difficult to approximate by rational points of low height. For the analogous problem on the real line (for which the least approximable number is the golden ratio, by Hurwitz's theorem), the approximabilities comprise the classically studied Lagrange and Markoff spectra, but work by Cha-Kim and Cha-Chapman-Gelb-Weiss shows that the spectra of conics can vary. We provide notions of approximability, Lagrange spectrum, and Markoff spectrum valid for a general $\mathcal{C}$ and prove that their behavior is exhausted by the special family of conics $\mathcal{C}_n : XZ = nY^2$, which has symmetry by the modular group $\Gamma_0(n)$ and whose Markoff spectrum was studied in a different guise by A. Schmidt and Vulakh. The proof proceeds by using the Gross-Lucianovic bijection to relate a conic to a quaternionic subring of $\operatorname{Mat}^{2\times 2}(\mathbb{Z})$ and classifying invariant lattices in its $2$-dimensional representation.


title: How to Wake Up Your Neighbors: Safe and Nearly Optimal Generic Energy Conservation in Radio Networks

abstract: Recent work has shown that it is sometimes feasible to significantly reduce the energy usage of some radio-network algorithms by adaptively powering down the radio receiver when it is not needed. Although past work has focused on modifying specific network algorithms in this way, we now ask the question of whether this problem can be solved in a generic way, treating the algorithm as a kind of black box. We are able to answer this question in the affirmative, presenting a new general way to modify arbitrary radio-network algorithms in an attempt to save energy. At the expense of a small increase in the time complexity, we can provably reduce the energy usage to an extent that is provably nearly optimal within a certain class of general-purpose algorithms. As an application, we show that our algorithm reduces the energy cost of breadth-first search in radio networks from the previous best bound of $2^{O(\sqrt{\log n})}$ to $\mathrm{polylog}(n)$, where $n$ is the number of nodes in the network A key ingredient in our algorithm is hierarchical clustering based on additive Voronoi decomposition done at multiple scales. Similar clustering algorithms have been used in other recent work on energy-aware computation in radio networks, but we believe the specific approach presented here may be of independent interest.


title: Double tangent method for two-periodic Aztec diamonds

abstract: We use the octahedron recurrence, which generalizes the quadratic recurrence found by Kuo for standard Aztec diamonds, in order to compute boundary one-refined and two-refined partition functions for two-periodic Aztec diamonds. In a first approach, the geometric tangent method allows to derive the parametric form of the arctic curve, separating the solid and liquid phases. This is done by using the recently reformulation of the tangent method and the one-refined partition functions without extension of the domain. In a second part, we use the two-refined tangent method to rederive the arctic curve from the boundary two-refined partition functions, which we compute exactly on the lattice. The curve satisfies the known algebraic equation of degree 8, of which either tangent method gives an explicit parametrization.


title: On refined Chern-Simons / topological string duality for classical gauge groups

abstract: We present the partition function of the refined Chern-Simons theory on $S^3$ with arbitrary A,B,C,D gauge algebra in terms of multiple sine functions. For B and C cases this representation is novel. It allows us to conjecture duality to some refined and orientifolded versions of the topological string on the resolved conifold, and carry out the detailed identification of different contributions. The free energies for D and C algebras possess the usual halved contribution from the A theory, i.e. orientable surfaces, and contributions of non-orientable surfaces with one cross-cup, with opposite signs, similar as for the non-refined theories. However, in the refined case, both theories possess in addition a non-zero contribution of orientable surfaces with two cross-cups. In particular, we observe a trebling of the K\"ahler parameter, in the sense of a refinement and world-sheet (i.e. the number of cross-cups) dependent quantum shift. For B algebra the contribution of Klein bottles is zero, as is the case in the non-refined theory, and the one-cross-cup terms differ from the D and C cases. For the (refined) constant maps terms of these theories we suggest a modular-invariant representation, which leads to natural topological string interpretation. We also calculate some non-perturbative corrections.


title: Heat-smoothing for holomorphic subalgebras of free group von Neumann algebras

abstract: The heat semigroup on discrete hypercubes is well-known to be contractive over $L_p$-spaces for $1<p<\infty$. A question of Mendel and Naor \cite{MN14} concerns a stronger contraction property in the tail spaces, which is known as the heat-smoothing conjecture. Eskenazis and Ivanisvili \cite{EI20} considered a Gaussian analog of this conjecture and resolved some special cases. In particular, they proved that heat-smoothing type conjecture holds for holomorphic functions in the Gaussian spaces with sharp constants. In this paper, we prove analogous sharp inequalities for holomorphic subalgebras of free group von Neumann algebras. Similar results also hold for $q$-Gaussian algebras and quantum tori. In the case of free group von Neumann algebras, the weaker formulation of heat-smoothing is proved with optimal order.


title: Critical net-baryon fluctuations in an expanding system

abstract: In this work we study the consequences of a longitudinal Bjorken expansion and a Hubble-like temperature cooling scenario on a 1+1D non-linear model of the diffusive dynamics of fluctuations in the net-baryon density. The equilibrium behavior of the fluctuations is fully encoded in the temperature dependence of the susceptibilities on the crossover side both in the vicinity of the assumed location of the critical point and at vanishing baryo-chemical potential in-line with lattice QCD calculations. We demonstrate the great sensitivity of the fluctuation observables on the dynamics, in particular on the diffusion length and the freeze-out conditions. While the critical signals are visible and the critical region is broadened by the expansion, a too small diffusion length can strongly reduce the amplitude of the signals. We propose to search for significant anti-correlations of baryons at intermediate rapidity experimentally and to map out the rapidity dependence of the fourth-order cumulant, which in the presence of a critical point (and only in its presence) has a pronounced minimum at intermediate rapidities.


title: Phenomenological Motivation for Gravitational Positivity Bounds: A Case Study of Dark Sector Physics

abstract: Positivity bounds on scattering amplitudes provide a necessary condition for a low-energy effective field theory to have a consistent ultraviolet completion. Their extension to gravity theories has been studied in the past years aiming at application to the swampland program, showing that positivity bounds hold at least approximately even in the presence of gravity. An issue in this context is how much negativity is allowed for a given scattering process. In this paper we address importance of this rather technical issue by demonstrating that it is relevant to physics within the scope of ongoing experiments, especially in the context of dark sector physics. In particular, we provide detailed analysis of dark photon scenarios as an illustrative example. This motivates further studies on gravitational positivity bounds.


title: Ultraviolet Unitarity Violations in Non-minimally Coupled Scalar-Starobinsky Inflation

abstract: We perform the calculation for tree-level ultraviolet unitarity violation scales for scalar-$R^2$ inflation models by including an additional $R^2 |\Phi|^2$-type term. Due to certain constraints, we resort to the Einstein frame for our calculations, where we separate our analysis between metric and Palatini formulations. We follow recent works in this line that debunk the naive predictions for unitarity violations in Higgs' inflation models to determine how to accurately estimate the behaviour of scattering amplitudes in the UV limit. Later, we work out different cases by assuming potentials corresponding to known inflation scenarios so we could predict the range of coupling parameters for which the theories would remain unitary up to the Planckian regime. We also try to find the behaviour of the scattering amplitudes for these theories during the transition from inflationary to reheating epoch.


title: Holographic reconstruction of magnetic field distribution in a Josephson junction from diffraction-like Ic(H) patterns

abstract: A general problem of magnetic sensors is a trade-off between spatial resolution and magnetic field sensitivity. With decreasing sensor size its resolution is improved but the sensitivity is deteriorated. Obviation of such the trade-off requires development of super-resolution imaging technique, not limited by the sensor size. Here we present a proof of concept for a super-resolution method of magnetic imaging by a Josephson junction. It is based on a solution of an inverse problem - reconstruction of a local magnetic field distribution within a junction from the dependence of the critical current on an external magnetic field, Ic(H). The method resembles the Fourier-transform holography, with the diffraction-like Ic(H) pattern serving as a hologram. A simple inverse problem solution, valid for an arbitrary symmetric case, is derived. We verify the method numerically and show that the accuracy of reconstruction does not depend on the junction size and is only limited by the field range of the Ic(H) pattern. Finally, the method is tested experimentally using planar Nb Josephson junctions. Super-resolution reconstruction of stray magnetic fields from an Abrikosov vortex, trapped in the junction electrodes, is demonstrated. Thus, our method facilitate both the high field sensitivity and high spatial resolution, obviating the trade-off problem of magnetic sensors. We conclude that the holographic magnetic imaging by a planar Josephson junction can be used in scanning probe microscopy.


title: Acceleration of Frank-Wolfe Algorithms with Open-Loop Step-Sizes

abstract: Frank-Wolfe algorithms (FW) are popular first-order methods for solving constrained convex optimization problems that rely on a linear minimization oracle instead of potentially expensive projection-like oracles. Many works have identified accelerated convergence rates under various structural assumptions on the optimization problem and for specific FW variants when using line-search or short-step, requiring feedback from the objective function. Little is known about accelerated convergence regimes when utilizing open-loop step-size rules, a.k.a. FW with pre-determined step-sizes, which are algorithmically extremely simple and stable. Not only is FW with open-loop step-size rules not always subject to the same convergence rate lower bounds as FW with line-search or short-step, but in some specific cases, such as kernel herding in infinite dimensions, it has been empirically observed that FW with open-loop step-size rules enjoys to faster convergence rates than FW with line-search or short-step. We propose a partial answer to this unexplained phenomenon in kernel herding, characterize a general setting for which FW with open-loop step-size rules converges non-asymptotically faster than with line-search or short-step, and derive several accelerated convergence results for FW with open-loop step-size rules. Finally, we demonstrate that FW with open-loop step-sizes can compete with momentum-based open-loop FW variants.


title: The Milnor fiber conjecture of Neumann and Wahl, and an overview of its proof

abstract: Splice type surface singularities, introduced in 2002 by Neumann and Wahl, provide all examples known so far of integral homology spheres which appear as links of complex isolated complete intersections of dimension two. They are determined, up to a form of equisingularity, by decorated trees called splice diagrams. In 2005, Neumann and Wahl formulated their Milnor fiber conjecture, stating that any choice of an internal edge of a splice diagram determines a special kind of decomposition into pieces of the Milnor fibers of the associated singularities. These pieces are constructed from the Milnor fibers of the splice type singularities determined by the subdiagrams on both sides of the chosen edge. In this paper we give an overview of this conjecture and a detailed outline of its proof, based on techniques from tropical geometry and log geometry in the sense of Fontaine and Illusie. The crucial log geometric ingredient is the operation of rounding of a complex logarithmic space introduced in 1999 by Kato and Nakayama. It is a functorial generalization of the operation of real oriented blowup. The use of the latter to study Milnor fibrations was pioneered by A'Campo in 1975.


title: SALAD: Source-free Active Label-Agnostic Domain Adaptation for Classification, Segmentation and Detection

abstract: We present a novel method, SALAD, for the challenging vision task of adapting a pre-trained "source" domain network to a "target" domain, with a small budget for annotation in the "target" domain and a shift in the label space. Further, the task assumes that the source data is not available for adaptation, due to privacy concerns or otherwise. We postulate that such systems need to jointly optimize the dual task of (i) selecting fixed number of samples from the target domain for annotation and (ii) transfer of knowledge from the pre-trained network to the target domain. To do this, SALAD consists of a novel Guided Attention Transfer Network (GATN) and an active learning function, HAL. The GATN enables feature distillation from pre-trained network to the target network, complemented with the target samples mined by HAL using transfer-ability and uncertainty criteria. SALAD has three key benefits: (i) it is task-agnostic, and can be applied across various visual tasks such as classification, segmentation and detection; (ii) it can handle shifts in output label space from the pre-trained source network to the target domain; (iii) it does not require access to source data for adaptation. We conduct extensive experiments across 3 visual tasks, viz. digits classification (MNIST, SVHN, VISDA), synthetic (GTA5) to real (CityScapes) image segmentation, and document layout detection (PubLayNet to DSSE). We show that our source-free approach, SALAD, results in an improvement of 0.5%-31.3%(across datasets and tasks) over prior adaptation methods that assume access to large amounts of annotated source data for adaptation.


title: Marginal Post Processing of Bayesian Inference Products with Normalizing Flows and Kernel Density Estimators

abstract: Bayesian analysis has become an indispensable tool across many different cosmological fields including the study of gravitational waves, the Cosmic Microwave Background and the 21-cm signal from the Cosmic Dawn among other phenomena. The method provides a way to fit complex models to data describing key cosmological and astrophysical signals and a whole host of contaminating signals and instrumental effects modelled with `nuisance parameters'. In this paper, we summarise a method that uses Masked Autoregressive Flows and Kernel Density Estimators to learn marginal posterior densities corresponding to core science parameters. We find that the marginal or 'nuisance-free' posteriors and the associated likelihoods have an abundance of applications including; the calculation of previously intractable marginal Kullback-Leibler divergences and marginal Bayesian Model Dimensionalities, likelihood emulation and prior emulation. We demonstrate each application using toy examples, examples from the field of 21-cm cosmology and samples from the Dark Energy Survey. We discuss how marginal summary statistics like the Kullback-Leibler divergences and Bayesian Model Dimensionalities can be used to examine the constraining power of different experiments and how we can perform efficient joint analysis by taking advantage of marginal prior and likelihood emulators. We package our multipurpose code up in the pip-installable code margarine for use in the wider scientific community.


title: Local momentum space: Scalar field and gravity

abstract: We use the local momentum space technique to obtain an expansion of the Feynman propagators for scalar field and graviton up to first order in the background curvature. The expressions for the propagators are cross-checked with the past literature as well as with the expressions for the traced heat kernel coefficients. The propagators so obtained are used to compute one-loop divergences in the Vilkovisky-Dewitt's effective action for a scalar field non-minimally coupled with gravity for an arbitrary spacetime metric background. The Vilkovisky-DeWitt effective action is then compared with the standard effective action in the limit $\kappa =0$, where $\kappa = 2/M_P$ in terms of the Planck mass. The comparison yields the important result that taking the limit $\kappa=0$ after computing the Vikovisky-DeWitt effective action is not equivalent to computing the Vikovisky-DeWitt effective action for the same theory in the absence of gravity.


title: A Comparative Study of Gastric Histopathology Sub-size Image Classification: from Linear Regression to Visual Transformer

abstract: Gastric cancer is the fifth most common cancer in the world. At the same time, it is also the fourth most deadly cancer. Early detection of cancer exists as a guide for the treatment of gastric cancer. Nowadays, computer technology has advanced rapidly to assist physicians in the diagnosis of pathological pictures of gastric cancer. Ensemble learning is a way to improve the accuracy of algorithms, and finding multiple learning models with complementarity types is the basis of ensemble learning. The complementarity of sub-size pathology image classifiers when machine performance is insufficient is explored in this experimental platform. We choose seven classical machine learning classifiers and four deep learning classifiers for classification experiments on the GasHisSDB database. Among them, classical machine learning algorithms extract five different image virtual features to match multiple classifier algorithms. For deep learning, we choose three convolutional neural network classifiers. In addition, we also choose a novel Transformer-based classifier. The experimental platform, in which a large number of classical machine learning and deep learning methods are performed, demonstrates that there are differences in the performance of different classifiers on GasHisSDB. Classical machine learning models exist for classifiers that classify Abnormal categories very well, while classifiers that excel in classifying Normal categories also exist. Deep learning models also exist with multiple models that can be complementarity. Suitable classifiers are selected for ensemble learning, when machine performance is insufficient. This experimental platform demonstrates that multiple classifiers are indeed complementarity and can improve the efficiency of ensemble learning. This can better assist doctors in diagnosis, improve the detection of gastric cancer, and increase the cure rate.


title: On-chip spin-photon entanglement based on single-photon scattering

abstract: The realization of on-chip quantum gates between photons and solid-state spins is a key building block for quantum-information processors, enabling, e.g., distributed quantum computing, where remote quantum registers are interconnected by flying photons. Self-assembled quantum dots integrated in nanostructures are one of the most promising systems for such an endeavor thanks to their near-unity photon-emitter coupling and fast spontaneous emission rate. Here we demonstrate an on-chip entangling gate between an incoming photon and a stationary quantum-dot spin qubit. The gate is based on sequential scattering of a time-bin encoded photon with a waveguide-embedded quantum dot and operates on sub-microsecond timescale; two orders of magnitude faster than other platforms. Heralding on detection of a reflected photon renders the gate fidelity fully immune to spectral wandering of the emitter. These results represent a major step in realizing a quantum node capable of both photonic entanglement generation and on-chip quantum logic, as demanded in quantum networks and quantum repeaters.


title: Comparison of compression vs shearing near jamming, for a simple model of athermal frictionless disks in suspension

abstract: Using a simplified model for a non-Brownian suspension, we numerically study the response of athermal, overdamped, frictionless disks in two dimensions to isotropic and uniaxial compression, as well as to pure {\color{black}and simple} shearing, all at finite constant strain rates $\dot\epsilon$. We show that isotropic and uniaxial compression result in the same jamming packing fraction $\phi_J$, while pure shear and simple shear induced jamming occurs at a slightly higher $\phi_J^*$, consistent with that found previously for simple shearing. A critical scaling analysis of pure shearing gives critical exponents consistent with those previously found for both isotropic compression and simple shearing. Using orientational order parameters for contact bond directions, we compare the anisotropy of the force and contact networks at both lowest nematic order, as well as higher $2n$-fold order.


title: GiNaCDE: the high-performance F-expansion and First Integral Methods with C++ library for solving Nonlinear Differential Equations

abstract: We present the algorithms for three popular methods: F-expansion, modified F-expansion, and first integral methods to automatically get closed-form traveling-wave solutions of nonlinear partial differential equations (NLPDEs). We generalize and improve the methods. The proposed algorithms are manageable, straightforward, and powerful tools providing a high-performance evaluation of the exact solutions of nonlinear ordinary differential equations (NLODEs) and NLPDEs. For differential equations with parameters, the new algorithms determine the conditions on the parameters to obtain exact solutions. The algorithms show solutions to a wide variety of NLODEs and NLPDEs, both integrable and non-integrable. It can solve NLODEs and NLPDEs that contain complex functions. The algorithms are implemented in a C++ library named GiNaCDE. The efficiency and effectiveness of the algorithms are demonstrated by some examples with the help of GiNaCDE. The output results tally with the previously known results, and in some cases, new exact traveling-wave solutions are explicitly obtained. Use of the library, implementation issues, scope, limitations, and future extensions of the software are addressed.


title: Snowmass 2021 White Paper on Upgrading SuperKEKB with a Polarized Electron Beam: Discovery Potential and Proposed Implementation

abstract: Upgrading the SuperKEKB electron-positron collider with polarized electron beams opens a new program of precision physics at a center-of-mass energy of 10.58 GeV. This white paper describes the physics potential of this `Chiral Belle' program. It includes projections for precision measurements of $\sin^2\theta_W$ that can be obtained from independent left-right asymmetry measurements of $e^+e^-$ transitions to pairs of electrons, muons, taus, charm and b-quarks. The $\sin^2\theta_W$ precision obtainable at SuperKEKB will match that of the LEP/SLC world average, but at the centre-of-mass energy of 10.58 GeV. Measurements of the couplings for muons, charm, and $b$-quarks will be substantially improved and the existing $3\sigma$ discrepancy between the SLC $A_{LR}$ and LEP $A_{FB}^b$ measurements will be addressed. Precision measurements of neutral current universality will be more than an order of magnitude more precise than currently available. As the energy scale is well away from the $Z^0$-pole, the precision measurements will have sensitivity to the presence of a parity-violating dark sector gauge boson, $Z_{\rm dark}$. The program also enables the measurement of the anomalous magnetic moment $g-2$ form factor of the $\tau$ to be made at an unprecedented level of precision. A precision of $10^{-5}$ level is accessible with 40~ab$^{-1}$ and with more data it would start to approach the $10^{-6}$ level. This technique would provide the most precise information from the third generation about potential new physics explanations of the muon $g-2$ $4\sigma$ anomaly. Additional $\tau$ and QCD physics programs enabled or enhanced with having polarized electron beams are also discussed in this White Paper. This paper includes a summary of the path forward in R&D and next steps required to implement this upgrade and access its exciting discovery potential.


title: Canonically consistent quantum master equation

abstract: We put forth a new class of quantum master equations that correctly reproduce the asymptotic state of an open quantum system beyond the infinitesimally weak system-bath coupling limit. Our method is based on incorporating the knowledge of the reduced steady state into its dynamics. The correction not only steers the reduced system towards a correct steady state but also improves the accuracy of the dynamics, thereby refining the archetypal Born-Markov weak-coupling second-order master equations. In case of equilibrium, since a closed form for the steady state exists in terms of a mean force Gibbs state, we utilize this form to correct the Redfield quantum master equation. Using an exactly solvable harmonic oscillator system we benchmark our approach with the exact solution showing that our method also helps correcting the long-standing issue of positivity violation, albeit without complete positivity. Our method of a canonically consistent quantum master equation, opens a new perspective in the theory of open quantum systems leading to a reduced density matrix accurate beyond the commonly used Redfield and Lindblad equations, while retaining the same conceptual and numerical complexity.


title: Estimate of entropy generation rate can spatiotemporally resolve the active nature of cell flickering

abstract: We use the short-time inference scheme (Manikandan, Gupta and Krishnamurthy, Phys. Rev. Lett. 124, 120603, 2020), obtained within the framework of stochastic thermodynamics, to infer a lower-bound to entropy generation rate from flickering data generated by Interference Reflection Microscopy of HeLA cells. We can clearly distinguish active cell membranes from their ATP depleted selves and even spatio-temporally resolve activity down to the scale of about one $\mu$m. Our estimate of activity is model--independent.


title: A Universal Error Measure for Input Predictions Applied to Online Graph Problems

abstract: We introduce a novel measure for quantifying the error in input predictions. The error is based on a minimum-cost hyperedge cover in a suitably defined hypergraph and provides a general template which we apply to online graph problems. The measure captures errors due to absent predicted requests as well as unpredicted actual requests; hence, predicted and actual inputs can be of arbitrary size. We achieve refined performance guarantees for previously studied network design problems in the online-list model, such as Steiner tree and facility location. Further, we initiate the study of learning-augmented algorithms for online routing problems, such as the online traveling salesperson problem and the online dial-a-ride problem, where (transportation) requests arrive over time (online-time model). We provide a general algorithmic framework and we give error-dependent performance bounds that improve upon known worst-case barriers, when given accurate predictions, at the cost of slightly increased worst-case bounds when given predictions of arbitrary quality.


title: Optimization of large determinant expansions in quantum Monte Carlo

abstract: We present a new method for the optimization of large configuration interaction (CI) expansions in the quantum Monte Carlo (QMC) framework. The central idea here is to replace the non-orthogonal variational optimization of CI coefficients performed in usual QMC calculations by an orthogonal non-Hermitian optimization thanks to the so-called transcorrelated (TC) framework, the two methods yielding the same results in the limit of a complete basis set. By rewriting the TC equations as an effective self-consistent Hermitian problem, our approach requires the sampling of a single quantity per Slater determinant, leading to minimal memory requirements in the QMC code. Using analytical quantities obtained from both the TC framework and the usual CI-type calculations, we also propose improved estimators which reduce the statistical fluctuations of the sampled quantities by more than an order of magnitude. We demonstrate the efficiency of this method on wave functions containing $10^5-10^6$ Slater determinants, using effective core potentials or all-electron calculations. In all the cases, a sub-milliHartree convergence is reached within only two or three iterations of optimization.


title: Probing Spacetime Foam with Extragalactic Sources of High-Energy Photons

abstract: Quantum fluctuations can endow spacetime with a foamy structure. In this review article we discuss our various proposals to observationally constrain models of spacetime foam. One way is to examine if the light wave-front from a distant quasar or GRB can be noticeably distorted by spacetime-foam-induced phase incoherence. As the phase fluctuations are proportional to the distance to the source, but inversely proportional to the wavelength, ultra-high energy photons ($>1$ TeV) from distant sources are particularly useful. We elaborate on several proposals, including the possibility of detecting spacetime foam by observing "seeing disks" in the images of distant quasars and active galactic nuclei. We also discuss the appropriate distance measure for calculating the expected angular broadening. In addition, we discuss our more recent work in which we investigate whether wave-front distortions on small scales (due to spacetime foam) can cause distant objects become undetectable because the phase fluctuations have accumulated to the point at which image formation is impossible. Another possibility that has recently become accessible is to use interferometers to observe cosmologically distant sources, therefore giving a large baseline perpendicular to the local wave vector over which the wave front could become corrugated and thus distorted, reducing or eliminating its fringe visibility. We argue that all these methods ultimately depend on the availability of ways (if any) to carry out proper averaging of contributions from different light paths from the source to the telescope.


title: Deep Gradient Learning for Efficient Camouflaged Object Detection

abstract: This paper introduces DGNet, a novel deep framework that exploits object gradient supervision for camouflaged object detection (COD). It decouples the task into two connected branches, i.e., a context and a texture encoder. The essential connection is the gradient-induced transition, representing a soft grouping between context and texture features. Benefiting from the simple but efficient framework, DGNet outperforms existing state-of-the-art COD models by a large margin. Notably, our efficient version, DGNet-S, runs in real-time (80 fps) and achieves comparable results to the cutting-edge model JCSOD-CVPR$_{21}$ with only 6.82% parameters. Application results also show that the proposed DGNet performs well in polyp segmentation, defect detection, and transparent object segmentation tasks. Codes will be made available at https://github.com/GewelsJI/DGNet.


title: Understanding Factual Errors in Summarization: Errors, Summarizers, Datasets, Error Detectors

abstract: The propensity of abstractive summarization models to make factual errors has been studied extensively, including design of metrics to detect factual errors and annotation of errors in current systems' outputs. However, the ever-evolving nature of summarization systems, metrics, and annotated benchmarks makes factuality evaluation a moving target, and drawing clear comparisons among metrics has become increasingly difficult. In this work, we aggregate factuality error annotations from nine existing datasets and stratify them according to the underlying summarization model. We compare performance of state-of-the-art factuality metrics, including recent ChatGPT-based metrics, on this stratified benchmark and show that their performance varies significantly across different types of summarization models. Critically, our analysis shows that much of the recent improvement in the factuality detection space has been on summaries from older (pre-Transformer) models instead of more relevant recent summarization models. We further perform a finer-grained analysis per error-type and find similar performance variance across error types for different factuality metrics. Our results show that no one metric is superior in all settings or for all error types, and we provide recommendations for best practices given these insights.


title: Influence of mass of black holes on radio/X-ray correlation diagram

abstract: The radio/X-ray correlation diagram, for Black Hole X-ray Binaries (BHXBs) in the hard state, depicts the connection that might exists between the radio jets and X-ray emitting accretion discs. The current version of the radio/X-ray correlation diagram shows two populations of BHXBs. These two populations evolve along two different correlation tracks ($F_{rad}= \kappa F_{x}^{b}$), namely the standard track and the outliers. Over the past years, the key question has been to explain the existence of these two tracks. In this paper, we investigate the impact of the black hole mass on the radio/X-ray correlation for a sample of 17 BHXBs. We are led to conclude at least one of the following with full consideration of large uncertainties in mass estimates:(i) Most of the reported mass estimates of black holes are incorrect or insufficiently accurate to infer their impact on radio/X-ray correlation diagram. (ii) The estimated radio luminosities and X-ray luminosites are still not reliable enough for two reasons. One reason is due to the lack of associated errors in observational data. Another is that some sources might still transit from one track to the other. (iii) The mass of BH has a significant influence on which track, the source belongs to, on a radio/X-ray correlation diagram.


title: Stochastic Second-Order Methods Improve Best-Known Sample Complexity of SGD for Gradient-Dominated Function

abstract: We study the performance of Stochastic Cubic Regularized Newton (SCRN) on a class of functions satisfying gradient dominance property with $1\le\alpha\le2$ which holds in a wide range of applications in machine learning and signal processing. This condition ensures that any first-order stationary point is a global optimum. We prove that the total sample complexity of SCRN in achieving $\epsilon$-global optimum is $\mathcal{O}(\epsilon^{-7/(2\alpha)+1})$ for $1\le\alpha< 3/2$ and $\mathcal{\tilde{O}}(\epsilon^{-2/(\alpha)})$ for $3/2\le\alpha\le 2$. SCRN improves the best-known sample complexity of stochastic gradient descent. Even under a weak version of gradient dominance property, which is applicable to policy-based reinforcement learning (RL), SCRN achieves the same improvement over stochastic policy gradient methods. Additionally, we show that the average sample complexity of SCRN can be reduced to ${\mathcal{O}}(\epsilon^{-2})$ for $\alpha=1$ using a variance reduction method with time-varying batch sizes. Experimental results in various RL settings showcase the remarkable performance of SCRN compared to first-order methods.


title: Structure Unbiased Adversarial Model for Medical Image Segmentation

abstract: Generative models have been widely proposed in image recognition to generate more images where the distribution is similar to that of the real ones. It often introduces a discriminator network to differentiate the real data from the generated ones. Such models utilise a discriminator network tasked with differentiating style transferred data from data contained in the target dataset. However in doing so the network focuses on discrepancies in the intensity distribution and may overlook structural differences between the datasets. In this paper we formulate a new image-to-image translation problem to ensure that the structure of the generated images is similar to that in the target dataset. We propose a simple, yet powerful Structure-Unbiased Adversarial (SUA) network which accounts for both intensity and structural differences between the training and test sets when performing image segmentation. It consists of a spatial transformation block followed by an intensity distribution rendering module. The spatial transformation block is proposed to reduce the structure gap between the two images, and also produce an inverse deformation field to warp the final segmented image back. The intensity distribution rendering module then renders the deformed structure to an image with the target intensity distribution. Experimental results show that the proposed SUA method has the capability to transfer both intensity distribution and structural content between multiple datasets.