title: Macroeconomic Dynamics in a finite world: the Thermodynamic Potential Approach

abstract: This paper presents a conceptual model describing the medium and long-term co-evolution of natural and socio-economic subsystems of Earth. An economy is viewed as an out-of-equilibrium dissipative structure that can only be maintained with a flow of energy and matter. The distinctive approach emphasized here consists in capturing the economic impact of natural ecosystems being depleted and destroyed by human activities via a pinch of thermodynamic potentials. This viewpoint allows: (i) the full-blown integration of a limited quantity of primary resources into a non-linear macrodynamics that is stock-flow consistent both in terms of matter-energy as well as economic transactions; (ii) the inclusion of natural and forced recycling; (iii) the inclusion of a friction term which reflects the impossibility of producing goods and services in high metabolising intensity without exuding energy and matter wastes; (iv) the computation of the anthropically produced entropy as a function of intensity and friction. Analysis and numerical computations confirm the role played by intensity and friction as key factors for sustainability. Our approach is flexible enough to allow for various economic models to be embedded into our thermodynamic framework.


title: The Husimi function of a semiconfined harmonic oscillator model with a position-dependent effective mass

abstract: The phase space representation for a semiconfined harmonic oscillator model with a position-dependent effective mass is constructed. We have found the Husimi distribution function for the stationary states of the oscillator model under consideration for both cases without and with the applied external homogeneous field. The obtained function is expressed through the double sum of the parabolic cylinder function. Different special cases and the limit relations are discussed, too.


title: On the Relevance of Bandwidth Extension for Speaker Verification

abstract: In this paper, we consider the effect of a bandwidth extension of narrow-band speech signals (0.3-3.4 kHz) to 0.3-8 kHz on speaker verification. Using covariance matrix based verification systems together with detection error trade-off curves, we compare the performance between systems operating on narrow-band, wide-band (0-8 kHz), and bandwidth-extended speech. The experiments were conducted using different short-time spectral parameterizations derived from microphone and ISDN speech databases. The studied bandwidth-extension algorithm did not introduce artifacts that affected the speaker verification task, and we achieved improvements between 1 and 10 percent (depending on the model order) over the verification system designed for narrow-band speech when mel-frequency cepstral coefficients for the short-time spectral parameterization were used.


title: Automating Reinforcement Learning with Example-based Resets

abstract: Deep reinforcement learning has enabled robots to learn motor skills from environmental interactions with minimal to no prior knowledge. However, existing reinforcement learning algorithms assume an episodic setting, in which the agent resets to a fixed initial state distribution at the end of each episode, to successfully train the agents from repeated trials. Such reset mechanism, while trivial for simulated tasks, can be challenging to provide for real-world robotics tasks. Resets in robotic systems often require extensive human supervision and task-specific workarounds, which contradicts the goal of autonomous robot learning. In this paper, we propose an extension to conventional reinforcement learning towards greater autonomy by introducing an additional agent that learns to reset in a self-supervised manner. The reset agent preemptively triggers a reset to prevent manual resets and implicitly imposes a curriculum for the forward agent. We apply our method to learn from scratch on a suite of simulated and real-world continuous control tasks and demonstrate that the reset agent successfully learns to reduce manual resets whilst also allowing the forward policy to improve gradually over time.


title: Cr doping-induced ferromagnetism in the spin-glass Cd1-xMnxTe studied by x-ray magnetic circular dichroism

abstract: The prototypical diluted magnetic semiconductor Cd1-xMnxTe is a spin glass (x<0.6) or an antiferromagnet (x>0.6), but becomes ferromagnetic upon doping with a small amount of Cr atoms substituting for Mn. In order to investigate the origin of the ferromagnetism in Cd1-x-yMnxCryTe, we have studied its element specific magnetic properties by x-ray absorption spectroscopy (XAS) and x-ray magnetic circular dichroism (XMCD) at the Cr and Mn L2,3 edges. Thin films were grown by molecular beam epitaxy with a fixed Mn content of x = 0.2 and varying Cr content in the range of y = 0 - 0.04. Measured XAS and XMCD spectra indicate that both Cr and Mn atoms are divalent and that the ferromagnetic or superparamagnetic components of Cr and Mn are aligned in the same directions. The magnetization of Mn increases with increasing Cr content. These results can be explained if ferromagnetic interaction exists between neighboring Mn and Cr ions although interaction between Mn atoms is largely antiferromagnetic. We conclude that each ferromagnetic or superparamagnetic cluster consists of ferromagnetically coupled several Cr and a much larger number of Mn ions.


title: $O(\alpha_s)$ perturbative and nonperturbative corrections to polarized semileptonic $\Lambda_b$ decay distributions

abstract: In this paper we calculate first order radiative QCD corrections to the decay process $b\to cW^-(\to\ell^-\bar\nu_\ell)$ of a polarized bottom quark. Taking into account both the bottom and charm quark masses, the analytical expressions given in this paper allow for a detailed analysis of the differential decay rate of the polarized quark in dependence on the polar and azimuthal angles of the lepton pair and the angle of the polarization vector of the quark relative to the momentum direction of the $W$ boson. The results are given for different polarization states of the charged lepton. In addition, we calculated nonperturbative corrections and estimated their contribution.


title: Giant-cavity-based quantum sensors with enhanced performance

abstract: Recent progresses have revealed that quantum systems with multiple position-dependent couplings, e.g., giant atoms, can exhibit some unconventional phenomena, such as non-exponential decay etc. However, their potential applications are still open questions. In this paper, we propose a giant-cavity-based quantum sensor for the first time, whose performance can be greatly enhanced compared to traditional cavity-based sensors. In our proposal, two cavities couple to a dissipative reservoir at multiple points while they couple to a gain reservoir in a single-point way. To detecting a unknown parameter using this sensor, a waveguide is coupled to one of the cavities where detecting fields can pass through for homodyne detection. We find that multiple position-dependent couplings can induce an inherent non-reciprocal coupling between the cavities, which can enhance the performance of sensors. Output noise in our scheme can be reduced to the shot noise level, which is about one order magnitude lower than the results in Ref. [Nature Communications, 2018, 9, 4320.]. Besides, the signal-to-noise ratio per photon is also enhanced by about one order of magnitude. These results show that the multiple-point-coupling structure is beneficial to nowadays quantum devices.


title: Iitaka conjecture for anticanonical divisors in positive characteristics

abstract: Given a separable fibration over an algebraically closed field of positive characteristic, we study an Iitaka-type inequality for the anticanonical divisors. We conclude that it holds when the source of the fibration is a threefold or when the target is a curve. We then give counterexamples in characteristics $2$ and $3$ for fibrations with "very singular" fibres, constructed from Tango-Raynaud surfaces.


title: Less is More: A Call to Focus on Simpler Models in Genetic Programming for Interpretable Machine Learning

abstract: Interpretability can be critical for the safe and responsible use of machine learning models in high-stakes applications. So far, evolutionary computation (EC), in particular in the form of genetic programming (GP), represents a key enabler for the discovery of interpretable machine learning (IML) models. In this short paper, we argue that research in GP for IML needs to focus on searching in the space of low-complexity models, by investigating new kinds of search strategies and recombination methods. Moreover, based on our experience of bringing research into clinical practice, we believe that research should strive to design better ways of modeling and pursuing interpretability, for the obtained solutions to ultimately be most useful.


title: Moving structures in ultraviolet bright points: observations from Solar Orbiter/EUI

abstract: Moving structures have been detected in coronal bright points and in a solar flare in active regions, which were bi-directional, symmetrical, simultaneous, and quasi-periodic (Ning & Guo 2014; Ning 2016; Li et al. 2016a). They could be regarded as observational evidence of plasma outflows via magnetic reconnection. In this article, we explored pairs of moving structures in fifteen ultraviolet bright points (UBPs), which were observed in the quiet Sun or inside a small active region on 19 November 2020, and measured by the High Resolution (HRI) Telescopes of the Extreme Ultraviolet Imager (EUI) on board the Solar Orbiter (SolO) in two passbands, HRIEUV 174 {\AA} and HRILy{\alpha} 1216 {\AA}. Moving structures observed in ten UBPs as starting from their bright cores and propagating toward two ends, are interpreted as diverging motions of bi-directional moving structures. These moving structures are also characterized by simultaneity and symmetry and in the case of seven UBPs they exhibit quasi-periodicity. They could be generated by outflows after magnetic reconnections. Moving structures seen in another five UBPs as originating from double ends and moving closer, and merging together, are manifested as converging motions, which might be caused by inflows through the magnetic reconnection, or might be interpreted as upflows driven by the chromospheric evaporation.


title: Graded Lie Algebras, Compactified Jacobians and Arithmetic Statistics

abstract: A simply laced Dynkin diagram gives rise to a family of curves over $\mathbb{Q}$ and a coregular representation, using deformations of simple singularities and Vinberg theory respectively. Thorne has conjectured and partially proven a strong link between the arithmetic of these curves and the rational orbits of these representations. In this paper, we complete Thorne's picture and show that $2$-Selmer elements of the Jacobians of the smooth curves in each family can be parametrised by integral orbits of the corresponding representation. Using geometry-of-numbers techniques, we deduce statistical results on the arithmetic of these curves. We prove these results in a uniform manner. This recovers and generalises results of Bhargava, Gross, Ho, Shankar, Shankar and Wang. The main innovations are: an analysis of torsors on affine spaces using results of Colliot-Th\'el\`ene and the Grothendieck--Serre conjecture, a study of geometric properties of compactified Jacobians using the Bialynicki-Birula decomposition, and a general construction of integral orbit representatives.


title: Engineering of spontaneous emission in free space via conditional measurements

abstract: We study the collective spontaneous emission of three identical two-level atoms initially prepared in the excited states by measuring Glauber's third-order photon correlation function. Assuming two atoms at sub-wavelength distance from each other such that they are subject to the dipole-dipole interaction while the third one is located several wavelengths away, we observe super- and subradiant decay alike, depending on the direction of observation. Unlike the case where no remote atom is introduced or no conditional measurements are performed, the spontaneous emission behavior of the conditioned three-atom system differs strongly from the single-atom and the canonical two-atom configuration. The conditional measurements associated with the three-photon correlation function in combination with the dipole-dipole interaction between the adjacent atoms lead to quantum interference among the different decay channels allowing to engineer the spontaneous emission in space and time.


title: On representation formulas for optimal control: A Lagrangian perspective

abstract: In this paper, we study representation formulas for finite-horizon optimal control problems with or without state constraints, unifying two different viewpoints: the Lagrangian and dynamic programming (DP) frameworks. In a recent work [1], the generalized Lax formula is obtained via DP for optimal control problems with state constraints and nonlinear systems. We revisit the formula from the Lagrangian perspective to provide a unified framework for understanding and implementing the nontrivial representation of the value function. Our simple derivation makes direct use of the Lagrangian formula from the theory of Hamilton-Jacobi (HJ) equations. We also discuss a rigorous way to construct an optimal control using a $\delta$-net, as well as a numerical scheme for controller synthesis via convex optimization.


title: First Identification of New X-Ray Spectra of Mo39+, Mo40+, W43+, W44+ and W45+ on EAST

abstract: New high-resolution x-ray spectra of Mo39+, Mo40+, W43+, W44+ and W45+ have been carefully confirmed for the first time by use of the x-ray imaging crystal spectrometer (XCS) in Experimental Advanced Superconducting Tokamak (EAST) under various combined auxiliary heating plasmas conditions. Wavelength of these new x-ray spectra is ranged from 3.895 {\AA} to 3.986 {\AA}. When core electron temperature (Te0) reaches 6.0 keV, Mo39+ and Mo40+ lines of 3.9727, 3.9294 and 3.9480 {\AA} can be effectively detected on XCS for EAST; meanwhile, line-integrated brightness of these spectral lines of Mo39+ and Mo40+ is very considerable when electron temperature reaches 12.9 keV. Multi-components spectral lines for W43+, W44+ and W45+ have also been identified when Te0 reaches 6 keV. Parts of spectral lines, such as Zn-1, Cu-2, Cu-4a, Cu-4d and Cu-5 lines of tungsten, are first observed experimentally. When electron temperature reaches 12.9 keV, line-integrated intensity for part of these spectral lines of W43+, W44+ and W45+ are considerable. These experimental results and theoretical predictions from FAC and FLYCHK codes are in good general agreement. These new spectral lines, obtained on XCS for EAST, are vital for deeply uncovering the mechanisms of ion and electron thermal, high-Z impurity and momentum (anomalous) transport to achieve the advanced steady-state operation scenarios for ITER and CFETR.


title: Linear differential operators with distribution coefficients of various singularity orders

abstract: In this paper, the linear differential expression of order $n \ge 2$ with distribution coefficients of various singularity orders is considered. We obtain the associated matrix for the regularization of this expression. Furthermore, we present the new statements of inverse spectral problems that consist in the recovery of differential operators with distribution coefficients from the Weyl matrix on the half-line and on a finite interval. The uniqueness theorems for these inverse problems are proved by developing the method of spectral mappings.


title: Escaping the maze: a statistical sub-grid model for cloud-scale density structures in the interstellar medium

abstract: The interstellar medium (ISM) is a turbulent, highly structured multi-phase medium. State-of-the-art cosmological simulations of the formation of galactic discs usually lack the resolution to accurately resolve those multi-phase structures. However, small-scale density structures play an important role in the life cycle of the ISM, and determine the fraction of cold, dense gas, the amount of star formation and the amount of radiation and momentum leakage from cloud-embedded sources. Here, we derive a $statistical\, model$ to calculate the unresolved small-scale ISM density structure from coarse-grained, volume-averaged quantities such as the $gas\, clumping\, factor$, $\mathcal{C}$, and mean density $\left<\rho\right>_V$. Assuming that the large-scale ISM density is statistically isotropic, we derive a relation between the three-dimensional clumping factor, $\mathcal{C}_\rho$, and the clumping factor of the $4\pi$ column density distribution on the cloud surface, $\mathcal{C}_\Sigma$, and find $\mathcal{C}_\Sigma=\mathcal{C}_\rho^{2/3}$. Applying our model to calculate the covering fraction, i.e., the $4\pi$ sky distribution of optically thick sight-lines around sources inside interstellar gas clouds, we demonstrate that small-scale density structures lead to significant differences at fixed physical ISM density. Our model predicts that gas clumping increases the covering fraction by up to 30 per cent at low ISM densities compared to a uniform medium. On the other hand, at larger ISM densities, gas clumping suppresses the covering fraction and leads to increased scatter such that covering fractions can span a range from 20 to 100 per cent at fixed ISM density. All data and example code is publicly available at GitHub.

categories: astro-ph.GA astro-ph.CO physics.comp-ph physics.data-an physics.space-ph


title: An efficient real-time target tracking algorithm using adaptive feature fusion

abstract: Visual-based target tracking is easily influenced by multiple factors, such as background clutter, targets fast-moving, illumination variation, object shape change, occlusion, etc. These factors influence the tracking accuracy of a target tracking task. To address this issue, an efficient real-time target tracking method based on a low-dimension adaptive feature fusion is proposed to allow us the simultaneous implementation of the high-accuracy and real-time target tracking. First, the adaptive fusion of a histogram of oriented gradient (HOG) feature and color feature is utilized to improve the tracking accuracy. Second, a convolution dimension reduction method applies to the fusion between the HOG feature and color feature to reduce the over-fitting caused by their high-dimension fusions. Third, an average correlation energy estimation method is used to extract the relative confidence adaptive coefficients to ensure tracking accuracy. We experimentally confirm the proposed method on an OTB100 data set. Compared with nine popular target tracking algorithms, the proposed algorithm gains the highest tracking accuracy and success tracking rate. Compared with the traditional Sum of Template and Pixel-wise LEarners (STAPLE) algorithm, the proposed algorithm can obtain a higher success rate and accuracy, improving by 0.023 and 0.019, respectively. The experimental results also demonstrate that the proposed algorithm can reach the real-time target tracking with 50 fps. The proposed method paves a more promising way for real-time target tracking tasks under a complex environment, such as appearance deformation, illumination change, motion blur, background, similarity, scale change, and occlusion.


title: Compact molecular gas emission in local LIRGs among low- and high-z galaxies

abstract: We present new CO(2-1) observations of a representative sample of 24 local (z$<$0.02) luminous infrared galaxies (LIRGs) obtained at high spatial resolution ($<$100 pc) from ALMA. We derive the effective radii of the CO(2-1) and the 1.3 mm continuum emissions using the curve-of-growth method. LIRGs show an extremely compact cold molecular gas distribution (median R$_{CO}$ $\sim$0.7 kpc), which is a factor 2 smaller than the ionized gas, and 3.5 times smaller than the stellar size. The molecular size of LIRGs is similar to that of early-type galaxies (R$_{CO}\sim$1 kpc) and about a factor of 6 more compact than local Spirals of similar stellar mass. Only the CO emission in low-z ULIRGs is more compact than these local LIRGs by a factor of 2. Compared to high-z (1$<$z$<$6) systems, the stellar sizes and masses of local LIRGs are similar to those of high-z MS star-forming galaxies (SFG) and about a factor of 2-3 lower than sub-mm galaxies (SMG). The molecular sizes of high-z MS SFGs and SMGs are larger than those derived for LIRGs by a factor of $\sim$3 and $\sim$8, respectively. These results indicate that while low-z LIRGs and high-z MS-SFGs have similar stellar masses and sizes, the regions of current star formation (traced by the ionized gas) and of potential star-formation (traced by the molecular gas) are substantially smaller in LIRGs, and constrained to the central kpc region. High-z galaxies represent a wider population but their star-forming regions are more extended, even covering the overall size of the host galaxy. High-z galaxies have larger fractions of gas than low-z LIRGs, and therefore the formation of stars could be induced by interactions and mergers in extended disks or filaments with large enough molecular gas surface density involving physical mechanisms similar to those identified in the central kpc of LIRGs.


title: Modeling a labyrinthine acoustic metamaterial through an inertia-augmented relaxed micromorphic approach

abstract: We present an inertia-augmented relaxed micromorphic model that enriches the relaxed micromorphic model previously introduced by the authors via a term $\text{Curl}\dot{P}$ in the kinetic energy density. This enriched model allows us to obtain a good overall fitting of the dispersion curves while introducing the new possibility of describing modes with negative group velocity that are known to trigger negative refraction effects. The inertia-augmented model also allows for more freedom on the values of the asymptotes corresponding to the cut-offs. In the previous version of the relaxed micromorphic model, the asymptote of one curve (pressure or shear) is always bounded by the cut-off of the following curve of the same type. This constraint does not hold anymore in the enhanced version of the model. While the obtained curves' fitting is of good quality overall, a perfect quantitative agreement must still be reached for very small wavelengths that are close to the size of the unit cell.


title: Large-Scale Shill Bidder Detection in E-commerce

abstract: User feedback is one of the most effective methods to build and maintain trust in electronic commerce platforms. Unfortunately, dishonest sellers often bend over backward to manipulate users' feedback or place phony bids in order to increase their own sales and harm competitors. The black market of user feedback, supported by a plethora of shill bidders, prospers on top of legitimate electronic commerce. In this paper, we investigate the ecosystem of shill bidders based on large-scale data by analyzing hundreds of millions of users who performed billions of transactions, and we propose a machine-learning-based method for identifying communities of users that methodically provide dishonest feedback. Our results show that (1) shill bidders can be identified with high precision based on their transaction and feedback statistics; and (2) in contrast to legitimate buyers and sellers, shill bidders form cliques to support each other.


title: HyperBox: A Supervised Approach for Hypernym Discovery using Box Embeddings

abstract: Hypernymy plays a fundamental role in many AI tasks like taxonomy learning, ontology learning, etc. This has motivated the development of many automatic identification methods for extracting this relation, most of which rely on word distribution. We present a novel model HyperBox to learn box embeddings for hypernym discovery. Given an input term, HyperBox retrieves its suitable hypernym from a target corpus. For this task, we use the dataset published for SemEval 2018 Shared Task on Hypernym Discovery. We compare the performance of our model on two specific domains of knowledge: medical and music. Experimentally, we show that our model outperforms existing methods on the majority of the evaluation metrics. Moreover, our model generalize well over unseen hypernymy pairs using only a small set of training data.


title: Parameter Filter-based Event-triggered Learning

abstract: Model-based algorithms are deeply rooted in modern control and systems theory. However, they usually come with a critical assumption - access to an accurate model of the system. In practice, models are far from perfect. Even precisely tuned estimates of unknown parameters will deteriorate over time. Therefore, it is essential to detect the change to avoid suboptimal or even dangerous behavior of a control system. We propose to combine statistical tests with dedicated parameter filters that track unknown system parameters from state data. These filters yield point estimates of the unknown parameters and, further, an inherent notion of uncertainty. When the point estimate leaves the confidence region, we trigger active learning experiments. We update models only after enforcing a sufficiently small uncertainty in the filter. Thus, models are only updated when necessary and statistically significant while ensuring guaranteed improvement, which we call event-triggered learning. We validate the proposed method in numerical simulations of a DC motor in combination with model predictive control.


title: Characterization of pixelated silicon detectors for daily quality assurance measurements in proton therapy

abstract: The advanced imaging and delivery techniques in proton therapy allow conformal high-dose irradiation of the target volume with high accuracy using pencil beam scanning or beam shaping apertures. These irradiation methods increasingly include small radiation fields with large dose gradients, which require detector systems with high spatial resolution for quality assurance. In addition the measurement of all success parameters for daily quality assurance with only one proton field and one simple detector system would save a lot of time in clinical usage. Based on their good spatial resolution and high rate compatibility, pixelated silicon detectors could meet the new requirements. To assess their applicability in proton therapy, ATLAS pixelated silicon detectors are used to measure the lateral beam profile with high spatial resolution. Furthermore, a dose dependent detector calibration is presented to allow the measurement of the requested output constancy. A strategy to verify the proton energy during the daily quality assurance is under study. Promising results from proof-of-principle measurements at the West German Proton Therapy Centre in Essen, Germany, have been obtained.


title: Effect of nucleon effective mass and symmetry energy on the neutrino mean free path in a neutron star

abstract: The Korea-IBS-Daegu-SKKU energy density functional (KIDS-EDF) models, constructed from the perturbative expansion of the energy density in nuclear matter, have been successfully and widely applied in describing the properties of finite nuclei and infinite nuclear matter. In the present work, we extend the applications of the KIDS-EDF models to investigate the implications of the nucleon effective mass and nuclear symmetry energy for the properties of neutron stars (NSs) and neutrino interaction with the NS constituent matter in the linear response approximation (LRA). At fixed neutrino energy and momentum transfer, we analyze the total differential cross section of neutrino, the neutrino mean free path (NMFP), and the NS mass-radius (M-R) relations. Remarkable results are given by the KIDS0-m*87 and SLy4 models, in which $M_n^* /M \lesssim 1$, and their NMFPs are quite higher in comparison with those obtained from the KIDS0, KIDS-A, and KIDS-B models, which result in $M_n^*/M \gtrsim 1$. For the KIDS0, KIDS-A, and KIDS-B models, we obtain $\lambda \lesssim R_{\textrm{NS}}$, indicating that these models could predict the slow NS cooling and neutrino trapping in NSs. In contrast, the KIDS0-m*87 and SLy4 models yield $\lambda \gtrsim R_{\textrm{NS}}$ and thus we expect faster NS cooling and a small possibility of neutrino trapping within NSs. We also calculate the NMFP as a function of the neutrino energy and the nuclear matter density and find that the NMFP decreases as the density and neutrino energy increase, which is consistent with the result obtained in the Brussels-Montreal Skyrme (BSk17 and BSk18) models at saturation density.


title: Modeling COVID-19 optimal testing strategies in long-term care facilities: An optimization-based approach

abstract: Long-term care facilities have been widely affected by the COVID-19 pandemic. Retirement homes are particularly vulnerable due to the higher mortality risk of infected elderly individuals. Once an outbreak occurs, suppressing the spread of the virus in retirement homes is challenging because the residents are in contact with each other, and isolation measures cannot be widely enforced. Regular testing strategies, on the other hand, have been shown to effectively prevent outbreaks in retirement homes. However, high frequency testing may consume substantial staff working time, which results in a trade-off between the time invested in testing, and the time spent providing essential care to residents. Thus, developing an optimal testing strategy is crucial to proactively detect infections while guaranteeing efficient use of limited staff time in these facilities. Although numerous efforts have been made to prevent the virus from spreading in long-term care facilities, this is the first study to develop testing strategies based on formal optimization methods. This paper proposes two novel optimization models for testing schedules. The models aim to minimize the risk of infection in retirement homes, considering the trade-off between the probability of infection and staff workload. We employ a probabilistic approach in conjunction with the optimization models, to compute the risk of infection, including contact rates, incidence status, and the probability of infection of the residents. To solve the models, we propose an enhanced local search algorithm by leveraging the symmetry property of the optimal solution. We perform several experiments with realistically sized instances and show that the proposed approach can derive optimal testing strategies.


title: Verifiable Quantum Advantage without Structure

abstract: We show the following hold, unconditionally unless otherwise stated, relative to a random oracle with probability 1: - There are NP search problems solvable by BQP machines but not BPP machines. - There exist functions that are one-way, and even collision resistant, against classical adversaries but are easily inverted quantumly. Similar separations hold for digital signatures and CPA-secure public key encryption (the latter requiring the assumption of a classically CPA-secure encryption scheme). Interestingly, the separation does not necessarily extend to the case of other cryptographic objects such as PRGs. - There are unconditional publicly verifiable proofs of quantumness with the minimal rounds of interaction: for uniform adversaries, the proofs are non-interactive, whereas for non-uniform adversaries the proofs are two message public coin. - Our results do not appear to contradict the Aaronson-Ambanis conjecture. Assuming this conjecture, there exist publicly verifiable certifiable randomness, again with the minimal rounds of interaction. By replacing the random oracle with a concrete cryptographic hash function such as SHA2, we obtain plausible Minicrypt instantiations of the above results. Previous analogous results all required substantial structure, either in terms of highly structured oracles and/or algebraic assumptions in Cryptomania and beyond.


title: PERKS: a Locality-Optimized Execution Model for Iterative Memory-bound GPU Applications

abstract: Iterative memory-bound solvers commonly occur in HPC codes. Typical GPU implementations have a loop on the host side that invokes the GPU kernel as much as time/algorithm steps there are. The termination of each kernel implicitly acts the barrier required after advancing the solution every time step. We propose an execution model for running memory-bound iterative GPU kernels: PERsistent KernelS (PERKS). In this model, the time loop is moved inside persistent kernel, and device-wide barriers are used for synchronization. We then reduce the traffic to device memory by caching subset of the output in each time step in the unused registers and shared memory. PERKS can be generalized to any iterative solver: they largely independent of the solver's implementation. We explain the design principle of PERKS and demonstrate effectiveness of PERKS for a wide range of iterative 2D/3D stencil benchmarks (geomean speedup of $2.12$x for 2D stencils and $1.24$x for 3D stencils over state-of-art libraries), and a Krylov subspace conjugate gradient solver (geomean speedup of $4.86$x in smaller SpMV datasets from SuiteSparse and $1.43$x in larger SpMV datasets over a state-of-art library). All PERKS-based implementations available at: https://github.com/neozhang307/PERKS.


title: Free cyclic actions on surfaces and the Borsuk-Ulam theorem

abstract: Let $M$ and $N$ be topological spaces, let $G$ be a group, and let $\tau \colon\thinspace G \times M \to M$ be a proper free action of $G$. In this paper, we define a Borsuk-Ulam-type property for homotopy classes of maps from $M$ to $N$ with respect to the pair $(G,\tau)$ that generalises the classical antipodal Borsuk-Ulam theorem of maps from the $n$-sphere $\mathbb{S}^n$ to $\mathbb{R}^n$. In the cases where $M$ is a finite pathwise-connected CW-complex, $G$ is a finite, non-trivial Abelian group, $\tau$ is a proper free cellular action, and $N$ is either $\mathbb{R}^2$ or a compact surface without boundary different of $\mathbb{S}^2$ and $\mathbb{RP}^2$, we give an algebraic criterion involving braid groups to decide whether a free homotopy class $\beta \in [M,N]$ has the Borsuk-Ulam property. As an application of this criterion, we consider the case where $M$ is a compact surface without boundary equipped with a free action $\tau$ of the finite cyclic group $\mathbb{Z}_n$. In terms of the orientability of the orbit space $M_\tau$ of $M$ by the action $\tau$, the value of $n$ modulo $4$ and a certain algebraic condition involving the first homology group of $M_\tau$, we are able to determine if the single homotopy class of maps from $M$ to $\mathbb{R}^2$ possesses the Borsuk-Ulam property with respect to $(\mathbb{Z}_n,\tau)$. Finally, we give some examples of surfaces on which the symmetric group acts, and for these cases, we obtain some partial results regarding the Borsuk-Ulam property for maps whose target is $\mathbb{R}^2$.


title: Inverse Problems Are Solvable on Real Number Signal Processing Hardware

abstract: Despite the success of Deep Learning (DL) serious reliability issues such as non-robustness persist. An interesting aspect is, whether these problems arise due to insufficient tools or due to fundamental limitations of DL. We study this question from the computability perspective, i.e., we characterize the limits imposed by the applied hardware. For this, we focus on the class of inverse problems, which, in particular, encompasses any task to reconstruct data from measurements. On digital hardware, a conceptual barrier on the capabilities of DL for solving finite-dimensional inverse problems has in fact already been derived. This paper investigates the general computation framework of Blum-Shub-Smale (BSS) machines which allows the processing and storage of arbitrary real values. Although a corresponding real world computing device does not exist at the moment, research and development towards real number computing hardware, usually referred to by the term "neuromorphic computing", has increased in recent years. In this work, we show that the framework of BSS machines does enable the algorithmic solvability of finite dimensional inverse problems. Our results emphasize the influence of the considered computing model in questions of accuracy and reliability.


title: Design considerations for a hierarchical semantic compositional framework for medical natural language understanding

abstract: Medical natural language processing (NLP) systems are a key enabling technology for transforming Big Data from clinical report repositories to information used to support disease models and validate intervention methods. However, current medical NLP systems fall considerably short when faced with the task of logically interpreting clinical text. In this paper, we describe a framework inspired by mechanisms of human cognition in an attempt to jump the NLP performance curve. The design centers about a hierarchical semantic compositional model (HSCM) which provides an internal substrate for guiding the interpretation process. The paper describes insights from four key cognitive aspects including semantic memory, semantic composition, semantic activation, and hierarchical predictive coding. We discuss the design of a generative semantic model and an associated semantic parser used to transform a free-text sentence into a logical representation of its meaning. The paper discusses supportive and antagonistic arguments for the key features of the architecture as a long-term foundational framework.


title: Theoretical analysis of the extended cyclic reduction algorithm

abstract: The extended cyclic reduction algorithm developed by Swarztrauber in 1974 was used to solve the block-tridiagonal linear system. The paper fills in the gap of theoretical results concerning the zeros of matrix polynomial $B_{i}^{(r)}$ with respect to a tridiagonal matrix which are computed by Newton's method in the extended cyclic reduction algorithm. Meanwhile, the forward error analysis of the extended cyclic reduction algorithm for solving the block-tridiagonal system is studied. To achieve the two aims, the critical point is to find out that the zeros of matrix polynomial $B_{i}^{(r)}$ are eigenvalues of a principal submatrix of the coefficient matrix.


title: Mirror symmetry on levels of non-abelian Landau--Ginzburg orbifolds

abstract: We consider the Berglund-H\"ubsch-Henningson-Takahashi duality of Landau-Ginzburg orbifolds with a symmetry group generated by some diagonal symmetries and some permutations of variables. We study the orbifold Euler characteristics, the orbifold zeta functions and the orbifold E-functions of such dual pairs. We conjecture that we get a mirror symmetry between these invariants even on each level, where we call level the conjugacy class of a permutation. We support this conjecture by giving partial results for each of these invariants.


title: Spread Spurious Attribute: Improving Worst-group Accuracy with Spurious Attribute Estimation

abstract: The paradigm of worst-group loss minimization has shown its promise in avoiding to learn spurious correlations, but requires costly additional supervision on spurious attributes. To resolve this, recent works focus on developing weaker forms of supervision -- e.g., hyperparameters discovered with a small number of validation samples with spurious attribute annotation -- but none of the methods retain comparable performance to methods using full supervision on the spurious attribute. In this paper, instead of searching for weaker supervisions, we ask: Given access to a fixed number of samples with spurious attribute annotations, what is the best achievable worst-group loss if we "fully exploit" them? To this end, we propose a pseudo-attribute-based algorithm, coined Spread Spurious Attribute (SSA), for improving the worst-group accuracy. In particular, we leverage samples both with and without spurious attribute annotations to train a model to predict the spurious attribute, then use the pseudo-attribute predicted by the trained model as supervision on the spurious attribute to train a new robust model having minimal worst-group loss. Our experiments on various benchmark datasets show that our algorithm consistently outperforms the baseline methods using the same number of validation samples with spurious attribute annotations. We also demonstrate that the proposed SSA can achieve comparable performances to methods using full (100%) spurious attribute supervision, by using a much smaller number of annotated samples -- from 0.6% and up to 1.5%, depending on the dataset.


abstract: Variational autoencoders (VAEs) have witnessed great success in performing the compression of image datasets. This success, made possible by the bits-back coding framework, has produced competitive compression performance across many benchmarks. However, despite this, VAE architectures are currently limited by a combination of coding practicalities and compression ratios. That is, not only do state-of-the-art methods, such as normalizing flows, often demonstrate out-performance, but the initial bits required in coding makes single and parallel image compression challenging. To remedy this, we introduce Split Hierarchical Variational Compression (SHVC). SHVC introduces two novelties. Firstly, we propose an efficient autoregressive prior, the autoregressive sub-pixel convolution, that allows a generalisation between per-pixel autoregressions and fully factorised probability models. Secondly, we define our coding framework, the autoregressive initial bits, that flexibly supports parallel coding and avoids -- for the first time -- many of the practicalities commonly associated with bits-back coding. In our experiments, we demonstrate SHVC is able to achieve state-of-the-art compression performance across full-resolution lossless image compression tasks, with up to 100x fewer model parameters than competing VAE approaches.


title: Trajectories and Radiation of Charged Particles in the Pulsar Magnetosphere

abstract: Trajectories and radiation of the accelerating electrons are studied in the pulsar magnetosphere approximated as the electromagnetic field of the Deutsch's solutions. Because the electrons are accelerated rapidly to ultra-relativistic velocity near the neutron star surface, the electron velocity vector (and then its trajectory) is derived from the balance between Lorentz force and radiation reaction force, which makes the pitch angle between electron trajectories and magnetic field lines nonzero in most part of the magnetosphere. In such a case, the spectral energy distributions (SEDs) of synchro-curvature radiation for the accelerating electrons with a mono-energetic form are calculated. Our results indicate that: (i) the pitch angle is the function of electron position ($r, \theta, \phi$) in the open field line regions, and increases with increasing $r$ and $\theta$ as well as increasing the inclination angle; (ii) the radius of curvature becomes large along the particle trajectory, and (iii) the SED appears a double peak structure depending on the emission position, where the synchrotron radiation plays an important role in X-ray band and curvature radiation mainly works in GeV band, which is only determined by parameters $\alpha$ and $\zeta$


title: Asymptotic Theory for Unit Root Moderate Deviations in Quantile Autoregressions and Predictive Regressions

abstract: We establish the asymptotic theory in quantile autoregression when the model parameter is specified with respect to moderate deviations from the unit boundary of the form (1 + c / k) with a convergence sequence that diverges at a rate slower than the sample size n. Then, extending the framework proposed by Phillips and Magdalinos (2007), we consider the limit theory for the near-stationary and the near-explosive cases when the model is estimated with a conditional quantile specification function and model parameters are quantile-dependent. Additionally, a Bahadur-type representation and limiting distributions based on the M-estimators of the model parameters are derived. Specifically, we show that the serial correlation coefficient converges in distribution to a ratio of two independent random variables. Monte Carlo simulations illustrate the finite-sample performance of the estimation procedure under investigation.


title: Acute sensitivity of global ocean circulation and heat content to eddy energy dissipation time-scale

abstract: The global ocean overturning circulation, critically dependent on the global density stratification, plays a central role in regulating climate evolution. While it is well-known that the global stratification profile exhibits a strong dependence to Southern Ocean dynamics and in particular to wind and buoyancy forcing, we demonstrate here that the stratification is also acutely sensitive to the mesoscale eddy energy dissipation time-scale. Within the context of a global ocean circulation model with an energy constrained mesoscale eddy parameterization, it is shown that modest variations in the eddy energy dissipation time-scale lead to significant variations in key metrics relating to ocean circulation, namely the Antarctic Circumpolar Current transport, Atlantic Meridional Overturning Circulation strength, and global ocean heat content, over long time-scales. The results highlight a need to constrain uncertainties associated with eddy energy dissipation for climate model projections over centennial time-scales, but also for paleoclimate simulations over millennial time-scales.


title: Complex-Valued Autoencoders for Object Discovery

abstract: Object-centric representations form the basis of human perception, and enable us to reason about the world and to systematically generalize to new settings. Currently, most works on unsupervised object discovery focus on slot-based approaches, which explicitly separate the latent representations of individual objects. While the result is easily interpretable, it usually requires the design of involved architectures. In contrast to this, we propose a comparatively simple approach - the Complex AutoEncoder (CAE) - that creates distributed object-centric representations. Following a coding scheme theorized to underlie object representations in biological neurons, its complex-valued activations represent two messages: their magnitudes express the presence of a feature, while the relative phase differences between neurons express which features should be bound together to create joint object representations. In contrast to previous approaches using complex-valued activations for object discovery, we present a fully unsupervised approach that is trained end-to-end - resulting in significant improvements in performance and efficiency. Further, we show that the CAE achieves competitive or better unsupervised object discovery performance on simple multi-object datasets compared to a state-of-the-art slot-based approach while being up to 100 times faster to train.


title: Separability and harmony in ecumenical systems

abstract: The quest of smoothly combining logics so that connectives from classical and intuitionistic logics can co-exist in peace has been a fascinating topic of research for decades now. In 2015, Dag Prawitz proposed a natural deduction system for an ecumenical first-order logic. We start this work by proposing a {\em pure} sequent calculus version for it, in the sense that connectives are introduced without the use of other connectives. For doing this, we extend sequents with an extra context, the stoup, and define the ecumenical notion of polarities. Finally, we smoothly extend these ideas for handling modalities, presenting pure labeled and nested systems for ecumenical modal logics.


title: A note on quadratic Poisson brackets on ${\mathrm{gl}}(n,{\mathbb{R}})$ related to Toda lattices

abstract: It is well known that the compatible linear and quadratic Poisson brackets of the full symmetric and of the standard open Toda lattices are restrictions of linear and quadratic $r$-matrix Poisson brackets on the associative algebra ${\mathrm{gl}}(n,{\mathbb{R}})$. We here show that the quadratic bracket on ${\mathrm{gl}}(n,{\mathbb{R}})$, corresponding to the $r$-matrix defined by the splitting of ${\mathrm{gl}}(n,{\mathbb{R}})$ into the direct sum of the upper triangular and orthogonal Lie subalgebras, descends by Poisson reduction from a quadratic Poisson structure on the cotangent bundle $T^*{\mathrm{GL}}(n,{\mathbb{R}})$. This complements the interpretation of the linear $r$-matrix bracket as a reduction of the canonical Poisson bracket of the cotangent bundle.


title: Semi-supervised Semantic Segmentation with Error Localization Network

abstract: This paper studies semi-supervised learning of semantic segmentation, which assumes that only a small portion of training images are labeled and the others remain unlabeled. The unlabeled images are usually assigned pseudo labels to be used in training, which however often causes the risk of performance degradation due to the confirmation bias towards errors on the pseudo labels. We present a novel method that resolves this chronic issue of pseudo labeling. At the heart of our method lies error localization network (ELN), an auxiliary module that takes an image and its segmentation prediction as input and identifies pixels whose pseudo labels are likely to be wrong. ELN enables semi-supervised learning to be robust against inaccurate pseudo labels by disregarding label noises during training and can be naturally integrated with self-training and contrastive learning. Moreover, we introduce a new learning strategy for ELN that simulates plausible and diverse segmentation errors during training of ELN to enhance its generalization. Our method is evaluated on PASCAL VOC 2012 and Cityscapes, where it outperforms all existing methods in every evaluation setting.


title: Quotient spaces with strong subgyrogroups

abstract: In this paper, we mainly investigate the quotient spaces G/H when G is a strongly topological gyrogroup and H is a strong subgyrogroup of G. It is shown that if G is a strongly topological gyrogroup, H is a closed strong subgyrogroup of G and H is inner neutral, then the quotient space G/H is first-countable if and only if G/H is a bisequential space if and only if G/H is a weakly first-countable space if and only if G/H is a csf-countable and sequential a7-space. Moreover, it is shown that if H is a locally compact metrizable strong subgyrogroup of G and the quotient space G/H is sequential, then G is also sequential; if H is a closed first-countable and separable strong subgyrogroup of G, the quotient space G/H is a cosmic space, then G is also a cosmic space; if the quotient space G/H has a star-countable cs-network or star-countable wcs*-network, then G also has a star-countable cs-network or star-countable wcs*-network, respectively.


title: Photometric redshift-aided classification using ensemble learning

abstract: We present SHEEP, a new machine learning approach to the classic problem of astronomical source classification, which combines the outputs from the XGBoost, LightGBM, and CatBoost learning algorithms to create stronger classifiers. A novel step in our pipeline is that prior to performing the classification, SHEEP first estimates photometric redshifts, which are then placed into the data set as an additional feature for classification model training; this results in significant improvements in the subsequent classification performance. SHEEP contains two distinct classification methodologies: (i) Multi-class and (ii) one versus all with correction by a meta-learner. We demonstrate the performance of SHEEP for the classification of stars, galaxies, and quasars using a data set composed of SDSS and WISE photometry of 3.5 million astronomical sources. The resulting F1-scores are as follows: 0.992 for galaxies; 0.967 for quasars; and 0.985 for stars. In terms of the F1-scores for the three classes, SHEEP is found to outperform a recent RandomForest-based classification approach using an essentially identical data set. Our methodology also facilitates model and data set explainability via feature importances; it also allows the selection of sources whose uncertain classifications may make them interesting sources for follow-up observations.


title: Real-time Online Multi-Object Tracking in Compressed Domain

abstract: Recent online Multi-Object Tracking (MOT) methods have achieved desirable tracking performance. However, the tracking speed of most existing methods is rather slow. Inspired from the fact that the adjacent frames are highly relevant and redundant, we divide the frames into key and non-key frames respectively and track objects in the compressed domain. For the key frames, the RGB images are restored for detection and data association. To make data association more reliable, an appearance Convolutional Neural Network (CNN) which can be jointly trained with the detector is proposed. For the non-key frames, the objects are directly propagated by a tracking CNN based on the motion information provided in the compressed domain. Compared with the state-of-the-art online MOT methods,our tracker is about 6x faster while maintaining a comparable tracking performance.


title: The evolution of the radio luminosity function of group galaxies in COSMOS

abstract: [Abridged] To understand the role of the galaxy group environment on galaxy evolution, we present a study of radio luminosity functions (RLFs) of group galaxies based on the VLA-COSMOS 3 GHz Large Project. The radio-selected sample of 7826 COSMOS galaxies with robust optical/near-infrared counterparts, excellent photometric coverage, and the COSMOS X-ray galaxy groups (M_200c > 10^13.5 M_sun) enables us to construct the RLF of group galaxies (GGs) and their contribution to the total RLF since z ~ 2.3. Using the Markov chain Monte Carlo algorithm, we fit a redshift-dependent pure luminosity evolution model and a linear and power-law model to the luminosity functions. We compare it with past RLF studies from VLA-COSMOS on individual populations of radio-selected star-forming galaxies (SFGs) and galaxies hosting active galactic nuclei (AGN). These populations are classified based on the presence or absence of a radio excess concerning the star-formation rates derived from the infrared emission. We find that the density of radio galaxies in groups is low compared to the field at z ~ 2 down to z ~ 1.25, followed by a sharp increase at z ~ 1 by a factor of 6, and then a smooth decline towards low redshifts. This trend is caused by both decrease in the volume abundance of massive groups at high-z and the changes in the halo occupation of radio AGN, which are found by other studies to reside at smaller halo mass groups. This indicates that the bulk of high-$z$ log10(M_200c/M_sun) > 13.5 groups must have been forming recently, and so the cooling has not been established as yet. The slope of the GG RLF is flatter compared to the field, with excess at high radio luminosities. The evolution in the GG RLF is driven mainly by satellite galaxies in groups. A drop in occurrence of AGN in groups at z > 1 by a factor of 6, manifests an important detail on the processes governing galaxy evolution.


title: The number of extended irreducible binary Goppa codes

abstract: Goppa, in the 1970s, discovered the relation between algebraic geometry and codes, which led to the family of Goppa codes. As one of the most interesting subclasses of linear codes, the family of Goppa codes is often chosen as a key in the McEliece cryptosystem. Knowledge of the number of inequivalent binary Goppa codes for fixed parameters may facilitate in the evaluation of the security of such a cryptosystem. Let $n\geq5$ be an odd prime number, let $q=2^n$ and let $r\geq3$ be a positive integer satisfying $\gcd(r,n)=1$. The purpose of this paper is to establish an upper bound on the number of inequivalent extended irreducible binary Goppa codes of length $q+1$ and degree $r$.A potential mathematical object for this purpose is to count the number of orbits of the projective semi-linear group ${\rm PGL}_2(\mathbb{F}_q)\rtimes{\rm Gal}(\mathbb{F}_{q^r}/\mathbb{F}_2)$ on the set $\mathcal{I}_r$ of all monic irreducible polynomials of degree $r$ over the finite field $\mathbb{F}_q$. An explicit formula for the number of orbits of ${\rm PGL}_2(\mathbb{F}_q)\rtimes{\rm Gal}(\mathbb{F}_{q^r}/\mathbb{F}_2)$ on $\mathcal{I}_r$ is given, and consequently, an upper bound for the number of inequivalent extended irreducible binary Goppa codes of length $q+1$ and degree $r$ is derived. Our main result naturally contains the main results of Ryan (IEEE-TIT 2015), Huang and Yue (IEEE-TIT, 2022) and, Chen and Zhang (IEEE-TIT, 2022), which considered the cases $r=4$, $r=6$ and $\gcd(r,q^3-q)=1$ respectively.


title: Real-time Hyperspectral Imaging in Hardware via Trained Metasurface Encoders

abstract: Hyperspectral imaging has attracted significant attention to identify spectral signatures for image classification and automated pattern recognition in computer vision. State-of-the-art implementations of snapshot hyperspectral imaging rely on bulky, non-integrated, and expensive optical elements, including lenses, spectrometers, and filters. These macroscopic components do not allow fast data processing for, e.g real-time and high-resolution videos. This work introduces Hyplex, a new integrated architecture addressing the limitations discussed above. Hyplex is a CMOS-compatible, fast hyperspectral camera that replaces bulk optics with nanoscale metasurfaces inversely designed through artificial intelligence. Hyplex does not require spectrometers but makes use of conventional monochrome cameras, opening up the possibility for real-time and high-resolution hyperspectral imaging at inexpensive costs. Hyplex exploits a model-driven optimization, which connects the physical metasurfaces layer with modern visual computing approaches based on end-to-end training. We design and implement a prototype version of Hyplex and compare its performance against the state-of-the-art for typical imaging tasks such as spectral reconstruction and semantic segmentation. In all benchmarks, Hyplex reports the smallest reconstruction error. We additionally present what is, to the best of our knowledge, the largest publicly available labeled hyperspectral dataset for semantic segmentation.


title: High-throughput Pairwise Alignment with the Wavefront Algorithm using Processing-in-Memory

abstract: We show that the wavefront algorithm can achieve higher pairwise read alignment throughput on a UPMEM PIM system than on a server-grade multi-threaded CPU system.


title: Gravity at the Tip of the Throat

abstract: We study the gravitational signatures that arise from compactifying Type IIB supergravity on a compact space containing a Klebanov-Strassler warped throat. After reviewing the dimensional reduction of the 10d graviton and explicitly obtaining the equations of motion for the 4d tensor $h_{\mu\nu}$, vector $h_{\mu n}$ and scalar $h_{mn}$ modes, we find the masses and wavefunctions of the Kaluza-Klein tower of spin-2 states. We explore how the masses and wavefunctions depend on the balance between the strength of the warping and the size of the bulk, and how these relate to the range and strength of the interactions which correct the Newtonian gravitational potential. By computing the modified Newtonian potential for sources on a brane somewhere along the throat, and applying consistency constraints on the Klebanov-Strassler parameters, we obtain predictions for the phenomenological parameter space. In the case of a fully warped throat, and depending on where the brane is along the throat, these predictions are narrow in range and consistent with current observational and experimental constraints. We also begin an exploration of gravitational wave signatures of KK gravitons in warped throats, finding that strong warping can bring the corresponding frequencies down to the windows of current and proposed experiments.


title: Projection onto quadratic hypersurfaces

abstract: We address the problem of projecting a point onto a quadratic hypersurface, more specifically a central quadric. We show how this problem reduces to finding a given root of a scalar-valued nonlinear function. We completely characterize one of the optimal solutions of the projection as either the unique root of this nonlinear function on a given interval, or as a point that belongs to a finite set of computable solutions. We then leverage this projection and the recent advancements in splitting methods to compute the projection onto the intersection of a box and a quadratic hypersurface with alternating projections and Douglas-Rachford splitting methods. We test these methods on a practical problem from the power systems literature, and show that they outperform IPOPT and Gurobi in terms of objective, execution time and feasibility of the solution.


title: A Mixed supervised Learning Framework for Target Sound Detection

abstract: Target sound detection (TSD) aims to detect the target sound from mixture audio given the reference information. Previous works have shown that TSD models can be trained on fully-annotated (frame-level label) or weakly-annotated (clip-level label) data. However, there are some clear evidences show that the performance of the model trained on weakly-annotated data is worse than that trained on fully-annotated data. To fill this gap, we provide a mixed supervision perspective, in which learning novel categories (target domain) using weak annotations with the help of full annotations of existing base categories (source domain). To realize this, a mixed supervised learning framework is proposed, which contains two mutually-helping student models (\textit{f\_student} and \textit{w\_student}) that learn from fully-annotated and weakly-annotated data, respectively. The motivation is that \textit{f\_student} learned from fully-annotated data has a better ability to capture detailed information than \textit{w\_student}. Thus, we first let \textit{f\_student} guide \textit{w\_student} to learn the ability to capture details, so \textit{w\_student} can perform better in the target domain. Then we let \textit{w\_student} guide \textit{f\_student} to fine-tune on the target domain. The process can be repeated several times so that the two students perform very well in the target domain. To evaluate our method, we built three TSD datasets based on UrbanSound and Audioset. Experimental results show that our methods offer about 8\% improvement in event-based F-score as compared with a recent baseline.


title: $\mathbb{Z}_4$-symmetric perturbations to the XY model from functional renormalization

abstract: We employ the second order of the derivative expansion of the nonperturbative renormalization group to study cubic ($\mathbb{Z}_4$-symmetric) perturbations to the classical $XY$ model in dimensionality $d\in [2,4]$. In $d=3$ we provide accurate estimates of the eigenvalue $y_4$ corresponding to the leading irrelevant perturbation and follow the evolution of the physical picture upon reducing spatial dimensionality from $d=3$ towards $d=2$, where we approximately recover the onset of the Kosterlitz-Thouless physics. We analyze the interplay between the leading irrelevant eigenvalues related to $O(2)$-symmetric and $\mathbb{Z}_4$-symmetric perturbations and their approximate collapse for $d\to 2$. We compare and discuss different implementations of the derivative expansion in cases involving one and two invariants of the corresponding symmetry group.


title: VocaLiST: An Audio-Visual Synchronisation Model for Lips and Voices

abstract: In this paper, we address the problem of lip-voice synchronisation in videos containing human face and voice. Our approach is based on determining if the lips motion and the voice in a video are synchronised or not, depending on their audio-visual correspondence score. We propose an audio-visual cross-modal transformer-based model that outperforms several baseline models in the audio-visual synchronisation task on the standard lip-reading speech benchmark dataset LRS2. While the existing methods focus mainly on lip synchronisation in speech videos, we also consider the special case of the singing voice. The singing voice is a more challenging use case for synchronisation due to sustained vowel sounds. We also investigate the relevance of lip synchronisation models trained on speech datasets in the context of singing voice. Finally, we use the frozen visual features learned by our lip synchronisation model in the singing voice separation task to outperform a baseline audio-visual model which was trained end-to-end. The demos, source code, and the pre-trained models are available on https://ipcv.github.io/VocaLiST/


title: P3Depth: Monocular Depth Estimation with a Piecewise Planarity Prior

abstract: Monocular depth estimation is vital for scene understanding and downstream tasks. We focus on the supervised setup, in which ground-truth depth is available only at training time. Based on knowledge about the high regularity of real 3D scenes, we propose a method that learns to selectively leverage information from coplanar pixels to improve the predicted depth. In particular, we introduce a piecewise planarity prior which states that for each pixel, there is a seed pixel which shares the same planar 3D surface with the former. Motivated by this prior, we design a network with two heads. The first head outputs pixel-level plane coefficients, while the second one outputs a dense offset vector field that identifies the positions of seed pixels. The plane coefficients of seed pixels are then used to predict depth at each position. The resulting prediction is adaptively fused with the initial prediction from the first head via a learned confidence to account for potential deviations from precise local planarity. The entire architecture is trained end-to-end thanks to the differentiability of the proposed modules and it learns to predict regular depth maps, with sharp edges at occlusion boundaries. An extensive evaluation of our method shows that we set the new state of the art in supervised monocular depth estimation, surpassing prior methods on NYU Depth-v2 and on the Garg split of KITTI. Our method delivers depth maps that yield plausible 3D reconstructions of the input scenes. Code is available at: https://github.com/SysCV/P3Depth


title: Universality of SIS epidemics starting from small initial conditions

abstract: We are investigating deterministic SIS dynamics on large networks starting from only a few infected individuals. Under mild assumptions we show that any two epidemic curves - on the same network and with the same parameters - are almost identical up to time translation when initial conditions are small enough regardless of how infections are distributed at the beginning. The limit object - an epidemic starting from the infinite past with infinitesimal prevalence - is identified as the nontrivial eternal solution connecting the disease free state with the endemic equilibrium. Our framework covers several benchmark models including the N-Intertwined Mean Field Approximation (NIMFA) and the Inhomogeneous Mean Field Approximation (IMFA).


title: A machine learning-based framework for high resolution mapping of PM2.5 in Tehran, Iran, using MAIAC AOD data

abstract: This paper investigates the possibility of high resolution mapping of PM2.5 concentration over Tehran city using high resolution satellite AOD (MAIAC) retrievals. For this purpose, a framework including three main stages, data preprocessing; regression modeling; and model deployment was proposed. The output of the framework was a machine learning model trained to predict PM2.5 from MAIAC AOD retrievals and meteorological data. The results of model testing revealed the efficiency and capability of the developed framework for high resolution mapping of PM2.5, which was not realized in former investigations performed over the city. Thus, this study, for the first time, realized daily, 1 km resolution mapping of PM2.5 in Tehran with R2 around 0.74 and RMSE better than 9.0 mg/m3. Keywords: MAIAC; MODIS; AOD; Machine learning; Deep learning; PM2.5; Regression


title: The Nicolai map for super Yang-Mills theory and application to the supermembrane

abstract: The nonlocal bosonic theory obtained from integrating out all anticommuting and auxiliary variables in a globally supersymmetric theory is characterized by the Nicolai map. We present a universal formula for the latter in terms of an ordered exponential of the integrated coupling flow operator, which can be canonically constructed. Also for supersymmetric gauge theories, this allows us to perturbatively construct the Nicolai map explicitly in terms of tree diagrams. For off-shell supersymmetry this works in any gauge, in the on-shell case the Landau gauge is required. The dimensional reduction of $D{=}10$ super Yang-Mills to maximally supersymmetric SU($N$) matrix mechanics (the BFSS model) is known to provide a regularization of the $D{=}11$ supermembrane in light-cone gauge via its incarnation as a one-dimensional gauge theory of area-preserving membrane diffeomorphisms. We show how a well-defined corresponding Nicolai map perturbatively linearizes the supermembrane in the small-tension regime and points the way for a computation of vertex-operator correlators.


title: Streaming Facility Location in High Dimension via Geometric Hashing

abstract: In Euclidean Uniform Facility Location (UFL), the input is a set of clients in $\mathbb{R}^d$ and the goal is to place facilities to serve them, so as to minimize the total cost of opening facilities plus connecting the clients. We study the setting of dynamic geometric streams, where the clients are presented as a sequence of insertions and deletions of points in the grid $\{1,\ldots,\Delta\}^d$, and we focus on the \emph{high-dimensional regime}, where the algorithm must use space polynomial in $d\cdot\log\Delta$. We present a new algorithmic framework, based on importance sampling, for $O(1)$-approximation of UFL using only $\mathrm{poly}(d\cdot\log\Delta)$ space. This framework is easy to implement in two passes, one for sampling points and the other for estimating their contribution. Over random-order streams, we can extend this to one pass by using the two halves of the stream separately. Our main result, for arbitrary-order streams, computes $O(d / \log d)$-approximation in one pass by combining the two passes differently. This improves upon previous algorithms that either need space $\exp(d)$ or only guarantee $O(d\cdot\log^2\Delta)$-approximation, and therefore our algorithms for high dimension are the first to avoid the $O(\log\Delta)$-factor in approximation that is inherent to the widely-used quadtree decomposition. Our improvement is achieved by employing a geometric hashing scheme that maps points in $\mathbb{R}^d$ into buckets of bounded diameter, with the key property that every point set of small-enough diameter is hashed into few buckets. By applying an alternative bound for this hashing, we also obtain an $O(1 / \epsilon)$-approximation in one pass, using larger but still sublinear space $O(n^{\epsilon})$ where $n$ is the number of clients. We complement our results by showing $1.085$-approximation requires space exponential in $\mathrm{poly}(d\cdot\log\Delta)$.


title: On $k$-universal quadratic lattices over unramified dyadic local fields

abstract: Let $k$ be a positive integer and let $F$ be a finite unramified extension of $\mathbb{Q}_2$ with ring of integers $\mathcal{O}_F$. An integral (resp. classic) quadratic form over $\mathcal{O}_F$ is called $k$-universal (resp. classically $k$-universal) if it represents all integral (resp. classic) quadratic forms of dimension $k$. In this paper, we provide a complete classification of $k$-universal and classically $k$-universal quadratic forms over $\mathcal{O}_F$. The results are stated in terms of the fundamental invariants associated to Jordan splittings of quadratic lattices.


title: Simulated Annealing is a Polynomial-Time Approximation Scheme for the Minimum Spanning Tree Problem

abstract: We prove that Simulated Annealing with an appropriate cooling schedule computes arbitrarily tight constant-factor approximations to the minimum spanning tree problem in polynomial time. This result was conjectured by Wegener (2005). More precisely, denoting by $n, m, w_{\max}$, and $w_{\min}$ the number of vertices and edges as well as the maximum and minimum edge weight of the MST instance, we prove that simulated annealing with initial temperature $T_0 \ge w_{\max}$ and multiplicative cooling schedule with factor $1-1/\ell$, where $\ell = \omega (mn\ln(m))$, with probability at least $1-1/m$ computes in time $O(\ell (\ln\ln (\ell) + \ln(T_0/w_{\min}) ))$ a spanning tree with weight at most $1+\kappa$ times the optimum weight, where $1+\kappa = \frac{(1+o(1))\ln(\ell m)}{\ln(\ell) -\ln (mn\ln (m))}$. Consequently, for any $\epsilon>0$, we can choose $\ell$ in such a way that a $(1+\epsilon)$-approximation is found in time $O((mn\ln(n))^{1+1/\epsilon+o(1)}(\ln\ln n + \ln(T_0/w_{\min})))$ with probability at least $1-1/m$. In the special case of so-called $(1+\epsilon)$-separated weights, this algorithm computes an optimal solution (again in time $O( (mn\ln(n))^{1+1/\epsilon+o(1)}(\ln\ln n + \ln(T_0/w_{\min})))$), which is a significant speed-up over Wegener's runtime guarantee of $O(m^{8 + 8/\epsilon})$.


title: Constraining primordial black holes as a fraction of dark matter through accretion disk luminosity

abstract: In this paper, we consider the hypothesis that fractions of dark matter could be constituted by primordial black holes (PBHs). To test this possibility, we work out the observational properties of a static black hole embedded in the dark matter envelope made of a PBH source. The corresponding modifications of geometry due to such a physical system are investigated, with a particular focus on the accretion disk luminosity in spiral galaxies. The impact of the PBH presence is analyzed through modification of the disk luminosity and kinematic quantities. Thus, we discuss possible constraints on the PBH abundance in view of the most recent theoretical bounds. The results of our study indicate that suitable PBH masses are $M_\text{PBH}\in[10^6,10^{12}]M_\odot$ for PBH fractions $f_\text{PBH}\in[10^{-3},1]$. In particular, a comparison with the predictions of the exponential sphere density profile for dark matter suggests that the best-matching configuration is achieved for $f_\text{PBH}=1$ and $M_\text{PBH}=10^6 M_\odot$. Consequences with respect to the current knowledge on primordial black hole physics are discussed.


title: Collective control of modular soft robots via embodied Spiking Neural Cellular Automata

abstract: Voxel-based Soft Robots (VSRs) are a form of modular soft robots, composed of several deformable cubes, i.e., voxels. Each VSR is thus an ensemble of simple agents, namely the voxels, which must cooperate to give rise to the overall VSR behavior. Within this paradigm, collective intelligence plays a key role in enabling the emerge of coordination, as each voxel is independently controlled, exploiting only the local sensory information together with some knowledge passed from its direct neighbors (distributed or collective control). In this work, we propose a novel form of collective control, influenced by Neural Cellular Automata (NCA) and based on the bio-inspired Spiking Neural Networks: the embodied Spiking NCA (SNCA). We experiment with different variants of SNCA, and find them to be competitive with the state-of-the-art distributed controllers for the task of locomotion. In addition, our findings show significant improvement with respect to the baseline in terms of adaptability to unforeseen environmental changes, which could be a determining factor for physical practicability of VSRs.


title: Self-supervised learning -- A way to minimize time and effort for precision agriculture?

abstract: Machine learning, satellites or local sensors are key factors for a sustainable and resource-saving optimisation of agriculture and proved its values for the management of agricultural land. Up to now, the main focus was on the enlargement of data which were evaluated by means of supervised learning methods. Nevertheless, the need for labels is also a limiting and time-consuming factor, while in contrast, ongoing technological development is already providing an ever-increasing amount of unlabeled data. Self-supervised learning (SSL) could overcome this limitation and incorporate existing unlabeled data. Therefore, a crop type data set was utilized to conduct experiments with SSL and compare it to supervised methods. A unique feature of our data set from 2016 to 2018 was a divergent climatological condition in 2018 that reduced yields and affected the spectral fingerprint of the plants. Our experiments focused on predicting 2018 using SLL without or a few labels to clarify whether new labels should be collected for an unknown year. Despite these challenging conditions, the results showed that SSL contributed to higher accuracies. We believe that the results will encourage further improvements in the field of precision farming, why the SSL framework and data will be published (Marszalek, 2021).


title: Non-Linear Speech coding with MLP, RBF and Elman based prediction

abstract: In this paper we propose a nonlinear scalar predictor based on a combination of Multi Layer Perceptron, Radial Basis Functions and Elman networks. This system is applied to speech coding in an ADPCM backward scheme. The combination of this predictors improves the results of one predictor alone. A comparative study of this three neural networks for speech prediction is also presented.


title: Dynamic Federations for 6G Cell-Free Networking: Concepts and Terminology

abstract: Cell-Free networking is one of the prime candidates for 6G networks. Despite being capable of providing the 6G needs, practical limitations and considerations are often neglected in current research. In this work, we introduce the concept of federations to dynamically scale and select the best set of resources, e.g., antennas, computing and data resources, to serve a given application. Next to communication, 6G systems are expected to provide also wireless powering, positioning and sensing, further increasing the complexity of such systems. Therefore, each federation is self-managing and is distributed over the area in a cell-free manner. Next to the dynamic federations, new accompanying terminology is proposed to design cell-free systems taking into account practical limitations such as time synchronization and distributed processing. We conclude with an illustration with four federations, serving distinct applications, and introduce two new testbeds to study these architectures and concepts.


title: Quantum noise limited microwave amplification using a graphene Josephson junction

abstract: Josephson junctions (JJ) and their tunable properties, including their nonlinearities, form the core of superconducting circuit quantum electrodynamics (cQED). In quantum circuits, low-noise amplification of feeble microwave signals is essential and the Josephson parametric amplifiers (JPA) are the widely used devices. The existing JPAs are based on Al-AlOx-Al tunnel junctions realized in a superconducting quantum interference device geometry, where magnetic flux is the knob for tuning the frequency. Recent experimental realizations of 2D van der Waals JJs provide an opportunity to implement various cQED devices with the added advantage of tuning the junction properties and the operating point using a gate potential. While other components of a possible 2D van der Waals cQED architecture have been demonstrated -- quantum noise limited amplifier, an essential component, has not been realized. Here we implement a quantum noise limited JPA, using a graphene JJ, that has linear resonance gate tunability of 3.5 GHz. We report 24 dB amplification with 10 MHz bandwidth and -130 dBm saturation power; performance on par with the best single-junction JPAs. Importantly, our gate tunable JPA works in the quantum-limited noise regime which makes it an attractive option for highly sensitive signal processing. Our work has implications for novel bolometers -- the low heat capacity of graphene together with JJ nonlinearity can result in an extremely sensitive microwave bolometer embedded inside a quantum noise-limited amplifier. In general, our work will open up exploration of scalable device architecture of 2D van der Waals materials by integrating a sensor with the quantum amplifier.


title: Watermarked ReRAM: A Technique to Prevent Counterfeit Memory Chips

abstract: Electronic counterfeiting is a longstanding problem with adverse long-term effects for many sectors, remaining on the rise. This article presents a novel low-cost technique to embed watermarking in devices with resistive-RAM (ReRAM) by manipulating its analog physical characteristics through switching (set/reset) operation to prevent counterfeiting. We develop a system-level framework to control memory cells' physical properties for imprinting irreversible watermarks into commercial ReRAMs that will be retrieved by sensing the changes in cells' physical properties. Experimental results show that our proposed ReRAM watermarking is robust against temperature variation and acceptably fast with ~0.6bit/min of imprinting and ~15.625bits/s of retrieval rates.


title: GROMACS Stochastic Dynamics and BAOAB are equivalent configurational sampling algorithms

abstract: Two of the most widely used Langevin integrators for molecular dynamics simulations are the GROMACS Stochastic Dynamics (GSD) integrator and the splitting method BAOAB. In this letter, we show that the GROMACS Stochastic Dynamics integrator is equal to the less frequently used splitting method BAOA. It immediately follows that GSD and BAOAB sample the same configurations and have the same high configurational accuracy. Our numerical results indicate that GSD/BAOA has higher kinetic accuracy than BAOAB.


title: How do media talk about the Covid-19 pandemic? Metaphorical thematic clustering in Italian online newspapers

abstract: The contribution presents a study on figurative language of the first months of the COVID-19 crisis in Italian online newspapers. Particularly, we contrast topics and metaphorical language used by journalists in the first and second phase of the government response to the pandemic in Spring 2020. The analysis is conducted on a journalistic corpus collected between February 24th and June 3rd, 2020. The analysis is performed using both quantitative and qualitative approaches, combining Structural Topic Modelling (Roberts et al. 2016), Conceptual Metaphor Theory (Lakoff & Johnson, 1980), and qualitative-corpus based metaphor analysis (Charteris-Black, 2004). We find a significant shift in topics discussed across Phase 1 and Phase 2, and interesting overlaps in topic-specific metaphors. Using qualitative corpus analysis, we present a more in-depth case study discussing metaphorical collocations of the topics of Economy and Society


title: A GPU-accelerated computational fluid dynamics solver for assessing shear-driven indoor airflow and virus transmission by scale-resolved simulations

abstract: We explore the applicability of MATLAB for 3D computational fluid dynamics (CFD) of shear-driven indoor airflows. A new scale-resolving, large-eddy simulation (LES) solver titled DNSLABIB is proposed for MATLAB utilizing graphics processing units (GPUs). The solver is first validated against another CFD software (OpenFOAM). Next, we demonstrate the solver performance in three isothermal indoor ventilation configurations and the results are discussed in the context of airborne transmission of COVID-19. Ventilation in these cases is studied at both low (0.1 m/s) and high (1 m/s) airflow rates corresponding to $Re=5000$ and $Re=50000$. An analysis of the indoor CO$_2$ concentration is carried out as the room is emptied from stale, high CO$_2$ content air. We estimate the air changes per hour (ACH) values for three different room geometries and show that the numerical estimates from 3D CFD simulations may differ by 80-150 % ($Re=50000$) and 75-140 % ($Re=5000$) from the theoretical ACH value based on the perfect mixing assumption. Additionally, the analysis of the CO$_2$ probability distributions (PDFs) indicates a relatively non-uniform distribution of fresh air indoors. Finally, utilizing a time-dependent Wells-Riley analysis, an example is provided on the growth of the cumulative infection risk being reduced rapidly after the ventilation is started. The average infection risk is shown to reduce by a factor of 2 for lower ventilation rates (ACH=3.4-6.3) and 10 for the higher ventilation rates (ACH=37-64). The results indicate a high potential for DNSLABIB in various future developments on airflow prediction.


title: When Locality Meets Preservation

abstract: This paper investigates the expressiveness of a fragment of first-order sentences in Gaifman normal form, namely the positive Boolean combinations of basic local sentences. We show that they match exactly the first-order sentences preserved under local elementary embeddings, thus providing a new general preservation theorem and extending the L\'os-Tarski Theorem. This full preservation result fails as usual in the finite, and we show furthermore that the naturally related decision problems are undecidable. In the more restricted case of preservation under extensions, it nevertheless yields new well-behaved classes of finite structures: we show that preservation under extensions holds if and only if it holds locally.


title: Distance to the Brick cloud using stellar kinematics

abstract: Context. The central molecular zone at the Galactic center is currently being studied intensively to understand how star formation proceeds under the extreme conditions of a galactic nucleus. Knowing the position of molecular clouds along the line of sight toward the Galactic center has had important implications in our understanding of the physics of the gas and star formation in the central molecular zone.It was recently claimed that the dense molecular cloud G0.253 + 0.016 (the Brick) has a distance of $\sim$7.20 kpc from the Sun. That would place it outside of the central molecular zone, and therefore of the nuclear stellar disk, but still inside the Bulge. Aims. Theoretical considerations as well as observational studies show that stars that belong to the nuclear stellar disk have different kinematics from those that belong to the inner Bulge. Therefore, we aim to constrain the distance to the Brick by studying the proper motions of the stars in the area. Results. The stellar population seen toward the nuclear stellar disk shows the following three kinematic components: 1) Bulge stars with an isotropic velocity dispersion of $\sim$3.5 micro-arc second per year; 2) eastward moving stars on the near side of the nuclear stellar disk; and 3) westward moving stars on the far side of the nuclear stellar disk. We clearly see all three components toward the comparison field. However, toward the Brick, which blocks the light from stars behind it, we can only see kinematic components 1) and 2). Conclusions. While the Brick blocks the light from stars on the far side of the nuclear stellar disk, the detection of a significant component of eastward streaming stars implies that the Brick must be located inside the nuclear stellar disk and, therefore, that it forms part of the central molecular zone.


title: Study of relativistic accretion flow around KTN black hole with shocks

abstract: We present the global solutions of low angular momentum, inviscid, advective accretion flow around Kerr-Taub-NUT (KTN) black hole in presence and absence of shock waves. These solutions are obtained by solving the governing equations that describe the relativistic accretion flow in KTN spacetime which is characterized by the Kerr parameter ($a_{\rm k}$) and NUT parameter ($n$). During accretion, rotating flow experiences centrifugal barrier that eventually triggers the discontinuous shock transition provided the relativistic shock conditions are satisfied. In reality, the viability of shocked accretion solution appears more generic over the shock free solution as the former possesses high entropy content at the inner edge of the disc. Due to shock compression, the post-shock flow (equivalently post-shock corona, hereafter PSC) becomes hot and dense, and therefore, can produce high energy radiations after reprocessing the soft photons from the pre-shock flow via inverse Comptonization. In general, PSC is characterized by the shock properties, namely shock location ($r_s$), compression ratio ($R$) and shock strength ($S$), and we examine their dependencies on the energy (${\cal E}$) and angular momentum ($\lambda$) of the flow as well as black hole parameters. We identify the effective domain of the parameter space in $\lambda-{\cal E}$ plane for shock and observe that shock continues to form for wide range of flow parameters. We also find that $a_{\rm k}$ and $n$ act oppositely in determining the shock properties and shock parameter space. Finally, we calculate the disc luminosity ($L$) considering free-free emissions and observe that accretion flows containing shocks are more luminous compared to the shock free solutions.


title: Birds of A Feather Flock Together: Category-Divergence Guidance for Domain Adaptive Segmentation

abstract: Unsupervised domain adaptation (UDA) aims to enhance the generalization capability of a certain model from a source domain to a target domain. Present UDA models focus on alleviating the domain shift by minimizing the feature discrepancy between the source domain and the target domain but usually ignore the class confusion problem. In this work, we propose an Inter-class Separation and Intra-class Aggregation (ISIA) mechanism. It encourages the cross-domain representative consistency between the same categories and differentiation among diverse categories. In this way, the features belonging to the same categories are aligned together and the confusable categories are separated. By measuring the align complexity of each category, we design an Adaptive-weighted Instance Matching (AIM) strategy to further optimize the instance-level adaptation. Based on our proposed methods, we also raise a hierarchical unsupervised domain adaptation framework for cross-domain semantic segmentation task. Through performing the image-level, feature-level, category-level and instance-level alignment, our method achieves a stronger generalization performance of the model from the source domain to the target domain. In two typical cross-domain semantic segmentation tasks, i.e., GTA5 to Cityscapes and SYNTHIA to Cityscapes, our method achieves the state-of-the-art segmentation accuracy. We also build two cross-domain semantic segmentation datasets based on the publicly available data, i.e., remote sensing building segmentation and road segmentation, for domain adaptive segmentation.


title: GP-BART: a novel Bayesian additive regression trees approach using Gaussian processes

abstract: The Bayesian additive regression trees (BART) model is an ensemble method extensively and successfully used in regression tasks due to its consistently strong predictive performance and its ability to quantify uncertainty. BART combines "weak" tree models through a set of shrinkage priors, whereby each tree explains a small portion of the variability in the data. However, the lack of smoothness and the absence of an explicit covariance structure over the observations in standard BART can yield poor performance in cases where such assumptions would be necessary. The Gaussian processes Bayesian additive regression trees (GP-BART) model is an extension of BART which addresses this limitation by assuming Gaussian process (GP) priors for the predictions of each terminal node among all trees. The model's effectiveness is demonstrated through applications to simulated and real-world data, surpassing the performance of traditional modeling approaches in various scenarios.


title: A Restricted SVD type CUR Decomposition for Matrix Triplets

abstract: We present a new restricted SVD-based CUR (RSVD-CUR) factorization for matrix triplets $(A, B, G)$ that aims to extract meaningful information by providing a low-rank approximation of the three matrices using a subset of their rows and columns. The proposed method utilizes the discrete empirical interpolation method (DEIM) to select the subset of rows and columns from the orthogonal and nonsingular matrices obtained through a restricted singular value decomposition of the matrix triplet. We explore the relationships between a DEIM type RSVD-CUR factorization, a DEIM type CUR factorization, and a DEIM type generalized CUR decomposition, and provide an error analysis that establishes the accuracy of the RSVD-CUR decomposition within a factor of the approximation error of the restricted singular value decomposition of the given matrices. The RSVD-CUR factorization can be used in applications that require approximating one data matrix relative to two other given matrices. We discuss two such applications, namely multi-view dimension reduction and data perturbation problems where a correlated noise matrix is added to the input data matrix. Our numerical experiments demonstrate the advantages of the proposed method over the standard CUR approximation in these scenarios.


title: Radio-loud Quasars above Redshift 4: VLBI Imaging of an Extended Sample

abstract: High-redshift radio sources provide plentiful opportunities for studying the formation and evolution of early galaxies and supermassive black holes. However, the number of known radio-loud active galactic nuclei (AGN) above redshift 4 is rather limited. At high redshifts, it appears that blazars, with relativistically beamed jets pointing towards the observer, are in majority compared to radio-loud sources with jets misaligned with respect to the line of sight. To find more of these misaligned AGN, milliarcsec-scale imaging studies carried out with very long baseline interferometry (VLBI) are needed, as they allow us to distinguish between compact core--jet radio sources and those with more extended emission. Previous high-resolution VLBI studies revealed that some of the radio sources among blazar candidates in fact show unbeamed radio emission on milliarcsecond scales. The most accurate optical coordinates determined with the Gaia astrometric space mission are also useful in the classification process. Here, we report on dual-frequency imaging observations of 13 high-redshift (4 < z < 4.5) quasars at 1.7 and 5 GHz with the European VLBI Network. This sample increases the number of z>4 radio sources for which VLBI observations are available by about a quarter. Using structural and physical properties, such as radio morphology, spectral index, variability, brightness temperature, as well as optical coordinates, we identified six blazars and six misaligned radio AGNs, with the remaining one tentatively identified as blazar.


title: Leaderless Population Protocols Decide Double-exponential Thresholds

abstract: Population protocols are a model of distributed computation in which finite-state agents interact randomly in pairs. A protocol decides for any initial configuration whether it satisfies a fixed property, specified as a predicate on the set of configurations. The state complexity of a predicate is smallest number of states of any protocol deciding that predicate. For threshold predicates of the form $x\ge k$, with $k$ constant, prior work has shown that they have state complexity $\Theta(\log\log k)$ if the protocol is extended with leaders. For ordinary protocols it is only known to be in $\Omega(\log\log k)\cap \mathcal{O}(\log k)$. We close this remaining gap by showing that it is $\Theta(\log\log k)$ as well, i.e. we construct protocols with $\mathcal{O}(n)$ states deciding $x\ge k$ with $k\ge2^{2^n}$.


title: Extended regime of coexisting metallic and insulating phases in a two-orbital electronic system

abstract: We investigate the metal-to-insulator phase transition driven by the density-density electronic interaction in the quarter-filled model on a cubic lattice with two orbitals split by a crystal field. We show that a systematic consideration of the non-local collective electronic fluctuations strongly affects the picture of the phase transition provided by the dynamical mean field theory. Our calculations reveal the appearance of metallic and Mott insulating states characterised by the same density but different values of the chemical potential, which is missing in the local approximation to electronic correlations. We find that the region of concomitant metastability of these two solutions is remarkably broad in terms of the interaction strength. It starts at a critical value of the interaction slightly larger than the bandwidth and extends to more than twice the bandwidth, where the two solutions merge into a Mott insulating phase. Our results illustrate that non-local correlations can have crucial consequences on the electronic properties in the strongly correlated regime of the simplest multi-orbital systems.


title: Boundary Control of the Kuramoto-Sivashinsky Equation Under Intermittent Data Availability: With Proofs

abstract: In this paper, two boundary controllers are proposed to stabilize the origin of the nonlinear Kuramoto-Sivashinsky equation under intermittent measurements. More precisely, the spatial domain is divided into two sub-domains. The state of the system on the first sub-domain is measured along a given interval of time, and the state on the remaining sub-domain is measured along another interval of time. Under the proposed sensing scenario, we control the considered equation by designing the value of the state at three isolated spatial points, the two extremities of the spatial domain plus one inside point. Furthermore, we impose a null value for the spatial gradient of the state at these three locations. Under such a control loop, we propose two types of controllers and we analyze the stability of the resulting closed-loop system in each case. The paper is concluded with some discussions and future works.