title: Preserving Semantic Consistency in Unsupervised Domain Adaptation Using Generative Adversarial Networks

abstract: Unsupervised domain adaptation seeks to mitigate the distribution discrepancy between source and target domains, given labeled samples of the source domain and unlabeled samples of the target domain. Generative adversarial networks (GANs) have demonstrated significant improvement in domain adaptation by producing images which are domain specific for training. However, most of the existing GAN based techniques for unsupervised domain adaptation do not consider semantic information during domain matching, hence these methods degrade the performance when the source and target domain data are semantically different. In this paper, we propose an end-to-end novel semantic consistent generative adversarial network (SCGAN). This network can achieve source to target domain matching by capturing semantic information at the feature level and producing images for unsupervised domain adaptation from both the source and the target domains. We demonstrate the robustness of our proposed method which exceeds the state-of-the-art performance in unsupervised domain adaptation settings by performing experiments on digit and object classification tasks.


title: Quantum theory of statistical radiation pressure in free space

abstract: Light is known to exert radiation pressure on any surface it is incident upon, via the transfer of momentum from the light to the surface. In general, this force is assumed to be pushing or repulsive in nature. In this paper, we present a complete quantum treatment of radiation pressure. We show that the interaction of an atom with light can lead to both repulsive and attractive forces due to the absorption and emission of photons, respectively. An atom prepared in the excited state initially will experience a pulling force when interacting with light. On the other hand, if the atom is prepared in the ground state then the force will be repulsive while having the same magnitude as in the earlier case. Therefore, for an ensemble of atoms, the direction of the net force will be decided by the excited and ground state populations. In the semi-classical treatment of light-matter interaction, the absorption and emission processes have the same probability. Therefore the magnitudes of the force in the two processes turn out to be the same. We obtain the effective emission profile for an excited atom interacting with a quantum electromagnetic field, and show that in the quantum treatment, despite these probabilities being different, the magnitudes of the two statistical forces remain the same. This can be explained by noting that the extra contribution in the emission process is due to the interaction of the atom with the vacuum modes of the electromagnetic field, which results in a symmetric emission profile, contributing to a net zero force on the atoms in an ensemble. We further identify the set of states of electromagnetic field which give rise to non-zero momentum transfer to the atom.


title: PCFGs Can Do Better: Inducing Probabilistic Context-Free Grammars with Many Symbols

abstract: Probabilistic context-free grammars (PCFGs) with neural parameterization have been shown to be effective in unsupervised phrase-structure grammar induction. However, due to the cubic computational complexity of PCFG representation and parsing, previous approaches cannot scale up to a relatively large number of (nonterminal and preterminal) symbols. In this work, we present a new parameterization form of PCFGs based on tensor decomposition, which has at most quadratic computational complexity in the symbol number and therefore allows us to use a much larger number of symbols. We further use neural parameterization for the new form to improve unsupervised parsing performance. We evaluate our model across ten languages and empirically demonstrate the effectiveness of using more symbols. Our code: https://github.com/sustcsonglin/TN-PCFG


title: Graphs and complexes of lattices

abstract: We study lattices acting on $\mathrm{CAT}(0)$ spaces via their commensurated subgroups. To do this we introduce the notions of a graph of lattices and a complex of lattices giving graph and complex of group splittings of $\mathrm{CAT}(0)$ lattices. Using this framework we characterise irreducible uniform $(\mathrm{Isom}(\mathbb{E}^n)\times T)$-lattices by $C^\ast$-simplicity and give a necessary condition for lattices in products with a Euclidean factor to be biautomatic. We also construct non-residually finite uniform lattices acting on arbitrary products of right-angled buildings and non-biautomatic lattices acting on the product of $\mathbb{E}^n$ and a right-angled building.


title: A Functional Safety Assessment Method for Cooperative Automotive Architecture

abstract: The scope of automotive functions has grown from a single-vehicle as an entity to multiple vehicles working together as an entity, referred to as cooperative driving. The current automotive safety standard, ISO 26262, is designed for single vehicles. With the increasing number of cooperative driving capable vehicles on the road, it is now imperative to systematically assess the functional safety of architectures of these vehicles. Many methods are proposed to assess architectures with respect to different quality attributes in the software architecture domain, but to the best of our knowledge, functional safety assessment of automotive architectures is not explored in the literature. We present a method, that leverages existing research in software architecture and safety engineering domains, to check whether the functional safety requirements for a cooperative driving scenario are fulfilled in the technical architecture of a vehicle. We apply our method on a real-life academic prototype for a cooperative driving scenario, platooning, and discuss our insights.


title: Causes of Effects: Learning individual responses from population data

abstract: The problem of individualization is recognized as crucial in almost every field. Identifying causes of effects in specific events is likewise essential for accurate decision making. However, such estimates invoke counterfactual relationships, and are therefore indeterminable from population data. For example, the probability of benefiting from a treatment concerns an individual having a favorable outcome if treated and an unfavorable outcome if untreated. Experiments conditioning on fine-grained features are fundamentally inadequate because we can't test both possibilities for an individual. Tian and Pearl provided bounds on this and other probabilities of causation using a combination of experimental and observational data. Even though those bounds were proven tight, narrower bounds, sometimes significantly so, can be achieved when structural information is available in the form of a causal model. This has the power to solve central problems, such as explainable AI, legal responsibility, and personalized medicine, all of which demand counterfactual logic. We analyze and expand on existing research by applying bounds to the probability of necessity and sufficiency (PNS) along with graphical criteria and practical applications.


title: On exact discretization of the $L_2$-norm with a negative weight

abstract: For a subspace $X$ of functions from $L_2$ we consider the minimal number $m$ of nodes necessary for the exact discretization of the $L_2$-norm of the functions in $X$. We construct a subspace such that for any exact discretization with $m$ nodes there is at least one negative weight.


title: A Reinforcement Learning Environment for Polyhedral Optimizations

abstract: The polyhedral model allows a structured way of defining semantics-preserving transformations to improve the performance of a large class of loops. Finding profitable points in this space is a hard problem which is usually approached by heuristics that generalize from domain-expert knowledge. Existing problem formulations in state-of-the-art heuristics depend on the shape of particular loops, making it hard to leverage generic and more powerful optimization techniques from the machine learning domain. In this paper, we propose PolyGym, a shape-agnostic formulation for the space of legal transformations in the polyhedral model as a Markov Decision Process (MDP). Instead of using transformations, the formulation is based on an abstract space of possible schedules. In this formulation, states model partial schedules, which are constructed by actions that are reusable across different loops. With a simple heuristic to traverse the space, we demonstrate that our formulation is powerful enough to match and outperform state-of-the-art heuristics. On the Polybench benchmark suite, we found transformations that led to a speedup of 3.39x over LLVM O3, which is 1.83x better than the speedup achieved by ISL. Our generic MDP formulation enables using reinforcement learning to learn optimization policies over a wide range of loops. This also contributes to the emerging field of machine learning in compilers, as it exposes a novel problem formulation that can push the limits of existing methods.


title: Gradient-based Adversarial Attacks against Text Transformers

abstract: We propose the first general-purpose gradient-based attack against transformer models. Instead of searching for a single adversarial example, we search for a distribution of adversarial examples parameterized by a continuous-valued matrix, hence enabling gradient-based optimization. We empirically demonstrate that our white-box attack attains state-of-the-art attack performance on a variety of natural language tasks. Furthermore, we show that a powerful black-box transfer attack, enabled by sampling from the adversarial distribution, matches or exceeds existing methods, while only requiring hard-label outputs.


title: Trimaximal mixing with one texture zero from type II seesaw and $\Delta(54)$ family symmetry

abstract: We propose a neutrino model based on a $\Delta(54)$ flavor symmetry suitable for explaining the current neutrino oscillation data. Neutrino masses arise from the type II seesaw mechanism where the $\Delta(54)$ field assignments has led to a simple neutrino mass matrix with one texture zero and which satisfies the magic symmetry consistent with the well-known trimaximal mixing matrix. We found interesting predictions concerning neutrino masses and mixing. In particular, only the normal neutrino mass hierarchy and the lower octant of the atmospheric angles are allowed in this model. The model predicts as well that the $CP$ conserving values for the Dirac $CP$ phase $\delta _{CP}$ are not allowed and thus, $CP$ is always violated in the neutrino sector. We have also investigated the sum of absolute neutrino masses from cosmological observations, the effective Majorana mass $m_{\beta \beta }$\ from neutrinoless double beta decay experiments, and the electron neutrino mass $m_{\beta }$\ from beta decays where we found that the obtained range of $m_{\beta \beta }$\ can be tested by several experiments in the near future.


title: Magnetoplasmon resonance technique to monitor two-dimensional Dirac superconductors in fluctuating regime

abstract: We propose the magnetoplasmon resonance technique to investigate two-dimensional superconductors (taking MoS$_2$ as an example) in the fluctuating regime, where the temperature is slightly above the critical temperature of the superconducting transition. Thus, unpaired electrons and fluctuating Cooper pairs coexist in the system and interact with each other via long-range Coulomb forces, forming a Bose-Fermi mixture. We expose the sample to external time-dependent electromagnetic field with a frequency in sub-terahertz range and a permanent magnetic field, and show that the magnetoplasmon response of the system is strongly modified in the presence of superconducting fluctuations in the vicinity of the superconducting transition. In particular, the fluctuating Cooper pairs dramatically change the position and broadening of the magnetoplasmon resonance, which is reflected in the optical response of the system.


title: A molecular dynamics study of path-dependent grain boundary properties in nanocrystals prepared using different methods

abstract: Grain boundaries are thermodynamically unstable. Hence, their properties should be path-dependent: grain boundaries in nanocrystals prepared using different methods might exhibit different properties. Using molecular dynamics simulations, we investigated grain boundaries of nanocrystals formed by quenching,solidification with pre-induced nucleation sites, and Voronoi tessellation. Some properties were found to be path depend: the quenched model has lower boundary energy per atom, smaller boundary excess free volume per atom, and slower grain growth than the Voronoi model. We surmise that these differences are attributed to the abundant annealing twins in the quenched model. On the other hand, other properties are path independent, such as Young's modulus, Poisson's ratio, and the ratio between grain boundary energy and boundary excess free volume. The results of this study further the understanding of the structural-property relationship of nanocrystals and provide guidance to future simulation-based studies of nanocrystalline materials.


title: Quarkonium interactions with (hot) hadronic matter

abstract: In this work, we present an updated study about the interactions of quarkonia with surrounding hadronic medium. The meson-meson interactions are described with a chiral effective Lagrangian within the framework of unitarized coupled channel amplitudes. In particular, we extend a previous work performed in the charmonium sector by calculating the cross-sections for $\Upsilon$ scattering by light pseudoscalar mesons ($\pi, K, \eta$) and vector mesons ($\rho, K^\ast, \omega$). We evaluate the relevant channels and compare the results with existing literature. The analysis is completed by including the finite-temperature effects in the unitarized scattering amplitudes for both quarkonium and bottomonium sectors.


title: Optically induced persistent current in carbon nanotubes

abstract: We demonstrate theoretically that an off-resonant circularly polarized electromagnetic field can induce a persistent current in carbon nanotubes, which corresponds to electron rotation about the nanotube axis. As a consequence, the nanotubes acquire magnetic moment along the axis, which depends on their crystal structure and can be detected in state-of-the-art measurements. This effect and related phenomena are analyzed within the developed Floquet theory describing the electronic properties of the nanotubes irradiated by the field.


title: Linear Additives

abstract: We introduce LAM, a subsystem of IMALL2 with restricted additive rules able to manage duplication linearly, called linear additive rules. LAM is presented as the type assignment system for a calculus endowed with copy constructors, which deal with substitution in a linear fashion. As opposed to the standard additive rules, the linear additive rules do not affect the complexity of term reduction: typable terms of LAM enjoy linear strong normalization. Moreover, a mildly weakened version of cut-elimination for this system is proven which takes a cubic number of steps. Finally, we define a sound translation from proofs of LAM into linear lambda terms of IMLL2, and we study its complexity.


title: Correlation between vibrational anomalies and emergent anharmonicity of local potential energy landscape in metallic glasses

abstract: The boson peak (BP) is a universal feature in the Raman and inelastic scattering spectra of both disordered and crystalline materials. The current paradigm presents the boson peak as the result of a Ioffe-Regel crossover between ballistic (phonon) and diffusive-type excitations, where the loss of coherence of phonons is described as a purely harmonic process due to structural disorder. This "harmonic disorder" paradigm for the BP has never been challenged or tested at the atomistic level. Here, through a set of atomistically-resolved characterizations of amorphous metallic alloys, we uncover a robust inverse proportionality between the intensity of boson peak and the activation energy of excitations in the potential energy landscape (PEL). Larger boson peak is linked with shallower basins and lower activation barriers and, consequently, with strongly anharmonic sectors of the PEL. Numerical evidence from atomistic simulations indicates that THz atomic vibrations contributing the most to the BP in atomic glasses are strongly anharmonic, as evidenced through very large values of the atomic- and mode-resolved Gr\"{u}neisen parameter found for the atomic vibrations that constitute the BP. These results provide a direct bridge between the vibrational spectrum and the topology of the PEL in solids, and point towards a new "giant anharmonicity" paradigm for both generic disordered materials and for the phonon-glass problem in emerging materials for energy applications. In this sense, disorder and anharmonicity emerge as the two sides of the same coin.

categories: cond-mat.dis-nn cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech


title: Ancient and present surface evolution processes in the Ash regionof comet 67P/Churyumov-Gerasimenko

abstract: The Rosetta mission provided us with detailed data of the surface of the nucleus of comet 67P/Churyumov-Gerasimenko.In order to better understand the physical processes associated with the comet activity and the surface evolution of its nucleus, we performed a detailed comparative morphometrical analysis of two depressions located in the Ash region. To detect morphological temporal changes, we compared pre- and post-perihelion high-resolution (pixel scale of 0.07-1.75 m) OSIRIS images of the two depressions. We quantified the changes using the dynamic heights and the gravitational slopes calculated from the Digital Terrain Model (DTM) of the studied area using the ArcGIS software before and after perihelion. Our comparative morphometrical analysis allowed us to detect and quantify the temporal changes that occurred in two depressions of the Ash region during the last perihelion passage. We find that the two depressions grew by several meters. The area of the smallest depression (structure I) increased by 90+/-20%, with two preferential growths: one close to the cliff associated with the apparition of new boulders at its foot, and a second one on the opposite side of the cliff. The largest depression (structure II) grew in all directions, increasing in area by 20+/-5%, and no new deposits have been detected. We interpreted these two depression changes as being driven by the sublimation of ices, which explains their global growth and which can also trigger landslides. The deposits associated with depression II reveal a stair-like topography, indicating that they have accumulated during several successive landslides from different perihelion passages. Overall, these observations bring additional evidence of complex active processes and reshaping events occurring on short timescales, such as depression growth and landslides, and on longer timescales, such as cliff retreat.


title: MineGAN++: Mining Generative Models for Efficient Knowledge Transfer to Limited Data Domains

abstract: GANs largely increases the potential impact of generative models. Therefore, we propose a novel knowledge transfer method for generative models based on mining the knowledge that is most beneficial to a specific target domain, either from a single or multiple pretrained GANs. This is done using a miner network that identifies which part of the generative distribution of each pretrained GAN outputs samples closest to the target domain. Mining effectively steers GAN sampling towards suitable regions of the latent space, which facilitates the posterior finetuning and avoids pathologies of other methods, such as mode collapse and lack of flexibility. Furthermore, to prevent overfitting on small target domains, we introduce sparse subnetwork selection, that restricts the set of trainable neurons to those that are relevant for the target dataset. We perform comprehensive experiments on several challenging datasets using various GAN architectures (BigGAN, Progressive GAN, and StyleGAN) and show that the proposed method, called MineGAN, effectively transfers knowledge to domains with few target images, outperforming existing methods. In addition, MineGAN can successfully transfer knowledge from multiple pretrained GANs.


title: Image Inpainting by End-to-End Cascaded Refinement with Mask Awareness

abstract: Inpainting arbitrary missing regions is challenging because learning valid features for various masked regions is nontrivial. Though U-shaped encoder-decoder frameworks have been witnessed to be successful, most of them share a common drawback of mask unawareness in feature extraction because all convolution windows (or regions), including those with various shapes of missing pixels, are treated equally and filtered with fixed learned kernels. To this end, we propose our novel mask-aware inpainting solution. Firstly, a Mask-Aware Dynamic Filtering (MADF) module is designed to effectively learn multi-scale features for missing regions in the encoding phase. Specifically, filters for each convolution window are generated from features of the corresponding region of the mask. The second fold of mask awareness is achieved by adopting Point-wise Normalization (PN) in our decoding phase, considering that statistical natures of features at masked points differentiate from those of unmasked points. The proposed PN can tackle this issue by dynamically assigning point-wise scaling factor and bias. Lastly, our model is designed to be an end-to-end cascaded refinement one. Supervision information such as reconstruction loss, perceptual loss and total variation loss is incrementally leveraged to boost the inpainting results from coarse to fine. Effectiveness of the proposed framework is validated both quantitatively and qualitatively via extensive experiments on three public datasets including Places2, CelebA and Paris StreetView.


title: Bio-SODA: Enabling Natural Language Question Answering over Knowledge Graphs without Training Data

abstract: The problem of natural language processing over structured data has become a growing research field, both within the relational database and the Semantic Web community, with significant efforts involved in question answering over knowledge graphs (KGQA). However, many of these approaches are either specifically targeted at open-domain question answering using DBpedia, or require large training datasets to translate a natural language question to SPARQL in order to query the knowledge graph. Hence, these approaches often cannot be applied directly to complex scientific datasets where no prior training data is available. In this paper, we focus on the challenges of natural language processing over knowledge graphs of scientific datasets. In particular, we introduce Bio-SODA, a natural language processing engine that does not require training data in the form of question-answer pairs for generating SPARQL queries. Bio-SODA uses a generic graph-based approach for translating user questions to a ranked list of SPARQL candidate queries. Furthermore, Bio-SODA uses a novel ranking algorithm that includes node centrality as a measure of relevance for selecting the best SPARQL candidate query. Our experiments with real-world datasets across several scientific domains, including the official bioinformatics Question Answering over Linked Data (QALD) challenge, show that Bio-SODA outperforms publicly available KGQA systems by an F1-score of least 20% and by an even higher factor on more complex bioinformatics datasets.


title: Common ($\pi$,$\pi$) Band Folding and Surface Reconstruction in FeAs-Based Superconductors

abstract: High resolution angle-resolved photoemission spectroscopy (ARPES) measurements are carried out on CaKFe$_4$As$_4$, KCa$_2$Fe$_4$As$_4$F$_2$ and (Ba$_{0.6}$K$_{0.4}$)Fe$_2$As$_2$ superconductors. Clear evidence of band folding between the Brillouin zone center and corners with a ($\pi$,$\pi$) wave vector has been found from the measured Fermi surface and band structures in all the three kinds of superconductors. A dominant $\sqrt{2}\,\times\,\sqrt{2}$ surface reconstruction is observed on the cleaved surface of CaKFe$_4$As$_4$ by scanning tunneling microscopy (STM) measurements. We propose that the commonly observed $\sqrt{2}\,\times\,\sqrt{2}$ reconstruction in the FeAs-based superconductors provides a general scenario to understand the origin of the ($\pi$,$\pi$) band folding. Our observations provide new insights in understanding the electronic structure and superconductivity mechanism in iron-based superconductors.


title: Four-Dimensional Gravity on a Covariant Noncommutative Space (II)

abstract: Based on the construction of the 4-dim noncommutative gravity model described in our previous work, first, a more extended description of the covariant noncommutative space (fuzzy 4-dim de Sitter space), which accommodates the gravity model, is presented and then the corresponding field equations, which are obtained after variation of the previously proposed action, are extracted. Also, a spontaneous breaking of the initial symmetry is performed, this time induced by the introduction of an auxiliary scalar field, and its implications in the reduced theory, which is produced after considering the commutative limit, are examined.


title: The Future of Employment Revisited: How Model Selection Determines Automation Forecasts

abstract: The uniqueness of human labour is at question in times of smart technologies. The 250 years-old discussion on technological unemployment reawakens. Prominently, Frey and Osborne (2017) estimated that half of US employment will be automated by algorithms within the next 20 years. Other follow-up studies conclude that only a small fraction of workers will be replaced by digital technologies. The main contribution of our work is to show that the diversity of previous findings regarding the degree of job automation is, to a large extent, driven by model selection and not by controlling for personal characteristics or tasks. For our case study, we consult experts in machine learning and industry professionals on the susceptibility to digital technologies in the Austrian labour market. Our results indicate that, while clerical computer-based routine jobs are likely to change in the next decade, professional activities, such as the processing of complex information, are less prone to digital change.


title: QuTI! Quantifying Text-Image Consistency in Multimodal Documents

abstract: The World Wide Web and social media platforms have become popular sources for news and information. Typically, multimodal information, e.g., image and text is used to convey information more effectively and to attract attention. While in most cases image content is decorative or depicts additional information, it has also been leveraged to spread misinformation and rumors in recent years. In this paper, we present a Web-based demo application that automatically quantifies the cross-modal relations of entities (persons, locations, and events) in image and text. The applications are manifold. For example, the system can help users to explore multimodal articles more efficiently, or can assist human assessors and fact-checking efforts in the verification of the credibility of news stories, tweets, or other multimodal documents.


title: Grazing incidence X-ray fluorescence based characterization of nanostructures for element sensitive profile reconstruction

abstract: For the reliable fabrication of the current and next generation of nanostructures it is essential to be able to determine their material composition and dimensional parameters. Using the grazing incidence X-ray fluoresence technique, which is taking advantage of the X-ray standing wave field effect, nanostructures can be investigated with a high sensitivity with respect to the structural and elemental composition. This is demonstrated using lamellar gratings made of Si$_3$N$_4$. Rigorous field simulations obtained from a Maxwell solver based on the finite element method allow to determine the spatial distribution of elemental species and the geometrical shape with sub-nm resolution. The increasing complexity of nanostructures and demanded sensitivity for small changes quickly turn the curse of dimensionality for numerical simulation into a problem which can no longer be solved rationally even with massive parallelisation. New optimization schemes, e.g. machine learning, are required to satisfy the metrological requirements. We present reconstruction results obtained with a Bayesian optimization approach to reduce the computational effort.


title: Bandwidth control of the biphoton wavefunction exploiting spatio-temporal correlations

abstract: In this work we study the spatio-temporal correlations of photons produced by spontaneous parametric down conversion. In particular, we study how the waists of the detection and pump beams impact on the spectral bandwidth of the photons. Our results indicate that this parameter is greatly affected by the spatial properties of the detection beam, while not as much by the pump beam. This allows for a simple experimental implementation to control the bandwidth of the biphoton spectra, which only entails modifying the optical configuration to collect the photons. Moreover, we have performed Hong-Ou-Mandel interferometry measurements that also provide the phase of the biphoton wavefunction, and thereby its temporal shape. We explain all these results with a toy model derived under certain approximations, which accurately recovers most of the interesting experimental details.


title: Voros Coefficients at the Origin and at the Infinity of the Generalized Hypergeometric Differential Equations with a Large Parameter

abstract: Voros coefficients of the generalized hypergeometric differential equations with a large parameter are defined and their explicit forms are given for the origin and for the infinity. It is shown that they are Borel summable in some specified regions in the space of parameters and their Borel sums in the regions are given.


title: A posteriori error estimates for the Brinkman-Darcy-Forchheimer problem

abstract: In this paper, we study the "a posteriori" error estimate corresponding to the Brinkman-Darcy-Forchheimer problem. We introduce the variational formulation discretised by using the finite element method. Then, we establish an "a posteriori" error estimation with two types of error indicators related to the discretization and to the linearization. Finally, numerical investigations are shown and discussed.


title: Sum-of-norms clustering does not separate nearby balls

abstract: Sum-of-norms clustering is a popular convexification of $K$-means clustering. We show that, if the dataset is made of a large number of independent random variables distributed according to the uniform measure on the union of two disjoint balls of unit radius, and if the balls are sufficiently close to one another, then sum-of-norms clustering will typically fail to recover the decomposition of the dataset into two clusters. As the dimension tends to infinity, this happens even when the distance between the centers of the two balls is taken to be as large as $2\sqrt{2}$. In order to show this, we introduce and analyze a continuous version of sum-of-norms clustering, where the dataset is replaced by a general measure. In particular, we state and prove a local-global characterization of the clustering that seems to be new even in the case of discrete datapoints.


title: Can crowdsourcing rescue the social marketplace of ideas?

abstract: Facebook and Twitter recently announced community-based review platforms to address misinformation. We provide an overview of the potential affordances of such community-based approaches to content moderation based on past research and preliminary analysis of Twitter's Birdwatch data. While our analysis generally supports a community-based approach to content moderation, it also warns against potential pitfalls, particularly when the implementation of the new infrastructure focuses on crowd-based "validation" rather than "collaboration." We call for multidisciplinary research utilizing methods from complex systems studies, behavioural sociology, and computational social science to advance the research on crowd-based content moderation.


title: Surface Multigrid via Intrinsic Prolongation

abstract: This paper introduces a novel geometric multigrid solver for unstructured curved surfaces. Multigrid methods are highly efficient iterative methods for solving systems of linear equations. Despite the success in solving problems defined on structured domains, generalizing multigrid to unstructured curved domains remains a challenging problem. The critical missing ingredient is a prolongation operator to transfer functions across different multigrid levels. We propose a novel method for computing the prolongation for triangulated surfaces based on intrinsic geometry, enabling an efficient geometric multigrid solver for curved surfaces. Our surface multigrid solver achieves better convergence than existing multigrid methods. Compared to direct solvers, our solver is orders of magnitude faster. We evaluate our method on many geometry processing applications and a wide variety of complex shapes with and without boundaries. By simply replacing the direct solver, we upgrade existing algorithms to interactive frame rates, and shift the computational bottleneck away from solving linear systems.


title: Distributional Gaussian Process Layers for Outlier Detection in Image Segmentation

abstract: We propose a parameter efficient Bayesian layer for hierarchical convolutional Gaussian Processes that incorporates Gaussian Processes operating in Wasserstein-2 space to reliably propagate uncertainty. This directly replaces convolving Gaussian Processes with a distance-preserving affine operator on distributions. Our experiments on brain tissue-segmentation show that the resulting architecture approaches the performance of well-established deterministic segmentation algorithms (U-Net), which has never been achieved with previous hierarchical Gaussian Processes. Moreover, by applying the same segmentation model to out-of-distribution data (i.e., images with pathology such as brain tumors), we show that our uncertainty estimates result in out-of-distribution detection that outperforms the capabilities of previous Bayesian networks and reconstruction-based approaches that learn normative distributions.


title: Statistical description of coalescing magnetic islands via magnetic reconnection

abstract: The physical picture of interacting magnetic islands provides a useful paradigm for certain plasma dynamics in a variety of physical environments, such as the solar corona, the heliosheath, and the Earth's magnetosphere. In this work, we derive an island kinetic equation to describe the evolution of the island distribution function (in area and in flux of islands) subject to a collisional integral designed to account for the role of magnetic reconnection during island mergers. This equation is used to study the inverse transfer of magnetic energy through the coalescence of magnetic islands in 2D. We solve our island kinetic equation numerically for three different types of initial distribution: delta-distribution, Gaussian and power-law distribution. The time evolution of several key quantities is found to agree well with our analytical predictions: magnetic energy decays as $\tilde t^{-1}$, the number of islands decreases as $\tilde t^{-1}$, and the averaged area of islands grows as $\tilde t$, where $\tilde t$ is the time normalized to the characteristic reconnection time scale of islands. General properties of the distribution function and the magnetic energy spectrum are also studied.


title: A Non-Nested Multilevel Method for Meshless Solution of the Poisson Equation in Heat Transfer and Fluid Flow

abstract: We present a non-nested multilevel algorithm for solving the Poisson equation discretized at scattered points using polyharmonic radial basis function (PHS-RBF) interpolations. We append polynomials to the radial basis functions to achieve exponential convergence of discretization errors. The interpolations are performed over local clouds of points and the Poisson equation is collocated at each of the scattered points, resulting in a sparse set of discrete equations for the unkown variables. To solve this set of equations, we have developed a non-nested multilevel algorithm utilizing multiple independently generated coarse sets of points. The restriction and prolongation operators are also constructed with the same RBF interpolations procedure. The performance of the algorithm for Dirichlet and all-Neumann boundary conditions is evaluated in three model geometries using a manufactured solution. For Dirichlet boundary conditions, rapid convergence is observed using SOR point solver as the relaxation scheme. For cases of all-Neumann boundary conditions, convergence is seen to slow down with the degree of the appended polynomial. However, when the multilevel procedure is combined with a GMRES algorithm, the convergence is seen to significantly improve. The GMRES accelerated multilevel algorithm is included in a fractional step method to solve incompressible Navier-Stokes equations.


title: Photometric study and absolute parameters estimation of six totally eclipsing contact binaries

abstract: High precision CCD observations of six totally eclipsing contact binaries were presented and analyzed. It is found that only one target is an A-type contact binary (V429 Cam), while the others are W-type contact ones. By analyzing the times of light minima, we discovered that two of them exhibit secular period increase while three manifest long-term period decrease. For V1033 Her, a cyclic variation superimposed on the long-term increase was discovered. By comparing the Gaia distances with those calculated by the absolute parameters of 173 contact binaries, we found that Gaia distance can be applied to estimate absolute parameters for most contact binaries. The absolute parameters of our six targets were estimated by using their Gaia distances. The evolutionary status of contact binaries was studied, we found that the A- and W- subtype contact binaries may have different formation channels. The relationship between the spectroscopic and photometric mass ratios for 101 contact binaries was presented. It is discovered that the photometric mass ratios are in good agreement with the spectroscopic ones for almost all the totally eclipsing systems, which is corresponding to the results derived by Pribulla et al. and Terrell & Wilson.


title: Traversable wormholes in the extended teleparallel theory of gravity with matter coupling

abstract: This study explores the Gaussian and the Lorentzian distributed spherically symmetric wormhole solutions in the $f(\tau, T)$ gravity. The basic idea of the Gaussian and Lorentzian noncommutative geometries emerges as the physically acceptable and substantial notion in quantum physics. This idea of the noncommutative geometries with both the Gaussian and Lorentzian distributions becomes more striking when wormhole geometries in the modified theories of gravity are discussed. Here we consider a linear model within $f(\tau,T)$ gravity to investigate traversable wormholes. In particular, we discuss the possible cases for the wormhole geometries using the Gaussian and the Lorentzian noncommutative distributions to obtain the exact shape function for them. By incorporating the particular values of the unknown parameters involved, we discuss different properties of the new wormhole geometries explored here. It is noted that the involved matter violates the weak energy condition for both the cases of the noncommutative geometries, whereas there is a possibility for a physically viable wormhole solution. By analyzing the equilibrium condition, it is found that the acquired solutions are stable. Furthermore, we provide the embedded diagrams for wormhole structures under Gaussian and Lorentzian noncommutative frameworks. Moreover, we present the critical analysis on an anisotropic pressure under the Gaussian and the Lorentzian distributions.


title: Role of Structure Scalars on the evolution of Compact Objects in Palatini $f(R)$ Gravity

abstract: The utmost concern of this article is the construction of modified scalar functions (structure scalars) by taking Palatini $f(R)$ gravitational theory into account. At first, a general formalism is established in which we assess gravitational stellar equations by putting into use the Palatini's technique. Later, from the perspective of tilted observer, we Lorentz boosted the components of energy-momentum tensor using relative velocity $\omega$. To examine the physical as well as mathematical aspects of the fluid source, we carry out a detailed analysis of kinematical variables by evaluating shear tensor and scalar, four-acceleration and expansion scalar. For the fluid content inside our spherical star, we inferred the mass function (geometric mass) and the active gravitational mass. Raychaudhuri equation, Bianchi identities in addition to few other equations are worked out to discern the structure formation and analyze the object's evolutionary stages. The Riemann tensor is then broken up orthogonally to set up few scalar functions connected with fundamental physical characteristics of the fluid source like energy density, effects of tidal forces and anisotropic stresses etc.


title: Complete structural restoring of transferred multi-qubit quantum state

abstract: We develop the protocol for structural restoring of multi-quantum coherence matrices of the multi-qubit quantum state transferred from the sender to the receiver along a spin-1/2 chain. We also propose a protocol for constructing such 0-order coherence matrix that can be perfectly transferred in this process. The restoring protocol is based on the specially constructed unitary transformation of the extended receiver.{This transformation for a given length parameters of the chain is universally optimal in the sense that ones constructed it can be applied to optimally restore any higher-order coherence matrices.


title: LGA-RCNN: Loss-Guided Attention for Object Detection

abstract: Object detection is widely studied in computer vision filed. In recent years, certain representative deep learning based detection methods along with solid benchmarks are proposed, which boosts the development of related researchs. However, existing detection methods still suffer from undesirable performance under challenges such as camouflage, blur, inter-class similarity, intra-class variance and complex environment. To address this issue, we propose LGA-RCNN which utilizes a loss-guided attention (LGA) module to highlight representative region of objects. Then, those highlighted local information are fused with global information for precise classification and localization.


title: Segmentation-Based Bounding Box Generation for Omnidirectional Pedestrian Detection

abstract: We propose a segmentation-based bounding box generation method for omnidirectional pedestrian detection that enables detectors to tightly fit bounding boxes to pedestrians without omnidirectional images for training. Due to the wide angle of view, omnidirectional cameras are more cost-effective than standard cameras and hence suitable for large-scale monitoring. The problem of using omnidirectional cameras for pedestrian detection is that the performance of standard pedestrian detectors is likely to be substantially degraded because pedestrians' appearance in omnidirectional images may be rotated to any angle. Existing methods mitigate this issue by transforming images during inference. However, the transformation substantially degrades the detection accuracy and speed. A recently proposed method obviates the transformation by training detectors with omnidirectional images, which instead incurs huge annotation costs. To obviate both the transformation and annotation works, we leverage an existing large-scale object detection dataset. We train a detector with rotated images and tightly fitted bounding box annotations generated from the segmentation annotations in the dataset, resulting in detecting pedestrians in omnidirectional images with tightly fitted bounding boxes. We also develop pseudo-fisheye distortion augmentation, which further enhances the performance. Extensive analysis shows that our detector successfully fits bounding boxes to pedestrians and demonstrates substantial performance improvement.


title: Nonlinear dimensionality reduction for parametric problems: a kernel Proper Orthogonal Decomposition (kPOD)

abstract: Reduced-order models are essential tools to deal with parametric problems in the context of optimization, uncertainty quantification, or control and inverse problems. The set of parametric solutions lies in a low-dimensional manifold (with dimension equal to the number of independent parameters) embedded in a large-dimensional space (dimension equal to the number of degrees of freedom of the full-order discrete model). A posteriori model reduction is based on constructing a basis from a family of snapshots (solutions of the full-order model computed offline), and then use this new basis to solve the subsequent instances online. Proper Orthogonal Decomposition (POD) reduces the problem into a linear subspace of lower dimension, eliminating redundancies in the family of snapshots. The strategy proposed here is to use a nonlinear dimensionality reduction technique, namely the kernel Principal Component Analysis (kPCA), in order to find a nonlinear manifold, with an expected much lower dimension, and to solve the problem in this low-dimensional manifold. Guided by this paradigm, the methodology devised here introduces different novel ideas, namely: 1) characterizing the nonlinear manifold using local tangent spaces, where the reduced-order problem is linear and based on the neighbouring snapshots, 2) the approximation space is enriched with the cross-products of the snapshots, introducing a quadratic description, 3) the kernel for kPCA is defined ad-hoc, based on physical considerations, and 4) the iterations in the reduced-dimensional space are performed using an algorithm based on a Delaunay tessellation of the cloud of snapshots in the reduced space. The resulting computational strategy is performing outstandingly in the numerical tests, alleviating many of the problems associated with POD and improving the numerical accuracy.


title: Boosting Co-teaching with Compression Regularization for Label Noise

abstract: In this paper, we study the problem of learning image classification models in the presence of label noise. We revisit a simple compression regularization named Nested Dropout. We find that Nested Dropout, though originally proposed to perform fast information retrieval and adaptive data compression, can properly regularize a neural network to combat label noise. Moreover, owing to its simplicity, it can be easily combined with Co-teaching to further boost the performance. Our final model remains simple yet effective: it achieves comparable or even better performance than the state-of-the-art approaches on two real-world datasets with label noise which are Clothing1M and ANIMAL-10N. On Clothing1M, our approach obtains 74.9% accuracy which is slightly better than that of DivideMix. On ANIMAL-10N, we achieve 84.1% accuracy while the best public result by PLC is 83.4%. We hope that our simple approach can be served as a strong baseline for learning with label noise. Our implementation is available at https://github.com/yingyichen-cyy/Nested-Co-teaching.


title: Time Reversal Symmetry for Classical, Nonrelativistic Quantum and Spin Systems in Presence of Magnetic Fields

abstract: We extend to quantum mechanical systems results previously obtained for classical mechanical systems, concerning time reversibility in presence of a magnetic field. As in the classical case, results like the Onsager reciprocal relations are consequently obtained, without recourse to the Casimir modification. The quantum systems treated here are nonrelativistic, and are described by the Schr{\"o}dinger equation or the Pauli equation. In particular, we prove that the spin-field interaction does not break the time reversal invariance (TRI) of the dynamics, and that it does not require additional conditions for such a symmetry to hold, compared to the spinless cases.


title: CH$_4$ reforming with CO$_2$ in a nanosecond pulsed discharge. The importance of the pulse sequence

abstract: The plasma dry reforming reaction of methane with carbon dioxide is investigated in a nanosecond repetitively pulsed discharge, a type of plasma that offers one of the highest non-equilibrium and performance characteristics. The experiment's purpose was to examine the effect of varying the sequence of high-voltage pulses for the same plasma energy. We find that when successive pulses are closer than 500 $\rm \mu$s, a memory-dominated regime gradually develops, which influences subsequent breakdown events. As a result, both a higher reactant conversion and more efficient use of the energy injected into the discharge plasma are achieved.


title: Simulation of three-spin evolution under XX Hamiltonian on quantum processor of IBM-Quantum Experience

abstract: We simulate the evolution of three-node spin chain on the quantum processor of IBM Quantum Experience using the diagonalization of $XX$-Hamiltonian and representing the evolution operator in terms of CNOT operations and one-qubit rotations. We study the single excitation transfer from the first to the third node and show the significant difference between calculated and theoretical values of state transfer probability. Then we propose a method reducing this difference by applying the two-parameter transformation including the shift and scale of the calculated probabilities. { We demonstrate the universality of this transformation inside of the class of three-node evolutionary systems governed by the $XX$-Hamiltonian.


title: An Analytical Approach to the Universal Wave Function and its Gravitational Effect

abstract: Based on quantum origin of the universe, in this article we find that the universal wave function can be far richer than the superposition of many classical worlds studied by Everett. By analyzing the more general universal wave function and its unitary evolutions, we find that on small scale we can obtain Newton's law of universal gravity, while on the scale of galaxies we naturally derive gravitational effects corresponding to dark matter, without modifying any physical principles or hypothesizing the existence of new elementary particles. We find that an auxiliary function having formal symmetry is very useful to predict the evolution of the classical information in the universal wave function.


title: Cosmology without an Initial Singularity

abstract: We present a model of the expanding Universe that begins in a zero energy vacuum state. The Universe results from the spontaneous breaking of the electroweak symmetry, wherein the vacuum with positive expectation energy produces the dark and visible matter and launches the expansion. Our model Universe is twice as old as the standard value but the Hubble constant, cosmological constant and ratio of matter to dark energy are comparable to concordance values. The development of structure may have occurred earlier. Finally, we speculate regarding the origin of each component of the Universe due to a coincidence between the sine of the Weinberg angle and the ratio of matter to dark energy.


title: CLPVG: Circular limited penetrable visibility graph as a new network model for time series

abstract: Visibility Graph (VG) transforms time series into graphs, facilitating signal processing by advanced graph data mining algorithms. In this paper, based on the classic Limited Penetrable Visibility Graph (LPVG) method, we propose a novel nonlinear mapping method named Circular Limited Penetrable Visibility Graph (CLPVG). The testing on degree distribution and clustering coefficient on the generated graphs of typical time series validates that our CLPVG is able to effectively capture the important features of time series and has better anti-noise ability than traditional LPVG. The experiments on real-world time-series datasets of radio signal and electroencephalogram (EEG) also suggest that the structural features provided by CLPVG, rather than LPVG, are more useful for time-series classification, leading to higher accuracy. And this classification performance can be further enhanced through structural feature expansion by adopting Subgraph Networks (SGN). All of these results validate the effectiveness of our CLPVG model.


title: Pose-driven Attention-guided Image Generation for Person Re-Identification

abstract: Person re-identification (re-ID) concerns the matching of subject images across different camera views in a multi camera surveillance system. One of the major challenges in person re-ID is pose variations across the camera network, which significantly affects the appearance of a person. Existing development data lack adequate pose variations to carry out effective training of person re-ID systems. To solve this issue, in this paper we propose an end-to-end pose-driven attention-guided generative adversarial network, to generate multiple poses of a person. We propose to attentively learn and transfer the subject pose through an attention mechanism. A semantic-consistency loss is proposed to preserve the semantic information of the person during pose transfer. To ensure fine image details are realistic after pose translation, an appearance discriminator is used while a pose discriminator is used to ensure the pose of the transferred images will exactly be the same as the target pose. We show that by incorporating the proposed approach in a person re-identification framework, realistic pose transferred images and state-of-the-art re-identification results can be achieved.


title: Scouting the Path to a Million-Client Server

abstract: To keep up with demand, servers will scale up to handle hundreds of thousands of clients simultaneously. Much of the focus of the community has been on scaling servers in terms of aggregate traffic intensity (packets transmitted per second). However, bottlenecks caused by the increasing number of concurrent clients, resulting in a large number of concurrent flows, have received little attention. In this work, we focus on identifying such bottlenecks. In particular, we define two broad categories of problems; namely, admitting more packets into the network stack than can be handled efficiently, and increasing per-packet overhead within the stack. We show that these problems contribute to high CPU usage and network performance degradation in terms of aggregate throughput and RTT. Our measurement and analysis are performed in the context of the Linux networking stack, the the most widely used publicly available networking stack. Further, we discuss the relevance of our findings to other network stacks. The goal of our work is to highlight considerations required in the design of future networking stacks to enable efficient handling of large numbers of clients and flows.


title: Path Analysis for Binary Random Variables

abstract: The decomposition of the overall effect of a treatment into direct and indirect effects is here investigated with reference to a recursive system of binary random variables. We show how, for the single mediator context, the marginal effect measured on the log odds scale can be written as the sum of the indirect and direct effects plus a residual term that vanishes under some specific conditions. We then extend our definitions to situations involving multiple mediators and address research questions concerning the decomposition of the total effect when some mediators on the pathway from the treatment to the outcome are marginalized over. Connections to the counterfactual definitions of the effects are also made. Data coming from an encouragement design on students' attitude to visit museums in Florence, Italy, are reanalyzed. The estimates of the defined quantities are reported together with their standard errors to compute p-values and form confidence intervals.


title: A programmable $k\cdot p$ Hamiltonian method and application to magnetic topological insulator MnBi$_2$Te$_4$

abstract: In the band theory, first-principles calculations, the tight-binding method and the effective $k\cdot p$ model are usually employed to investigate the electronic structure of condensed matters. The effective $k\cdot p$ model has a compact form with a clear physical picture, and first-principles calculations can give more accurate results. Nowadays, it has been widely recognized to combine the $k\cdot p$ model and first-principles calculations to explore topological materials. However, the traditional method to derive the $k\cdot p$ Hamiltonian is complicated and time-consuming by hand. In this work, we independently develop a programmable algorithm to construct effective $k\cdot p$ Hamiltonians. Symmetries and orbitals are used as the input information to produce the one-/two-/three-dimension $k\cdot p$ Hamiltonian in our method, and the open-source code can be directly downloaded online. At last, we also demonstrate the application to MnBi$_2$Te$_4$-family magnetic topological materials.


title: Simulation of multiple-quantum NMR dynamics of spin dimer on quantum computer

abstract: Dymanics of spin dimers in multiple quantum NMR experiment is studied on the 5-qubit superconducting quantum processor of IBM {Quantum Experience} for the both {pure} ground and thermodynamic equilibrium (mixed) initial states. The work can be considered as a first step towards an application of quantum computers to solving problems of magnetic resonance. This article is dedicated to Prof. Klaus M\"obius and Prof. Kev Salikhov on the occasion of their 85th birthdays.


title: A new approach of estimating the Galactic thermal dust and synchrotron polarized emission template in the microwave bands

abstract: The Internal Linear Combination (ILC) method has been extensively used to extract the cosmic microwave background (CMB) anisotropy map from foreground contaminated multi-frequency maps. However, the performance of simple ILC is limited and can be significantly improved by heavily constraint equations, dubbed cILC. The standard ILC and cILC works on the spin-0 field. Recently, a generalized version of ILC is developed to estimate polarization maps in which the quantity $Q \pm iU$ is combined at multiple frequencies using complex coefficients called Polarization ILC (PILC). A statistical moment expansion method has recently been developed for high precision modelling of the Galactic foregrounds. This paper develops a semi-blind component separation method combining the moment approach of foreground modelling with a generalized version of the PILC method for heavily constraint equations. The algorithm is developed in pixel space and performs for a spin-2 field. We employ this component separation technique in simultaneous estimation of Stokes $Q$, $U$ maps of the thermal dust at 353 GHz and synchrotron at 30 GHz over 78 % of the sky. We demonstrate the performance of the method on three sets of absolutely calibrated simulated maps at WMAP and planck frequencies with varying foreground models.


title: Controlling thermal conductance using three-dimensional phononic crystals

abstract: Controlling thermal transport at the nanoscale is vital for many applications. Previously, it has been shown that this control can be achieved with periodically nanostructured two-dimensional phononic crystals, for the case of suspended devices. Here we show that thermal conductance can also be controlled with three-dimensional phononic crystals, allowing the engineering of the thermal contact of more varied devices without the need of suspension in the future. We show experimental results measured at sub-Kelvin temperatures for two different period three-dimensional crystals, as well as for a bulk control structure. The results show that the conductance can be enhanced with the phononic crystal structures in our geometry. This result cannot be fully explained by the simplest theory taking into account the coherent modification of the phonon band structure, calculated with finite element method simulations.


title: Semantic Consistency and Identity Mapping Multi-Component Generative Adversarial Network for Person Re-Identification

abstract: In a real world environment, person re-identification (Re-ID) is a challenging task due to variations in lighting conditions, viewing angles, pose and occlusions. Despite recent performance gains, current person Re-ID algorithms still suffer heavily when encountering these variations. To address this problem, we propose a semantic consistency and identity mapping multi-component generative adversarial network (SC-IMGAN) which provides style adaptation from one to many domains. To ensure that transformed images are as realistic as possible, we propose novel identity mapping and semantic consistency losses to maintain identity across the diverse domains. For the Re-ID task, we propose a joint verification-identification quartet network which is trained with generated and real images, followed by an effective quartet loss for verification. Our proposed method outperforms state-of-the-art techniques on six challenging person Re-ID datasets: CUHK01, CUHK03, VIPeR, PRID2011, iLIDS and Market-1501.


title: Pulse shaping for on-demand emission of single Raman photons from a quantum-dot biexciton

abstract: Semiconductor quantum dots embedded in optical cavities are promising on-demand sources of single photons. Here, we theoretically study single photon emission from an optically driven two-photon Raman transition between the biexciton and the ground state of a quantum dot. The advantage of this process is that it allows all-optical control of the properties of the emitted single photon with a laser pulse. However, with the presence of other decay channels and excitation-induced quantum interference, on-demand emission of the single Raman photon is generally difficult to achieve. Here we show that laser pulses with non-trivial shapes can be used to maintain excitation conditions for which with increasing pulse intensities the on-demand regime is reached. To provide a realistic picture of the achievable system performance, we include phonon-mediated processes in the theoretical caluclations. While preserving both high photon purity and indistinguishability, we find that although based on a higher-order emission process, for realistic system parameters on-demand Raman photon emission is indeed achievable with suitably tailored laser pulses.


title: Smoothing Proximal Gradient Methods for Nonsmooth Sparsity Constrained Optimization: Optimality Conditions and Global Convergence

abstract: Nonsmooth sparsity constrained optimization encompasses a broad spectrum of applications in machine learning. This problem is generally non-convex and NP-hard. Existing solutions to this problem exhibit several notable limitations, including their inability to address general nonsmooth problems, tendency to yield weaker optimality conditions, and lack of comprehensive convergence analysis. This paper considers Smoothing Proximal Gradient Methods (SPGM) as solutions to nonsmooth sparsity constrained optimization problems. Two specific variants of SPGM are explored: one based on Iterative Hard Thresholding (SPGM-IHT) and the other on Block Coordinate Decomposition (SPGM-BCD). It is shown that the SPGM-BCD algorithm finds stronger stationary points compared to previous methods. Additionally, novel theories for analyzing the convergence rates of both SPGM-IHT and SPGM-BCD algorithms are developed. Our theoretical bounds, capitalizing on the intrinsic sparsity of the optimization problem, are on par with the best-known error bounds available to date. Finally, numerical experiments reveal that SPGM-IHT performs comparably to current IHT-style methods, while SPGM-BCD consistently surpasses them. Keywords: Sparsity Recovery, Nonsmooth Optimization, Nonconvex Optimization, Proximal Gradient Method, Block Coordinate Decomposition, Iterative Hard Thresholding, Convergence Analysis


title: Perturbation theory of nearly spherical dielectric optical resonators

abstract: Dielectric spheres of various sizes may sustain electromagnetic whispering-gallery modes resonating at optical frequencies with very narrow linewidths. Arbitrary small deviations from the spherical shape typically shift and broaden such resonances. Our goal is to determine these shifted and broadened resonances. A boundary-condition perturbation theory for the acoustic vibrations of nearly circular membranes was developed by Rayleigh more than a century ago. We extend this theory to describe the electromagnetic excitations of nearly spherical dielectric cavities. This approach permits us to avoid dealing with decaying quasinormal modes. We explicitly find the frequencies and the linewidths of the optical resonances for arbitrarily deformed nearly spherical dielectric cavities, as power series expansions by a small parameter, up to and including second-order terms. We thoroughly discuss the physical conditions for the applicability of perturbation theory.


title: Stokes manifolds and cluster algebras

abstract: Stokes' manifolds, also known as wild character varieties, carry a natural symplectic structure. Our goal is to provide explicit log-canonical coordinates for these natural Poisson structures on the Stokes' manifolds of polynomial connections of rank $2$, thus including the second Painlev\'e\ hierarchy. This construction provides the explicit linearization of the Poisson structure first discovered by Flaschka and Newell and then rediscovered and generalized by Boalch. We show that, for a connection of degree $K$, the Stokes' manifold is a cluster manifold of type $A_{2K}$. The main idea is then applied to express explicitly also the log--canonical coordinates for the Poisson bracket introduced by Ugaglia in the context of Frobenius manifolds and then also applied by Bondal in the study of the symplectic groupoid of quadratic forms.


title: Mutualized oblivious DNS ($\mu$ODNS): Hiding a tree in the wild forest

abstract: The traditional Domain Name System (DNS) lacks fundamental features of security and privacy in its design. As concerns of privacy increased on the Internet, security and privacy enhancements of DNS have been actively investigated and deployed. Specially for user's privacy in DNS queries, several relay-based anonymization schemes have been recently introduced, however, they are vulnerable to the collusion of a relay with a full-service resolver, i.e., identities of users cannot be hidden to the resolver. This paper introduces a new concept of a multiple-relay-based DNS for user anonymity in DNS queries, called the mutualized oblivious DNS ($\mu$ODNS), by extending the concept of existing relay-based schemes. The $\mu$ODNS introduces a small and reasonable assumption that each user has at least one trusted/dedicated relay in a network and mutually shares the dedicated one with others. The user just sets the dedicated one as his next-hop, first relay, conveying his queries to the resolver, and randomly chooses its $0$ or more subsequent relays shared by other entities. Under this small assumption, the user's identity is concealed to a target resolver in the $\mu$ODNS even if a certain (unknown) subset of relays collude with the resolver. That is, in $\mu$ODNS, users can preserve their privacy and anonymity just by paying a small cost of sharing its resource. Moreover, we present a PoC implementation of $\mu$ODNS that is publicly available on the Internet. We also show that by measurement of round-trip-time for queries, and our PoC implementation of $\mu$ODNS achieves the performance comparable to existing relay-based schemes.


title: Unsupervised Detection of Cancerous Regions in Histology Imagery using Image-to-Image Translation

abstract: Detection of visual anomalies refers to the problem of finding patterns in different imaging data that do not conform to the expected visual appearance and is a widely studied problem in different domains. Due to the nature of anomaly occurrences and underlying generating processes, it is hard to characterize them and obtain labeled data. Obtaining labeled data is especially difficult in biomedical applications, where only trained domain experts can provide labels, which often come in large diversity and complexity. Recently presented approaches for unsupervised detection of visual anomalies approaches omit the need for labeled data and demonstrate promising results in domains, where anomalous samples significantly deviate from the normal appearance. Despite promising results, the performance of such approaches still lags behind supervised approaches and does not provide a one-fits-all solution. In this work, we present an image-to-image translation-based framework that significantly surpasses the performance of existing unsupervised methods and approaches the performance of supervised methods in a challenging domain of cancerous region detection in histology imagery.


title: Large dust fractions can prevent the propagation of soundwaves

abstract: Dust plays a central role in several astrophysical processes. Hence the need of dust/gas numerical solutions, and analytical problems to benchmark them. In the seminal dustywave problem, we discover a regime where sound waves can not propagate through the mixture above a large critical dust fraction. We characterise this regime analytically, making it of use for testing accuracy of numerical solvers at large dust fractions.


title: On transfer homomorphisms of Krull monoids

abstract: Every Krull monoid has a transfer homomorphism onto a monoid of zero-sum sequences over a subset of its class group. This transfer homomorphism is a crucial tool for studying the arithmetic of Krull monoids. In the present paper, we strengthen and refine this tool for Krull monoids with finitely generated class group.


title: A general procedure for change-point detection in multivariate time series

abstract: We consider the change-point detection in multivariate continuous and integer valued time series. We propose a Wald-type statistic based on the estimator performed by a general contrast function; which can be constructed from the likelihood, a quasi-likelihood, a least squares method, etc. Sufficient conditions are provided to ensure that the statistic convergences to a well-known distribution under the null hypothesis (of no change) and diverges to infinity under the alternative; which establishes the consistency of the procedure. Some examples are detailed to illustrate the scope of application of the proposed procedure. Simulation experiments are conducted to illustrate the asymptotic results.


title: FastAdaBelief: Improving Convergence Rate for Belief-based Adaptive Optimizers by Exploiting Strong Convexity

abstract: AdaBelief, one of the current best optimizers, demonstrates superior generalization ability compared to the popular Adam algorithm by viewing the exponential moving average of observed gradients. AdaBelief is theoretically appealing in that it has a data-dependent $O(\sqrt{T})$ regret bound when objective functions are convex, where $T$ is a time horizon. It remains however an open problem whether the convergence rate can be further improved without sacrificing its generalization ability. %on how to exploit strong convexity to further improve the convergence rate of AdaBelief. To this end, we make a first attempt in this work and design a novel optimization algorithm called FastAdaBelief that aims to exploit its strong convexity in order to achieve an even faster convergence rate. In particular, by adjusting the step size that better considers strong convexity and prevents fluctuation, our proposed FastAdaBelief demonstrates excellent generalization ability as well as superior convergence. As an important theoretical contribution, we prove that FastAdaBelief attains a data-dependant $O(\log T)$ regret bound, which is substantially lower than AdaBelief. On the empirical side, we validate our theoretical analysis with extensive experiments in both scenarios of strong and non-strong convexity on three popular baseline models. Experimental results are very encouraging: FastAdaBelief converges the quickest in comparison to all mainstream algorithms while maintaining an excellent generalization ability, in cases of both strong or non-strong convexity. FastAdaBelief is thus posited as a new benchmark model for the research community.


title: Rule-based Shielding for Partially Observable Monte-Carlo Planning

abstract: Partially Observable Monte-Carlo Planning (POMCP) is a powerful online algorithm able to generate approximate policies for large Partially Observable Markov Decision Processes. The online nature of this method supports scalability by avoiding complete policy representation. The lack of an explicit representation however hinders policy interpretability and makes policy verification very complex. In this work, we propose two contributions. The first is a method for identifying unexpected actions selected by POMCP with respect to expert prior knowledge of the task. The second is a shielding approach that prevents POMCP from selecting unexpected actions. The first method is based on Satisfiability Modulo Theory (SMT). It inspects traces (i.e., sequences of belief-action-observation triplets) generated by POMCP to compute the parameters of logical formulas about policy properties defined by the expert. The second contribution is a module that uses online the logical formulas to identify anomalous actions selected by POMCP and substitutes those actions with actions that satisfy the logical formulas fulfilling expert knowledge. We evaluate our approach on Tiger, a standard benchmark for POMDPs, and a real-world problem related to velocity regulation in mobile robot navigation. Results show that the shielded POMCP outperforms the standard POMCP in a case study in which a wrong parameter of POMCP makes it select wrong actions from time to time. Moreover, we show that the approach keeps good performance also if the parameters of the logical formula are optimized using trajectories containing some wrong actions.


title: A Mechanised Proof of G\"odel's Incompleteness Theorems using Nominal Isabelle

abstract: An Isabelle/HOL formalisation of G\"odel's two incompleteness theorems is presented. The work follows \'Swierczkowski's detailed proof of the theorems using hereditarily finite (HF) set theory. Avoiding the usual arithmetical encodings of syntax eliminates the necessity to formalise elementary number theory within an embedded logical calculus. The Isabelle formalisation uses two separate treatments of variable binding: the nominal package is shown to scale to a development of this complexity, while de Bruijn indices turn out to be ideal for coding syntax. Critical details of the Isabelle proof are described, in particular gaps and errors found in the literature.


title: Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth

abstract: Modern trends in data collection are bringing current mainstream techniques for database query processing to their limits. Consequently, various novel approaches for efficient query processing are being actively studied. One such approach is based on hypertree decompositions (HDs), which have been shown to carry great potential to process complex queries more efficiently and with stronger theoretical guarantees. However, using HDs for query execution relies on the difficult task of computing decompositions of the query structure, which guides the efficient execution of the query. From theoretical results we know that the performance of purely sequential methods is inherently limited, yet the problem is susceptible to parallelisation. In this paper we propose the first algorithm for computing hypertree decompositions that is well-suited for parallelisation. The proposed algorithm log-k-decomp requires only a logarithmic number of recursion levels and additionally allows for highly parallelised pruning of the search space by restriction to balanced separators. We provide detailed experimental evaluation over the HyperBench benchmark and demonstrate that our approach is highly effective especially for complex queries.


title: Finding High-Value Training Data Subset through Differentiable Convex Programming

abstract: Finding valuable training data points for deep neural networks has been a core research challenge with many applications. In recent years, various techniques for calculating the "value" of individual training datapoints have been proposed for explaining trained models. However, the value of a training datapoint also depends on other selected training datapoints - a notion that is not explicitly captured by existing methods. In this paper, we study the problem of selecting high-value subsets of training data. The key idea is to design a learnable framework for online subset selection, which can be learned using mini-batches of training data, thus making our method scalable. This results in a parameterized convex subset selection problem that is amenable to a differentiable convex programming paradigm, thus allowing us to learn the parameters of the selection model in end-to-end training. Using this framework, we design an online alternating minimization-based algorithm for jointly learning the parameters of the selection model and ML model. Extensive evaluation on a synthetic dataset, and three standard datasets, show that our algorithm finds consistently higher value subsets of training data, compared to the recent state-of-the-art methods, sometimes ~20% higher value than existing methods. The subsets are also useful in finding mislabelled training data. Our algorithm takes running time comparable to the existing valuation functions.


title: The Space of Interaction (long version)

abstract: The space complexity of functional programs is not well understood. In particular, traditional implementation techniques are tailored to time efficiency, and space efficiency induces time inefficiencies, as it prefers re-computing to saving. Girard's geometry of interaction underlies an alternative approach based on the interaction abstract machine (IAM), claimed as space efficient in the literature. It has also been conjectured to provide a reasonable notion of space for the lambda-calculus, but such an important result seems to be elusive. In this paper we introduce a new intersection type system precisely measuring the space consumption of the IAM on the typed term. Intersection types have been repeatedly used to measure time, which they achieve by dropping idempotency, turning intersections into multisets. Here we show that the space consumption of the IAM is connected to a further structural modification, turning multisets into trees. Tree intersection types lead to a finer understanding of some space complexity results from the literature. They also shed new light on the conjecture about reasonable space: we show that the usual way of encoding Turing machines into the lambda calculus cannot be used to prove that the space of the IAM is a reasonable cost model.


title: Continuous-time locally stationary time series models

abstract: We adapt the classical definition of locally stationary processes in discrete-time to the continuous-time setting and obtain equivalent representations in the time and frequency domain. From this, a unique time-varying spectral density is derived using the Wigner-Ville spectrum. As an example, we investigate time-varying L\'evy-driven state space processes, including the class of time-varying L\'evy-driven CARMA processes. First, the connection between these two classes of processes is examined. Considering a sequence of time-varying L\'evy-driven state space processes, we then give sufficient conditions on the coefficient functions that ensure local stationarity with respect to the given definition.


title: Image Synthesis as a Pretext for Unsupervised Histopathological Diagnosis

abstract: Anomaly detection in visual data refers to the problem of differentiating abnormal appearances from normal cases. Supervised approaches have been successfully applied to different domains, but require an abundance of labeled data. Due to the nature of how anomalies occur and their underlying generating processes, it is hard to characterize and label them. Recent advances in deep generative-based models have sparked interest in applying such methods for unsupervised anomaly detection and have shown promising results in medical and industrial inspection domains. In this work we evaluate a crucial part of the unsupervised visual anomaly detection pipeline, that is needed for normal appearance modeling, as well as the ability to reconstruct closest looking normal and tumor samples. We adapt and evaluate different high-resolution state-of-the-art generative models from the face synthesis domain and demonstrate their superiority over currently used approaches on a challenging domain of digital pathology. Multifold improvement in image synthesis is demonstrated in terms of the quality and resolution of the generated images, validated also against the supervised model.


title: First results of the CAST-RADES haloscope search for axions at 34.67 $\mu$eV

abstract: We present results of the Relic Axion Dark-Matter Exploratory Setup (RADES), a detector which is part of the CERN Axion Solar Telescope (CAST), searching for axion dark matter in the 34.67$\mu$eV mass range. A radio frequency cavity consisting of 5 sub-cavities coupled by inductive irises took physics data inside the CAST dipole magnet for the first time using this filter-like haloscope geometry. An exclusion limit with a 95% credibility level on the axion-photon coupling constant of g$_{a\gamma}\gtrsim 4\times10^{-13} \text{GeV}^{-1}$ over a mass range of 34.6738 $\mu$eV < $m_a$ < 34.6771 $\mu$eV is set. This constitutes a significant improvement over the current strongest limit set by CAST at this mass and is at the same time one of the most sensitive direct searches for an axion dark matter candidate above the mass of 25 $\mu$eV. The results also demonstrate the feasibility of exploring a wider mass range around the value probed by CAST-RADES in this work using similar coherent resonant cavities.


title: Trajectory Design in Rechargeable UAV Aided Wireless Networks: A Unified Framework for Energy Efficiency and Flight Time Minimization

abstract: This paper studies a rechargeable unmanned aerial vehicle (UAV) assisted wireless network, where a UAV is dispatched to disseminate information to a group of ground terminals (GTs) and returns to a recharging station (RS) before the on-board battery is depleted. The central aim is to design a UAV trajectory with the minimum total time duration, including the flight and recharging time, by optimizing the flying velocity, transmit power and hovering positions jointly. A flow-based mathematical programming formulation is proposed to provide optimal for joint optimization of flying and recharging time. Furthermore, to attack the curse of dimensionality for optimal decision making, a two-step method is proposed. In the first step, the UAV hovering positions is fixed and initialize a feasible trajectory design by solving a travelling salesman problem with energy constraints (TSPE) problem. In the second step, for the given initial trajectory, the time consumption for each sub-tour is minimized by optimizing the flying velocity, transmit power and hovering positions jointly. Numerical results show that the proposed method outperforms state of art techniques and reduces the aggregate time duration in an efficient way.


title: How can slow plasma electron holes exist?

abstract: One dimensional analysis is presented of solitary positive potential plasma structures whose velocity lies within the range of ion distribution velocities that are strongly populated: so called "slow" electron holes. It is shown that to avoid the self-acceleration of the hole velocity away from ion velocities it must lie within a local minimum in the ion velocity distribution. Quantitative criteria for the existence of stable equilibria are obtained. The background ion distributions required are generally stable to ion-ion modes unless the electron temperature is much higher than the ion temperature. Since slow positive potential solitons are shown not to be possible without a significant contribution from trapped electrons, it seems highly likely that such observed slow potential structures are indeed electron holes.


title: The analytic dually flat space of the mixture family of two prescribed distinct Cauchy distributions

abstract: A smooth and strictly convex function on an open convex domain induces both (1) a Hessian manifold with respect to the standard flat Euclidean connection, and (2) a dually flat space of information geometry. We first review these constructions and illustrate how to instantiate them for (a) full regular exponential families from their partition functions, (b) regular homogeneous cones from their characteristic functions, and (c) mixture families from their Shannon negentropy functions. Although these structures can be explicitly built for many common examples of the first two classes, the differential entropy of a continuous statistical mixture with distinct prescribed density components sharing the same support is hitherto not known in closed form, hence forcing implementations of mixture family manifolds in practice using Monte Carlo sampling. In this work, we report a notable exception: The family of mixtures defined as the convex combination of two prescribed and distinct Cauchy distributions. As a byproduct, we report closed-form formula for the Jensen-Shannon divergence between two mixtures of two prescribed Cauchy components.


title: One-dimensional scattering of two-dimensional fermions near quantum criticality

abstract: Forward and backscattering play an exceptional role in the physics of two-dimensional interacting fermions. In a Fermi liquid, both give rise to a non-analytic $\omega^2 \log(\omega)$ form of the fermionic scattering rate at second order in the interaction. Here we argue that higher powers of $\log(\omega)$ appearin the backscattering contribution at higher orders. We show that these terms come from "planar" processes, which are effectively one-dimensional. This is explicitly demonstated by extending a Fermi liquid to the limit of $N \gg 1$ fermionic flavors, when only planar processes survive. We sum the leading logarithms for the case of a 2D Fermi liquid near a nematic transition and obtain an expression for the scattering rate at $T=0$ to all orders in the interaction. For a repulsive interaction, the resulting rate is logarithmically suppressed, and the result is valid down to $\omega = 0$. For an attractive interaction, the ground state is an $s$-wave superconductor with a gap $\Delta_0$. We show that in this case the scattering rate increases as $\omega$ is reduced towards $\Delta_0$. At $\omega \geq \Delta_0$, the behavior of the scattering rate is rather unconventional as many pairing channels compete near a nematic critical point, and $s$-wave wins only by a narrow margin. We take superconductivity into consideration and obtain the scattering rate also at smaller $\omega \simeq \Delta_0$.


title: Does Face Recognition Error Echo Gender Classification Error?

abstract: This paper is the first to explore the question of whether images that are classified incorrectly by a face analytics algorithm (e.g., gender classification) are any more or less likely to participate in an image pair that results in a face recognition error. We analyze results from three different gender classification algorithms (one open-source and two commercial), and two face recognition algorithms (one open-source and one commercial), on image sets representing four demographic groups (African-American female and male, Caucasian female and male). For impostor image pairs, our results show that pairs in which one image has a gender classification error have a better impostor distribution than pairs in which both images have correct gender classification, and so are less likely to generate a false match error. For genuine image pairs, our results show that individuals whose images have a mix of correct and incorrect gender classification have a worse genuine distribution (increased false non-match rate) compared to individuals whose images all have correct gender classification. Thus, compared to images that generate correct gender classification, images that generate gender classification errors do generate a different pattern of recognition errors, both better (false match) and worse (false non-match).


title: Coupling of non-conforming trimmed isogeometric Kirchhoff-Love shells via a projected super-penalty approach

abstract: Penalty methods have proven to be particularly effective for achieving the required $C^1$-continuity in the context of multi-patch isogeometric Kirchhoff-Love shells. Due to their conceptual simplicity, these algorithms are readily applicable to the displacement and rotational coupling of trimmed, non-conforming surfaces. However, the accuracy of the resulting solution depends heavily on the choice of penalty parameters. Furthermore, the selection of these coefficients is generally problem-dependent and is based on a heuristic approach. Moreover, developing a penalty-like procedure that avoids interface locking while retaining optimal accuracy is still an open question. This work focuses on these challenges. In particular, we devise a penalty-like strategy based on the $L^2$-projection of displacement and rotational coupling terms onto a degree-reduced spline space defined on the corresponding interface. Additionally, the penalty factors are completely defined by the problem setup and are constructed to ensure optimality of the method. To demonstrate this, we asses the performance of the proposed numerical framework on a series of non-trimmed and trimmed multi-patch benchmarks discretized by non-conforming meshes. We systematically observe a significant gain of accuracy per degree-of-freedom and no interface locking phenomena compared to other penalty-like approaches. Lastly, we perform a static shell analysis of a complex engineering structure, namely the blade of a wind turbine.


title: Traveling fronts for Fisher-KPP lattice equations in almost periodic media

abstract: This paper investigates the existence of almost periodic traveling fronts for Fisher-KPP lattice equations in one-dimensional almost periodic media. By the Lyapunov exponent of the linearized operator near the unstable steady state, we give sufficient condition of the existence of minimal speed of traveling fronts. Furthermore, it is showed that almost periodic traveling fronts share the same recurrence property as the structure of the media. As applications, we give some typical examples which have minimal speed, and the proof of this depends on dynamical system approach to almost periodic Schrodinger operator.


title: Linear Nakayama algebras which are higher Auslander algebras

abstract: An artin algebra A is said to be a higher Auslander algebra provided the global dimension and the dominant dimension coincide. We say that a linear Nakayama algebra is monotone, provided its Kupisch series first increases, then decreases. We are going to classify the monotone Nakayama algebras which are higher Auslander algebras. Let us stress that the classification strongly depends on the parity of the global dimension of A.


title: Recent Advances on Non-Line-of-Sight Imaging: Conventional Physical Models, Deep Learning, and New Scenes

abstract: As an emerging technology that has attracted huge attention, non-line-of-sight (NLOS) imaging can reconstruct hidden objects by analyzing the diffuse reflection on a relay surface, with broad application prospects in the fields of autonomous driving, medical imaging, and defense. Despite the challenges of low signal-to-noise ratio (SNR) and high ill-posedness, NLOS imaging has been developed rapidly in recent years. Most current NLOS imaging technologies use conventional physical models, constructing imaging models through active or passive illumination and using reconstruction algorithms to restore hidden scenes. Moreover, deep learning algorithms for NLOS imaging have also received much attention recently. This paper presents a comprehensive overview of both conventional and deep learning-based NLOS imaging techniques. Besides, we also survey new proposed NLOS scenes, and discuss the challenges and prospects of existing technologies. Such a survey can help readers have an overview of different types of NLOS imaging, thus expediting the development of seeing around corners.


title: On the influence of equilibrium tides on transit-timing variations of close-in super-Earths. I. Application to single-planet systems and the case of K2-265 b

abstract: In this work, we investigate the influence of planetary tidal interactions on the transit-timing variations of short-period low-mass rocky exoplanets. For such purpose, we employ the recently-developed creep tide theory to compute tidally-induced TTVs. We implement the creep tide in the recently-developed Posidonius N-body code, thus allowing for a high-precision evolution of the coupled spin-orbit dynamics of planetary systems. As a working example for the analyses of tidally-induced TTVs, we apply our version of the code to the K2-265 b planet. We analyse the dependence of tidally-induced TTVs with the planetary rotation rate, uniform viscosity coefficient and eccentricity. Our results show that the tidally-induced TTVs are more significant in the case where the planet is trapped in non-synchronous spin-orbit resonances, in particular the 3/2 and 2/1 spin-orbit resonant states. An analysis of the TTVs induced separately by apsidal precession and tidally-induced orbital decay has allowed for the conclusion that the latter effect is much more efficient at causing high-amplitude TTVs than the former effect by 2 - 3 orders of magnitude. We compare our findings for the tidally-induced TTVs obtained with Posidonius with analytical formulations for the transit timings used in previous works, and verified that the results for the TTVs coming from Posidonius are in excellent agreement with the analytical formulations. These results show that the new version of Posidonius containing the creep tide theory implementation can be used to study more complex cases in the future. For instance, the code can be used to study multiplanetary systems, in which case planet-planet gravitational perturbations must be taken into account additionally to tidal interactions to obtain the TTVs.


title: Price's law for spin fields on a Schwarzschild background

abstract: In this work, we derive the globally precise late-time asymptotics for the spin-$\mathfrak{s}$ fields on a Schwarzschild background, including the scalar field $(\mathfrak{s}=0)$, the Maxwell field $(\mathfrak{s}=\pm 1)$ and the linearized gravity $(\mathfrak{s}=\pm 2)$. The conjectured Price's law in the physics literature which predicts the sharp rates of decay of the spin $s=\pm \mathfrak{s}$ components towards the future null infinity as well as in a compact region is shown. Further, we confirm the heuristic claim by Barack and Ori that the spin $+1, +2$ components have an extra power of decay at the event horizon than the conjectured Price's law. The asymptotics are derived via a unified, detailed analysis of the Teukolsky master equation that is satisfied by all these components.


title: Light vector dark matter with scalar mediator and muon g-2 anomaly

abstract: We study a model with a vector dark matter (DM) candidate interacting with the SM charged leptons through a scalar portal. The dark matter candidate acquires mass when the complex scalar breaks an abelian gauge symmetry spontaneously. The scalar interacts with the SM charged leptons through a dimension-6 operator. The scalar mediator induces elastic scattering of dark matter with electrons at tree level and also DM-nucleon interaction when the effects from scalar-Higgs mixing are also taken into account. Given the recent results from Xenon1T upper bounds on DM-electron elastic scattering cross section where the strongest sensitivity lies in the range $\sim {\cal O}$(1) GeV, we find the viable space in the parameter space respecting constraints from the observed relic density, direct detection, muon $(g_\mu-2)$ anomaly, $e^+ e^-$ colliders, electron beam-dump experiments and astrophysical observables. It is shown that the current upper bounds of Xenon1T on DM-electron interaction is partially sensitive to the regions in the viable parameter space which is already excluded by the electron beam-dump experiment, Orsay. We also find that there are viable DM particles with masses $\sim {\cal O}(1)$ GeV evading the direct detection but stand well above the neutrino floor. Almost the same viable regions are found when we apply the direct detection upper limits on the DM-proton spin-independent cross section.


title: Bounding the degrees of the defining equations of Rees rings for certain determinantal and Pfaffian ideals

abstract: We consider ideals of minors of a matrix, ideals of minors of a symmetric matrix, and ideals of Pfaffians of an alternating matrix. Assuming these ideals are of generic height, we characterize the condition $G_{s}$ for these ideals in terms of the heights of other ideals of minors or Pfaffians of the same matrix. We additionally obtain bounds on the generation and concentration degrees of the Rees rings of a subclass of such ideals via specialization of the Rees rings in the generic case. We do this by proving, given sufficient height conditions on ideals of minors or Pfaffians of the matrix, the specialization of a resolution of the Rees ring in the generic case is an approximate resolution of the Rees ring in question. We end the paper by giving some explicit generation and concentration degree bounds.