title: City-scale dark fiber DAS measurements of infrastructure use during the COVID-19 pandemic

abstract: Throughout the recent COVID-19 pandemic when government officials around the world ordered citizens to quarantine inside their homes, real-time measurements about the use of roads, hospitals, grocery stores, and other public infrastructure became vital to accurately forecast viral infection rates and inform future government decisions. Although mobile phone locations provide some information about community-level activity, dense distributed geophysical sensing of ground motions across a city are more complete and also natively anonymous. In this paper, we demonstrate how fiber-optic Distributed Acoustic Sensing (DAS) connected to a telecommunication cable beneath Palo Alto, CA captured seismic and geodetic signals produced by vehicles during the COVID-19 pandemic outbreak and subsequent quarantine. We utilize DAS strain measurements of roadbed deformation caused by local cars and trucks in an automatic template matching detection algorithm to count the number of vehicles traveling per day over a two-month period around the timing of the San Francisco Bay Area shelter-in-place order. Using a segment of the optical fiber near a major grocery store on Sand Hill Road we find a 50% decrease in vehicle count immediately following the order, but data from near Stanford Hospital showed a far more subtle change due to on-going hospital activities. We compare the information derived from DAS measurements to other quarantine response metrics and find a strong correlation with the relative changes reported by Google and Apple using mobile phone data.


title: Listen Attentively, and Spell Once: Whole Sentence Generation via a Non-Autoregressive Architecture for Low-Latency Speech Recognition

abstract: Although attention based end-to-end models have achieved promising performance in speech recognition, the multi-pass forward computation in beam-search increases inference time cost, which limits their practical applications. To address this issue, we propose a non-autoregressive end-to-end speech recognition system called LASO (listen attentively, and spell once). Because of the non-autoregressive property, LASO predicts a textual token in the sequence without the dependence on other tokens. Without beam-search, the one-pass propagation much reduces inference time cost of LASO. And because the model is based on the attention based feedforward structure, the computation can be implemented in parallel efficiently. We conduct experiments on publicly available Chinese dataset AISHELL-1. LASO achieves a character error rate of 6.4%, which outperforms the state-of-the-art autoregressive transformer model (6.7%). The average inference latency is 21 ms, which is 1/50 of the autoregressive transformer model.


title: Two qualitatively different superconducting phases under high pressure in single-crystalline CeNiGe$_{3}$

abstract: We have measured the temperature dependence of resistivity in single-crystalline CeNiGe$_{3}$ under hydrostatic pressure in order to establish the characteristic pressure-temperature phase diagram. The transition temperature to AFM-I phase $T_{\rm N1}$ = 5.5 K at ambient pressure initially increases with increasing pressure and has a maximum at $\sim$ 3.0 GPa. Above 2.3 GPa, a clear zero-resistivity is observed (SC-I phase) and this superconducting (SC) state coexists with AFM-I phase. The SC-I phase suddenly disappears at 3.7 GPa simultaneously with the appearance of an additional kink anomaly corresponding to the phase transition to AFM-II phase. The AFM-II phase is continuously suppressed with further increasing pressure and disappears at $\sim$ 6.5 GPa. In the narrow range near the critical pressure, an SC phase reappears (SC-II phase). A large initial slope of upper critical field $\mu_0H_{\rm c2}$ and non-Fermi liquid behavior indicate that the SC-II phase is mediated by antiferromagnetic fluctuations. On the other hand, the robust coexistence of the SC-I phase and AFM-I phase is unusual on the contrary to superconductivity near a quantum critical point on most of heavy-fermion compounds.


title: The Fairness of Leximin in Allocation of Indivisible Chores

abstract: The leximin solution -- which selects an allocation that maximizes the minimum utility, then the second minimum utility, and so forth -- is known to provide EFX (envy-free up to any good) fairness guarantee in some contexts when allocating indivisible goods. However, it remains unknown how fair the leximin solution is when used to allocate indivisible chores. In this paper, we demonstrate that the leximin solution can be modified to also provide compelling fairness guarantees for the allocation of indivisible chores. First, we generalize the definition of the leximin solution. Then, we show that the leximin solution finds a PROP1 (proportional up to one good) and PO (Pareto-optimal) allocation for 3 or 4 agents in the context of chores allocation with additive distinct valuations. Additionally, we prove that the leximin solution is EFX for combinations of goods and chores for agents with general but identical valuations.


title: 3-D Diffusive Molecular Communication with Two Fully-Absorbing Receivers: Hitting Probability and Performance Analysis

abstract: Exact analytical channel models for molecular communication via diffusion (MCvD) systems involving multiple fully absorbing receivers (FARs) in a three-dimensional (3- D) medium are hard to obtain due to the mathematical intractability of corresponding diffusion equations. This work, therefore, consider an MCvD system with two spherical FARs in a 3-D diffusion-limited medium and develop several insights using an approximate analytical expression for the hitting probability of information molecule (IM). Further, based on the hitting probability, a novel approximate closed-form analytical expression for the area under the receiver operating characteristic curve (AUC) is derived to analyze the detection performance at each FAR in the presence of other FAR. Finally, simulation results are presented to validate the analytical results using the particle-based and Monte-Carlo simulations and to yield important insights into the MCvD system performance with two FARs


title: Insights into the Formation and Evolution History of the Galactic Disk System

abstract: We present a kinematic analysis of a sample of 23,908 G- and K-type dwarfs in the Galactic disk. Based on the $\alpha$-abundance ratio, [$\alpha$/Fe], we separated our sample into low-$\alpha$ thin-disk and high-$\alpha$ thick-disk stars. We find a $V_{\rm \phi}$ gradient of $-$28.2 km s$^{-1}$ dex$^{-1}$ over [Fe/H] for the thin disk, and an almost flat trend of the velocity dispersions of $V_{\rm R}$, $V_{\rm \phi}$, and $V_{\rm Z}$ components with [Fe/H]. The metal-poor (MP; [Fe/H] $<$ $-$0.3) thin-disk stars with low-$V_{\rm \phi}$ velocities have high eccentricities ($e$) and small perigalacticon distances ($r_{\rm p}$), while the high-$V_{\rm \phi}$ MP thin-disk stars possess low $e$ and large $r_{\rm p}$. Interestingly, half of the super metal-rich ([Fe/H] $>$ $+$0.1) stars in the thin disk exhibit low-$e$, solar-like orbits. Accounting for the inhomogeneous metallicity distribution of the thin-disk stars with various kinematics requires radial migration by churning $-$ it apparently strongly influences the current structure of the thin disk; we cannot rule out the importance of blurring for the high-$e$ stars. We derive a rotation velocity gradient of $+$36.9 km s$^{-1}$ dex$^{-1}$ for the thick disk, and decreasing trends of velocity dispersions with increasing [Fe/H]. The thick-disk population also has a broad distribution of eccentricity, and the number of high-$e$ stars increases with decreasing [Fe/H]. These kinematic behaviors could be the result of a violent mechanism, such as a gas-rich merger or the presence of giant turbulent clumps, early in the history of its formation. Dynamical heating by minor mergers and radial migration may also play roles in forming the current thick-disk structure.


title: Security of Cloud FPGAs: A Survey

abstract: Integrating Field Programmable Gate Arrays (FPGAs) with cloud computing instances is a rapidly emerging trend on commercial cloud computing platforms such as Amazon Web Services (AWS), Huawei cloud, and Alibaba cloud. Cloud FPGAs allow cloud users to build hardware accelerators to speed up the computation in the cloud. However, since the cloud FPGA technology is still in its infancy, the security implications of this integration of FPGAs in the cloud are not clear. In this paper, we survey the emerging field of cloud FPGA security, providing a comprehensive overview of the security issues related to cloud FPGAs, and highlighting future challenges in this research area.


title: Nonparametric Expected Shortfall Forecasting Incorporating Weighted Quantiles

abstract: A new semi-parametric Expected Shortfall (ES) estimation and forecasting framework is proposed. The proposed approach is based on a two-step estimation procedure. The first step involves the estimation of Value-at-Risk (VaR) at different quantile levels through a set of quantile time series regressions. Then, the ES is computed as a weighted average of the estimated quantiles. The quantiles weighting structure is parsimoniously parameterized by means of a Beta weight function whose coefficients are optimized by minimizing a joint VaR and ES loss function of the Fissler-Ziegel class. The properties of the proposed approach are first evaluated with an extensive simulation study using two data generating processes. Two forecasting studies with different out-of-sample sizes are then conducted, one of which focuses on the 2008 Global Financial Crisis (GFC) period. The proposed models are applied to 7 stock market indices and their forecasting performances are compared to those of a range of parametric, non-parametric and semi-parametric models, including GARCH, Conditional AutoRegressive Expectile (CARE), joint VaR and ES quantile regression models and simple average of quantiles. The results of the forecasting experiments provide clear evidence in support of proposed models.


title: Towards a Scalable and Flexible Simulation and Testing Environment Toolbox for Intelligent Microgrid Control

abstract: Micro- and smart grids (MSG) play an important role both for integrating renewable energy sources in conventional electricity grids and for providing power supply in remote areas. Modern MSGs are largely driven by power electronic converters due to their high efficiency and flexibility. Nevertheless, controlling MSGs is a challenging task due to highest requirements on energy availability, safety and voltage quality within a wide range of different MSG topologies. This results in a high demand for comprehensive testing of new control concepts during their development phase and comparisons with the state of the art in order to ensure their feasibility. This applies in particular to data-driven control approaches from the field of reinforcement learning (RL), whose stability and operating behavior can hardly be evaluated a priori. Therefore, the OpenModelica Microgrid Gym (OMG) package, an open-source software toolbox for the simulation and control optimization of MSGs, is proposed. It is capable of modeling and simulating arbitrary MSG topologies and offers a Python-based interface for plug \& play controller testing. In particular, the standardized OpenAI Gym interface allows for easy RL-based controller integration. Besides the presentation of the OMG toolbox, application examples are highlighted including safe Bayesian optimization for low-level controller tuning.


title: Posterior Probabilities for Lorenz and Stochastic Dominance of Australian Income Distributions

abstract: Using HILDA data for the years 2001, 2006, 2010, 2014 and 2017, we compute posterior probabilities for dominance for all pairwise comparisons of income distributions in these years. The dominance criteria considered are Lorenz dominance and first and second order stochastic dominance. The income distributions are estimated using an infinite mixture of gamma density functions, with posterior probabilities computed as the proportion of Markov chain Monte Carlo draws that satisfy the inequalities that define the dominance criteria. We find welfare improvements from 2001 to 2006 and qualified improvements from 2006 to the later three years. Evidence of an ordering between 2010, 2014 and 2017 cannot be established.


title: Spanning Attack: Reinforce Black-box Attacks with Unlabeled Data

abstract: Adversarial black-box attacks aim to craft adversarial perturbations by querying input-output pairs of machine learning models. They are widely used to evaluate the robustness of pre-trained models. However, black-box attacks often suffer from the issue of query inefficiency due to the high dimensionality of the input space, and therefore incur a false sense of model robustness. In this paper, we relax the conditions of the black-box threat model, and propose a novel technique called the spanning attack. By constraining adversarial perturbations in a low-dimensional subspace via spanning an auxiliary unlabeled dataset, the spanning attack significantly improves the query efficiency of a wide variety of existing black-box attacks. Extensive experiments show that the proposed method works favorably in both soft-label and hard-label black-box attacks. Our code is available at https://github.com/wangwllu/spanning_attack.


title: Covariant Variational Evolution and Jacobi Brackets: Particles

abstract: The formulation of covariant brackets on the space of solutions to a variational problem is analyzed in the framework of contact geometry. It is argued that the Poisson algebra on the space of functionals on fields should be read as a Poisson subalgebra within an algebra of functions equipped with a Jacobi bracket on a suitable contact manifold.


title: Large cardinals and continuity of coordinate functionals of filter bases in Banach spaces

abstract: Assuming the existence of certain large cardinal numbers, we prove that for every projective filter $\mathscr F$ over the set of natural numbers, $\mathscr{F}$-bases in Banach spaces have continuous coordinate functionals. In particular, this applies to the filter of statistical convergence, thereby we solve a problem by V. Kadets (at least under the presence of certain large cardinals). In this setting, we recover also a result of Kochanek who proved continuity of coordinate functionals for countably generated filters (Studia Math., 2012).


title: The SAMI Galaxy Survey: Gas velocity dispersions in low-$z$ star-forming galaxies and the drivers of turbulence

abstract: We infer the intrinsic ionised gas kinematics for 383 star-forming galaxies across a range of integrated star-formation rates (SFR $\in [10^{-3}, 10^2]$ M$_\odot$ yr$^{-1}$) at $z \lesssim 0.1$ using a consistent 3D forward-modelling technique. The total sample is a combination of galaxies from the SAMI Galaxy Survey and DYNAMO survey. For typical low-$z$ galaxies taken from the SAMI Galaxy Survey, we find the vertical velocity dispersion ($\sigma_{v, z}$) to be positively correlated with measures of star-formation rate, stellar mass, HI gas mass, and rotational velocity. The greatest correlation is with star-formation rate surface density ($\Sigma_\text{SFR}$). Using the total sample, we find $\sigma_{v, z}$ increases slowly as a function of integrated star-formation rate in the range SFR $\in$ [$10^{-3}$, 1] M$_\odot$ yr$^{-1}$ from $17\pm3$ km s$^{-1}$ to $24\pm5$ km s$^{-1}$ followed by a steeper increase up to $\sigma_{v, z}$ $\sim 80$ km s$^{-1}$ for SFR $\gtrsim 1$ M$_\odot$ yr$^{-1}$. This is consistent with recent theoretical models that suggest a $\sigma_{v, z}$ floor driven by star-formation feedback processes with an upturn in $\sigma_{v, z}$ at higher SFR driven by gravitational transport of gas through the disc.


title: Highly flexible electromagnetic interference shielding films based on ultrathin Ni/Ag composites on paper substrates

abstract: Highly flexible electromagnetic interference (EMI) shielding material with excellent shielding performance is of great significance to practical applications in next-generation flexible devices. However, most EMI materials suffer from insufficient flexibility and complicated preparation methods. In this study, we propose a new scheme to fabricate a magnetic Ni particle/Ag matrix composite ultrathin film on a paper surface. For a ~2 micro meter thick film on paper, the EMI shielding effectiveness (SE) was found to be 46.2 dB at 8.1 GHz after bending 200,000 times over a radius of ~2 mm. The sheet resistance (Rsq) remained lower than 2.30 Ohm after bending 200,000 times. Contrary to the change in Rsq, the EMI SE of the film generally increased as the weight ratio of Ag to Ni increased, in accordance with the principle that EMI SE is positively related with an increase in electrical conductivity. Desirable EMI shielding ability, ultrahigh flexibility, and simple processing provide this material with excellent application prospects.


title: Hierarchical Attention Transformer Architecture For Syntactic Spell Correction

abstract: The attention mechanisms are playing a boosting role in advancements in sequence-to-sequence problems. Transformer architecture achieved new state of the art results in machine translation, and it's variants are since being introduced in several other sequence-to-sequence problems. Problems which involve a shared vocabulary, can benefit from the similar semantic and syntactic structure in the source and target sentences. With the motivation of building a reliable and fast post-processing textual module to assist all the text-related use cases in mobile phones, we take on the popular spell correction problem. In this paper, we propose multi encoder-single decoder variation of conventional transformer. Outputs from the three encoders with character level 1-gram, 2-grams and 3-grams inputs are attended in hierarchical fashion in the decoder. The context vectors from the encoders clubbed with self-attention amplify the n-gram properties at the character level and helps in accurate decoding. We demonstrate our model on spell correction dataset from Samsung Research, and report significant improvement of 0.11\%, 0.32\% and 0.69\% in character (CER), word (WER) and sentence (SER) error rates from existing state-of-the-art machine-translation architectures. Our architecture is also trains ~7.8 times faster, and is only about 1/3 in size from the next most accurate model.


title: The Biophysical Micro-Environment's Influence on Cell Fate Decisions During Macrophage Activation and Somatic Cell Reprogramming

abstract: Cells are known to sense and respond to their mechanical microenvironment in profound ways. Various evidence has implicated the adhesome, a body of adhesion associated proteins, in several cell fate decisions, including differentiation and proliferation. Furthermore, recent work has demonstrated that substrate topography can modulate the epigenetic state of fibroblasts, facilitate cell reprogramming, and temper inflammation. However, the effectors responsible for such phenomena remain poorly understood. Here we explore the effect of biomaterial design, adhesion, and intracellular forces of the epigenetic and transcriptional regulation of cell state during macrophage activation and somatic cell reprogramming.


title: Almost everywhere convergent sequences of weak$^*$-to-norm continuous operators

abstract: Let $X$ and $Y$ be Banach spaces, and $T:X^*\to Y$ be an operator. We prove that if $X$ is Asplund and $Y$ has the approximation property, then for each Radon probability $\mu$ on $(B_{X^*},w^*)$ there is a sequence of $w^*$-to-norm continuous operators $T_n:X^*\to Y$ such that $\|T_n(x^*)-T(x^*)\| \to 0$ for $\mu$-a.e. $x^*\in B_{X^*}$; if $Y$ has the $\lambda$-bounded approximation property for some $\lambda\geq 1$, then the sequence can be chosen in such a way that $\|T_n\|\leq \lambda\|T\|$ for all $n\in \mathbb{N}$. The same conclusions hold if $X$ contains no subspace isomorphic to $\ell_1$, $Y$ has the approximation property (resp., $\lambda$-bounded approximation property) and $T$ has separable range. This extends to the non-separable setting a result by Mercourakis and Stamati.


title: Incorporating structured assumptions with probabilistic graphical models in fMRI data analysis

abstract: With the wide adoption of functional magnetic resonance imaging (fMRI) by cognitive neuroscience researchers, large volumes of brain imaging data have been accumulated in recent years. Aggregating these data to derive scientific insights often faces the challenge that fMRI data are high-dimensional, heterogeneous across people, and noisy. These challenges demand the development of computational tools that are tailored both for the neuroscience questions and for the properties of the data. We review a few recently developed algorithms in various domains of fMRI research: fMRI in naturalistic tasks, analyzing full-brain functional connectivity, pattern classification, inferring representational similarity and modeling structured residuals. These algorithms all tackle the challenges in fMRI similarly: they start by making clear statements of assumptions about neural data and existing domain knowledge, incorporating those assumptions and domain knowledge into probabilistic graphical models, and using those models to estimate properties of interest or latent structures in the data. Such approaches can avoid erroneous findings, reduce the impact of noise, better utilize known properties of the data, and better aggregate data across groups of subjects. With these successful cases, we advocate wider adoption of explicit model construction in cognitive neuroscience. Although we focus on fMRI, the principle illustrated here is generally applicable to brain data of other modalities.


title: Shattered matchings in intersecting hypergraphs

abstract: Let $X$ be an $n$-element set, where $n$ is even. We refute a conjecture of J. Gordon and Y. Teplitskaya, according to which, for every maximal intersecting family $\mathcal{F}$ of $\frac{n}2$-element subsets of $X$, one can partition $X$ into $\frac{n}2$ disjoint pairs in such a way that no matter how we pick one element from each of the first $\frac{n}2 - 1$ pairs, the set formed by them can always be completed to a member of $\mathcal{F}$ by adding an element of the last pair. The above problem is related to classical questions in extremal set theory. For any $t\ge 2$, we call a family of sets $\mathcal{F}\subset 2^X$ {\em $t$-separable} if for any ordered pair of elements $(x,y)$ of $X$, there exists $F\in\mathcal{F}$ such that $F\cap\{x,y\}=\{x\}$. For a fixed $t, 2\le t\le 5$ and $n\rightarrow\infty$, we establish asymptotically tight estimates for the smallest integer $s=s(n,t)$ such that every family $\mathcal{F}$ with $|\mathcal{F}|\ge s$ is $t$-separable.


title: Decoding of Grasp Motions from EEG Signals Based on a Novel Data Augmentation Strategy

abstract: Electroencephalogram (EEG) based brain-computer interface (BCI) systems are useful tools for clinical purposes like neural prostheses. In this study, we collected EEG signals related to grasp motions. Five healthy subjects participated in this experiment. They executed and imagined five sustained-grasp actions. We proposed a novel data augmentation method that increases the amount of training data using labels obtained from electromyogram (EMG) signals analysis. For implementation, we recorded EEG and EMG simultaneously. The data augmentation over the original EEG data concluded higher classification accuracy than other competitors. As a result, we obtained the average classification accuracy of 52.49% for motor execution (ME) and 40.36% for motor imagery (MI). These are 9.30% and 6.19% higher, respectively than the result of the comparable methods. Moreover, the proposed method could minimize the need for the calibration session, which reduces the practicality of most BCIs. This result is encouraging, and the proposed method could potentially be used in future applications such as a BCI-driven robot control for handling various daily use objects.


title: Liouville theorem for heat equation along ancient super Ricci flow via reduced geometry

abstract: The aim of this article is to provide a Liouville theorem for heat equation along ancient super Ricci flow. We formulate such a Liouville theorem under a growth condition concerning Perelman's reduced distance.


title: Multi-Party Timed Commitments

abstract: The problem of obtaining secret commitments from multiple parties and revealing them after a certain time is useful for sealed-bid auctions, games, and other applications. Existing solutions, dating back to Rivest, Shamir and Wagner, either do not scale or rely on synchrony for the commitment phase and trust of $t/n$ parties. We formalize the problem of implementing such commitments with a probabilistic delay and without the aforementioned assumptions as Multi-Party Timed Commitments (MPTC) and present a solution -- the Time-Capsule protocol. Like previous approaches, Time Capsule forms a puzzle whose solution reveals the committed values. But unlike previous solutions, no party has an advantage in solving the puzzle, and individual commitments cannot be revealed before the entire set is committed. A particular application of MPTC realizes an advancement in the study of decentralized systems. The state of the art in decentralized systems is manifested in blockchain systems that utilize Proof of Work to achieve censorship resistance. However, they are still vulnerable to frontrunning, an issue that is plaguing operational systems. By adapting Time Capsule, we allow it to be used for Proof of Work, preventing frontrunning by system operators and tuning the puzzle difficulty using the blockchain mechanism.


title: Celeganser: Automated Analysis of Nematode Morphology and Age

abstract: The nematode Caenorhabditis elegans (C. elegans) serves as an important model organism in a wide variety of biological studies. In this paper we introduce a pipeline for automated analysis of C. elegans imagery for the purpose of studying life-span, health-span and the underlying genetic determinants of aging. Our system detects and segments the worm, and predicts body coordinates at each pixel location inside the worm. These coordinates provide dense correspondence across individual animals to allow for meaningful comparative analysis. We show that a model pre-trained to perform body-coordinate regression extracts rich features that can be used to predict the age of individual worms with high accuracy. This lays the ground for future research in quantifying the relation between organs' physiologic and biochemical state, and individual life/health-span.


title: Mean-field study of the Bose-Hubbard model in Penrose lattice

abstract: We examine the Bose-Hubbard model in the Penrose lattice based on inhomogeneous mean-field theory. Since averaged coordination number in the Penrose lattice is four, mean-field phase diagram consisting of the Mott insulator (MI) and superfluid (SF) phase is similar to that of the square lattice. However, the spatial distribution of Bose condensate in the SF phase is significantly different from uniform distribution in the square lattice. We find a fractal structure in its distribution near the MI-SF phase boundary. The emergence of the fractal structure is a consequence of cooperative effect between quasiperiodicity in the Penrose lattice and criticality at the phase transition.


title: Gleason Score Prediction using Deep Learning in Tissue Microarray Image

abstract: Prostate cancer (PCa) is one of the most common cancers in men around the world. The most accurate method to evaluate lesion levels of PCa is microscopic inspection of stained biopsy tissue and estimate the Gleason score of tissue microarray (TMA) image by expert pathologists. However, it is time-consuming for pathologists to identify the cellular and glandular patterns for Gleason grading in large TMA images. We used Gleason2019 Challenge dataset to build a convolutional neural network (CNN) model to segment TMA images to regions of different Gleason grades and predict the Gleason score according to the grading segmentation. We used a pre-trained model of prostate segmentation to increase the accuracy of the Gleason grade segmentation. The model achieved a mean Dice of 75.6% on the test cohort and ranked 4th in the Gleason2019 Challenge with a score of 0.778 combined of Cohen's kappa and the f1-score.


title: Anomalies of weight-based coherence measure and mixed maximally coherent states

abstract: As an analogy of best separable approximation (BSA) in the framework of entanglement theory, here we concentrate on the notion of best incoherent approximation, with application to characterizing and quantifying quantum coherence. From both analytical and numerical perspectives, we have demonstrated that the weight-based coherence measure displays some unusual properties, in sharp contrast to other popular coherence quantifiers. First, by deriving a closed formula for qubit states, we have showed the weight-based coherence measure exhibits a rich (geometrical) structure even in this simplest case. Second, we have identified the existence of mixed maximally coherent states (MMCS) with respect to this coherence measure and discussed the characteristic feature of MMCS in high-dimensional Hilbert spaces. Especially, we present several important families of MMCS by gaining insights from the numerical simulations. Moreover, it is pointed out that some considerations in this work can be generalized to general convex resource theories and a numerical method of improving the computational efficiency for finding the BSA is also discussed.


title: Performance Optimization of a Fuzzy Entropy based Feature Selection and Classification Framework

abstract: In this paper, based on a fuzzy entropy feature selection framework, different methods have been implemented and compared to improve the key components of the framework. Those methods include the combinations of three ideal vector calculations, three maximal similarity classifiers and three fuzzy entropy functions. Different feature removal orders based on the fuzzy entropy values were also compared. The proposed method was evaluated on three publicly available biomedical datasets. From the experiments, we concluded the optimized combination of the ideal vector, similarity classifier and fuzzy entropy function for feature selection. The optimized framework was also compared with other six classical filter-based feature selection methods. The proposed method was ranked as one of the top performers together with the Correlation and ReliefF methods. More importantly, the proposed method achieved the most stable performance for all three datasets when the features being gradually removed. This indicates a better feature ranking performance than the other compared methods.


title: Fractal basins of attraction in a binary quasar model

abstract: The present paper investigates the binary system of quasars in the framework of the Circular Restricted Three-Body Problem. The parametric evolution of libration points, the geometry of zero-velocity curves are one of the crucial aspects of our study. The multivariate form of NR method is applied to study the basin of attraction connected with libration points. The algorithm for using the Newton-Raphson method is slightly modified in order to avoid the unnecessary delay in the convergence of initial conditions. The impact of parameters on the shape of the basin of attraction and the number of iterations needed for the convergence of initial conditions are explored. We carry out an exhaustive (numerical) study to show the influence of these parameters on converging regions in basins of convergence. We unveil the existence of fractal structure in the basin of attraction using the method of basin entropy. In almost all cases, the existence of fractal structure is found throughout the basins of attraction.


title: Nonlinear susceptibilities of heavy ion collisions within the Polyakov-loop-extended Nambu-Jona-Lasinio model

abstract: The baryon-number susceptibilities is correlated to the fluctuations obtained in experiments, we can theoretically calculate the susceptibility and compare it with the experimental fluctuations data. In this paper, we calculate the baryon-number susceptibilities from the Polyakov-loop-extended Nambu-Jona-Lasinio (PNJL) model, then compare them with the the heavy ion collision experimental fluctuation data and the results from other models, lattice QCD and the Dyson-Schwinger equations (DSEs) approach. Our results are in line with the experiment and very similar to the results of DSEs at experimental points, which shows that the PNJL model is suitable for studying this issue.


title: Non-Orthogonal Multiple Access in the Presence of Additive Generalized Gaussian Noise

abstract: In this letter, we investigate the performance of non-orthogonal multiple access (NOMA), under the assumption of generalized Gaussian noise (GGN), over Rayleigh fading channels. Specifically, we consider a NOMA system with $L$ users, each of which is equipped with a single antenna, and derive an exact expression for the pairwise error probability (PEP). The derived PEP expression is subsequently utilized to derive a union bound on the bit error rate (BER) and to quantify the diversity orders realized by NOMA users in the presence of additive white (AW) GGN. Capitalizing on the derived PEP expression and the union bound, the error rate performance of NOMA users is further evaluated for different special cases of AWGGN. The derived analytical results, corroborated by simulation results, show that the shaping parameter of the GGN $(\alpha)$ has negligible effect on the diversity gains of NOMA users, particularly for large $\alpha$ values. Accordingly, as in the case of additive white Gaussian noise (AWGN), the maximum achievable diversity order is determined by the user's order.


title: Detection of metastable electronic states by Penning trap mass spectrometry

abstract: State-of-the-art optical clocks achieve fractional precisions of $10^{-18}$ and below using ensembles of atoms in optical lattices or individual ions in radio-frequency traps. Promising candidates for novel clocks are highly charged ions (HCIs) and nuclear transitions, which are largely insensitive to external perturbations and reach wavelengths beyond the optical range, now becoming accessible to frequency combs. However, insufficiently accurate atomic structure calculations still hinder the identification of suitable transitions in HCIs. Here, we report on the discovery of a long-lived metastable electronic state in a HCI by measuring the mass difference of the ground and the excited state in Re, the first non-destructive, direct determination of an electronic excitation energy. This result agrees with our advanced calculations, and we confirmed them with an Os ion with the same electronic configuration. We used the high-precision Penning-trap mass spectrometer PENTATRAP, unique in its synchronous use of five individual traps for simultaneous mass measurements. The cyclotron frequency ratio $R$ of the ion in the ground state to the metastable state could be determined to a precision of $\delta R=1\cdot 10^{-11}$, unprecedented in the heavy atom regime. With a lifetime of about 130 days, the potential soft x-ray frequency reference at $\nu=4.86\cdot 10^{16}\,\text{Hz}$ has a linewidth of only $\Delta \nu\approx 5\cdot 10^{-8}\,\text{Hz}$, and one of the highest electronic quality factor ($Q=\frac{\nu}{\Delta \nu}\approx 10^{24}$) ever seen in an experiment. Our low uncertainty enables searching for more HCI soft x-ray clock transitions, needed for promising precision studies of fundamental physics in a thus far unexplored frontier.


title: Unpredictable basin boundaries in restricted six-body problem with square configuration

abstract: The present work deals with the recently introduced restricted six body-problem with square configuration. It is determined that the total number of libration points are twelve and twenty for the mass parameter $0< \mu < 0.25$. The multivariate form of Newton-Raphson scheme is used to discuss the basin of attraction. Different aspects of the basin of attraction are investigated and explained in detail. The complex combination of the different basins is found along the boundaries. The concept of basin entropy is used to unveil the nature of the boundaries. For $\mu = 0.22$ and $0.23$, the basin of attraction is unpredictable throughout. It is observed that for all values of the mass parameter $\mu$, the basin boundaries are highly unpredictable. Further, We have investigated the presence of Wada basin boundary in the basin of attraction.


title: Redshift Evolution of Green Valley Galaxies in Different Environments from the Hyper Suprime-Cam Survey

abstract: Green valley galaxies represent the population that is likely to transition from the star-forming to the quiescent phases. To investigate the role of the environment in quenching star formation, we use the wide-field data from the Hyper Suprime-Cam Strategic Subaru Proposal survey to quantify the frequency of green valley galaxies in different environments and their redshift evolution. We find that the green valley fraction, in general, is less than 20% in any redshift and environment. The green valley fraction, when normalized to the total population, is higher in the field than that in groups or clusters and decreases with a decreasing redshift and increasing mass. The lower fraction of transitional galaxies in denser environments could be a consequence of the lack of star-forming galaxies, which could be the progenitors of green valley galaxies. To assess the effect of the environment on star formation quenching, we define the effective green valley fraction as the ratio of the number of green valley galaxies to that of nonquiescent galaxies only. The effective green valley fraction for field galaxies is lower than that for group or cluster galaxies, which reveals a strong positive mass dependence and mild redshift evolution. Moreover, the specific star formation rate (sSFR) is reduced by 0.1-0.3 dex in groups or clusters. Our results thus imply that an ongoing slow quenching process has been acting in the dense environment since z~1.


title: A simple and elementary proof of Whitney's unique embedding theorem

abstract: In this note we give a short and elementary proof of a more general version of Whitney's theorem that 3-connected planar graphs have a unique embedding in the plane. A consequence of the theorem is that cubic plane graphs cannot be embedded in a higher genus with a simple dual. The aim of this paper is to promote a simple and elementary proof, which is especially well suited for lectures presenting Whitney's theorem.


title: Comment on "A non-interacting low-mass black hole -- giant star binary system"

abstract: Thompson et al. (Reports, 1 November 2019, p. 637, Science) interpreted the unseen companion of the red giant star 2MASS J05215658+4359220 as most likely a black hole. We argue that if the red giant is about one solar mass, its companion can be a close binary consisting of two main-sequence stars. This would explain why no X-ray emission is detected from the system.


title: Macroeconomic Forecasting with Fractional Factor Models

abstract: We combine high-dimensional factor models with fractional integration methods and derive models where nonstationary, potentially cointegrated data of different persistence is modelled as a function of common fractionally integrated factors. A two-stage estimator, that combines principal components and the Kalman filter, is proposed. The forecast performance is studied for a high-dimensional US macroeconomic data set, where we find that benefits from the fractional factor models can be substantial, as they outperform univariate autoregressions, principal components, and the factor-augmented error-correction model.


title: Bounds for Wave Speeds in the Riemann Problem: Direct Theoretical Estimates

abstract: In this paper we provide bound estimates for the two fastest wave speeds emerging from the solution of the Riemann problem for three well-known hyperbolic systems, namely the Euler equations of gas dynamics, the shallow water equations and the blood flow equations for arteries. Several approaches are presented, all being direct, that is non-iterative. The resulting bounds range from crude but simple estimates to accurate but sophisticated estimates that make limited use of information from the solution of the Riemann problem. Through a carefully chosen suite of test problems we asses our wave speed estimates against exact solutions and against previously proposed wave speed estimates. The results confirm that the derived theoretical bounds are actually so, from below and above, for minimal and maximal wave speeds respectively. The results also show that popular previously proposed estimates do not bound the true wave speeds in general. Applications in mind, but not pursued here, include (i) reliable implementation of the Courant condition to determine a stable time step in all explicit methods for hyperbolic equations; (ii) use in local time stepping algorithms and (iii) construction of HLL-type numerical fluxes for hyperbolic equations.


title: Statistical error estimates in dynamical mean-field theory and extensions thereof

abstract: We employ the jackknife algorithm to analyze the propagation of the statistical quantum Monte Carlo error through the Bethe--Salpeter equation. This allows us to estimate the error of dynamical mean-field theory calculations of the susceptibility and of dynamical vertex approximation calculations of the self-energy. We find that the different frequency components of the susceptibility are uncorrelated, whereas those of the self-energy are correlated. For improving the quality of the correlation matrix taking sufficiently many jackknife bins is key, while for reducing the standard error of the mean sufficiently many Monte Carlo measurements are necessary. We furthermore show that even in the case of the self-energy, the finite covariance does not have a sizable influence on the analytic continuation.


title: Beamwidth Optimization and Resource Partitioning Scheme for Localization Assisted mm-wave Communications

abstract: We study a mm-wave wireless network deployed along the roads of an urban area, to support localization and communication services simultaneously for outdoor mobile users. In this network, we propose a mm-wave initial beam-selection scheme based on localization-bounds, which greatly reduces the initial access delay as compared to traditional initial access schemes for standalone mm-wave base station (BS). Then, we introduce a downlink transmission protocol, in which the radio frames are partitioned into three phases, namely, initial access, data, and localization, respectively. We establish a trade-off between the localization and communication performance of mm-wave systems, and show how enhanced localization can actually improve the data-communication performance. Our results suggest that dense BS deployments enable to allocate more resources to the data phase while still maintaining appreciable localization performance. Furthermore, for the case of sparse deployments and large beam dictionary size (i.e., with thinner beams), more resources must be allotted to the localization phase for optimizing the rate coverage. Based on our results, we provide several system design insights and dimensioning rules for the network operators that will deploy the first generation of mm-wave BSs.


title: A novel 3D multi-path DenseNet for improving automatic segmentation of glioblastoma on pre-operative multi-modal MR images

abstract: Convolutional neural networks have achieved excellent results in automatic medical image segmentation. In this study, we proposed a novel 3D multi-path DenseNet for generating the accurate glioblastoma (GBM) tumor contour from four multi-modal pre-operative MR images. We hypothesized that the multi-path architecture could achieve more accurate segmentation than a single-path architecture. 258 GBM patients were included in this study. Each patient had four MR images (T1-weighted, contrast-enhanced T1-weighted, T2-weighted, and FLAIR) and the manually segmented tumor contour. We built a 3D multi-path DenseNet that could be trained to generate the corresponding GBM tumor contour from the four MR images. A 3D single-path DenseNet was also built for comparison. Both DenseNets were based on the encoder-decoder architecture. All four images were concatenated and fed into a single encoder path in the single-path DenseNet, while each input image had its own encoder path in the multi-path DenseNet. The patient cohort was randomly split into a training set of 180 patients, a validation set of 39 patients, and a testing set of 39 patients. Model performance was evaluated using the Dice similarity coefficient (DSC), average surface distance (ASD), and 95% Hausdorff distance (HD95%). Wilcoxon signed-rank tests were conducted to examine the model differences. The single-path DenseNet achieved a DSC of 0.911$\pm$0.060, ASD of 1.3$\pm$0.7 mm, and HD95% of 5.2$\pm$7.1 mm, while the multi-path DenseNet achieved a DSC of 0.922$\pm$0.041, ASD of 1.1$\pm$0.5 mm, and HD95% of 3.9$\pm$3.3 mm. The p-values of all Wilcoxon signed-rank tests were less than 0.05. Both 3D DenseNets generated GBM tumor contours in good agreement with the manually segmented contours from multi-modal MR images. The multi-path DenseNet achieved more accurate tumor segmentation than the single-path DenseNet.


title: Black hole mergers from dwarf to massive galaxies with the NewHorizon and Horizon-AGN simulations

abstract: Massive black hole (MBH) coalescences are powerful sources of low-frequency gravitational waves. To study these events in the cosmological context we need to trace the large-scale structure and cosmic evolution of a statistical population of galaxies, from dim dwarfs to bright galaxies. To cover such a large range of galaxy masses, we analyse two complementary simulations: Horizon-AGN with a large volume and low resolution which tracks the high-mass (> 1e7 Msun) MBH population, and NewHorizon with a smaller volume but higher resolution that traces the low-mass (< 1e7 Msun) MBH population. While Horizon-AGN can be used to estimate the rate of inspirals for Pulsar Timing Arrays, NewHorizon can investigate MBH mergers in a statistical sample of dwarf galaxies for LISA, which is sensitive to low-mass MBHs. We use the same method to analyse the two simulations, post-processing MBH dynamics to account for time delays mostly determined by dynamical friction and stellar hardening. In both simulations, MBHs typically merge long after the galaxies do, so that the galaxy morphology at the time of the MBH merger is no longer determined by the galaxy merger from which the MBH merger originated. These time delays cause a loss of high-z MBH coalescences, shifting the peak of the MBH merger rate to z~1-2. This study shows how tracking MBH mergers in low-mass galaxies is crucial to probing the MBH merger rate for LISA and investigate the properties of the host galaxies.


title: On a weighted spin of the Lebesgue Identity

abstract: Alladi studied partition theoretic implications of a two variable generalization of the Lebesgue identity. In this short note, we focus on a slight variation of the basic hypergeometric sum that Alladi studied. We present two new partition identities involving weights.


title: The Exchange Bias effect in pure Co2C nanoparticles

abstract: We study the low temperature magnetic properties of nanoparticles of pure transition metal carbide, viz., Co2C, with an average particle diameter of $40 \pm 10$ nm. These Co2C nanoparticles are ferromagnetic (FM) up to room temperature with blocking temperatures above room temperature. The coercive field shows abrupt deviation from the Kneller law below 50 K. In this low temperature regime the magnetization hysteresis loop shows shifts due to exchange bias (EB) effect, with an exchange field of ~ 250 Oe. Analysis of training of the EB effect and ac and dc magnetic measurements suggest that EB arises in the nanoparticles due to a core-shell structure with a FM core and a cluster glass shell. The shell contains uncompensated spins, some of which are freely rotatable while some are frozen. DFT calculations of structural and magnetic properties of small Co2C clusters of diameter of few Angstroms confirm a core-shell structure, where the structurally ordered core has uniform magnetic moment distribution and the structurally disordered shell has non-uniform moment distribution.


title: Optical Metrology of Sub-Wavelength Objects Enabled by Artificial Intelligence

abstract: Microscopes and various forms of interferometers have been used for decades in optical metrology of objects that are typically larger than the wavelength of light {\lambda}. However, metrology of subwavelength objects was deemed impossible due to the diffraction limit. We report that measurement of the physical size of sub-wavelength objects with accuracy exceeding {\lambda}/800 by analyzing the diffraction pattern of coherent light scattered by the objects with deep learning enabled analysis. With a 633nm laser, we show that the width of sub-wavelength slits in opaque screen can be measured with accuracy of 0.77nm, challenging the accuracy of electron beam and ion beam lithographies. The technique is suitable for high-rate non-contact measurements of nanometric sizes in smart manufacturing applications with integrated metrology and processing tools.


title: An Inductive Transfer Learning Approach using Cycle-consistent Adversarial Domain Adaptation with Application to Brain Tumor Segmentation

abstract: With recent advances in supervised machine learning for medical image analysis applications, the annotated medical image datasets of various domains are being shared extensively. Given that the annotation labelling requires medical expertise, such labels should be applied to as many learning tasks as possible. However, the multi-modal nature of each annotated image renders it difficult to share the annotation label among diverse tasks. In this work, we provide an inductive transfer learning (ITL) approach to adopt the annotation label of the source domain datasets to tasks of the target domain datasets using Cycle-GAN based unsupervised domain adaptation (UDA). To evaluate the applicability of the ITL approach, we adopted the brain tissue annotation label on the source domain dataset of Magnetic Resonance Imaging (MRI) images to the task of brain tumor segmentation on the target domain dataset of MRI. The results confirm that the segmentation accuracy of brain tumor segmentation improved significantly. The proposed ITL approach can make significant contribution to the field of medical image analysis, as we develop a fundamental tool to improve and promote various tasks using medical images.


title: High-Multiplicity Fair Allocation Using Parametric Integer Linear Programming

abstract: Using insights from parametric integer linear programming, we significantly improve on our previous work [Proc. ACM EC 2019] on high-multiplicity fair allocation. Therein, answering an open question from previous work, we proved that the problem of finding envy-free Pareto-efficient allocations of indivisible items is fixed-parameter tractable with respect to the combined parameter "number of agents" plus "number of item types." Our central improvement, compared to this result, is to break the condition that the corresponding utility and multiplicity values have to be encoded in unary required there. Concretely, we show that, while preserving fixed-parameter tractability, these values can be encoded in binary, thus greatly expanding the range of feasible values.


title: Local Self-Attention over Long Text for Efficient Document Retrieval

abstract: Neural networks, particularly Transformer-based architectures, have achieved significant performance improvements on several retrieval benchmarks. When the items being retrieved are documents, the time and memory cost of employing Transformers over a full sequence of document terms can be prohibitive. A popular strategy involves considering only the first n terms of the document. This can, however, result in a biased system that under retrieves longer documents. In this work, we propose a local self-attention which considers a moving window over the document terms and for each term attends only to other terms in the same window. This local attention incurs a fraction of the compute and memory cost of attention over the whole document. The windowed approach also leads to more compact packing of padded documents in minibatches resulting in additional savings. We also employ a learned saturation function and a two-staged pooling strategy to identify relevant regions of the document. The Transformer-Kernel pooling model with these changes can efficiently elicit relevance information from documents with thousands of tokens. We benchmark our proposed modifications on the document ranking task from the TREC 2019 Deep Learning track and observe significant improvements in retrieval quality as well as increased retrieval of longer documents at moderate increase in compute and memory costs.


title: Conditional Image Generation and Manipulation for User-Specified Content

abstract: In recent years, Generative Adversarial Networks (GANs) have improved steadily towards generating increasingly impressive real-world images. It is useful to steer the image generation process for purposes such as content creation. This can be done by conditioning the model on additional information. However, when conditioning on additional information, there still exists a large set of images that agree with a particular conditioning. This makes it unlikely that the generated image is exactly as envisioned by a user, which is problematic for practical content creation scenarios such as generating facial composites or stock photos. To solve this problem, we propose a single pipeline for text-to-image generation and manipulation. In the first part of our pipeline we introduce textStyleGAN, a model that is conditioned on text. In the second part of our pipeline we make use of the pre-trained weights of textStyleGAN to perform semantic facial image manipulation. The approach works by finding semantic directions in latent space. We show that this method can be used to manipulate facial images for a wide range of attributes. Finally, we introduce the CelebTD-HQ dataset, an extension to CelebA-HQ, consisting of faces and corresponding textual descriptions.


title: Empirical Insights for Designing Information and Communication Technology for International Disaster Response

abstract: Due to the increase in natural disasters in the past years, Disaster Response Organizations (DROs) are faced with the challenge of coping with more and larger operations. Currently appointed Information and Communications Technology (ICT) used for coordination and communication is sometimes outdated and does not scale, while novel technologies have the potential to greatly improve disaster response efficiency. To allow adoption of these novel technologies, ICT system designers have to take into account the particular needs of DROs and characteristics of International Disaster Response (IDR). This work attempts to bring the humanitarian and ICT communities closer together. In this work, we analyze IDR-related documents and conduct expert interviews. Using open coding, we extract empirical insights and translate the peculiarities of DRO coordination and operation into tangible ICT design requirements. This information is based on interviews with active IDR staff as well as DRO guidelines and reports. Ultimately, the goal of this paper is to serve as a reference for future ICT research endeavors to support and increase the efficiency of IDR operations.


title: Limit theorems for random points in a simplex

abstract: In this work the $\ell_q$-norms of points chosen uniformly at random in a centered regular simplex in high dimensions are studied. Berry-Esseen bounds in the regime $1\leq q < \infty$ are derived and complemented by a non-central limit theorem together with moderate and large deviations in the case where $q=\infty$. A comparison with corresponding results for $\ell_p^n$-balls is carried out as well.


title: Maximizing Information Gain in Partially Observable Environments via Prediction Reward

abstract: Information gathering in a partially observable environment can be formulated as a reinforcement learning (RL), problem where the reward depends on the agent's uncertainty. For example, the reward can be the negative entropy of the agent's belief over an unknown (or hidden) variable. Typically, the rewards of an RL agent are defined as a function of the state-action pairs and not as a function of the belief of the agent; this hinders the direct application of deep RL methods for such tasks. This paper tackles the challenge of using belief-based rewards for a deep RL agent, by offering a simple insight that maximizing any convex function of the belief of the agent can be approximated by instead maximizing a prediction reward: a reward based on prediction accuracy. In particular, we derive the exact error between negative entropy and the expected prediction reward. This insight provides theoretical motivation for several fields using prediction rewards---namely visual attention, question answering systems, and intrinsic motivation---and highlights their connection to the usually distinct fields of active perception, active sensing, and sensor placement. Based on this insight we present deep anticipatory networks (DANs), which enables an agent to take actions to reduce its uncertainty without performing explicit belief inference. We present two applications of DANs: building a sensor selection system for tracking people in a shopping mall and learning discrete models of attention on fashion MNIST and MNIST digit classification.


title: Exploring Phononic Properties of Two-Dimensional Materials using Machine Learning Interatomic Potentials

abstract: Phononic properties are commonly studied by calculating force constants using the density functional theory (DFT) simulations. Although DFT simulations offer accurate estimations of phonon dispersion relations or thermal properties, but for low-symmetry and nanoporous structures the computational cost quickly becomes very demanding. Moreover, the computational setups may yield nonphysical imaginary frequencies in the phonon dispersion curves, impeding the assessment of phononic properties and the dynamical stability of the considered system. Here, we compute phonon dispersion relations and examine the dynamical stability of a large ensemble of novel materials and compositions. We propose a fast and convenient alternative to DFT simulations which derived from machine-learning interatomic potentials passively trained over computationally efficient ab-initio molecular dynamics trajectories. Our results for diverse two-dimensional (2D) nanomaterials confirm that the proposed computational strategy can reproduce fundamental thermal properties in close agreement with those obtained via the DFT approach. The presented method offers a stable, efficient, and convenient solution for the examination of dynamical stability and exploring the phononic properties of low-symmetry and porous 2D materials.


title: Scalable Interpretable Learning for Multi-Response Error-in-Variables Regression

abstract: Corrupted data sets containing noisy or missing observations are prevalent in various contemporary applications such as economics, finance and bioinformatics. Despite the recent methodological and algorithmic advances in high-dimensional multi-response regression, how to achieve scalable and interpretable estimation under contaminated covariates is unclear. In this paper, we develop a new methodology called convex conditioned sequential sparse learning (COSS) for error-in-variables multi-response regression under both additive measurement errors and random missing data. It combines the strengths of the recently developed sequential sparse factor regression and the nearest positive semi-definite matrix projection, thus enjoying stepwise convexity and scalability in large-scale association analyses. Comprehensive theoretical guarantees are provided and we demonstrate the effectiveness of the proposed methodology through numerical studies.


title: On global solutions of the obstacle problem

abstract: Assuming a lower bound on the dimension, we prove a long standing conjecture concerning the classification of global solutions of the obstacle problem with unbounded coincidence sets.


title: A Logical Characterization of Constant-Depth Circuits over the Reals

abstract: In this paper we give an Immerman's Theorem for real-valued computation. We define circuits operating over real numbers and show that families of such circuits of polynomial size and constant depth decide exactly those sets of vectors of reals that can be defined in first-order logic on R-structures in the sense of Cucker and Meer. Our characterization holds both non-uniformily as well as for many natural uniformity conditions.


title: Learning to hash with semantic similarity metrics and empirical KL divergence

abstract: Learning to hash is an efficient paradigm for exact and approximate nearest neighbor search from massive databases. Binary hash codes are typically extracted from an image by rounding output features from a CNN, which is trained on a supervised binary similar/ dissimilar task. Drawbacks of this approach are: (i) resulting codes do not necessarily capture semantic similarity of the input data (ii) rounding results in information loss, manifesting as decreased retrieval performance and (iii) Using only class-wise similarity as a target can lead to trivial solutions, simply encoding classifier outputs rather than learning more intricate relations, which is not detected by most performance metrics. We overcome (i) via a novel loss function encouraging the relative hash code distances of learned features to match those derived from their targets. We address (ii) via a differentiable estimate of the KL divergence between network outputs and a binary target distribution, resulting in minimal information loss when the features are rounded to binary. Finally, we resolve (iii) by focusing on a hierarchical precision metric. Efficiency of the methods is demonstrated with semantic image retrieval on the CIFAR-100, ImageNet and Conceptual Captions datasets, using similarities inferred from the WordNet label hierarchy or sentence embeddings.


title: On Radial Isotropic Position: Theory and Algorithms

abstract: We review the theory of, and develop algorithms for transforming a finite point set in ${\bf R}^d$ into a set in \emph{radial isotropic position} by a nonsingular linear transformation followed by rescaling each image point to the unit sphere. This problem arises in a wide spectrum of applications in computer science and mathematics. Our algorithms use gradient descent methods for a particular convex function $f$ whose minimum defines the transformation, and our main focus is on analyzing their performance. Although the minimum can be computed exactly, by expensive symbolic algebra techniques, gradient descent only approximates the desired minimum to any desired level of accuracy. We show that computing the gradient of $f$ amounts to computing the Singular Value Decomposition (SVD) of a certain matrix associated with the input set, making it simple to implement. We believe it to be superior to other approximate techniques (mainly the ellipsoid algorithm) used previously to find this transformation, and it should run much faster in practice. We prove that $f$ is smooth, which yields convergence rate proportional to $1/\epsilon$, where $\epsilon$ is the desired approximation accuracy. To complete the analysis, we provide upper bounds on the norm of the optimal solution which depend on new parameters measuring "the degeneracy" in our input. We believe that our parameters capture degeneracy better than other, seemingly weaker, parameters used in previous works. We next analyze the strong convexity of $f$, and present two worst-case lower bounds on the smallest eigenvalue of its Hessian. This gives another worst-case bound on the convergence rate of another variant of gradient decent that depends only logarithmically on $1/\epsilon$.


title: Bounds for expected supremum of fractional Brownian motion with drift

abstract: We provide upper and lower bounds for the mean ${\mathscr M}(H)$ of $\sup_{t\geqslant 0} \{B_H(t) - t\}$, with $B_H(\cdot)$ a zero-mean, variance-normalized version of fractional Brownian motion with Hurst parameter $H\in(0,1)$. We find bounds in (semi-)closed-form, distinguishing between $H\in(0,\frac{1}{2}]$ and $H\in[\frac{1}{2},1)$, where in the former regime a numerical procedure is presented that drastically reduces the upper bound. For $H\in(0,\frac{1}{2}]$, the ratio between the upper and lower bound is bounded, whereas for $H\in[\frac{1}{2},1)$ the derived upper and lower bound have a strongly similar shape. We also derive a new upper bound for the mean of $\sup_{t\in[0,1]} B_H(t)$, $H\in(0,\tfrac{1}{2}]$, which is tight around $H=\tfrac{1}{2}$.


title: Gravitating Meron-like topological solitons in massive Yang-Mills theory and the Einstein-Skyrme model

abstract: We show that gravitating Merons in $D$-dimensional massive Yang-Mills theory can be mapped to solutions of the Einstein-Skyrme model. The identification of the solutions relies on the fact that, when considering the Meron ansatz for the gauge connection $A=\lambda U^{-1}dU$, the massive Yang-Mills equations reduce to the Skyrme equations for the corresponding group element $U$. In the same way, the energy-momentum tensors of both theories can be identified and therefore lead to the same Einstein equations. Subsequently, we focus on the $SU(2)$ case and show that introducing a mass for the Yang-Mills field restricts Merons to live on geometries given by the direct product of $S^3$ (or $S^2$) and Lorentzian manifolds with constant Ricci scalar. We construct explicit examples for $D=4$ and $D=5$. Finally, we comment on possible generalisations.


title: The Dirichlet problem for a class of degenerate fully nonlinear elliptic equations on Riemannian manifolds with mean concave boundary

abstract: This article studies the Dirichlet problem for a class of degenerate fully nonlinear elliptic equations on Riemannian manifolds with \textit{mean concave} boundary in the sense that the mean curvature of the boundary is \textit{nonpositive}. The proof is primarily based on a quantitative boundary estimate. Also, we obtain analogous results in complex variables. In Appendix, the subsolutions are also constructed on certain topologically product manifolds.


title: A General Verification for Functional Completeness by Abstract Operators

abstract: An operator set is functionally incomplete if it can not represent the full set $\lbrace \neg,\vee,\wedge,\rightarrow,\leftrightarrow\rbrace$. The verification for the functional incompleteness highly relies on constructive proofs. The judgement with a large untested operator set can be inefficient. Given with a mass of potential operators proposed in various logic systems, a general verification method for their functional completeness is demanded. This paper offers an universal verification for the functional completeness. Firstly, we propose two abstract operators $\widehat{R}$ and $\breve{R}$, both of which have no fixed form and are only defined by several weak constraints. Specially, $\widehat{R}_{\geq}$ and $\breve{R}_{\geq}$ are the abstract operators defined with the total order relation $\geq$. Then, we prove that any operator set $\mathfrak{R}$ is functionally complete if and only if it can represent the composite operator $\widehat{R}_{\geq}\circ\breve{R}_{\geq}$ or $\breve{R}_{\geq}\circ\widehat{R}_{\geq}$. Otherwise $\mathfrak{R}$ is determined to be functionally incomplete. This theory can be generally applied to any untested operator set to determine whether it is functionally complete.


title: No-arbitrage concepts in topological vector lattices

abstract: We provide a general framework for no-arbitrage concepts in topological vector lattices, which covers many of the well-known no-arbitrage concepts as particular cases. The main structural condition we impose is that the outcomes of trading strategies with initial wealth zero and those with positive initial wealth have the structure of a convex cone. As one consequence of our approach, the concepts NUPBR, NAA$_1$ and NA$_1$ may fail to be equivalent in our general setting. Furthermore, we derive abstract versions of the fundamental theorem of asset pricing (FTAP), including an abstract FTAP on Banach function spaces, and investigate when the FTAP is warranted in its classical form with a separating measure. We also consider a financial market with semimartingales which does not need to have a num\'{e}raire, and derive results which show the links between the no-arbitrage concepts by only using the theory of topological vector lattices and well-known results from stochastic analysis in a sequence of short proofs.


title: A compact non-formal closed $G_2$ manifold with $b_1=1$

abstract: We construct a compact manifold with a closed $G_2$ structure not admitting any torsion-free $G_2$ structure, which is non-formal and has first Betti number $b_1=1$. We develop a method of resolution for orbifolds that arise as a quotient $M/Z_2$ with $M$ a closed $G_2$ manifold under the assumption that the singular locus carries a nowhere-vanishing closed 1-form.


title: Berry-Esseen smoothing inequality for the Wasserstein metric on compact Lie groups

abstract: We prove a sharp general inequality estimating the distance of two probability measures on a compact Lie group in the Wasserstein metric in terms of their Fourier transforms. We use a generalized form of the Wasserstein metric, related by Kantorovich duality to the family of functions with an arbitrarily prescribed modulus of continuity. The proof is based on smoothing with a suitable kernel, and a Fourier decay estimate for continuous functions. As a corollary, we show that the rate of convergence of random walks on semisimple groups in the Wasserstein metric is necessarily almost exponential, even without assuming a spectral gap. Applications to equidistribution and empirical measures are also given.


title: Orthogonal electric control of the out-of-plane field-effect in two-dimensional ferroelectric alpha-In2Se3

abstract: Tuning the electric properties of crystalline solids is at the heart of material science and electronics. Generating the electric field-effect via an external voltage is a clean, continuous and systematic method. Here, utilizing the unique electric dipole locking in van der Waals (vdW) ferroelectric alpha-In2Se3, we report a new approach to establish the electric gating effect, where the electrostatic doping in the out-of-plane direction is induced and controlled by an in-plane voltage. With the vertical vdW heterostructure of ultrathin alpha-In2Se3 and MoS2, we validate an in-plane voltage gated coplanar field-effect transistor (CP-FET) with distinguished and retentive on/off ratio. Our results demonstrate unprecedented electric control of ferroelectricity, which paves the way for integrating two-dimensional (2D) ferroelectric into novel nanoelectronic devices with broad applications.


title: Inflation of Migrated Hot Jupiters

abstract: The observed low densities of gas giant planets with a high equilibrium temperature can be simulated in models when a fraction of the surface radiation is deposited deeper in the interior. Meanwhile migration theories suggest that hot Jupiters formed further away from their host-star and migrated inward. We incorporate disk migration in simulations of the evolving interior of hot Jupiters to determine whether migration has a long lasting effect on the inflation of planets. We quantify the difference between the radius of a migrated planet and the radius of a planet that formed in situ as the radius discrepancy. We remain agnostic about the physical mechanism behind interior heating, but assume it scales with the received stellar flux by a certain fraction. We find that the change in irradiation received from the host-star while the planet is migrating can affect the inflation and final radius of the planet. Models with a high fraction of energy deposited in the interior ( > 5%) show a significant radius discrepancy when the deposit is at higher pressures than P=1 bar. For a smaller fraction of 1%, there is no radius discrepancy for any deposit depth. We show that a uniform heating mechanism can cause different rates of inflation, depending on the migration history. If the forthcoming observations on mean densities and atmospheres of gas giants give a better indication of a potential heating mechanism, this could help to constrain the prior migration of such planets.


title: Collecting big behavioral data for measuring behavior against obesity

abstract: Obesity is currently affecting very large portions of the global population. Effective prevention and treatment starts at the early age and requires objective knowledge of population-level behavior on the region/neighborhood scale. To this end, we present a system for extracting and collecting behavioral information on the individual-level objectively and automatically. The behavioral information is related to physical activity, types of visited places, and transportation mode used between them. The system employs indicator-extraction algorithms from the literature which we evaluate on publicly available datasets. The system has been developed and integrated in the context of the EU-funded BigO project that aims at preventing obesity in young populations.


title: Towards logical negation for compositional distributional semantics

abstract: The categorical compositional distributional model of meaning gives the composition of words into phrases and sentences pride of place. However, it has so far lacked a model of logical negation. This paper gives some steps towards providing this operator, modelling it as a version of projection onto the subspace orthogonal to a word. We give a small demonstration of the operators performance in a sentence entailment task.


title: Comparing three groups

abstract: We revisit simple and powerful methods for multiple pairwise comparisons that can be used in designs with three groups. We argue that the proper choice of method should be determined by the assessment which of the comparisons are considered primary and which are secondary, as determined by subject-matter considerations. We review four different methods that are simple to use with any standard software, but are substantially more powerful than frequently-used methods such as an ANOVA test followed by Tukey's method.


title: Deep Generative Models to Simulate 2D Patient-Specific Ultrasound Images in Real Time

abstract: We present a computational method for real-time, patient-specific simulation of 2D ultrasound (US) images. The method uses a large number of tracked ultrasound images to learn a function that maps position and orientation of the transducer to ultrasound images. This is a first step towards realistic patient-specific simulations that will enable improved training and retrospective examination of complex cases. Our models can simulate a 2D image in under 4ms (well within real-time constraints), and produce simulated images that preserve the content (anatomical structures and artefacts) of real ultrasound images.


title: Shift of the critical temperature in superconductors: a self-consistent approach

abstract: Within the Ginzburg-Landau functional framework for the superconducting transition, we analyze the fluctuation-driven shift of the critical temperature. In addition to the order parameter fluctuations, we also take into account the fluctuations of the vector potential above its vacuum. We detail the approximation scheme to include the fluctuating fields contribution, based on the Hartree-Fock-Bogoliubov-Popov framework. We give explicit results for $d=2$ and $d=3$ spatial dimensions, in terms of easily accessible experimental parameters such as the Ginzburg-Levanyuk number $\text{Gi}_{(d)}$, which is related to the width of the critical region where fluctuations cannot be neglected, and the Ginzburg-Landau parameter $\kappa$, defined as the ratio between the magnetic penetration length and the coherence one.


title: First Experimental Demonstration of a 3-Dimensional Simplex Modulation Format Showing Improved OSNR Performance Compared to DP-BPSK

abstract: We experimentally demonstrate a novel 3-dimensional modulation format with 1.2-dB OSNR tolerance improvement potential compared to DP-BPSK, as verified for the linear case. The non-linearity tolerance is evaluated in single-span transmission over 300km SSMF.


title: Homogeneous electron gas in arbitrary dimensions

abstract: The homogeneous electron gas is one of the most studied model systems in condensed matter physics. It is also at the basis of the large majority of approximations to the functionals of density functional theory. As such, its exchange-correlation energy has been extensively studied, and is well-known for systems of 1, 2, and 3 dimensions. Here, we extend this model and compute the exchange and correlation energy, as a function of the Wigner-Seitz radius $r_s$, for arbitrary dimension $D$. We find a very different behavior for reduced dimensional spaces ($D=1$ and 2), our three dimensional space, and for higher dimensions. In fact, for $D > 3$, the leading term of the correlation energy does not depend on the logarithm of $r_s$ (as for $D=3$), but instead scales polynomialy: $ -c_D /r_s^{\gamma_D}$, with the exponent $\gamma_D=(D-3)/(D-1)$. In the large-$D$ limit, the value of $c_D$ is found to depend linearly with the dimension. In this limit, we also find that the concepts of exchange and correlation merge, sharing a common $1/r_s$ dependence.


title: Performance Modeling and Vertical Autoscaling of Stream Joins

abstract: Streaming analysis is widely used in cloud as well as edge infrastructures. In these contexts, fine-grained application performance can be based on accurate modeling of streaming operators. This is especially beneficial for computationally expensive operators like adaptive stream joins that, being very sensitive to rate-varying data streams, would otherwise require costly frequent monitoring. We propose a dynamic model for the processing throughput and latency of adaptive stream joins that run with different parallelism degrees. The model is presented with progressive complexity, from a centralized non-deterministic up to a deterministic parallel stream join, describing how throughput and latency dynamics are influenced by various configuration parameters. The model is catalytic for understanding the behavior of stream joins against different system deployments, as we show with our model-based autoscaling methodology to change the parallelism degree of stream joins during the execution. Our thorough evaluation, for a broad spectrum of parameter, confirms the model can reliably predict throughput and latency metrics with a fairly high accuracy, with the median error in estimation ranging from approximately 0.1% to 6.5%, even for an overloaded system. Furthermore, we show that our model allows to efficiently control adaptive stream joins by estimating the needed resources solely based on the observed input load. In particular, we show it can be employed to enable efficient autoscaling, even when big changes in the input load happen frequently (in the realm of seconds).


title: $L^p$-$L^q$ boundedness of pseudo-differential operators on smooth manifolds and its applications to nonlinear equations

abstract: In this paper we study the boundedness of global pseudo-differential operators on smooth manifolds. By using the notion of global symbol we extend a classical condition of H\"ormander type to guarantee the $L^p$-$L^q$-boundedness of global operators. First we investigate $L^p$-boundedness of pseudo-differential operators in view of the H\"ormander-Mihlin condition. We also prove $L^\infty$-$BMO$ estimates for pseudo-differential operators. Later, we concentrate our investigation to settle $L^p$-$L^q$ boundedness of the Fourier multipliers and pseudo-differential operators for the range $1<p \leq 2 \leq q<\infty.$ On the way to achieve our goal of $L^p$-$L^q$ boundedness we prove two classical inequalities, namely, Paley inequality and Hausdorff-Young-Paley inequality for smooth manifolds. Finally, we present the applications of our boundedness theorems to the well-posedness properties of different types of the nonlinear partial differential equations.


title: Using statistics and mathematical modelling to understand infectious disease outbreaks: COVID-19 as an example

abstract: During an infectious disease outbreak, biases in the data and complexities of the underlying dynamics pose significant challenges in mathematically modelling the outbreak and designing policy. Motivated by the ongoing response to COVID-19, we provide a toolkit of statistical and mathematical models beyond the simple SIR-type differential equation models for analysing the early stages of an outbreak and assessing interventions. In particular, we focus on parameter estimation in the presence of known biases in the data, and the effect of non-pharmaceutical interventions in enclosed subpopulations, such as households and care homes. We illustrate these methods by applying them to the COVID-19 pandemic.


title: A Deep Learning Approach for Automatic Detection of Fake News

abstract: Fake news detection is a very prominent and essential task in the field of journalism. This challenging problem is seen so far in the field of politics, but it could be even more challenging when it is to be determined in the multi-domain platform. In this paper, we propose two effective models based on deep learning for solving fake news detection problem in online news contents of multiple domains. We evaluate our techniques on the two recently released datasets, namely FakeNews AMT and Celebrity for fake news detection. The proposed systems yield encouraging performance, outperforming the current handcrafted feature engineering based state-of-the-art system with a significant margin of 3.08% and 9.3% by the two models, respectively. In order to exploit the datasets, available for the related tasks, we perform cross-domain analysis (i.e. model trained on FakeNews AMT and tested on Celebrity and vice versa) to explore the applicability of our systems across the domains.


title: Engineered Swift Equilibration of brownian particles: consequences of hydrodynamic coupling

abstract: We present a detailed theoretical and experimental analysis of Engineered Swift Equilibration (ESE) protocols applied to two hydrodynamically coupled colloids in optical traps. The second particle disturbs slightly (10% at most) the response to an ESE compression applied to a single particle. This effect is quantitatively explained by a model of hydrodynamic coupling. Then we design a coupled ESE protocol for the two particles, allowing the perfect control of one target particle while the second is enslaved to the first. The calibration errors and the limitations of the model are finally discussed in detail.


title: Excitation function of initial temperature of heavy flavor quarkonium emission source in high energy collisions

abstract: The transverse momentum spectra of $J/\psi$, $\psi(2S)$, and $\Upsilon(nS, n=1,2,3)$ produced in proton-proton ($p$+$p$), proton-antiproton ($p$+$\bar{p}$), proton-lead ($p$+Pb), gold-gold (Au+Au), and lead-lead (Pb+Pb) collisions over a wide energy range are analyzed by the (two-component) Erlang distribution, the Hagedorn function (the inverse power-law), and the Tsallis-Levy function. The initial temperature is obtained from the color string percolation model due to the fit by the (two-component) Erlang distribution in the framework of multisource thermal model. The excitation functions of some parameters such as the mean transverse momentum and initial temperature increase from dozens of GeV to above 10 TeV. The mean transverse momentum and initial temperature decrease (increase slightly or do not change obviously) with the increase of rapidity (centrality). Meanwhile, the mean transverse momentum of $\Upsilon(nS, n=1,2,3)$ is larger than that of $J/\psi$ and $\psi(2S)$, and the initial temperature for $\Upsilon(nS, n=1,2,3)$ emission is higher than that for $J/\psi$ and $\psi(2S)$ emission, which shows a mass-dependent behavior.


title: Angular momentum transport, layering, and zonal jet formation by the GSF instability: nonlinear simulations at a general latitude

abstract: We continue our investigation into the nonlinear evolution of the Goldreich-Schubert-Fricke (GSF) instability in differentially rotating radiation zones. This instability may be a key player in transporting angular momentum in stars and giant planets, but its nonlinear evolution remains mostly unexplored. In a previous paper we considered the equatorial instability, whereas here we simulate the instability at a general latitude for the first time. We adopt a local Cartesian Boussinesq model in a modified shearing box for most of our simulations, but we also perform some simulations with stress-free, impenetrable, radial boundaries. We first revisit the linear instability and derive some new results, before studying its nonlinear evolution. The instability is found to behave very differently compared with its behaviour at the equator. In particular, here we observe the development of strong zonal jets ("layering" in the angular momentum), which can considerably enhance angular momentum transport, particularly in axisymmetric simulations. The jets are, in general, tilted with respect to the local gravity by an angle that corresponds initially with that of the linear modes, but which evolves with time and depends on the strength of the flow. The instability transports angular momentum much more efficiently (by several orders of magnitude) than it does at the equator, and we estimate that the GSF instability could contribute to the missing angular momentum transport required in both red giant and subgiant stars. It could also play a role in the long-term evolution of the solar tachocline and the atmospheric dynamics of hot Jupiters.


title: Bruno Touschek in Glasgow. The making of a theoretical physicist

abstract: In the history of the discovery tools of last century particle physics, central stage is taken by elementary particle accelerators and in particular by colliders. In their start and early development, a major role was played by the Austrian born Bruno Touschek, who proposed and built the first electron positron collider, AdA, in Italy, in 1960. In this note, we present a period of Touschek's life barely explored in the literature, namely the five years he spent at University of Glasgow, first to obtain his doctorate in 1949 and then as a lecturer. We shall highlight his formation as a theoretical physicist, his contacts and correspondence with Werner Heisenberg in G\"ottingen and Max Born in Edinburgh, as well as his close involvement with colleagues intent on building modern particle accelerators in Glasgow, Malvern, Manchester and Birmingham. We shall discuss how the Fuchs affair, which unraveled in early 1950, may have influenced his decision to leave the UK, and how contacts with the Italian physicist Bruno Ferretti led Touschek to join the Guglielmo Marconi Physics Institute of University of Rome in January 1953.


title: Broadband terahertz time-domain spectroscopy and fast FMCW imaging: principle and applications

abstract: We report a broadband terahertz time-domain spectroscopy (THz-TDS) which enables twenty vibrational modes of adenosine nucleoside to be resolved in a wide frequency range of 1-20 THz. The observed spectroscopic features of adenosine are in good agreement with the published spectra obtained using Fourier Transform Infrared Spectroscopy (FTIR) and Raman spectroscopy. This much-extended bandwidth leads to enhanced material characterization capability as it provides spectroscopic information on both intra-molecular and inter-molecular vibrations. In addition, we also report a low-cost Frequency Modulation Continuous Wave (FMCW) imaging system which has a fast measurement speed of 40,000 waveforms per second. Cross-sectional imaging capability through cardboard has also been demonstrated using its excellent penetration capability at a frequency range of 76-81 GHz. We anticipate that the integration of these two complementary imaging technologies would be highly desirable for many real-world applications because it provides both spectroscopic discrimination and penetration capabilities in a single instrument.


title: On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in $\Pi\mathbf\Sigma^*$-field extensions

abstract: We present a complete algorithm that computes all hypergeometric solutions of homogeneous linear difference equations and rational solutions of parameterized linear difference equations in the setting of $\Pi\Sigma^*$-fields. More generally, we provide a flexible framework for a big class of difference fields that is built by a tower of $\Pi\Sigma^*$-field extensions over a difference field that satisfies certain algorithmic properties. As a consequence one can compute all solutions in terms of indefinite nested sums and products that arise within the components of a parameterized linear difference equation, and one can find all hypergeometric solutions that are defined over the arising sums and products of a homogeneous linear difference equation.


title: Fake face detection via adaptive manipulation traces extraction network

abstract: With the proliferation of face image manipulation (FIM) techniques such as Face2Face and Deepfake, more fake face images are spreading over the internet, which brings serious challenges to public confidence. Face image forgery detection has made considerable progresses in exposing specific FIM, but it is still in scarcity of a robust fake face detector to expose face image forgeries under complex scenarios such as with further compression, blurring, scaling, etc. Due to the relatively fixed structure, convolutional neural network (CNN) tends to learn image content representations. However, CNN should learn subtle manipulation traces for image forensics tasks. Thus, we propose an adaptive manipulation traces extraction network (AMTEN), which serves as pre-processing to suppress image content and highlight manipulation traces. AMTEN exploits an adaptive convolution layer to predict manipulation traces in the image, which are reused in subsequent layers to maximize manipulation artifacts by updating weights during the back-propagation pass. A fake face detector, namely AMTENnet, is constructed by integrating AMTEN with CNN. Experimental results prove that the proposed AMTEN achieves desirable pre-processing. When detecting fake face images generated by various FIM techniques, AMTENnet achieves an average accuracy up to 98.52%, which outperforms the state-of-the-art works. When detecting face images with unknown post-processing operations, the detector also achieves an average accuracy of 95.17%.


title: Efficient optimization of cut-offs in quantum repeater chains

abstract: Quantum communication enables the implementation of tasks that are unachievable with classical resources. However, losses on the communication channel preclude the direct long-distance transmission of quantum information in many relevant scenarios. In principle quantum repeaters allow one to overcome losses. However, realistic hardware parameters make long-distance quantum communication a challenge in practice. For instance, in many protocols an entangled pair is generated that needs to wait in quantum memory until the generation of an additional pair. During this waiting time the first pair decoheres, impacting the quality of the final entanglement produced. At the cost of a lower rate, this effect can be mitigated by imposing a cut-off condition. For instance, a maximum storage time for entanglement after which it is discarded. In this work, we optimize the cut-offs for quantum repeater chains. First, we develop an algorithm for computing the probability distribution of the waiting time and fidelity of entanglement produced by repeater chain protocols which include a cut-off. Then, we use the algorithm to optimize cut-offs in order to maximize secret-key rate between the end nodes of the repeater chain. We find that the use of the optimal cut-off extends the parameter regime for which secret key can be generated and moreover significantly increases the secret-key rate for a large range of parameters.


title: Hausdorff dimension and projections related to intersections

abstract: For $S_g(x,y)=x-g(y), x,y\in\mathbb{R}^n, g\in O(n),$ we investigate the Lebesgue measure and Hausdorff dimension of $S_g(A)$ given the dimension of $A$, both for general Borel subsets of $\mathbb{R}^{2n}$ and for product sets.


title: Consensus, Bi-polarization and Multiformity in Opinion Dynamics with Bidirectional Thresholds

abstract: Many empirical networks are intrinsically pluralistic, with interactions occurring within groups of arbitrary agents. Then the agent in the network can be influenced by types of neighbors, common examples include similarity, opposition, and negligibility. Although the influence of neighbors can be described as an amicable and antagonistic relationship in complex real-world systems accurately, and the research on the dynamic process of public opinion evolution with different types of influence is valuable, few studies have mentioned that issue. In this paper, we develop a novel model on networks of agents with the bi-directional bounded thresholds for studying the evolution of opinion dynamics. We define the scope of individual assimilation and exclusion to identify different types of neighbors and calculate the impact of the corresponding neighbors on the individuals by converting the opinion difference. The simulation results show that the proposed mechanism can effectively explain the formation of bi-polarization during opinion evolution and the settings of the bi-directional bounded thresholds significantly influence the eventual distribution of opinions. Furthermore, we explore the impacts of the initial conditions and the structure of the small-world network on the evolution of opinions.


title: Designing for Human Rights in AI

abstract: In the age of big data, companies and governments are increasingly using algorithms to inform hiring decisions, employee management, policing, credit scoring, insurance pricing, and many more aspects of our lives. AI systems can help us make evidence-driven, efficient decisions, but can also confront us with unjustified, discriminatory decisions wrongly assumed to be accurate because they are made automatically and quantitatively. It is becoming evident that these technological developments are consequential to people's fundamental human rights. Despite increasing attention to these urgent challenges in recent years, technical solutions to these complex socio-ethical problems are often developed without empirical study of societal context and the critical input of societal stakeholders who are impacted by the technology. On the other hand, calls for more ethically- and socially-aware AI often fail to provide answers for how to proceed beyond stressing the importance of transparency, explainability, and fairness. Bridging these socio-technical gaps and the deep divide between abstract value language and design requirements is essential to facilitate nuanced, context-dependent design choices that will support moral and social values. In this paper, we bridge this divide through the framework of Design for Values, drawing on methodologies of Value Sensitive Design and Participatory Design to present a roadmap for proactively engaging societal stakeholders to translate fundamental human rights into context-dependent design requirements through a structured, inclusive, and transparent process.


title: Yang-Baxter deformations of the AdS$_5\times$S$^5$ supercoset sigma model from 4D Chern-Simons theory

abstract: We present homogeneous Yang-Baxter deformations of the AdS$_5\times$S$^5$ supercoset sigma model as boundary conditions of a 4D Chern-Simons theory. We first generalize the procedure for the 2D principal chiral model developed by Delduc et al [arXiv:1909.13824] so as to reproduce the 2D symmetric coset sigma model, and specify boundary conditions governing homogeneous Yang-Baxter deformations. Then the conditions are applicable for the AdS$_5\times$S$^5$ supercoset sigma model case as well. In addition, homogeneous bi-Yang-Baxter deformation is also discussed.


title: Formal Mathematical Systems including a Structural Induction Principle

abstract: We present a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. We introduce recursive systems generating the recursively enumerable relations between lists of terms, the basic objects under consideration. A recursive system consists of axioms, which are special quantifier-free positive horn formulas, and of specific rules of inference. Its extension to formal mathematical systems leads to a formal structural induction with respect to the axioms of the underlying recursive system. This approach provides some new representation theorems without using artificial and difficult interpretation techniques. Within this frame we will also derive versions of G\"odel's First and Second Incompleteness Theorems for a general class of axiomatized formal mathematical systems.