title: On generalized Steinberg theory for type AIII

abstract: Given a symmetric pair $(G,K)=(\mathrm{GL}_{p+q}(\mathbb{C}),\mathrm{GL}_{p}(\mathbb{C})\times \mathrm{GL}_{q}(\mathbb{C}))$ of type AIII, we consider the diagonal action of $K$ on the double flag variety $\mathfrak{X}=\mathrm{Grass}(\mathbb{C}^{p+q},r)\times K/B_K$ whose first factor is a Grassmann variety for $G$ and whose second factor is a full flag variety of $K$. There is a finite number of orbits for this action, and our first result is a description of these orbits: parametrization, dimensions, closure relations, and cover relations. Specifically, the orbits are parametrized by certain pairs of partial permutations. Each orbit in $\mathfrak{X}$ gives rise to a conormal bundle. As in the references [5] and [6], by using the moment map associated to the action, we define a so-called symmetrized Steinberg map, respectively an exotic Steinberg map, which assigns to each such conormal bundle (thus to each orbit) a nilpotent orbit in the Lie algebra of $K$, respectively in the Cartan complement of that Lie algebra. Our main result is an explicit description of these Steinberg maps in terms of combinatorial algorithms on partial permutations, extending the classical Robinson--Schensted procedure on permutations. This is a thorough generalization of the results in [5], where we supposed $p=q=r$ and considered orbits of special forms.


title: Continuum Percolation and Stochastic Epidemic Models on Poisson and Ginibre Point Processes

abstract: The most studied continuum percolation model in two dimensions is the Boolean model consisting of disks with the same radius whose centers are randomly distributed on the Poisson point process (PPP). We also consider the Boolean percolation model on the Ginibre point process (GPP), which is a typical repelling point process realizing hyperuniformity. We think that the PPP approximates a disordered configuration of individuals, while the GPP does a configuration of citizens adopting a strategy to keep social distancing in a city in order to avoid contagion. We consider the SIR models with contagious infection on supercritical percolation clusters formed on the PPP and the GPP. By numerical simulations, we studied dependence of the percolation phenomena and the infection processes on the PPP- and the GPP-underlying graphs. We show that in a subcritical regime of infection rate the PPP-based models show emergence of infection clusters on clumping of points which is formed by fluctuation of uncorrelated Poissonian statistics. On the other hand, the cumulative numbers of infected individuals in processes are suppressed in the GPP-based models.


title: HD142527: Quantitative disk polarimetry with SPHERE

abstract: We present high-precision photometry and polarimetry for the protoplanetary disk around HD142527, with a focus on determining the light scattering parameters of the dust. We re-reduced polarimetric differential imaging data of HD142527 in the VBB (735 nm) and H-band (1625 nm) from the ZIMPOL and IRDIS subinstruments of SPHERE/VLT. With polarimetry and photometry based on reference star differential imaging, we were able to measure the linearly polarized intensity and the total intensity of the light scattered by the circumstellar disk with high precision. We used simple Monte Carlo simulations of multiple light scattering by the disk surface to derive constraints for three scattering parameters of the dust: the maximum polarization of $P_{\rm max}$, the asymmetry parameter $g$, and the single-scattering albedo $\omega$. We measure a reflected total intensity of $51.4\pm1.5$ mJy and $206\pm12$ mJy and a polarized intensity of $11.3\pm0.3$ mJy and $55.1\pm3.3$ mJy in the VBB and H-band, respectively. We also find in the visual range a degree of polarization that varies between $28\%$ on the far side of the disk and $17\%$ on the near side. The disk shows a red color for the scattered light intensity and the polarized intensity, which are about twice as high in the near-infrared when compared to the visual. We determine with model calculations the scattering properties of the dust particles and find evidence for strong forward scattering ($g\approx 0.5-0.75$), relatively low single-scattering albedo ($\omega \approx 0.2-0.5$), and high maximum polarization ($P_{\rm max} \approx 0.5-0.75$) at the surface on the far side of the disk for both observed wavelengths. The optical parameters indicate the presence of large aggregate dust particles, which are necessary to explain the high maximum polarization, the strong forward-scattering nature of the dust, and the observed red disk color.


title: How to distribute data across tasks for meta-learning?

abstract: Meta-learning models transfer the knowledge acquired from previous tasks to quickly learn new ones. They are trained on benchmarks with a fixed number of data points per task. This number is usually arbitrary and it is unknown how it affects performance at testing. Since labelling of data is expensive, finding the optimal allocation of labels across training tasks may reduce costs. Given a fixed budget of labels, should we use a small number of highly labelled tasks, or many tasks with few labels each? Should we allocate more labels to some tasks and less to others? We show that: 1) If tasks are homogeneous, there is a uniform optimal allocation, whereby all tasks get the same amount of data; 2) At fixed budget, there is a trade-off between number of tasks and number of data points per task, with a unique solution for the optimum; 3) When trained separately, harder task should get more data, at the cost of a smaller number of tasks; 4) When training on a mixture of easy and hard tasks, more data should be allocated to easy tasks. Interestingly, Neuroscience experiments have shown that human visual skills also transfer better from easy tasks. We prove these results mathematically on mixed linear regression, and we show empirically that the same results hold for few-shot image classification on CIFAR-FS and mini-ImageNet. Our results provide guidance for allocating labels across tasks when collecting data for meta-learning.


title: 3-Regular 3-XORSAT Planted Solutions Benchmark of Classical and Quantum Heuristic Optimizers

abstract: With current semiconductor technology reaching its physical limits, special-purpose hardware has emerged as an option to tackle specific computing-intensive challenges. Optimization in the form of solving Quadratic Unconstrained Binary Optimization (QUBO) problems, or equivalently Ising spin glasses, has been the focus of several new dedicated hardware platforms. These platforms come in many different flavors, from highly-efficient hardware implementations on digital-logic of established algorithms to proposals of analog hardware implementing new algorithms. In this work, we use a mapping of a specific class of linear equations whose solutions can be found efficiently, to a hard constraint satisfaction problem (3-regular 3-XORSAT, or an Ising spin glass) with a 'golf-course' shaped energy landscape, to benchmark several of these different approaches. We perform a scaling and prefactor analysis of the performance of Fujitsu's Digital Annealer Unit (DAU), the D-Wave Advantage quantum annealer, a Virtual MemComputing Machine, Toshiba's Simulated Bifurcation Machine (SBM), the SATonGPU algorithm from Bernaschi et al., and our implementation of parallel tempering. We identify the SATonGPU and DAU as currently having the smallest scaling exponent for this benchmark, with SATonGPU having a small scaling advantage and in addition having by far the smallest prefactor thanks to its use of massive parallelism. Our work provides an objective assessment and a snapshot of the promise and limitations of dedicated optimization hardware relative to a particular class of optimization problems.


title: Silicon-on-insulator optomechanical microresonator with tight photon and phonon confinement

abstract: The implementation of optomechanical devices in silicon-on-insulator (SOI), the canonical silicon photonics technology is seriously hampered by the strong phonon leakage into the silica under-cladding. This limitation has been partially circumvented by total or partial removal of the silica under-cladding to form Si membranes or pedestal waveguides. However, this approach complicates integration with standard silicon optoelectronics circuitry, limiting the versatility and application of the strategy. Here, we propose and demonstrate a new strategy to confine photons and phonons in SOI without removing the silica under-cladding. Inspired by end-fire antenna arrays, we implement a periodic nanostructuration of silicon that simultaneously enables cancelling phonon leakage by destructive interference and guiding of photons by metamaterial index confinement. Based on this concept, we implement SOI optomechanical micro-resonators yielding remarkable optomechanical coupling (go=49 kHz) between 0.66 GHz mechanical modes and near-infrared optical modes. The mechanical mode exhibits a measured quality factor of Qm = 730, the largest reported for SOI optomechanical resonators, without silica removal. This value compares favorably with state-of-the-art Si membrane waveguides recently used to demonstrate remarkable Brillouin interactions in silicon (Qm ~ 700). These results open a new path for developing optomechanics in SOI without the need for silica removal, allowing seamless co-integration with current Si optoelectronics circuits, with a great potential for applications in communications, sensing, metrology, and quantum technologies.


title: NADI 2021: The Second Nuanced Arabic Dialect Identification Shared Task

abstract: We present the findings and results of the Second Nuanced Arabic Dialect Identification Shared Task (NADI 2021). This Shared Task includes four subtasks: country-level Modern Standard Arabic (MSA) identification (Subtask 1.1), country-level dialect identification (Subtask 1.2), province-level MSA identification (Subtask 2.1), and province-level sub-dialect identification (Subtask 2.2). The shared task dataset covers a total of 100 provinces from 21 Arab countries, collected from the Twitter domain. A total of 53 teams from 23 countries registered to participate in the tasks, thus reflecting the interest of the community in this area. We received 16 submissions for Subtask 1.1 from five teams, 27 submissions for Subtask 1.2 from eight teams, 12 submissions for Subtask 2.1 from four teams, and 13 Submissions for subtask 2.2 from four teams.


title: Ensemble approach for detection of depression using EEG features

abstract: Depression is a public health issue which severely affects one's well being and cause negative social and economic effect for society. To rise awareness of these problems, this publication aims to determine if long lasting effects of depression can be determined from electoencephalographic (EEG) signals. The article contains accuracy comparison for SVM, LDA, NB, kNN and D3 binary classifiers which were trained using linear (relative band powers, APV, SASI) and non-linear (HFD, LZC, DFA) EEG features. The age and gender matched dataset consisted of 10 healthy subjects and 10 subjects with depression diagnosis at some point in their lifetime. Several of the proposed feature selection and classifier combinations reached accuracy of 90% where all models where evaluated using 10-fold cross validation and averaged over 100 repetitions with random sample permutations.


title: Beyond Image to Depth: Improving Depth Prediction using Echoes

abstract: We address the problem of estimating depth with multi modal audio visual data. Inspired by the ability of animals, such as bats and dolphins, to infer distance of objects with echolocation, some recent methods have utilized echoes for depth estimation. We propose an end-to-end deep learning based pipeline utilizing RGB images, binaural echoes and estimated material properties of various objects within a scene. We argue that the relation between image, echoes and depth, for different scene elements, is greatly influenced by the properties of those elements, and a method designed to leverage this information can lead to significantly improved depth estimation from audio visual inputs. We propose a novel multi modal fusion technique, which incorporates the material properties explicitly while combining audio (echoes) and visual modalities to predict the scene depth. We show empirically, with experiments on Replica dataset, that the proposed method obtains 28% improvement in RMSE compared to the state-of-the-art audio-visual depth prediction method. To demonstrate the effectiveness of our method on larger dataset, we report competitive performance on Matterport3D, proposing to use it as a multimodal depth prediction benchmark with echoes for the first time. We also analyse the proposed method with exhaustive ablation experiments and qualitative results. The code and models are available at https://krantiparida.github.io/projects/bimgdepth.html


title: Developing an Underwater Network of Ocean Observation Systems with Digital Twin Prototypes -- A Field Report from the Baltic Sea

abstract: During the research cruise AL547 with RV ALKOR (October 20-31, 2020), a collaborative underwater network of ocean observation systems was deployed in Boknis Eck (SW Baltic Sea, German exclusive economic zone (EEZ)) in the context of the project ARCHES (Autonomous Robotic Networks to Help Modern Societies). This network was realized via a Digital Twin Prototype approach. During that period different scenarios were executed to demonstrate the feasibility of Digital Twins in an extreme environment such as underwater. One of the scenarios showed the collaboration of stage IV Digital Twins with their physical counterparts on the seafloor. This way, we address the research question, whether Digital Twins represent a feasible approach to operate mobile ad hoc networks for ocean and coastal observation.


title: Relevant alternative analytic average magnetization calculation method for the square and the honeycomb Ising lattices

abstract: In this work, the order parameter or average magnetization expressions are obtained for the square and the honeycomb lattices based on recently obtained magnetization relation, $<\sigma_{0,i}>= <\!\!\tanh[ \kappa(\sigma_{1,i}+\sigma_{2,i}+\dots +\sigma_{z,i})+H]\!\!> $. Where, $\kappa$ is the coupling strength and $z$ is the number of nearest neighbors. $\sigma_{0,i}$ denotes the central spin at the $i^{th}$ site while $\sigma_{l,i}$, $l=1,2,\dots,z$, are the nearest neighbor spins around the central spin. In our investigation, inevitably we have to make a conjecture about the three site correlation function appearing in the obtained relation of this paper. The conjectured form of the the three spin correlation function is given by the relation, $<\!\!\sigma_{1}\sigma_{2}\sigma_{3}\!\!>=a<\sigma>+(1-a)<\sigma>^{(1+\beta^{-1})}$, here $\beta$ denotes the critical exponent for the average magnetization and $a$ is positive real number less than one. The relevance of this conjecture is based on fundamental physical reasoning. In addition, it is tested and investigated by comparing the obtained relations of this paper with the previously obtained exact results for the square and honeycomb lattices. It is seen that the agreements of the obtained average magnetization relations with those of the previously obtained exact results are unprecedentedly perfect.


title: Minimal free resolutions of differential modules

abstract: We propose a notion of minimal free resolutions for differential modules, and we prove existence and uniqueness results for such resolutions. We also take the first steps toward studying the structure of minimal free resolutions of differential modules. Our main result in this direction explains a sense in which the minimal free resolution of a differential module is a deformation of the minimal free resolution of its homology; this leads to structural results that mirror classical theorems about minimal free resolutions of modules.


title: Automatically Lock Your Neural Networks When You're Away

abstract: The smartphone and laptop can be unlocked by face or fingerprint recognition, while neural networks which confront numerous requests every day have little capability to distinguish between untrustworthy and credible users. It makes model risky to be traded as a commodity. Existed research either focuses on the intellectual property rights ownership of the commercialized model, or traces the source of the leak after pirated models appear. Nevertheless, active identifying users legitimacy before predicting output has not been considered yet. In this paper, we propose Model-Lock (M-LOCK) to realize an end-to-end neural network with local dynamic access control, which is similar to the automatic locking function of the smartphone to prevent malicious attackers from obtaining available performance actively when you are away. Three kinds of model training strategy are essential to achieve the tremendous performance divergence between certified and suspect input in one neural network. Extensive experiments based on MNIST, FashionMNIST, CIFAR10, CIFAR100, SVHN and GTSRB datasets demonstrated the feasibility and effectiveness of the proposed scheme.


title: Implementation of relativistic coupled cluster theory for massively parallel GPU-accelerated computing architectures

abstract: In this paper, we report a reimplementation of the core algorithms of relativistic coupled cluster theory aimed at modern heterogeneous high-performance computational infrastructures. The code is designed for efficient parallel execution on many compute nodes with optional GPU coprocessing, accomplished via the new ExaTENSOR back end. The resulting ExaCorr module is primarily intended for calculations of molecules with one or more heavy elements, as relativistic effects on electronic structure are included from the outset. In the current work, we thereby focus on exact 2-component methods and demonstrate the accuracy and performance of the software. The module can be used as a stand-alone program requiring a set of molecular orbital coefficients as starting point, but is also interfaced to the DIRAC program that can be used to generate these. We therefore also briefly discuss an improvement of the parallel computing aspects of the relativistic self-consistent field algorithm of the DIRAC program.


title: Combinatorial games on multi-type Galton-Watson trees

abstract: When normal and mis\`{e}re games are played on bi-type binary Galton-Watson trees (with vertices coloured blue or red and each having either no child or precisely $2$ children), with one player allowed to move along monochromatic edges and the other along non-monochromatic edges, the draw probabilities equal $0$ unless every vertex gives birth to one blue and one red child. On bi-type Poisson trees where each vertex gives birth to Poisson$(\lambda)$ offspring in total, the draw probabilities approach $1$ as $\lambda \rightarrow \infty$. We study such \emph{novel} versions of normal, mis\`{e}re and escape games on rooted multi-type Galton-Watson trees, with the "permissible" edges for one player being disjoint from those of her opponent. The probabilities of the games' outcomes are analyzed, compared with each other, and their behaviours as functions of the underlying law explored.


title: Deep Consensus Learning

abstract: Both generative learning and discriminative learning have recently witnessed remarkable progress using Deep Neural Networks (DNNs). For structured input synthesis and structured output prediction problems (e.g., layout-to-image synthesis and image semantic segmentation respectively), they often are studied separately. This paper proposes deep consensus learning (DCL) for joint layout-to-image synthesis and weakly-supervised image semantic segmentation. The former is realized by a recently proposed LostGAN approach, and the latter by introducing an inference network as the third player joining the two-player game of LostGAN. Two deep consensus mappings are exploited to facilitate training the three networks end-to-end: Given an input layout (a list of object bounding boxes), the generator generates a mask (label map) and then use it to help synthesize an image. The inference network infers the mask for the synthesized image. Then, the latent consensus is measured between the mask generated by the generator and the one inferred by the inference network. For the real image corresponding to the input layout, its mask also is computed by the inference network, and then used by the generator to reconstruct the real image. Then, the data consensus is measured between the real image and its reconstructed image. The discriminator still plays the role of an adversary by computing the realness scores for a real image, its reconstructed image and a synthesized image. In experiments, our DCL is tested in the COCO-Stuff dataset. It obtains compelling layout-to-image synthesis results and weakly-supervised image semantic segmentation results.


title: Expanded atmospheres and winds in Type I X-ray bursts from accreting neutron stars

abstract: We calculate steady-state models of radiation-driven super-Eddington winds and static expanded envelopes of neutron stars caused by high luminosities in type I X-ray bursts. We use flux-limited diffusion to model the transition from optically thick to optically thin, and include effects of general relativity, allowing us to study the photospheric radius close to the star as the hydrostatic atmosphere evolves into a wind. We find that the photospheric radius evolves monotonically from static envelopes ($r_{\rm ph}\lesssim 50-70$ km) to winds ($r_{\rm ph}\approx 100-1000$ km). Photospheric radii of less than $100$ km, as observed in most photospheric radius expansion bursts, can be explained by static envelopes, but only in a narrow range of luminosity. In most bursts, we would expect the luminosity to increase further, leading to a wind with photospheric radius $\gtrsim 100$ km. In the contraction phase, the expanded envelope solutions show that the photosphere is still $\approx 1$ km above the surface when the effective temperature is only $3\%$ away from its maximum value. This is a possible systematic uncertainty when interpreting the measured Eddington fluxes from bursts at touchdown. We also discuss the applicability of steady-state models to describe the dynamics of bursts. In particular, we show that the sub to super-Eddington transition during the burst rise is rapid enough that static models are not appropriate. Finally, we analyze the strength of spectral shifts in our models. Expected shifts at the photosphere are dominated by gravitational redshift, and are therefore predicted to be less than a few percent.


title: Exhaustive constructions of effective models in 1651 magnetic space groups

abstract: The $k\cdot p$ effective Hamiltonians have been widely applied to predict a large variety of phenomena in condensed matter systems. Currently, the popular way to construct a $k\cdot p$ Hamiltonian is in a case-by-case manner, which significantly limits its applications especially for magnetic systems. In this work, we first explicitly tabulate all the representation matrices for all single-valued and double-valued irreducible representations (irreps) and co-irreps for the little groups of all special $k$ points in 1651 magnetic space groups (including nonmagnetic 230 space groups). Then through group theory analysis, we obtain 4 857 832 elementary $k\cdot p$ matrix blocks, and directly using these matrix blocks given in this work one can obtain any $k\cdot p$ Hamiltonian for any periodic system, including bulk or boundary. We believe our work will accelerate the studies in various fields in condensed matter physics, such as semiconductors, topological physics, spintronics, etc. We also expect our exhaustive results on $k\cdot p$ models will play vital roles in connecting other fields with condensed matter physics and promote realizations of diverse theoretical models which possess exotic properties but lack practical materials.


title: Sticky PDMP samplers for sparse and local inference problems

abstract: We construct a new class of efficient Monte Carlo methods based on continuous-time piecewise deterministic Markov processes (PDMPs) suitable for inference in high dimensional sparse models, i.e. models for which there is prior knowledge that many coordinates are likely to be exactly $0$. This is achieved with the fairly simple idea of endowing existing PDMP samplers with 'sticky' coordinate axes, coordinate planes etc. Upon hitting those subspaces, an event is triggered during which the process sticks to the subspace, this way spending some time in a sub-model. This results in non-reversible jumps between different (sub-)models. While we show that PDMP samplers in general can be made sticky, we mainly focus on the Zig-Zag sampler. Compared to the Gibbs sampler for variable selection, we heuristically derive favourable dependence of the Sticky Zig-Zag sampler on dimension and data size. The computational efficiency of the Sticky Zig-Zag sampler is further established through numerical experiments where both the sample size and the dimension of the parameter space are large.


title: Reconstruction of Baryon Fraction in Intergalactic Medium through Dispersion Measurements of Fast Radio Bursts

abstract: Fast radio bursts (FRBs) probe the total column density of free electrons in the intergalactic medium (IGM) along the path of propagation though the dispersion measures (DMs) which depend on the baryon mass fraction in the IGM, i.e., $f_{\rm IGM}$. In this letter, we investigate the large-scale clustering information of DMs to study the evolution of $f_{\rm IGM}$. When combining with the Planck 2018 measurements, we could give tight constraints on the evolution of $f_{\rm IGM}(z)$ from about $10^4$ FRBs with the intrinsic DM scatter of $30(1+z)~ \rm pc/cm^3$ spanning 80% of the sky and redshift range $z=0-3$. Firstly, we consider the Taylor expansion of $f_{\rm IGM}(z)$ up to second order, and find that the mean relative standard deviation $\sigma(f_{\rm IGM})\equiv\left\langle \sigma[f_{\rm IGM}(z)] /f_{\rm IGM}(z) \right\rangle$ is about 7.2%. In order to alleviate the dependence on fiducial model, we also adopt a non-parametric methods in this work, the local principle component analysis. We obtain the consistent, but weaker constraints on the evolution of $f_{\rm IGM}(z)$, namely the mean relative standard deviation $\sigma(f_{\rm IGM})$ is 24.2%. With the forthcoming surveys, this could be a complimentary method to investigate the baryon mass fraction in the IGM.


title: Extreme mutation testing in practice: An industrial case study

abstract: Mutation testing is used to evaluate the effectiveness of test suites. In recent years, a promising variation called extreme mutation testing emerged that is computationally less expensive. It identifies methods where their functionality can be entirely removed, and the test suite would not notice it, despite having coverage. These methods are called pseudo-tested. In this paper, we compare the execution and analysis times for traditional and extreme mutation testing and discuss what they mean in practice. We look at how extreme mutation testing impacts current software development practices and discuss open challenges that need to be addressed to foster industry adoption. For that, we conducted an industrial case study consisting of running traditional and extreme mutation testing in a large software project from the semiconductor industry that is covered by a test suite of more than 11,000 unit tests. In addition to that, we did a qualitative analysis of 25 pseudo-tested methods and interviewed two experienced developers to see how they write unit tests and gathered opinions on how useful the findings of extreme mutation testing are. Our results include execution times, scores, numbers of executed tests and mutators, reasons why methods are pseudo-tested, and an interview summary. We conclude that the shorter execution and analysis times are well noticeable in practice and show that extreme mutation testing supplements writing unit tests in conjunction with code coverage tools. We propose that pseudo-tested code should be highlighted in code coverage reports and that extreme mutation testing should be performed when writing unit tests rather than in a decoupled session. Future research should investigate how to perform extreme mutation testing while writing unit tests such that the results are available fast enough but still meaningful.


title: Ariel Planetary Interiors White Paper

abstract: The recently adopted Ariel ESA mission will measure the atmospheric composition of a large number of exoplanets. This information will then be used to better constrain planetary bulk compositions. While the connection between the composition of a planetary atmosphere and the bulk interior is still being investigated, the combination of the atmospheric composition with the measured mass and radius of exoplanets will push the field of exoplanet characterisation to the next level, and provide new insights of the nature of planets in our galaxy. In this white paper, we outline the ongoing activities of the interior working group of the {\it Ariel} mission, and list the desirable theoretical developments as well as the challenges in linking planetary atmospheres, bulk composition and interior structure.


title: Surface Topography Characterization Using a Simple Optical Device and Artificial Neural Networks

abstract: State-of-the-art methods for quantifying wear in cylinder liners of large internal combustion engines require disassembly and cutting of the liner. This is followed by laboratory-based high-resolution microscopic surface depth measurement that quantitatively evaluates wear based on bearing load curves (Abbott-Firestone curves). Such methods are destructive, time-consuming and costly. The goal of the research presented is to develop nondestructive yet reliable methods for quantifying the surface topography. A novel machine learning framework is proposed that allows prediction of the bearing load curves from RGB images of the liner surface that can be collected with a handheld microscope. A joint deep learning approach involving two neural network modules optimizes the prediction quality of surface roughness parameters as well and is trained using a custom-built database containing 422 aligned depth profile and reflection image pairs of liner surfaces. The observed success suggests its great potential for on-site wear assessment of engines during service.


title: All in one stroke? Intervention Spaces for Dark Patterns

abstract: This position paper draws from the complexity of dark patterns to develop arguments for differentiated interventions. We propose a matrix of interventions with a \textit{measure axis} (from user-directed to environment-directed) and a \textit{scope axis} (from general to specific). We furthermore discuss a set of interventions situated in different fields of the intervention spaces. The discussions at the 2021 CHI workshop "What can CHI do about dark patterns?" should help hone the matrix structure and fill its fields with specific intervention proposals.


title: A Chebyshev multidomain adaptive mesh method for Reaction-Diffusion equations

abstract: Reaction-Diffusion equations can present solutions in the form of traveling waves. Such solutions evolve in different spatial and temporal scales and it is desired to construct numerical methods that can adopt a spatial refinement at locations with large gradient solutions. In this work we develop a high order adaptive mesh method based on Chebyshev polynomials with a multidomain approach for the traveling wave solutions of reaction-diffusion systems, where the proposed method uses the non-conforming and non-overlapping spectral multidomain method with the temporal adaptation of the computational mesh. Contrary to the existing multidomain spectral methods for reaction-diffusion equations, the proposed multidomain spectral method solves the given PDEs in each subdomain locally first and the boundary and interface conditions are solved in a global manner. In this way, the method can be parallelizable and is efficient for the large reaction-diffusion system. We show that the proposed method is stable and provide both the one- and two-dimensional numerical results that show the efficacy of the proposed method.


title: Multi-particle production in proton-nucleus collisions in the Color Glass Condensate

abstract: We compute multi-gluon production in the Color Glass Condensate approach in dilute-dense collisions, p$A$, extending previous calculations up to four gluons. We include the contributions that are leading in the overlap area of the collision but keep all orders in the expansion in the number of colors. We develop a diagrammatic technique to write the numerous color contractions and exploit the symmetries to group the diagrams and simplify the expressions. To proceed further, we use the McLerran-Venugopalan and Golec-Biernat-W\"usthoff models for the projectile and target averages, respectively. We use a form of the Lipatov vertices that leads to the Wigner function approach for the projectile previously employed, that we generalise to take into account quantum correlations in the projectile wave function. We provide analytic expressions for integrated and differential two gluon cumulants and show a smooth dependence on the parameters defining the projectile and target Wigner function and dipole, respectively. For four gluon correlations we find that the second order four particle cumulant is negative, so a sensible second Fourier azimuthal coefficient can be defined. The effect of correlations in the projectile on this result results qualitatively and quantitatively large.


title: Determining the range of magnetic interactions from the relations between magnon eigenvalues at high-symmetry k points

abstract: Magnetic exchange interactions (MEIs) define networks of coupled magnetic moments and lead to a surprisingly rich variety of their magnetic properties. Typically MEIs can be estimated by fitting experimental results. But how many MEIs need to be included in the fitting process for a material is not clear a priori, which limits the quality of results obtained by these conventional methods. In this paper, based on linear spin-wave theory but without performing matrix diagonalization, we show that for a general quadratic spin Hamiltonian, there is a simple relation between the Fourier transform of MEIs and the sum of square of magnon energies (SSME). We further show that according to the real-space distance range within which MEIs are considered relevant, one can obtain the corresponding relationships between SSME in momentum space. We also develop a theoretical tool for tabulating the rule about SSME. By directly utilizing these characteristics and the experimental magnon energies at only a few high-symmetry k points in the Brillouin zone, one can obtain strong constraints about the range of exchange path beyond which MEIs can be safely neglected. Our methodology is also general applicable for other Hamiltonian with quadratic Fermi or Boson operators.


title: Multidimensional singular control and related Skorokhod problem: sufficient conditions for the characterization of optimal controls

abstract: We characterize the optimal control for a class of singular stochastic control problems as the unique solution to a related Skorokhod reflection problem. The considered optimization problems concern the minimization of a discounted cost functional over an infinite time-horizon through a process of bounded variation affecting an It\^o-diffusion. The setting is multidimensional, the drift of the state equation and the costs are convex, the volatility matrix can be constant or linear in the state. We prove that the optimal control acts only when the underlying diffusion attempts to exit the so-called waiting region, and that the direction of this action is prescribed by the derivative of the value function. Our approach is based on the study of a suitable monotonicity property of the derivative of the value function through its interpretation as the value of an optimal stopping game. Such a monotonicity allows to construct nearly optimal policies which reflect the underlying diffusion at the boundary of approximating waiting regions. The limit of this approximation scheme then provides the desired characterization. Our result applies to a relevant class of linear-quadratic models, among others. Furthermore, it allows to construct the optimal control in degenerate and non degenerate settings considered in the literature, where this important aspect was only partially addressed.


title: Long-term regulation of prolonged epidemic outbreaks in large populations via adaptive control: a singular perturbation approach

abstract: Initial hopes of quickly eradicating the COVID-19 pandemic proved futile, and the goal shifted to controlling the peak of the infection, so as to minimize the load on healthcare systems. To that end, public health authorities intervened aggressively to institute social distancing, lock-down policies, and other Non-Pharmaceutical Interventions (NPIs). Given the high social, educational, psychological, and economic costs of NPIs, authorities tune them, alternatively tightening up or relaxing rules, with the result that, in effect, a relatively flat infection rate results. For example, during the summer in parts of the United States, daily infection numbers dropped to a plateau. This paper approaches NPI tuning as a control-theoretic problem, starting from a simple dynamic model for social distancing based on the classical SIR epidemics model. Using a singular-perturbation approach, the plateau becomes a Quasi-Steady-State (QSS) of a reduced two-dimensional SIR model regulated by adaptive dynamic feedback. It is shown that the QSS can be assigned and it is globally asymptotically stable. Interestingly, the dynamic model for social distancing can be interpreted as a nonlinear integral controller. Problems of data fitting and parameter identifiability are also studied for this model. The paper also discusses how this simple model allows for meaningful study of the effect of population size, vaccinations, and the emergence of second waves.


title: Fluctuation-driven, topology-stabilized order in a correlated nodal semimetal

abstract: The interplay between strong electron correlation and band topology is at the forefront of condensed matter research. As a direct consequence of correlation, magnetism enriches topological phases and also has promising functional applications. However, the influence of topology on magnetism remains unclear, and the main research effort has been limited to ground state magnetic orders. Here we report a novel order above the magnetic transition temperature in magnetic Weyl semimetal (WSM) CeAlGe. Such order shows a number of anomalies in electrical and thermal transport, and neutron scattering measurements. We attribute this order to the coupling of Weyl fermions and magnetic fluctuations originating from a three-dimensional Seiberg-Witten monopole, which qualitatively agrees well with the observations. Our work reveals a prominent role topology may play in tailoring electron correlation beyond ground state ordering, and offers a new avenue to investigate emergent electronic properties in magnetic topological materials.


title: Multi-view Subword Regularization

abstract: Multilingual pretrained representations generally rely on subword segmentation algorithms to create a shared multilingual vocabulary. However, standard heuristic algorithms often lead to sub-optimal segmentation, especially for languages with limited amounts of data. In this paper, we take two major steps towards alleviating this problem. First, we demonstrate empirically that applying existing subword regularization methods(Kudo, 2018; Provilkov et al., 2020) during fine-tuning of pre-trained multilingual representations improves the effectiveness of cross-lingual transfer. Second, to take full advantage of different possible input segmentations, we propose Multi-view Subword Regularization (MVR), a method that enforces the consistency between predictions of using inputs tokenized by the standard and probabilistic segmentations. Results on the XTREME multilingual benchmark(Hu et al., 2020) show that MVR brings consistent improvements of up to 2.5 points over using standard segmentation algorithms.


title: Uncertainty-Based Biological Age Estimation of Brain MRI Scans

abstract: Age is an essential factor in modern diagnostic procedures. However, assessment of the true biological age (BA) remains a daunting task due to the lack of reference ground-truth labels. Current BA estimation approaches are either restricted to skeletal images or rely on non-imaging modalities that yield a whole-body BA assessment. However, various organ systems may exhibit different aging characteristics due to lifestyle and genetic factors. In this initial study, we propose a new framework for organ-specific BA estimation utilizing 3D magnetic resonance image (MRI) scans. As a first step, this framework predicts the chronological age (CA) together with the corresponding patient-dependent aleatoric uncertainty. An iterative training algorithm is then utilized to segregate atypical aging patients from the given population based on the predicted uncertainty scores. In this manner, we hypothesize that training a new model on the remaining population should approximate the true BA behavior. We apply the proposed methodology on a brain MRI dataset containing healthy individuals as well as Alzheimer's patients. We demonstrate the correlation between the predicted BAs and the expected cognitive deterioration in Alzheimer's patients.


title: Branch Point Twist Field Form Factors in the sine-Gordon Model I: Breather Fusion and Entanglement Dynamics

abstract: The quantum sine-Gordon model is the simplest massive interacting integrable quantum field theory whose two-particle scattering matrix is generally non-diagonal. As such, it is a model that has been extensively studied, especially in the context of the bootstrap programme. In this paper we compute the form factors of a special local field known as the branch point twist field, whose correlation functions are building blocks for measures of entanglement. We consider the attractive regime where the theory posesses a particle spectrum consisting of a soliton, an antisoliton (of opposite $U(1)$ charges) and several (neutral) breathers. In the breather sector we exploit the fusion procedure to compute form factors of heavier breathers from those of lighter ones. We apply our results to the study of the entanglement dynamics after a small mass quench and for short times. We show that in the presence of two or more breathers the von Neumann and R\'enyi entropies display undamped oscillations in time, whose frequencies are proportional to the even breather masses and whose amplitudes are proportional to the breather's one-particle form factor.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: How Many Data Points is a Prompt Worth?

abstract: When fine-tuning pretrained models for classification, researchers either use a generic model head or a task-specific prompt for prediction. Proponents of prompting have argued that prompts provide a method for injecting task-specific guidance, which is beneficial in low-data regimes. We aim to quantify this benefit through rigorous testing of prompts in a fair setting: comparing prompted and head-based fine-tuning in equal conditions across many tasks and data sizes. By controlling for many sources of advantage, we find that prompting does indeed provide a benefit, and that this benefit can be quantified per task. Results show that prompting is often worth 100s of data points on average across classification tasks.


title: BrainNetGAN: Data augmentation of brain connectivity using generative adversarial network for dementia classification

abstract: Alzheimer's disease (AD) is the most common age-related dementia. It remains a challenge to identify the individuals at risk of dementia for precise management. Brain MRI offers a noninvasive biomarker to detect brain aging. Previous evidence shows that the brain structural change detected by diffusion MRI is associated with dementia. Mounting studies has conceptualised the brain as a complex network, which has shown the utility of this approach in characterising various neurological and psychiatric disorders. Therefore, the structural connectivity shows promise in dementia classification. The proposed BrainNetGAN is a generative adversarial network variant to augment the brain structural connectivity matrices for binary dementia classification tasks. Structural connectivity matrices between separated brain regions are constructed using tractography on diffusion MRI data. The BrainNetGAN model is trained to generate fake brain connectivity matrices, which are expected to reflect latent distribution of the real brain network data. Finally, a convolutional neural network classifier is proposed for binary dementia classification. Numerical results show that the binary classification performance in the testing set was improved using the BrainNetGAN augmented dataset. The proposed methodology allows quick synthesis of an arbitrary number of augmented connectivity matrices and can be easily transferred to similar classification tasks.


title: Control results with overdetermination condition for higher order dispersive system

abstract: In recent years, controllability problems for dispersive systems have been extensively studied. This work is dedicated to proving a new type of controllability for a dispersive fifth order equation that models water waves, what we will now call the overdetermination control problem. Precisely, we are able to find a control acting at the boundary that guarantees that the solutions of the problem under consideration satisfy an overdetermination integral condition. In addition, when we make the control act internally in the system, instead of the boundary, we are also able to prove that this condition is satisfied. These problems give answers that were left open in [6] and present a new way to prove boundary and internal controllability results for a fifth order KdV type equation.


title: Sobolev inequalities on manifolds with nonnegative Bakry-\'Emery Ricci curvature

abstract: In this note we extend a recent result of S. Brendle [3] to Riemannian manifolds with densities and nonnegative Bakry-\'Emery Ricci curvature.


title: Sampling-free Variational Inference for Neural Networks with Multiplicative Activation Noise

abstract: To adopt neural networks in safety critical domains, knowing whether we can trust their predictions is crucial. Bayesian neural networks (BNNs) provide uncertainty estimates by averaging predictions with respect to the posterior weight distribution. Variational inference methods for BNNs approximate the intractable weight posterior with a tractable distribution, yet mostly rely on sampling from the variational distribution during training and inference. Recent sampling-free approaches offer an alternative, but incur a significant parameter overhead. We here propose a more efficient parameterization of the posterior approximation for sampling-free variational inference that relies on the distribution induced by multiplicative Gaussian activation noise. This allows us to combine parameter efficiency with the benefits of sampling-free variational inference. Our approach yields competitive results for standard regression problems and scales well to large-scale image classification tasks including ImageNet.


title: On the nilradical of a Leibniz algebra

abstract: The purpose of this short note is to correct an error which appears in the literature concerning Leibniz algebras $L$: namely, that $N(L/I)=N(L)/I$ where $N(L)$ is the nilradical of $L$ and $I$ is the Leibniz kernel.


title: Appearance vs Disappearance of broad absorption line troughs in quasars

abstract: We present a new set of 84 Broad absorption line (BAL) quasars ( 1.7 $<$ \zem $<$ 4.4) exhibiting an appearance of \civ BAL troughs over 0.3$-$4.8 rest-frame years by comparing the Sloan Digital Sky Survey Data Release (SDSSDR)-7, SDSSDR-12, and SDSSDR-14 quasar catalogs. We contrast the nature of BAL variability in this appearing BAL quasar sample with a disappearing BAL quasar sample studied in literature by comparing the quasar's intrinsic, BAL trough, and continuum parameters between the two samples. We find that appearing BAL quasars have relatively higher redshift and smaller probed timescales as compared to the disappearing BAL quasars. To mitigate the effect of any redshift bias, we created control samples of appearing and disappearing BAL quasars that have similar redshift distribution. We find that the appearing BAL quasars are relatively brighter and have shallower and wider BAL troughs compared to the disappearing BAL sample. The distribution of quasar continuum variability parameters between the two samples is clearly separated, with the appearance of the BAL troughs being accompanied by the dimming of the continuum and vice versa. Spectral index variations in the two samples also point to the anti-correlation between the BAL trough and continuum variations consistent with the "bluer when brighter" trend in quasars. We show that the intrinsic dust model is less likely to be a favorable scenario in explaining BAL appearance/disappearance. Our analysis suggests that the extreme variations of BAL troughs like BAL appearance/disappearance are mainly driven by changes in the ionization conditions of the absorbing gas.


title: Magnetic phase diagram of $A_{2}$[FeCl$_{5}$(H$_{2}$O)] ($A$ = K, Rb, NH$_{4}$)

abstract: Erythrosiderites with the formula A2FeX5H2O, where A = Rb, K, and (NH4) and X = Cl and Br are intriguing systems that possess various magnetic and electric phases, as well as multiferroic phases in which magnetism and ferroelectricity are coupled. In this report, we study the magnetic phase diagram of erythrosiderites as a function of superexchange interactions. To this end, we perform classical Monte Carlo simulations on magnetic Hamiltonians that contain five different superexchange interactions with single-ion anisotropies. Our phase diagram contains all magnetic ground states that have been experimentally observed in these materials. We argue that the ground states can be explained by varying the ratio of J4/J2. For J4/J2 > 0.95 a cycloidal spins structure is stabilized as observed in (NH4)2FeCl5H2O and otherwise, a collinear spin structure is stabilized as observed in (K,Rb)2FeCl5H2O. We also show that the difference in the single-ion anisotropy along a- and c- axes is essential to stabilize the intermediate state observed in (NH)2FeCl5H2O.


title: DiaRet: A browser-based application for the grading of Diabetic Retinopathy with Integrated Gradients

abstract: Patients with long-standing diabetes often fall prey to Diabetic Retinopathy (DR) resulting in changes in the retina of the human eye, which may lead to loss of vision in extreme cases. The aim of this study is two-fold: (a) create deep learning models that were trained to grade degraded retinal fundus images and (b) to create a browser-based application that will aid in diagnostic procedures by highlighting the key features of the fundus image. In this research work, we have emulated the images plagued by distortions by degrading the images based on multiple different combinations of Light Transmission Disturbance, Image Blurring and insertion of Retinal Artifacts. InceptionV3, ResNet-50 and InceptionResNetV2 were trained and used to classify retinal fundus images based on their severity level and then further used in the creation of a browser-based application, which implements the Integration Gradient (IG) Attribution Mask on the input image and demonstrates the predictions made by the model and the probability associated with each class.


title: The spatially-resolved gas and dust connection in neutral inflows and outflows in nearby AGN

abstract: Dusty, neutral outflows and inflows are a common feature of nearby star-forming galaxies. We characterize these flows in eight galaxies -- mostly AGN -- selected for their widespread NaI D signatures from the Siding Spring Southern Seyfert Spectroscopic Snapshot Survey (S7). This survey employs deep, wide field-of-view integral field spectroscopy at moderate spectral resolution (R=7000 at NaI D). We significantly expand the sample of sightlines in external galaxies in which the spatially-resolved relationship has been studied between cool, neutral gas properties -- N(NaI), Weq(NaI D) -- and dust -- E(B-V) from both stars and gas. Our sample shows strong, significant correlations of total Weq with E(B-V)_stars and g-i colour within individual galaxies; correlations with E(B-V)_gas are present but weaker. Regressions yield slope variations from galaxy to galaxy and intrinsic scatter ~1 Angstrom. The sample occupies regions in the space of N(NaI) and Weq^abs vs. E(B-V)_gas that are consistent with extrapolations from other studies to higher colour excess [E(B-V)_gas ~ 1]. For perhaps the first time in external galaxies, we detect inverse P Cygni profiles in the NaI D line, presumably due to inflowing gas. Via Doppler shifted NaI D absorption and emission lines, we find ubiquitous flows that differ from stellar rotation by >100 km/s or have |v,abs - v,em| > 100 km/s. Inflows and outflows extend toward the edge of the detected stellar disk/FOV, together subtend 10-40% of the projected disk, and have similar mean N(NaI) and Weq(NaI D). Outflows are consistent with minor-axis or jet-driven flows, while inflows tend toward the projected major axis. The inflows may result from non-axisymmetric potentials, tidal motions, or halo infall.


title: Linear magnetoconductivity in magnetic metals

abstract: We theoretically describe a mechanism of low-field linear magnetoconductivity in helical magnetic metals. Two ingredients for the mechanism in three-dimensional metals are identified to be the spin-orbit coupling and momentum-dependent ferromagnetic exchange interaction. We propose and study a number of minimal theoretical models which have linear magnetoconductivity, and discuss their implications for recent experiments.


title: Distance Metric-Based Learning with Interpolated Latent Features for Location Classification in Endoscopy Image and Video

abstract: Conventional Endoscopy (CE) and Wireless Capsule Endoscopy (WCE) are known tools for diagnosing gastrointestinal (GI) tract disorders. Detecting the anatomical location of GI tract can help clinicians to determine a more appropriate treatment plan, can reduce repetitive endoscopy and is important in drug-delivery. There are few research that address detecting anatomical location of WCE and CE images using classification, mainly because of difficulty in collecting data and anotating them. In this study, we present a few-shot learning method based on distance metric learning which combines transfer-learning and manifold mixup scheme for localizing endoscopy frames and can be trained on few samples. The manifold mixup process improves few-shot learning by increasing the number of training epochs while reducing overfitting, as well as providing more accurate decision boundaries. A dataset is collected from 10 different anatomical positions of human GI tract. Two models were trained using only 78 CE and 27 WCE annotated frames to predict the location of 25700 and 1825 video frames from CE and WCE, respectively. In addition, we performed subjective evaluation using nine gastroenterologists to show the necessaity of having an AI system for localization. Various ablation studies and interpretations are performed to show the importance of each step, such effect of transfer-learning approach, and impact of manifold mixup on performance. The proposed method is also compared with various methods trained on categorical cross-entropy loss and produced better results which show that proposed method has potential to be used for endoscopy image classification.


title: VQE Method: A Short Survey and Recent Developments

abstract: The variational quantum eigensolver (VQE) is a method that uses a hybrid quantum-classical computational approach to find eigenvalues and eigenvalues of a Hamiltonian. VQE has been proposed as an alternative to fully quantum algorithms such as quantum phase estimation because fully quantum algorithms require quantum hardware that will not be accessible in the near future. VQE has been successfully applied to solve the electronic Schr\"{o}dinger equation for a variety of small molecules. However, the scalability of this method is limited by two factors: the complexity of the quantum circuits and the complexity of the classical optimization problem. Both of these factors are affected by choice of the variational ansatz used to represent the trial wave function. Hence, the construction of efficacious ansatz is an active area of research. Put another way, modern quantum computers are not capable of executing deep quantum circuits produced by using currently available ansatze for problems that map onto more than several qubits. In this review, we present recent developments in the field of designing effective ansatzes that fall into two categories -- chemistry inspired and hardware efficient -- that produce quantum circuits that are easier to run on modern hardware. We discuss the shortfalls of ansatzes originally formulated for VQE simulations, how they are addressed in more sophisticated methods, and the potential ways for further improvements.


title: Designing arbitrary single-axis rotations robust against perpendicular time-dependent noise

abstract: Low-frequency time-dependent noise is one of the main obstacles on the road towards a fully scalable quantum computer. The majority of solid-state qubit platforms, from superconducting circuits to spins in semiconductors, are greatly affected by $1/f$ noise. Among the different control techniques used to counteract noise effects on the system, dynamical decoupling sequences are one of the most effective. However, most dynamical decoupling sequences require unbounded and instantaneous pulses, which are unphysical and can only implement identity operations. Among methods that do restrict to bounded control fields, there remains a need for protocols that implement arbitrary gates with lab-ready control fields. In this work, we introduce a protocol to design bounded and continuous control fields that implement arbitrary single-axis rotations while shielding the system from low-frequency time-dependent noise perpendicular to the control axis. We show the versatility of our method by presenting a set of non-negative-only control pulses that are immediately applicable to quantum systems with constrained control, such as singlet-triplet spin qubits. Finally, we demonstrate the robustness of our control pulses against classical $1/f$ noise and noise modeled with a random quantum bath, showing that our pulses can even outperform ideal dynamical decoupling sequences.


title: HepLib: A C++ Library for High Energy Physics

abstract: HepLib is a C++ Library for computations in High Energy Physics, it works on top of GiNaC, a well-established C++ library used to perform symbolic computations. HepLib combines serval well-known packages to get high efficiency, including Qgraf to generate Feynman aptitudes, FORM to perform Dirac/Color matrix related computations, and FIRE or KIRA for integration-by-parts (IBP) reduction. Another core feature of HepLib lies in the numerical evaluation of master integrals using sector decomposition, which is a general method widely used in high-order numerical computation and has been implemented in many public packages in many different languages, and we present another implementation in the language of C++ with many new features. We use GiNaC to handle the symbolic operations, and export the corresponding integrand into an optimized C++ code, that will be compiled internally and linked dynamically, a customizable numerical integrator is selected to perform the numerical integration, while the integrand can be evaluated in different float precisions, including the arbitrary precision supported by MPFR.


title: Stack of discriminative autoencoders for multiclass anomaly detection in endoscopy images

abstract: Wireless Capsule Endoscopy (WCE) helps physicians examine the gastrointestinal (GI) tract noninvasively. There are few studies that address pathological assessment of endoscopy images in multiclass classification and most of them are based on binary anomaly detection or aim to detect a specific type of anomaly. Multiclass anomaly detection is challenging, especially when the dataset is poorly sampled or imbalanced. Many available datasets in endoscopy field, such as KID2, suffer from an imbalance issue, which makes it difficult to train a high-performance model. Additionally, increasing the number of classes makes classification more difficult. We proposed a multiclass classification algorithm that is extensible to any number of classes and can handle an imbalance issue. The proposed method uses multiple autoencoders where each one is trained on one class to extract features with the most discrimination from other classes. The loss function of autoencoders is set based on reconstruction, compactness, distance from other classes, and Kullback-Leibler (KL) divergence. The extracted features are clustered and then classified using an ensemble of support vector data descriptors. A total of 1,778 normal, 227 inflammation, 303 vascular, and 44 polyp images from the KID2 dataset are used for evaluation. The entire algorithm ran 5 times and achieved F1-score of 96.3 +- 0.2% and 85.0 +- 0.4% on the test set for binary and multiclass anomaly detection, respectively. The impact of each step of the algorithm was investigated by various ablation studies and the results were compared with published works. The suggested approach is a competitive option for detecting multiclass anomalies in the GI field.


title: Visualizing Data Velocity using DSNE

abstract: We present a new technique called "DSNE" which learns the velocity embeddings of low dimensional map points when given the high-dimensional data points with its velocities. The technique is a variation of Stochastic Neighbor Embedding, which uses the Euclidean distance on the unit sphere between the unit-length velocity of the point and the unit-length direction from the point to its near neighbors to define similarities, and try to match the two kinds of similarities in the high dimension space and low dimension space to find the velocity embeddings on the low dimension space. DSNE can help to visualize how the data points move in the high dimension space by presenting the movements in two or three dimensions space. It is helpful for understanding the mechanism of cell differentiation and embryo development.


title: Constraints on the abundance of primordial black holes with different mass distributions from lensing of fast radio bursts

abstract: Primordial black holes (PBHs) has been considered to form a part of dark matter for a long time but the possibility has been poorly constrained over a wide mass range, including the stellar mass range ($1-100~M_{\odot}$). However, due to the discovery of merger events of black hole binaries by LIGO-Virgo gravitational wave observatories, the interest for PBHs in the stellar mass window has been aroused again. Fast radio bursts (FRBs) are bright radio transients with millisecond duration and very high all-sky occurrence rate. Lensing effect of these bursts has been proposed as one of the optimal probes for constraining the abundance of PBHs in the stellar mass range. In this paper, we first investigate constraints on the abundance of PBHs from the latest $593$ FRB observations for both the monochromatic mass distribution and three other popular extended mass distributions related to different formation mechanisms of PBHs. It is found that constraints from currently public FRB observations are relatively weaker than those from existing gravitational wave detections. Furthermore, we forecast constraining power of future FRB observations on the abundance of PBHs with different mass distributions of PBHs and different redshift distributions of FRBs taken into account. Finally, We find that constraints of parameter space on extended mass distributions from $\sim10^5$ FRBs with $\overline{\Delta t}\leq1 ~\rm ms$ would be comparable with what can be constrained from gravitational wave events. It is foreseen that upcoming complementary multi-messenger observations will yield considerable constraints on the possibilities of PBHs in this intriguing mass window.


title: Solar neutrinos and dark matter detection with diurnal modulation

abstract: We investigate the diurnal modulation of the event rate for dark matter scattering on solid targets arising from the directionally dependent defect creation threshold energy. In particular, we quantify how this effect would help in separating dark matter signal from the neutrino background. We perform a benchmark analysis for a germanium detector and compute how the reach of the experiment is affected by including the timing information of the scattering events. We observe that for light dark matter just above the detection threshold the magnitude of the annual modulation is enhanced. In this mass range using either the annual or diurnal modulation information provides a similar gain in the reach of the experiment, while the additional reach from using both effects remains modest. Furthermore, we demonstrate that if the background contains a feature exhibiting an annual modulation similar to the one observed by DAMA experiment, the diurnal modulation provides for an additional handle to separate dark matter signal from the background.


title: Cluster based inference for extremes of time series

abstract: We introduce a new type of estimator for the spectral tail process of a regularly varying time series. The approach is based on a characterizing invariance property of the spectral tail process, which is incorporated into the new estimator via a projection technique. We show uniform asymptotic normality of this estimator, both in the case of known and of unknown index of regular variation. In a simulation study the new procedure shows a more stable performance than previously proposed estimators.


title: Towards HPC simulations of Billion-cell Reservoirs by Multiscale Mixed Methods

abstract: A three dimensional parallel implementation of Multiscale Mixed Methods based on non-overlapping domain decomposition techniques is proposed for multi-core computers and its computational performance is assessed by means of numerical experimentation. As a prototypical method, from which many others can be derived, the Multiscale Robin Coupled Method is chosen and its implementation explained in detail. Numerical results for problems ranging from millions up to more than 2 billion computational cells in highly heterogeneous anisotropic rock formations based on the SPE10 benchmark are shown. The proposed implementation relies on direct solvers for both local problems and the interface coupling system. We find good weak and strong scalalability as compared against a state-of-the-art global fine grid solver based on Algebric Multigrid preconditioning in single and two-phase flow problems.


title: Multi-party Private Set Operations with an External Decider

abstract: A Private Set Operation (PSO) protocol involves at least two parties with their private input sets. The goal of the protocol is for the parties to learn the output of a set operation, i.e. set intersection, on their input sets, without revealing any information about the items that are not in the output set. Commonly, the outcome of the set operation is revealed to parties and no-one else. However, in many application areas of PSO the result of the set operation should be learned by an external participant whom does not have an input set. We call this participant the decider. In this paper, we present new variants of multi-party PSO, where there is a decider who gets the result. All parties expect the decider have a private set. Other parties neither learn this result, nor anything else about this protocol. Moreover, we present a generic solution to the problem of PSO.


title: On capacity of quantum channels generated by irreducible projective unitary representations of finite groups

abstract: We study mixed unitary quantum channels generated by irreducible projective unitary representations of finite groups. Under some assumptions on the probability distribution determining a mixture the classical capacity of the channel is found. Examples illustrating the techniques are given.


title: Which K-Space Sampling Schemes is good for Motion Artifact Detection in Magnetic Resonance Imaging?

abstract: Motion artifacts are a common occurrence in the Magnetic Resonance Imaging (MRI) exam. Motion during acquisition has a profound impact on workflow efficiency, often requiring a repeat of sequences. Furthermore, motion artifacts may escape notice by technologists, only to be revealed at the time of reading by the radiologists, affecting their diagnostic quality. Designing a computer-aided tool for automatic motion detection and elimination can improve the diagnosis, however, it needs a deep understanding of motion characteristics. Motion artifacts in MRI have a complex nature and it is directly related to the k-space sampling scheme. In this study we investigate the effect of three conventional k-space samplers, including Cartesian, Uniform Spiral and Radial on motion induced image distortion. In this regard, various synthetic motions with different trajectories of displacement and rotation are applied to T1 and T2-weighted MRI images, and a convolutional neural network is trained to show the difficulty of motion classification. The results show that the spiral k-space sampling method get less effect of motion artifact in image space as compared to radial k-space sampled images, and radial k-space sampled images are more robust than Cartesian ones. Cartesian samplers, on the other hand, are the best in terms of deep learning motion detection because they can better reflect motion.


title: Entanglement Dynamics between Ising Spins and a Central Ancilla

abstract: We investigate competing entanglement dynamics in an open Ising-spin chain coupled to an external central ancilla qudit. In studying the real-time behavior following a quench from an unentangled spin-ancilla state, we find that the ancilla entanglement entropy $S_{vN;\mathcal{A}}$ tracks the dynamical phase transition in the underlying spin system. In this composite setting, purely spin-spin entanglement metrics such as mutual information and quantum Fisher information (QFI) decay as the ancilla entanglement entropy grows. We define multipartite entanglement loss (MEL) as the difference between collective magnetic fluctuations and QFI, which is zero in the pure spin chain limit. MEL directly quantifies the ancilla's effect on the development of spin-spin entanglement. One of our central results is that $MEL(t) \propto e^{S_{vN;\mathcal{A}}(t)}$. Our results provide a platform for exploring composite system entanglement dynamics and suggest that MEL serves as a quantitative estimate of information entropy shared between collective spins and the ancilla qudit. Our results present a new framework that connects physical spin-fluctuations, QFI, and bipartite entanglement entropy between collective quantum systems.


title: Derivation and Characteristics of Closed-Form Solutions of the Fundamental Equations for Online User Dynamics

abstract: The oscillation model, based on the wave equation on networks, can describe user dynamics in online social networks. The fundamental equation of user dynamics can be introduced into the oscillation model to explicitly describe the causal relation of user dynamics yielded by certain specific network structures. Moreover, by considering the sparseness of the link structure of online social networks, a novel fundamental equation of different forms has been devised. In this paper, we derive a closed-form solution of the new fundamental equation. Also, we show that the closed-form solution of the new fundamental equation can generate the general solution of the original wave equation and investigate the characteristics of the derived general solution.


title: Multi-scale analysis of radio-frequency performance of 2D-material based field-effect transistors

abstract: Two-dimensional materials (2DMs) are a promising alternative to complement and upgrade high-frequency electronics. However, in order to boost their adoption, the availability of numerical tools and physically-based models able to support the experimental activities and to provide them with useful guidelines becomes essential. In this context, we propose a theoretical approach that combines numerical simulations and small-signal modeling to analyze 2DM-based FETs for radio-frequency applications. This multi-scale scheme takes into account non-idealities, such as interface traps, carrier velocity saturation, or short channel effects, by means of self-consistent physics-based numerical calculations that later feed the circuit level via a small-signal model based on the dynamic intrinsic capacitances of the device. At the circuit stage, the possibilities range from the evaluation of the performance of a single device to the design of complex circuits combining multiple transistors. In this work, we validate our scheme against experimental results and exemplify its use and capability assessing the impact of the channel scaling on the performance of MoS2-based FETs targeting RF applications.


title: Search for anisotropic gravitational-wave backgrounds using data from Advanced LIGO and Advanced Virgo's first three observing runs

abstract: We report results from searches for anisotropic stochastic gravitational-wave backgrounds using data from the first three observing runs of the Advanced LIGO and Advanced Virgo detectors. For the first time, we include Virgo data in our analysis and run our search with a new efficient pipeline called {\tt PyStoch} on data folded over one sidereal day. We use gravitational-wave radiometry (broadband and narrow band) to produce sky maps of stochastic gravitational-wave backgrounds and to search for gravitational waves from point sources. A spherical harmonic decomposition method is employed to look for gravitational-wave emission from spatially-extended sources. Neither technique found evidence of gravitational-wave signals. Hence we derive 95\% confidence-level upper limit sky maps on the gravitational-wave energy flux from broadband point sources, ranging from $F_{\alpha, \Theta} < {\rm (0.013 - 7.6)} \times 10^{-8} {\rm erg \, cm^{-2} \, s^{-1} \, Hz^{-1}},$ and on the (normalized) gravitational-wave energy density spectrum from extended sources, ranging from $\Omega_{\alpha, \Theta} < {\rm (0.57 - 9.3)} \times 10^{-9} \, {\rm sr^{-1}}$, depending on direction ($\Theta$) and spectral index ($\alpha$). These limits improve upon previous limits by factors of $2.9 - 3.5$. We also set 95\% confidence level upper limits on the frequency-dependent strain amplitudes of quasimonochromatic gravitational waves coming from three interesting targets, Scorpius X-1, SN 1987A and the Galactic Center, with best upper limits range from $h_0 < {\rm (1.7-2.1)} \times 10^{-25},$ a factor of $\geq 2.0$ improvement compared to previous stochastic radiometer searches.


title: Classical (Co)Recursion: Mechanics

abstract: Primitive recursion is a mature, well-understood topic in the theory and practice of programming. Yet its dual, primitive corecursion, is underappreciated and still seen as exotic. We aim to put them both on equal footing by giving a foundation for primitive corecursion based on computation, giving a terminating calculus analogous to the original computational foundation of recursion. We show how the implementation details in an abstract machine strengthens their connection, syntactically deriving corecursion from recursion via logical duality. We also observe the impact of evaluation strategy on the computational complexity of primitive (co)recursive combinators: call-by-name allows for more efficient recursion, but call-by-value allows for more efficient corecursion.


title: Asymptotic absorption-time distributions in extinction-prone Markov processes

abstract: We characterize absorption-time distributions for birth-death Markov chains with an absorbing boundary. For "extinction-prone" chains (which drift on average toward the absorbing state) the asymptotic distribution is Gaussian, Gumbel, or belongs to a family of skewed distributions. The latter two cases arise when the dynamics slow down dramatically near the boundary. Several models of evolution, epidemics, and chemical reactions fall into these classes; in each case we establish new results for the absorption-time distribution. Applications to African sleeping sickness are discussed.


title: Towards a Quantum Fluid Theory of Correlated Many-Fermion Systems from First Principles

abstract: Correlated many-fermion systems emerge in a broad range of phenomena in warm dense matter, plasmonics, and ultracold atoms. Quantum hydrodynamics (QHD) complements common first-principles methods for many-fermion systems and enables simulations at larger length and longer time scales. While the quantum Bohm potential is central to QHD, we illustrate its failure for strong perturbations. We extend QHD to this regime by utilizing the many-fermion quantum Bohm potential. This opens up the path to more accurate simulations in strongly perturbed warm dense matter, inhomogeneous quantum plasmas, and on nano-structure surfaces at scales unattainable with first-principles algorithms. The many-fermion quantum Bohm potential might also have important astrophysical applications in developing conformal-invariant cosmologies.


title: Spontaneous Parametric Down-Conversion from Resonant Metasurfaces

abstract: All-dielectric optical metasurfaces are a workhorse in nano-optics due to both their ability to manipulate light in different degrees of freedom and their excellent performance at light frequency conversion. Here, we demonstrate first-time generation of photon pairs via spontaneous parametric-down conversion in lithium niobate quantum optical metasurfaces with electric and magnetic Mie-like resonances at various wavelengths. By engineering the quantum optical metasurface, we tailor the photon-pair spectrum in a controlled way. Within a narrow bandwidth around the resonance, the rate of pair production is enhanced up to two orders of magnitude compared to an unpatterned film of the same thickness and material. These results enable flat-optics sources of entangled photons -- a new promising platform for quantum optics experiments.


title: The Public Life of Data: Investigating Reactions to Visualizations on Reddit

abstract: This research investigates how people engage with data visualizations when commenting on the social platform Reddit. There has been considerable research on collaborative sensemaking with visualizations and the personal relation of people with data. Yet, little is known about how public audiences without specific expertise and shared incentives openly express their thoughts, feelings, and insights in response to data visualizations. Motivated by the extensive social exchange around visualizations in online communities, this research examines characteristics and motivations of people's reactions to posts featuring visualizations. Following a Grounded Theory approach, we study 475 reactions from the /r/dataisbeautiful community, identify ten distinguishable reaction types, and consider their contribution to the discourse. A follow-up survey with 168 Reddit users clarified their intentions to react. Our results help understand the role of personal perspectives on data and inform future interfaces that integrate audience reactions into visualizations to foster a public discourse about data.


title: The C$^{18}$O core mass function toward Orion A: Single-dish observations

abstract: We have performed an unbiased dense core survey toward the Orion A Giant Molecular Cloud in the C$^{18}$O ($J$=1--0) emission line taken with the Nobeyama Radio Observatory (NRO) 45-m telescope. The effective angular resolution of the map is 26", which corresponds to $\sim$ 0.05 pc at a distance of 414 pc. By using the Herschel-Planck H$_2$ column density map, we calculate the C$^{18}$O fractional abundance and find that it is roughly constant over the column density range of $\lesssim$ 5 $\times$ 10$^{22}$ cm$^{-3}$, although a trend of C$^{18}$O depletion is determined toward higher column density. Therefore, C$^{18}$O intensity can follow the cloud structure reasonably well. The mean C$^{18}$O abundance in Orion A is estimated to be 5.7$\times$10$^{-7}$, which is about 3 times larger than the fiducial value. We identified 746 C$^{18}$O cores with astrodendro and classified 709 cores as starless cores. We compute the core masses by decomposing the Herschel-Planck dust column density using the relative proportions of the C$^{18}$O integrated intensities of line-of-sight components. Applying this procedure, we attempt to remove the contribution of the background emission, i.e., the ambient gas outside the cores. Then, we derived mass function for starless cores and found that it resembles the stellar initial mass function (IMF). The CMF for starless cores, $dN/dM$, is fitted with a power-law relation of $M^\alpha$ with a power index of $\alpha = -$2.25$\pm$ 0.16 at the high-mass slope ($\gtrsim$ 0.44 $M_\odot$). We also found that the ratio of each core mass to the total mass integrated along the line of sight is significantly large. Therefore, in the previous studies, the core masses derived from the dust image are likely to be overestimated at least by a factor of a few. Accordingly, such previous studies may underestimate the star formation efficiency of individual cores.


title: The Core Mass Function in the Orion Nebula Cluster Region: What Determines the Final Stellar Masses?

abstract: Applying dendrogram analysis to the CARMA-NRO C$^{18}$O ($J$=1--0) data having an angular resolution of $\sim$ 8", we identified 692 dense cores in the Orion Nebula Cluster (ONC) region. Using this core sample, we compare the core and initial stellar mass functions in the same area to quantify the step from cores to stars. About 22 \% of the identified cores are gravitationally bound. The derived core mass function (CMF) for starless cores has a slope similar to Salpeter's stellar initial mass function (IMF) for the mass range above 1 $M_\odot$, consistent with previous studies. Our CMF has a peak at a subsolar mass of $\sim$ 0.1 $M_\odot$, which is comparable to the peak mass of the IMF derived in the same area. We also find that the current star formation rate is consistent with the picture in which stars are born only from self-gravitating starless cores. However, the cores must gain additional gas from the surroundings to reproduce the current IMF (e.g., its slope and peak mass), because the core mass cannot be accreted onto the star with a 100\% efficiency. Thus, the mass accretion from the surroundings may play a crucial role in determining the final stellar masses of stars.


title: On the connection between angular and partial waves time delays in electron scattering

abstract: Within the framework of a Dirac bubble potential model for the C60 fullerene shell we investigated the angular time delay in slow-electron elastic scattering by C60 as well as average time delay of electrons in this process. It is demonstrated how the angular time delay is connected to the Eisenbud-Wigner-Smith (EWS) time delay. The angular and energy dependences of these times are investigated. The studies conducted shed light to some extent on the specific features of these dependencies.


title: Learning in Markets: Greed Leads to Chaos but Following the Price is Right

abstract: We study learning dynamics in distributed production economies such as blockchain mining, peer-to-peer file sharing and crowdsourcing. These economies can be modelled as multi-product Cournot competitions or all-pay auctions (Tullock contests) when individual firms have market power, or as Fisher markets with quasi-linear utilities when every firm has negligible influence on market outcomes. In the former case, we provide a formal proof that Gradient Ascent (GA) can be Li-Yorke chaotic for a step size as small as $\Theta(1/n)$, where $n$ is the number of firms. In stark contrast, for the Fisher market case, we derive a Proportional Response (PR) protocol that converges to market equilibrium. The positive results on the convergence of the PR dynamics are obtained in full generality, in the sense that they hold for Fisher markets with \emph{any} quasi-linear utility functions. Conversely, the chaos results for the GA dynamics are established even in the simplest possible setting of two firms and one good, and they hold for a wide range of price functions with different demand elasticities. Our findings suggest that by considering multi-agent interactions from a market rather than a game-theoretic perspective, we can formally derive natural learning protocols which are stable and converge to effective outcomes rather than being chaotic.


title: The Cassels-Tate pairing for finite Galois modules

abstract: Given a global field $F$ with absolute Galois group $G_F$, we define a category $SMod_F$ whose objects are finite $G_F$-modules decorated with local conditions. We define this category so that `taking the Selmer group' defines a functor $Sel$ from $SMod_F$ to $Ab$. After defining a duality functor $\vee$ on $SMod_F$, we show that every short exact sequence $0 \to M_1 \to M \to M_2 \to 0$ in $SMod_F$ gives rise to a natural bilinear pairing $$Sel (M_2) \times Sel (M_1^{\vee}) \to \mathbb{Q}/\mathbb{Z}$$ whose left and right kernels are the images of $Sel (M)$ and $Sel (M^{\vee})$, respectively. This generalizes the Cassels--Tate pairing defined on the Shafarevich--Tate group of an abelian variety over $F$ and results in a flexible theory in which pairings associated to different exact sequences can be readily compared to one another. As an application, we give a new proof of Poonen and Stoll's results concerning the failure of the Cassels--Tate pairing to be alternating for principally polarized abelian varieties and extend this work to the setting of Bloch--Kato Selmer groups.


title: FFT-based free space Poisson solvers: why Vico-Greengard-Ferrando should replace Hockney-Eastwood

abstract: Many problems in beam physics and plasma physics require the solution of Poisson's equation with free-space boundary conditions. The algorithm proposed by Hockney and Eastwood is a popular scheme to solve this problem numerically, used by many cutting-edge codes, because of its speed and its simplicity. However, the potential and its gradient obtained with this method have low accuracy, and the numerical error converges slowly with the number of grid points. We demonstrate that the closely related algorithm recently proposed by Vico, Greengard, and Ferrando is just as easy to implement, just as efficient computationally, and has much higher accuracy, with a rapidly converging error.


title: Poisson Quantum Information

abstract: By taking a Poisson limit for a sequence of rare quantum objects, I derive simple formulas for the Uhlmann fidelity, the quantum Chernoff quantity, the relative entropy, and the Helstrom information. I also present analogous formulas in classical information theory for a Poisson model. An operator called the intensity operator emerges as the central quantity in the formalism to describe Poisson states. It behaves like a density operator but is unnormalized. The formulas in terms of the intensity operators not only resemble the general formulas in terms of the density operators, but also coincide with some existing definitions of divergences between unnormalized positive-semidefinite matrices. Furthermore, I show that the effects of certain channels on Poisson states can be described by simple maps for the intensity operators.


title: Lasry-Lions Envelopes and Nonconvex Optimization: A Homotopy Approach

abstract: In large-scale optimization, the presence of nonsmooth and nonconvex terms in a given problem typically makes it hard to solve. A popular approach to address nonsmooth terms in convex optimization is to approximate them with their respective Moreau envelopes. In this work, we study the use of Lasry-Lions double envelopes to approximate nonsmooth terms that are also not convex. These envelopes are an extension of the Moreau ones but exhibit an additional smoothness property that makes them amenable to fast optimization algorithms. Lasry-Lions envelopes can also be seen as an "intermediate" between a given function and its convex envelope, and we make use of this property to develop a method that builds a sequence of approximate subproblems that are easier to solve than the original problem. We discuss convergence properties of this method when used to address composite minimization problems; additionally, based on a number of experiments, we discuss settings where it may be more useful than classical alternatives in two domains: signal decoding and spectral unmixing.


title: Degenerate processes killed at the boundary of a domain

abstract: We investigate certain properties of degenerate Feller processes that are killed when exiting a relatively compact set. Our main result provides general conditions ensuring that such a process possesses a (possibly non unique) quasi stationary distribution. Conditions ensuring uniqueness and exponential convergence are discussed. The results are applied to nonelliptic and hypoelliptic stochastic differential equations.


title: Quantum projective measurements and the CHSH inequality in Isabelle/HOL

abstract: We present a formalization in Isabelle/HOL of quantum projective measurements, a class of measurements involving orthogonal projectors that is frequently used in quantum computing. We also formalize the CHSH inequality, a result that holds on arbitrary probability spaces, which can used to disprove the existence of a local hidden-variable theory for quantum mechanics.


title: Fabrication of superconducting through-silicon vias

abstract: Increasing circuit complexity within quantum systems based on superconducting qubits necessitates high connectivity while retaining qubit coherence. Classical micro-electronic systems have addressed interconnect density challenges by using 3D integration with interposers containing through-silicon vias (TSVs), but extending these integration techniques to superconducting quantum systems is challenging. Here, we discuss our approach for realizing high-aspect-ratio superconducting TSVs\textemdash 10 $\mu$m wide by 20 $\mu$m long by 200 $\mu$m deep\textemdash with densities of 100 electrically isolated TSVs per square millimeter. We characterize the DC and microwave performance of superconducting TSVs at cryogenic temperatures and demonstrate superconducting critical currents greater than 20 mA. These high-aspect-ratio, high critical current superconducting TSVs will enable high-density vertical signal routing within superconducting quantum processors.


title: Resolving Complex Inner X-ray Structure of the Gravitationaly Lensed AGN MGB2016+112

abstract: We use a Chandra X-ray observation of the gravitationally lensed system MGB2016+112 at z=3.273 to elucidate presence of at least two X-ray sources. We find that these sources are consistent with the VLBI components measured by \citet{Spingola19}, which are separated by $\sim 200$ pc. Their intrinsic 0.5 -- 7 keV source frame luminosities are 2.6$\times$10$^{43}$ and 4.2$\times$10$^{44}$ erg s$^{-1}$. Most likely this system contains a dual active galactic nucleus (AGN), but we possibly are detecting an AGN plus a pc-scale X-ray jet, the latter lying in a region at very high magnification. The quadruply lensed X-ray source is within $\pm$40 pc (1$\sigma$) of its VLBI counterpart. Using a gravitational lens as a telescope, and a novel statistical application, we have achieved unprecedented accuracy for measuring metric distances at such large redshifts in X-ray astronomy, which is tens of mas if the source is located close to the caustics, while it is of hundreds of mas if the source is in a region at lower amplification. The present demonstration of this approach has implications for future X-ray investigations of large numbers of lensed systems.


title: UrbanVCA: a vector-based cellular automata framework to simulate the urban land-use change at the land-parcel level

abstract: Vector-based cellular automata (CA) based on real land-parcel has become an important trend in current urban development simulation studies. Compared with raster-based and parcel-based CA models, vector CA models are difficult to be widely used because of their complex data structures and technical difficulties. The UrbanVCA, a brand-new vector CA-based urban development simulation framework was proposed in this study, which supports multiple machine-learning models. To measure the simulation accuracy better, this study also first proposes a vector-based landscape index (VecLI) model based on the real land-parcels. Using Shunde, Guangdong as the study area, the UrbanVCA simulates multiple types of urban land-use changes at the land-parcel level have achieved a high accuracy (FoM=0.243) and the landscape index similarity reaches 87.3%. The simulation results in 2030 show that the eco-protection scenario can promote urban agglomeration and reduce ecological aggression and loss of arable land by at least 60%. Besides, we have developed and released UrbanVCA software for urban planners and researchers.


title: Pseudodeterministic Algorithms and the Structure of Probabilistic Time

abstract: We connect the study of pseudodeterministic algorithms to two major open problems about the structural complexity of $\mathsf{BPTIME}$: proving hierarchy theorems and showing the existence of complete problems. Our main contributions can be summarised as follows. 1. We build on techniques developed to prove hierarchy theorems for probabilistic time with advice (Fortnow and Santhanam, FOCS 2004) to construct the first unconditional pseudorandom generator of polynomial stretch computable in pseudodeterministic polynomial time (with one bit of advice) that is secure infinitely often against polynomial-time computations. As an application of this construction, we obtain new results about the complexity of generating and representing prime numbers. 2. Oliveira and Santhanam (STOC 2017) established unconditionally that there is a pseudodeterministic algorithm for the Circuit Acceptance Probability Problem ($\mathsf{CAPP}$) that runs in sub-exponential time and is correct with high probability over any samplable distribution on circuits on infinitely many input lengths. We show that improving this running time or obtaining a result that holds for every large input length would imply new time hierarchy theorems for probabilistic time. In addition, we prove that a worst-case polynomial-time pseudodeterministic algorithm for $\mathsf{CAPP}$ would imply that $\mathsf{BPP}$ has complete problems. 3. We establish an equivalence between pseudodeterministic construction of strings of large $\mathsf{rKt}$ complexity (Oliveira, ICALP 2019) and the existence of strong hierarchy theorems for probabilistic time. More generally, these results suggest new approaches for designing pseudodeterministic algorithms for search problems and for unveiling the structure of probabilistic time.


title: Optical Spectral Weight, Phase Stiffness and Tc Bounds for Trivial and Topological Flat Band Superconductors

abstract: We present exact results that give insight into how interactions lead to transport and superconductivity in a flat band where the electrons have no kinetic energy. We obtain bounds for the optical spectral weight for flat band superconductors, that lead to upper bounds for the superfluid stiffness and the 2D $T_c$. We focus on on-site attraction $|U|$ on the Lieb lattice with trivial flat bands and on the $\pi$-flux model with topological flat bands. For trivial flat bands, the low-energy optical spectral weight $\widetilde{D}_\text{low} \leq \widetilde{n} |U| \Omega/2$ with $\widetilde{n} = \min\left(n,2-n\right)$, where $n$ is the flat band density and $\Omega$ the Marzari-Vanderbilt spread of the Wannier functions (WFs). We also obtain a lower bound involving the quantum metric. For topological flat bands, with an obstruction to localized WFs respecting all symmetries, we again obtain an upper bound for $D_{\rm low}$ linear in $|U|$. We discuss the insights obtained from our bounds by comparing them with mean-field and quantum Monte-Carlo results.


title: Get Your Vitamin C! Robust Fact Verification with Contrastive Evidence

abstract: Typical fact verification models use retrieved written evidence to verify claims. Evidence sources, however, often change over time as more information is gathered and revised. In order to adapt, models must be sensitive to subtle differences in supporting evidence. We present VitaminC, a benchmark infused with challenging cases that require fact verification models to discern and adjust to slight factual changes. We collect over 100,000 Wikipedia revisions that modify an underlying fact, and leverage these revisions, together with additional synthetically constructed ones, to create a total of over 400,000 claim-evidence pairs. Unlike previous resources, the examples in VitaminC are contrastive, i.e., they contain evidence pairs that are nearly identical in language and content, with the exception that one supports a given claim while the other does not. We show that training using this design increases robustness -- improving accuracy by 10% on adversarial fact verification and 6% on adversarial natural language inference (NLI). Moreover, the structure of VitaminC leads us to define additional tasks for fact-checking resources: tagging relevant words in the evidence for verifying the claim, identifying factual revisions, and providing automatic edits via factually consistent text generation.