title: Relative Rota-Baxter operators and symplectic structures on Lie-Yamaguti algebras

abstract: In this paper, first we introduce the notion of a quadratic Lie-Yamaguti algebra and show that the invariant bilinear form in a quadratic Lie-Yamaguti algebra induces an isomorphism between the adjoint representation and the coadjoint representation. Then we introduce the notions of relative Rota-Baxter operators on Lie-Yamaguti algebras and pre-Lie-Yamaguti algebras. We prove that a pre-Lie-Yamaguti algebra gives rise to a Lie-Yamaguti algebra naturally and a relative Rota-Baxter operator induces a pre-Lie-Yamaguti algebra. Finally we study symplectic structures on Lie-Yamaguti algebra, which give rise to relative Rota-Baxter operators as well as pre-Lie-Yamaguti algebras. As applications, we study phase spaces of Lie-Yamaguti algebras, and show that there is a one-to-one correspondence between phase spaces of Lie-Yamaguti algebras and Manin triples of pre-Lie-Yamaguti algebras.


title: Context-Aware Mixup for Domain Adaptive Semantic Segmentation

abstract: Unsupervised domain adaptation (UDA) aims to adapt a model of the labeled source domain to an unlabeled target domain. Existing UDA-based semantic segmentation approaches always reduce the domain shifts in pixel level, feature level, and output level. However, almost all of them largely neglect the contextual dependency, which is generally shared across different domains, leading to less-desired performance. In this paper, we propose a novel Context-Aware Mixup (CAMix) framework for domain adaptive semantic segmentation, which exploits this important clue of context-dependency as explicit prior knowledge in a fully end-to-end trainable manner for enhancing the adaptability toward the target domain. Firstly, we present a contextual mask generation strategy by leveraging the accumulated spatial distributions and prior contextual relationships. The generated contextual mask is critical in this work and will guide the context-aware domain mixup on three different levels. Besides, provided the context knowledge, we introduce a significance-reweighted consistency loss to penalize the inconsistency between the mixed student prediction and the mixed teacher prediction, which alleviates the negative transfer of the adaptation, e.g., early performance degradation. Extensive experiments and analysis demonstrate the effectiveness of our method against the state-of-the-art approaches on widely-used UDA benchmarks.


title: The cluster multiplication theorem for acyclic quantum cluster algebras

abstract: Let $Q$ be a finite acyclic valued quiver. We give the cluster multiplication formulas in the quantum cluster algebra of $Q$ with arbitrary coefficients, by applying certain quotients of derived Hall subalgebras of $Q$. These formulas can be viewed as the quantum version of the cluster multiplication theorem in the classical cluster algebra proved by Caldero-Keller for finite type, Hubery for affine type and Xiao-Xu for acyclic quivers.


title: Success in IT offshoring: Does it depend on the location or the company?

abstract: Many companies are now looking towards offshore vendors to fulfill their outsourcing requirements. With this growth, we have seen particular countries such as India dominate the offshoring market, and this paper will examine what type of role the reputation of a particular offshoring country has on the decision making process of firms looking to offshore.


title: Data Analysis: Communicating with Offshore Vendors using Instant Messaging Services

abstract: The purpose of this study is to find whether the choice of correct analytic process is effective to derive a meaningful and correct conclusion from the vast amount of information. For this purpose, I designed an analytic framework to investigate the importance of effective communication on the success of IT business. Through an detailed analysis of chat conversations between a outsource service provider and client, this study found evidence to suggest that the language used in instant messaging environments between clients & offshore providers was highly fragmented and broken, but both the client and offshore provider did not seemed to be impacted by these anomalies.


title: Combining machine learning and data assimilation to forecast dynamical systems from noisy partial observations

abstract: We present a supervised learning method to learn the propagator map of a dynamical system from partial and noisy observations. In our computationally cheap and easy-to-implement framework a neural network consisting of random feature maps is trained sequentially by incoming observations within a data assimilation procedure. By employing Takens' embedding theorem, the network is trained on delay coordinates. We show that the combination of random feature maps and data assimilation, called RAFDA, outperforms standard random feature maps for which the dynamics is learned using batch data.


title: Master Graduation Thesis: A Lightweight and Distributed Container-based Framework

abstract: Edge/Fog computing is a novel computing paradigm that provides resource-limited Internet of Things (IoT) devices with scalable computing and storage resources. Compared to cloud computing, edge/fog servers have fewer resources, but they can be accessed with higher bandwidth and less communication latency. Thus, integrating edge/fog and cloud infrastructures can support the execution of diverse latency-sensitive and computation-intensive IoT applications. Although some frameworks attempt to provide such integration, there are still several challenges to be addressed, such as dynamic scheduling of different IoT applications, scalability mechanisms, multi-platform support, and supporting different interaction models. To overcome these challenges, we propose a lightweight and distributed container-based framework, called FogBus2. It provides a mechanism for scheduling heterogeneous IoT applications and implements several scheduling policies. Also, it proposes an optimized genetic algorithm to obtain fast convergence to well-suited solutions. Besides, it offers a scalability mechanism to ensure efficient responsiveness when either the number of IoT devices increases or the resources become overburdened. Also, the dynamic resource discovery mechanism of FogBus2 assists new entities to quickly join the system. We have also developed two IoT applications, called Conway's Game of Life and Video Optical Character Recognition to demonstrate the effectiveness of FogBus2 for handling real-time and non-real-time IoT applications. Experimental results show FogBus2's scheduling policy improves the response time of IoT applications by 53\% compared to other policies. Also, the scalability mechanism can reduce up to 48\% of the queuing waiting time compared to frameworks that do not support scalability.


title: Free weighted (modified) differential algebras, free (modified) Rota-Baxter algebras and Gr\"{o}bner-Shirshov bases

abstract: In this paper, we obtain respectively some new linear bases of free unitary (modified) weighted differential algebras and free nonunitary (modified) Rota-Baxter algebras, in terms of the method of Gr\"{o}bner-Shirshov bases.


title: Evaporating microfluidic droplets: A tool to study pathogen viability in bioaerosols

abstract: Pathogens in droplets on fomites and aerosols go through extreme physiochemical conditions, such as confinement and osmotic stress, due to evaporation. Still, these droplets are the predominant transmission routes of many contagious diseases. The biggest challenge for studying the survival mechanisms of pathogens in extreme conditions is closely observing them, especially in aerosols, due to the small droplet sizes, movements, and fast evaporative dynamics. To mimic evaporating aerosols and microdroplets, we employ microfluidic emulsion droplets. The presence of oil forms a microdroplet cluster with spatially gradient evaporation rates, which helps studying the impact of evaporation and its rate. With Escherichia coli, we show that the viability is adversely affected by the evaporation and its rate. Our method can mimic bioaerosol evaporation with controlled number of cells inside. In general, the droplets can act as microreactors with varying kinetics induced by different evaporation rates.


title: Certain Fourier Operators on $\mathrm{GL}_1$ and Local Langlands Gamma functions

abstract: For a split reductive group $G$ over a number field $k$, let $\rho$ be an $n$-dimensional complex representation of its complex dual group $G^\vee(\mathbb{C})$. For any irreducible cuspidal automorphic representation $\sigma$ of $G(\mathbb{A})$, where $\mathbb{A}$ is the ring of adeles of $k$, in \cite{JL21}, the authors introduce the $(\sigma,\rho)$-Schwartz space $\mathcal{S}_{\sigma,\rho}(\mathbb{A}^\times)$ and $(\sigma,\rho)$-Fourier operator $\mathcal{F}_{\sigma,\rho}$, and study the $(\sigma,\rho,\psi)$-Poisson summation formula on $\mathrm{GL}_1$, under the assumption that the local Langlands functoriality holds for the pair $(G,\rho)$ at all local places of $k$, where $\psi$ is a non-trivial additive character of $k\backslash\mathbb{A}$. Such general formulae on $\mathrm{GL}_1$, as a vast generalization of the classical Poisson summation formula, are expected to be responsible for the Langlands conjecture (\cite{L70}) on global functional equation for the automorphic $L$-functions $L(s,\sigma,\rho)$. In order to understand such Poisson summation formulae, we continue with \cite{JL21} and develop a further local theory related to the $(\sigma,\rho)$-Schwartz space $\mathcal{S}_{\sigma,\rho}(\mathbb{A}^\times)$ and $(\sigma,\rho)$-Fourier operator $\mathcal{F}_{\sigma,\rho}$. More precisely, over any local field $k_\nu$ of $k$, we define distribution kernel functions $k_{\sigma_\nu,\rho,\psi_\nu }(x)$ on $\mathrm{GL}_1$ that represent the $(\sigma_\nu,\rho)$-Fourier operators $\mathcal{F}_{\sigma_\nu,\rho,\psi_\nu}$ as convolution integral operators, i.e. generalized Hankel transforms, and the local Langlands $\gamma$-functions $\gamma(s,\sigma_\nu,\rho,\psi_\nu)$ as Mellin transform of the kernel function. As consequence, we show that any local Langlands $\gamma$-functions are the gamma functions in the sense of Gelfand, Graev, and Piatetski-Shapiro in \cite{GGPS}.


title: Certain Fourier Operators and their Associated Poisson Summation Formulae on $\mathrm{GL}_1$

abstract: In this paper, we explore a possibility to utilize harmonic analysis on $\GL_1$ to understand Langlands automorphic $L$-functions in general, as a vast generalization of the pioneering work of J. Tate. For a split reductive group $G$ over a number field $k$, let $G^\vee(\BC)$ be its complex dual group and $\rho$ be an $n$-dimensional complex representation of $G^\vee(\BC)$. For any irreducible cuspidal automorphic representation $\sig$ of $G(\BA)$, where $\BA$ is the ring of adeles of $k$, we introduce the space $\CS_{\sig,\rho}(\BA^\times)$ of $(\sig,\rho)$-Schwartz functions on $\BA^\times$ and $(\sig,\rho)$-Fourier operator $\CF_{\sig,\rho,\psi}$ that takes $\CS_{\sig,\rho}(\BA^\times)$ to $\CS_{\wt{\sig},\rho}(\BA^\times)$, where $\wt{\sig}$ is the contragredient of $\sig$. By assuming the local Langlands functoriality for the pair $(G,\rho)$, we show that the $(\sig,\rho)$-theta functions \[ \Theta_{\sig,\rho}(x,\phi):=\sum_{\alp\in k^\times}\phi(\alp x) \] converges absolutely for all $\phi\in\CS_{\sig,\rho}(\BA^\times)$, and state conjectures on $(\sigma,\rho)$-Poisson summation formula on $\GL_1$. Then we prove conjectures when $G=\GL_n$ and $\rho$ is the standard representation of $\GL_n(\BC)$ . The proof uses substantially the local theory of Godement-Jacquet for the standard $L$-functions of $\GL_n$ and the Poisson summation formula for the classical Fourier transform on affine spaces. As an application, we provide a spectral interpretation of the critical zeros of the standard $L$-functions $L(s,\pi\times\chi)$ for any irreducible cuspidal automorphic representation $\pi$ of $\GL_n(\BA)$ and idele class character $\chi$ of $k$, which is a reformulation in the adelic framework of the work of A. Connes and is an extension from the Hecke $L$-functions $L(s,\chi)$ to the automorphic $L$-functions $L(s,\pi\times\chi)$.


title: A Database of Quantum Codes

abstract: Quantum error correcting codes (QECC) is becoming an increasingly important branch of coding theory. For classical block codes, a \href{codetables.de} {comprehensive database of best known codes} exists which is available online at \cite{codetables}. The same database contains data on best known quantum codes as well, but only for the binary field. There has been an increased interest in quantum codes over larger fields with many papers reporting such codes in the literature. However, to the best of our knowledge, there is no database of best known quantum codes for most fields. We established a new database of QECC that includes codes over $\mathbb{F}_{q^2}$ for $q\leq 29$. We also present several methods of constructing quantum codes from classical codes based on the CSS construction. We have found dozens of new quantum codes that improve the previously known parameters and also hundreds new quantum codes that did not exist in the literature.


title: LeafMask: Towards Greater Accuracy on Leaf Segmentation

abstract: Leaf segmentation is the most direct and effective way for high-throughput plant phenotype data analysis and quantitative researches of complex traits. Currently, the primary goal of plant phenotyping is to raise the accuracy of the autonomous phenotypic measurement. In this work, we present the LeafMask neural network, a new end-to-end model to delineate each leaf region and count the number of leaves, with two main components: 1) the mask assembly module merging position-sensitive bases of each predicted box after non-maximum suppression (NMS) and corresponding coefficients to generate original masks; 2) the mask refining module elaborating leaf boundaries from the mask assembly module by the point selection strategy and predictor. In addition, we also design a novel and flexible multi-scale attention module for the dual attention-guided mask (DAG-Mask) branch to effectively enhance information expression and produce more accurate bases. Our main contribution is to generate the final improved masks by combining the mask assembly module with the mask refining module under the anchor-free instance segmentation paradigm. We validate our LeafMask through extensive experiments on Leaf Segmentation Challenge (LSC) dataset. Our proposed model achieves the 90.09% BestDice score outperforming other state-of-the-art approaches.


title: Deep Single Shot Musical Instrument Identification using Scalograms

abstract: Musical Instrument Identification has for long had a reputation of being one of the most ill-posed problems in the field of Musical Information Retrieval(MIR). Despite several robust attempts to solve the problem, a timeline spanning over the last five odd decades, the problem remains an open conundrum. In this work, the authors take on a further complex version of the traditional problem statement. They attempt to solve the problem with minimal data available - one audio excerpt per class. We propose to use a convolutional Siamese network and a residual variant of the same to identify musical instruments based on the corresponding scalograms of their audio excerpts. Our experiments and corresponding results obtained on two publicly available datasets validate the superiority of our algorithm by $\approx$ 3\% over the existing synonymous algorithms in present-day literature.


title: Robust 1-bit Compressive Sensing with Partial Gaussian Circulant Matrices and Generative Priors

abstract: In 1-bit compressive sensing, each measurement is quantized to a single bit, namely the sign of a linear function of an unknown vector, and the goal is to accurately recover the vector. While it is most popular to assume a standard Gaussian sensing matrix for 1-bit compressive sensing, using structured sensing matrices such as partial Gaussian circulant matrices is of significant practical importance due to their faster matrix operations. In this paper, we provide recovery guarantees for a correlation-based optimization algorithm for robust 1-bit compressive sensing with randomly signed partial Gaussian circulant matrices and generative models. Under suitable assumptions, we match guarantees that were previously only known to hold for i.i.d.~Gaussian matrices that require significantly more computation. We make use of a practical iterative algorithm, and perform numerical experiments on image datasets to corroborate our theoretical results.


title: The $p$-primary subgroups of the cohomology of $BPU_n$ in dimensions less than $2p+5$

abstract: Let $PU_n$ the projective unitary group of rank $n$ and $BPU_n$ its classifying space. For an odd prime $p$, we extend previous results to a compete description of $H^s(BPU_n;\mathbb{Z})_{(p)}$ for $s<2p+5$ by showing that the $p$-primary subgroups of $H^s(BPU_n;\mathbb{Z})$ are trivial for $s = 2p+3$ and $s = 2p+4$.


title: A proof of a conjecture on Ramsey numbers $B(2,2,3)$

abstract: The bipartite Ramsey number $B(n_1,n_2,\ldots,n_t)$ is the least positive integer $b$ such that, any coloring of the edges of $K_{b,b}$ with $t$ colors will result in a monochromatic copy of $K_{n_i,n_i}$ in the $i-$th color, for some $i$, $1\leq i\leq t$. In this paper we obtain the exact values of bipartite Ramsey numbers $B(2,2,3)$. In particular, we prove the conjecture of Radziszowski at al. aobut $B(2,2,3)$ which was introduced in 2015. In fact we prov that $B(2,2,3)=17$.


title: Strong field tests of gravity with electromagnetic and gravitational waves

abstract: For nearly a century, Einstein's theory of gravity has been the standard theory for describing gravitational phenomena in our universe. Along with its successes, limitations of the theory from theoretical (e.g., singularities) and observational (e.g., dark matter/energy) perspectives have appeared. This has led to proposals that modify or supersede Einstein's theory, and testing these theories against data, especially in the strong-field regime, has emerged as a new paradigm in physics in recent years. Along with the completely new avenue of gravitational waves, new and improved techniques based on electromagnetic waves are being used to test general relativity (GR) ever more stringently. As the realm beyond GR is unknown, a popular approach is to look for theory-agnostic deviations from GR/predictions of GR. Here I describe how I have used gravitational waves, X-rays, and black hole shadows to put constraints on some of these theory-agnostic deviations.


title: Elementary recursive algorithms

abstract: They run our lives, if you believe the hype in the news, but there is no precise definition of "algorithms" which is generally accepted by the mathematicians, logicians and computer scientists who create and study them. My main aims here are (first) to discuss briefly and point to the few publications that try to deal with this foundational question and (primarily) to outline in Sections 4 and 5 simple proofs of two basic mathematical results about the "elementary recursive algorithms" from specified primitives expressed by recursive (McCarthy) programs.


title: Reproducibility and Evolution of Diffusion MRI Measurements within the Cervical Spinal Cord in Multiple Sclerosis

abstract: In Multiple Sclerosis (MS), there is a large discrepancy between the clinical observations and how the pathology is exhibited on brain images, this is known as the clinical-radiological paradox (CRP). One of the hypotheses is that the clinical deficit may be more related to the spinal cord damage than the number or location of lesions in the brain. Therefore, investigating how the spinal cord is damaged becomes an acute challenge to better understand and overcome the CRP. Diffusion MRI is known to provide quantitative figures of neuronal degeneration and axonal loss, in the brain as well as in the spinal cord. In this paper, we propose to investigate how diffusion MRI metrics vary in the different cervical regions with the progression of the disease. We first study the reproducibility of diffusion MRI on healthy volunteers with a test-retest procedure using both standard diffusion tensor imaging (DTI) and multi-compartment Ball-and-Stick models. Then, based on the test re-test quantitative calibration, we provide quantitative figures of pathology evolution between M0 and M12 in the cervical spine on a set of 31 MS patients, exhibiting how the pathology damage spans in the cervical spinal cord.


title: BeatNet: CRNN and Particle Filtering for Online Joint Beat Downbeat and Meter Tracking

abstract: The online estimation of rhythmic information, such as beat positions, downbeat positions, and meter, is critical for many real-time music applications. Musical rhythm comprises complex hierarchical relationships across time, rendering its analysis intrinsically challenging and at times subjective. Furthermore, systems which attempt to estimate rhythmic information in real-time must be causal and must produce estimates quickly and efficiently. In this work, we introduce an online system for joint beat, downbeat, and meter tracking, which utilizes causal convolutional and recurrent layers, followed by a pair of sequential Monte Carlo particle filters applied during inference. The proposed system does not need to be primed with a time signature in order to perform downbeat tracking, and is instead able to estimate meter and adjust the predictions over time. Additionally, we propose an information gate strategy to significantly decrease the computational cost of particle filtering during the inference step, making the system much faster than previous sampling-based methods. Experiments on the GTZAN dataset, which is unseen during training, show that the system outperforms various online beat and downbeat tracking systems and achieves comparable performance to a baseline offline joint method.


title: Chandra observations of nova KT Eridani in outburst

abstract: We analyse here four observations of nova KT Eri (Nova Eri 2009) done with the Chandra High Resolution Camera Spectrometer (HRC-S) and the Low Energy Transmission Grating (LETG) in 2010, from day 71 until day 159 after the optical maximum, in the luminous supersoft X-ray phase. The spectrum presents many absorption features with a large range of velocity, from a few hundred km s$^{-1}$ to 3100 km s$^{-1}$ in the same observation, and a few prominent emission features, generally redshifted by more than 2000 km s$^{-1}$. Although the uncertainty on the distance and the WD luminosity from the approximate fit do not let us rule out a larger absolute luminosity than our best estimate of $\simeq 5 \times 10^{37}$ erg s$^{-1}$, it is likely that we observed only up to $\simeq$40% of the surface of the white dwarf, which may have been partially hidden by clumpy ejecta. Our fit with atmospheric models indicate a massive white dwarf in the 1.15-1.25 M$_\odot$ range. A thermal spectrum originating in the ejecta appears to be superimposed on the white dwarf spectrum. It is complex, has more than one component and may be due to a mixture of photoionized and shock ionized outflowing material. We confirm that the $\simeq$35 s oscillation that was reported earlier, was detected in the last observation, done on day 159 of the outburst.


title: Language Model Evaluation in Open-ended Text Generation

abstract: Although current state-of-the-art language models have achieved impressive results in numerous natural language processing tasks, still they could not solve the problem of producing repetitive, dull and sometimes inconsistent text in open-ended text generation. Studies often attribute this problem to the maximum likelihood training objective, and propose alternative approaches by using stochastic decoding methods or altering the training objective. However, there is still a lack of consistent evaluation metrics to directly compare the efficacy of these solutions. In this work, we study different evaluation metrics that have been proposed to evaluate quality, diversity and consistency of machine-generated text. From there, we propose a practical pipeline to evaluate language models in open-ended generation task, and research on how to improve the model's performance in all dimensions by leveraging different auxiliary training objectives.


title: Expressive Power and Loss Surfaces of Deep Learning Models

abstract: The goals of this paper are two-fold. The first goal is to serve as an expository tutorial on the working of deep learning models which emphasizes geometrical intuition about the reasons for success of deep learning. The second goal is to complement the current results on the expressive power of deep learning models and their loss surfaces with novel insights and results. In particular, we describe how deep neural networks carve out manifolds especially when the multiplication neurons are introduced. Multiplication is used in dot products and the attention mechanism and it is employed in capsule networks and self-attention based transformers. We also describe how random polynomial, random matrix, spin glass and computational complexity perspectives on the loss surfaces are interconnected.


title: Electroweak Baryogenesis in the CP-Violating Two-Higgs Doublet Model

abstract: Recently we presented the upgrade of our code BSMPT for the calculation of the electroweak phase transition (EWPT) to BSMPT v2 which now includes the computation of the baryon asymmetry of the universe (BAU) in the CP-violating 2-Higgs-Doublet Model (C2HDM). In this paper we use {\tt BSMPT v2} to investigate the size of the BAU that is obtained in the C2HDM with the two implemented approaches FH and VIA to derive the transport equations, by taking into account all relevant theoretical and experimental constraints. We identify similarities and differences in the results computed with the two methods. In particular, we analyse the dependence of the obtained BAU on the parameters relevant for successful baryogenesis. Our investigations allow us to pinpoint future directions for improvements both in the computation of the BAU and in possible avenues taken for model building.


title: Visible Watermark Removal via Self-calibrated Localization and Background Refinement

abstract: Superimposing visible watermarks on images provides a powerful weapon to cope with the copyright issue. Watermark removal techniques, which can strengthen the robustness of visible watermarks in an adversarial way, have attracted increasing research interest. Modern watermark removal methods perform watermark localization and background restoration simultaneously, which could be viewed as a multi-task learning problem. However, existing approaches suffer from incomplete detected watermark and degraded texture quality of restored background. Therefore, we design a two-stage multi-task network to address the above issues. The coarse stage consists of a watermark branch and a background branch, in which the watermark branch self-calibrates the roughly estimated mask and passes the calibrated mask to background branch to reconstruct the watermarked area. In the refinement stage, we integrate multi-level features to improve the texture quality of watermarked area. Extensive experiments on two datasets demonstrate the effectiveness of our proposed method.


title: Nonparametric Estimation of the Random Coefficients Model in Python

abstract: We present $\textbf{PyRMLE}$, a Python module that implements Regularized Maximum Likelihood Estimation for the analysis of Random Coefficient models. $\textbf{PyRMLE}$ is simple to use and readily works with data formats that are typical to Random Coefficient problems. The module makes use of Python's scientific libraries $\textbf{NumPy}$ and $\textbf{SciPy}$ for computational efficiency. The main implementation of the algorithm is executed purely in Python code which takes advantage of Python's high-level features.


title: Precise Phase Structure in Four-fermion Interaction Model on Torus

abstract: We investigate finite-size effects on chiral symmetry breaking in a four-fermion interaction model at a finite temperature and a chemical potential. Applying the imaginary time formalism, the thermal quantum field theory is constructed on an $S^1$ in the imaginary time direction. In this paper, the finite-size effect is introduced by a compact $S^1$ spatial direction with a $\mathrm{U}(1)$-valued boundary condition. Thus, we study the model on a $\mathbb{R}^{D-2} \times S^1 \times S^1$ torus. Phase diagrams are obtained by evaluating the local minima of the effective potential in the leading order of the $1/N$ expansion. From the grand potential, we calculate the particle number density and the pressure, then we illustrate the correspondence with the phase structure. We obtain a stable size for which the sign of the pressure flips from negative to positive as the size decreases. Furthermore, the finite chemical potential expands the parameter range that the stable size exists.


title: The supersingular locus of the Shimura variety of $\mathrm{GU}(2,n-2)$

abstract: We study the supersingular locus of a reduction at an inert prime of the Shimura variety attached to $\mathrm{GU}(2,n-2)$. More concretely, we realize irreducible components of the supersingular locus as closed subschemes of flag schemes over Deligne--Lusztig varieties defined by explicit conditions. Moreover we study the intersections of the irreducible components. A stratification of Deligne--Lusztig varieties defined using a power of Frobenius action appears in the description of the intersections.


title: Ensemble neuroevolution based approach for multivariate time series anomaly detection

abstract: Multivariate time series anomaly detection is a very common problem in the field of failure prevention. Fast prevention means lower repair costs and losses. The amount of sensors in novel industry systems makes the anomaly detection process quite difficult for humans. Algorithms which automates the process of detecting anomalies are crucial in modern failure-prevention systems. Therefore, many machine and deep learning models have been designed to address this problem. Mostly, they are autoencoder-based architectures with some generative adversarial elements. In this work, a framework is shown which incorporates neuroevolution methods to boost the anomaly-detection scores of new and already known models. The presented approach adapts evolution strategies for evolving ensemble model, in which every single model works on a subgroup of data sensors. The next goal of neuroevolution is to optimise architecture and hyperparameters like window size, the number of layers, layer depths, etc. The proposed framework shows that it is possible to boost most of the anomaly detection deep learning models in a reasonable time and a fully automated mode. The tests were run on SWAT and WADI datasets. To our knowledge, this is the first approach in which an ensemble deep learning anomaly detection model is built in a fully automatic way using a neuroevolution strategy.


title: PoolRank: Max/Min Pooling-based Ranking Loss for Listwise Learning & Ranking Balance

abstract: Numerous neural retrieval models have been proposed in recent years. These models learn to compute a ranking score between the given query and document. The majority of existing models are trained in pairwise fashion using human-judged labels directly without further calibration. The traditional pairwise schemes can be time-consuming and require pre-defined positive-negative document pairs for training, potentially leading to learning bias due to document distribution mismatch between training and test conditions. Some popular existing listwise schemes rely on the strong pre-defined probabilistic assumptions and stark difference between relevant and non-relevant documents for the given query, which may limit the model potential due to the low-quality or ambiguous relevance labels. To address these concerns, we turn to a physics-inspired ranking balance scheme and propose PoolRank, a pooling-based listwise learning framework. The proposed scheme has four major advantages: (1) PoolRank extracts training information from the best candidates at the local level based on model performance and relative ranking among abundant document candidates. (2) By combining four pooling-based loss components in a multi-task learning fashion, PoolRank calibrates the ranking balance for the partially relevant and the highly non-relevant documents automatically without costly human inspection. (3) PoolRank can be easily generalized to any neural retrieval model without requiring additional learnable parameters or model structure modifications. (4) Compared to pairwise learning and existing listwise learning schemes, PoolRank yields better ranking performance for all studied retrieval models while retaining efficient convergence rates.


title: Spectral extremal graphs for intersecting cliques

abstract: The $(k,r)$-fan is the graph consisting of $k$ copies of the complete graph $K_r$ which intersect in a single vertex, and is denoted by $F_{k,r}$. Erd\H{o}s, F\"uredi, Gould and Gunderson [J. Combin. Theory Ser. B 64 (1995) 89--100] determined the maximum number of edges in an $n$-vertex graph that does not contain $F_{k,3}$ as a subgraph. Furthermore, Chen, Gould, Pfender and Wei [J. Combin. Theory Ser. B 89 (2003) 159--171] proved the analogous result on $F_{k,r}$ for the general case $r\ge 3$.In this paper, we show that for sufficiently large $n$, the graphs of order $n$ that contain no copy of $F_{k,r}$ and attain the maximum spectral radius are also edge-extremal. That is, such graphs must have $\mathrm{ex}(n, F_{k,r})$ edges.


title: A Look at the Evaluation Setup of the M5 Forecasting Competition

abstract: Forecast evaluation plays a key role in how empirical evidence shapes the development of the discipline. Domain experts are interested in error measures relevant for their decision making needs. Such measures may produce unreliable results. Although reliability properties of several metrics have already been discussed, it has hardly been quantified in an objective way. We propose a measure named Rank Stability, which evaluates how much the rankings of an experiment differ in between similar datasets, when the models and errors are constant. We use this to study the evaluation setup of the M5. We find that the evaluation setup of the M5 is less reliable than other measures. The main drivers of instability are hierarchical aggregation and scaling. Price-weighting reduces the stability of all tested error measures. Scale normalization of the M5 error measure results in less stability than other scale-free errors. Hierarchical levels taken separately are less stable with more aggregation, and their combination is even less stable than individual levels. We also show positive tradeoffs of retaining aggregation importance without affecting stability. Aggregation and stability can be linked to the influence of much debated magic numbers. Many of our findings can be applied to general hierarchical forecast benchmarking.


title: Dynamical localization for polynomial long-range hopping random operators on $\mathbb{Z}^d$

abstract: In this paper, we prove a power-law version dynamical localization for a random operator $\mathrm{H}_{\omega}$ on $\mathbb{Z}^d$ with long-range hopping. In breif, for the linear Schr\"odinger equation $$\mathrm{i}\partial_{t}u=\mathrm{H}_{\omega}u, \quad u \in \ell^2(\mathbb{Z}^d), $$ the Sobolev norm of the solution with well localized initial state is bounded for any $t\geq 0$.


title: On the positive zeros of generalized Narayana polynomials related to the Boros-Moll polynomials

abstract: The generalized Narayana polynomials $N_{n,m}(x)$ arose from the study of infinite log-concavity of the Boros-Moll polynomials. The real-rootedness of $N_{n,m}(x)$ had been proved by Chen, Yang and Zhang. They also showed that when $n\geq m+2$, each of the generalized Narayana polynomials has one and only one positive zero and $m$ negative zeros, where the negative zeros of $N_{n,m}(x)$ and $N_{n+1,m+1}(x)$ have interlacing relations. In this paper, we study the properties of the positive zeros of $N_{n,m}(x)$ for $n\geq m+2$. We first obtain a new recurrence relation for the generalized Narayana polynomials. Based on this recurrence relation, we prove upper and lower bounds for the positive zeros of $N_{n,m}(x)$. Moreover, the monotonicity of the positive zeros of $N_{n,m}(x)$ are also proved by using the new recurrence relation.


title: FederatedNILM: A Distributed and Privacy-preserving Framework for Non-intrusive Load Monitoring based on Federated Deep Learning

abstract: Non-intrusive load monitoring (NILM), which usually utilizes machine learning methods and is effective in disaggregating smart meter readings from the household-level into appliance-level consumptions, can help to analyze electricity consumption behaviours of users and enable practical smart energy and smart grid applications. However, smart meters are privately owned and distributed, which make real-world applications of NILM challenging. To this end, this paper develops a distributed and privacy-preserving federated deep learning framework for NILM (FederatedNILM), which combines federated learning with a state-of-the-art deep learning architecture to conduct NILM for the classification of typical states of household appliances. Through extensive comparative experiments, the effectiveness of the proposed FederatedNILM framework is demonstrated.


title: Situated Live Programming for Human-Robot Collaboration

abstract: We present situated live programming for human-robot collaboration, an approach that enables users with limited programming experience to program collaborative applications for human-robot interaction. Allowing end users, such as shop floor workers, to program collaborative robots themselves would make it easy to "retask" robots from one process to another, facilitating their adoption by small and medium enterprises. Our approach builds on the paradigm of trigger-action programming (TAP) by allowing end users to create rich interactions through simple trigger-action pairings. It enables end users to iteratively create, edit, and refine a reactive robot program while executing partial programs. This live programming approach enables the user to utilize the task space and objects by incrementally specifying situated trigger-action pairs, substantially lowering the barrier to entry for programming or reprogramming robots for collaboration. We instantiate situated live programming in an authoring system where users can create trigger-action programs by annotating an augmented video feed from the robot's perspective and assign robot actions to trigger conditions. We evaluated this system in a study where participants (n = 10) developed robot programs for solving collaborative light-manufacturing tasks. Results showed that users with little programming experience were able to program HRC tasks in an interactive fashion and our situated live programming approach further supported individualized strategies and workflows. We conclude by discussing opportunities and limitations of the proposed approach, our system implementation, and our study and discuss a roadmap for expanding this approach to a broader range of tasks and applications.


title: A generic unitary black-hole evaporation model based on first principles

abstract: Based on the discretized horizon picture, we introduce a macroscopic effective model of the horizon area quanta that encapsulates the features necessary for black holes to evaporate consistently. The price to pay is the introduction of a "hidden sector" that represents our lack of knowledge about the final destination of the black hole entropy. We focus on the peculiar form of the interaction between this hidden sector and the black hole enforced by the self-consistency. Despite the expressive power of the model, we arrive at several qualitative statements. Furthermore, we identify these statements as features inside the microscopic density of states of the horizon quanta, with the dimension of the configuration space being associated with the area per quanta in Planck unit, a UV cutoff proportional to the amount of excess entropy relative to Bekenstein's law at the end of evaporation, and a zero-frequency-pole-like structure corresponding to, similarly, the amount of excess entropy at IR limit. We then relate this nearly-zero-frequency structure to the soft hairs proposed by Strominger et al., and argue that we should consider deviating away from the zero frequency limit for soft hairs to participate in the black hole evaporation.


title: MAF-GNN: Multi-adaptive Spatiotemporal-flow Graph Neural Network for Traffic Speed Forecasting

abstract: Traffic forecasting is a core element of intelligent traffic monitoring system. Approaches based on graph neural networks have been widely used in this task to effectively capture spatial and temporal dependencies of road networks. However, these approaches can not effectively define the complicated network topology. Besides, their cascade network structures have limitations in transmitting distinct features in the time and space dimensions. In this paper, we propose a Multi-adaptive Spatiotemporal-flow Graph Neural Network (MAF-GNN) for traffic speed forecasting. MAF-GNN introduces an effective Multi-adaptive Adjacency Matrices Mechanism to capture multiple latent spatial dependencies between traffic nodes. Additionally, we propose Spatiotemporal-flow Modules aiming to further enhance feature propagation in both time and space dimensions. MAF-GNN achieves better performance than other models on two real-world datasets of public traffic network, METR-LA and PeMS-Bay, demonstrating the effectiveness of the proposed approach.


title: Ratios of the Gauss hypergeometric functions with parameters shifted by integers: more on integral representations

abstract: We consider the ratio of two Gauss hypergeometric functions, in which the parameters of the numerator function differ from the respective parameters of the denominator function by integers. We derive explicit integral representations for this ratio based on a formula for its imaginary part. This work extends our recent results by lifting certain restrictions on parameters. The new representations are illustrated with a few examples and an application to products of ratios.


title: ZiGAN: Fine-grained Chinese Calligraphy Font Generation via a Few-shot Style Transfer Approach

abstract: Chinese character style transfer is a very challenging problem because of the complexity of the glyph shapes or underlying structures and large numbers of existed characters, when comparing with English letters. Moreover, the handwriting of calligraphy masters has a more irregular stroke and is difficult to obtain in real-world scenarios. Recently, several GAN-based methods have been proposed for font synthesis, but some of them require numerous reference data and the other part of them have cumbersome preprocessing steps to divide the character into different parts to be learned and transferred separately. In this paper, we propose a simple but powerful end-to-end Chinese calligraphy font generation framework ZiGAN, which does not require any manual operation or redundant preprocessing to generate fine-grained target-style characters with few-shot references. To be specific, a few paired samples from different character styles are leveraged to attain a fine-grained correlation between structures underlying different glyphs. To capture valuable style knowledge in target and strengthen the coarse-grained understanding of character content, we utilize multiple unpaired samples to align the feature distributions belonging to different character styles. By doing so, only a few target Chinese calligraphy characters are needed to generated expected style transferred characters. Experiments demonstrate that our method has a state-of-the-art generalization ability in few-shot Chinese character style transfer.


title: Atomic structure, electronic structure and optical absorption of inorganic perovskite compounds Cs2SnI6-nXn (X=F, Cl, Br; n= 0~6): A first-principles study

abstract: As a possible alternative to organic-inorganic hybrid perovskite halide, inorganic Cs2SnI6 has drawn more and more research attention recently. In order to find more Cs2SnI6 derivatives as the potential solar cell absorber materials, I- ions in Cs2SnI6 are replaced by other halogen ions and forms the Cs2SnI6-nXn (X=F, Cl, Br; n=1~6) compounds, whose atomic structures, electronic structures and optical absorption are investigated by first principles calculation. When the alloying level n increases, the mean lattice constants, the weighted Sn-X and Cs-X bond lengths all decreases linearly; the bond length of each Sn-X diminishes slightly inside the octahedral structure; Eg of Cs2SnI6-nXn increases nonlinearly. Eleven Cs2SnI6-nXn compounds have an Eg between 1.0 eV and 2.0 eV and so can be potentially used as the light absorption layer of solar cells. Their partial DOS demonstrate that as the alloying level n increases, I 5p orbital in VBM and CBM is gradually substituted by Br 4p, or Cl 3p, or F 2p orbital. The eleven Cs2SnI6-nXn alloys all have a direct bandgap although the lattice distortion induced by the alloyed X- ion.


title: Characteristic classes of Borel orbits of square-zero upper-triangular matrices

abstract: Anna Melnikov provided a parametrization of Borel orbits in the affine variety of square-zero $n \times n$ matrices by the set of involutions in the symmetric group. A related combinatorics leads to a construction a Bott-Samelson type resolution of the orbit closures. This allows to compute cohomological and K-theoretic invariants of the orbits: fundamental classes, Chern-Schwartz-MacPherson classes and motivic Chern classes in torus-equivariant theories. The formulas are given in terms of Demazure-Lusztig operations. The case of square-zero upper-triangular matrices is reach enough to include information about cohomological and K-theoretic classes of the double Borel orbits in $Hom(\mathbb C^k,\mathbb C^m)$ for $k+m=n$. We recall the relation with double Schubert polynomials and show analogous interpretation of Rim\'anyi-Tarasov-Varchenko trigonometric weight function.


title: Identification of Play Styles in Universal Fighting Engine

abstract: AI-controlled characters in fighting games are expected to possess reasonably high skills and behave in a believable, human-like manner, exhibiting a diversity of play styles and strategies. Thus, the development of fighting game AI requires the ability to evaluate these properties. For instance, it should be possible to ensure that the characters created are believable and diverse. In this paper, we show how an automated procedure can be used to compare play styles of individual AI- and human-controlled characters, and to assess human-likeness and diversity of game participants.


title: Pontryagin Maximum Principle for Distributed-Order Fractional Systems

abstract: We consider distributed-order non-local fractional optimal control problems with controls taking values on a closed set and prove a strong necessary optimality condition of Pontryagin type. The possibility that admissible controls are subject to pointwise constraints is new and requires more sophisticated techniques to include a maximality condition. We start by proving results on continuity of solutions due to needle-like control perturbations. Then, we derive a differentiability result on the state solutions with respect to the perturbed trajectories. We end by stating and proving the Pontryagin maximum principle for distributed-order fractional optimal control problems, illustrating its applicability with an example.


title: Using Biological Variables and Social Determinants to Predict Malaria and Anemia among Children in Senegal

abstract: Integrating machine learning techniques in healthcare becomes very common nowadays, and it contributes positively to improving clinical care and health decisions planning. Anemia and malaria are two life-threatening diseases in Africa that affect the red blood cells and reduce hemoglobin production. This paper focuses on analyzing child health data in Senegal using four machine learning algorithms in Python: KNN, Random Forests, SVM, and Na\"ive Bayes. Our task aims to investigate large-scale data from The Demographic and Health Survey (DHS) and to find out hidden information for anemia and malaria. We present two classification models for the two blood disorders using biological variables and social determinants. The findings of this research will contribute to improving child healthcare in Senegal by eradicating anemia and malaria, and decreasing the child mortality rate.


title: Planning for an Efficient Implementation of Hypothetical Bousi~Prolog

abstract: This paper explores the integration of hypothetical reasoning into an efficient implementation of the fuzzy logic language Bousi~Prolog. To this end, we first analyse what would be expected from a logic inference system, equipped with what is called embedded implication, to model solving goals with respect to assumptions. We start with a propositional system and incrementally build more complex systems and implementations to satisfy the requirements imposed by a system like Bousi~Prolog. Finally, we propose an inference system, operational semantics, and the translation function to generate efficient Prolog programs from Bousi~Prolog programs.


title: Understanding the computational demands underlying visual reasoning

abstract: Visual understanding requires comprehending complex visual relations between objects within a scene. Here, we seek to characterize the computational demands for abstract visual reasoning. We do this by systematically assessing the ability of modern deep convolutional neural networks (CNNs) to learn to solve the "Synthetic Visual Reasoning Test" (SVRT) challenge, a collection of twenty-three visual reasoning problems. Our analysis reveals a novel taxonomy of visual reasoning tasks, which can be primarily explained by both the type of relations (same-different vs. spatial-relation judgments) and the number of relations used to compose the underlying rules. Prior cognitive neuroscience work suggests that attention plays a key role in humans' visual reasoning ability. To test this hypothesis, we extended the CNNs with spatial and feature-based attention mechanisms. In a second series of experiments, we evaluated the ability of these attention networks to learn to solve the SVRT challenge and found the resulting architectures to be much more efficient at solving the hardest of these visual reasoning tasks. Most importantly, the corresponding improvements on individual tasks partially explained our novel taxonomy. Overall, this work provides an granular computational account of visual reasoning and yields testable neuroscience predictions regarding the differential need for feature-based vs. spatial attention depending on the type of visual reasoning problem.


title: Split 3-Lie-Rinehart color algebras

abstract: In this paper we introduce a class of $3-$color algebras which are called split $3-$Lie-Rinehart color algebras as the natural generalization of the one of split LieRinehart algebras. We characterize their inner structures by developing techniques of connections of root systems and weight systems associated to a splitting Cartan subalgebra. We show that such a tight split $3-$Lie-Rinehart color algebras $(\LL, A)$ decompose as the orthogonal direct sums $\LL =\oplus_{i\in I}\LL_i$ and $A =\oplus_{j\in J}A_j,$ where any $\LL_i$ is a non-zero graded ideal of $\LL$ satisfying $[\LL{i_1}, \LL{i_2}, \LL{i_3}]=0$ if $i_1, i_2, i_3\in I$ be different from each other and any $A_j$ is a non-zero graded ideal of A satisfying $A_{j_1}A_{j_2}=0$ if $J_1\neq j_2.$ Both decompositions satisfy that for any $i\in I$ there exists a unique $j\in J$ such that $A_j\LL_i = 0$. Furthermore, any $(\LL_i , A_j )$ is a split $3-$LieRinehart color algebra. Also, under certain conditions, it is shown that the above decompositions of $\LL$ and $A$ are by means of the family of their, respective, simple ideals.


title: Can multipartite entanglement be characterized by two-point connected correlation functions ?

abstract: We discuss under which conditions multipartite entanglement in mixed quantum states can be characterized only in terms of two-point connected correlation functions, as it is the case for pure states. In turn, the latter correlations are defined via a suitable combination of (disconnected) one- and two-point correlation functions. In contrast to the case of pure states, conditions to be satisfied turn out to be rather severe. However, we were able to identify some interesting cases, as when the point-independence is valid of the one-point correlations in each possible decomposition of the density matrix, or when the operators that enter in the correlations are (semi-)positive/negative defined.

categories: quant-ph cond-mat.str-el hep-th math-ph math.MP


title: Epsilon-regularity for the solutions of a free boundary system

abstract: This paper is dedicated to a free boundary system arising in the study of a class of shape optimization problems. The problem involves three variables: two functions $u$ and $v$, and a domain $\Omega$; with $u$ and $v$ being both positive in $\Omega$, vanishing simultaneously on $\partial\Omega$ and satisfying an overdetermined boundary value problem involving the product of their normal derivatives on $\partial\Omega$. Precisely, we consider solutions $u, v \in C(B_1)$ of $$-\Delta u= f \quad\text{and} \quad-\Delta v=g\quad\text{in}\quad \Omega=\{u>0\}=\{v>0\}\ ,\qquad \frac{\partial u}{\partial n}\frac{\partial v}{\partial n}=Q\quad\text{on}\quad \partial\Omega\cap B_1.$$ Our main result is an epsilon-regularity theorem for viscosity solutions of this free boundary system. We prove a partial Harnack inequality near flat points for the couple of auxiliary functions $\sqrt{uv}$ and $\frac12(u+v)$. Then, we use the gained space near the free boundary to transfer the improved flatness to the original solutions. Finally, using the partial Harnack inequality, we obtain an improvement-of-flatness result, which allows to conclude that flatness implies $C^{1,\alpha}$ regularity.


title: Anti-chiral edge states and hinge states based on the Haldane model

abstract: Different from the chiral edge states, antichiral edge states propagating in the same direction on the opposite edges are theoretically proposed based on the modified Haldane model, which is recently experimentally realized in photonic crystal and electric lattice systems. Here, we instead present that the antichiral edge states in the two-dimensional system can also be achieved based on the original Haldane model by combining two subsystems with the opposite chirality. Most importantly, by stacking these two-dimensional systems into three-dimension, it is found that the copropagating antichiral hinge states localized on the two opposite diagonal hinge cases of the system can be implemented. Interestingly, the location of antichiral hinge states can be tuned via hopping parameters along the third dimension. By investigating the local Chern number/layer Chern number and transmission against random disorders, we confirm that the proposed antichiral edge states and hinge states are topologically protected and robust against disorders. Our proposed model systems are expected to be realized in photonic crystal and electric lattice systems.


title: PAPR Reduction of FBMC Signals Based on Uniform and Linear PDF Companding Schemes

abstract: In this paper, two new companders are designed to reduce the ratio of peak to average power (PAPR) experienced by filter bank multicarrier (FBMC) signals. Specifically, the compander basic model is generalized, which alter the distributed FBMC signal amplitude peak. The proposed companders design approach provides better performance in terms of reducing the PAPR, Bit Error Rate (BER) and phase error degradation over the previously existing compander schemes. Many PAPR reduction approaches, such as the Mu-law companding technique, are also available. It results in the formation of spectrum side lobes, although the proposed techniques result in a spectrum with fewer side lobes. The theoretical analysis of linear compander and expander transform for a few specific parameters are derived and analyzed. The suggested linear companding technique is analytically analysed using simulations to show that it efficiently decreases the high peaks in the FBMC system. Keywords- BER, CCDF, Compander, FBMC, OQAM, PAPR, PSD.


title: Enabling Plug-and-Play and Crowdsourcing SLAM in Wireless Communication Systems

abstract: Simultaneous localization and mapping (SLAM) during communication is emerging. This technology promises to provide information on propagation environments and transceivers' location, thus creating several new services and applications for the Internet of Things and environment-aware communication. Using crowdsourcing data collected by multiple agents appears to be much potential for enhancing SLAM performance. However, the measurement uncertainties in practice and biased estimations from multiple agents may result in serious errors. This study develops a robust SLAM method with measurement plug-and-play and crowdsourcing mechanisms to address the above problems. First, we divide measurements into different categories according to their unknown biases and realize a measurement plug-and-play mechanism by extending the classic belief propagation (BP)-based SLAM method. The proposed mechanism can obtain the time-varying agent location, radio features, and corresponding measurement biases (such as clock bias, orientation bias, and received signal strength model parameters), with high accuracy and robustness in challenging scenarios without any prior information on anchors and agents. Next, we establish a probabilistic crowdsourcing-based SLAM mechanism, in which multiple agents cooperate to construct and refine the radio map in a decentralized manner. Our study presents the first BP-based crowdsourcing that resolves the "double count" and "data reliability" problems through the flexible application of probabilistic data association methods. Numerical results reveal that the crowdsourcing mechanism can further improve the accuracy of the mapping result, which, in turn, ensures the decimeter-level localization accuracy of each agent in a challenging propagation environment.


title: On quasi-small loop groups

abstract: In this paper, we study some properties of homotopical closeness for paths. We define the quasi-small loop group as the subgroup of all classes of loops that are homotopically close to null-homotopic loops, denoted by $\pi_1^{qs} (X, x)$ for a pointed space $(X, x)$. Then we prove that, unlike the small loop group, the quasi-small loop group $\pi_1^{qs}(X, x)$ does not depend on the base point, and that it is a normal subgroup containing $\pi_1^{sg}(X, x)$, the small generated subgroup of the fundamental group. Also, we show that a space $X$ is homotopically path Hausdorff if and only if $\pi_1^{qs} (X, x)$ is trivial. Finally, as consequences, we give some relationships between the quasi-small loop group and the quasi-topological fundamental group.


title: Triplet Contrastive Learning for Brain Tumor Classification

abstract: Brain tumor is a common and fatal form of cancer which affects both adults and children. The classification of brain tumors into different types is hence a crucial task, as it greatly influences the treatment that physicians will prescribe. In light of this, medical imaging techniques, especially those applying deep convolutional networks followed by a classification layer, have been developed to make possible computer-aided classification of brain tumor types. In this paper, we present a novel approach of directly learning deep embeddings for brain tumor types, which can be used for downstream tasks such as classification. Along with using triplet loss variants, our approach applies contrastive learning to performing unsupervised pre-training, combined with a rare-case data augmentation module to effectively ameliorate the lack of data problem in the brain tumor imaging analysis domain. We evaluate our method on an extensive brain tumor dataset which consists of 27 different tumor classes, out of which 13 are defined as rare. With a common encoder during all the experiments, we compare our approach with a baseline classification-layer based model, and the results well prove the effectiveness of our approach across all measured metrics.


title: Matematika 1

abstract: The book was written on the basis of materials that we presented at several faculties, either as lectures or as part of auditory exercises. Aware that there are more books and textbooks in the area in which the topics covered by this book are covered, we tried, based on the mentioned experience, to write a book oriented towards students.


title: An EM Framework for Online Incremental Learning of Semantic Segmentation

abstract: Incremental learning of semantic segmentation has emerged as a promising strategy for visual scene interpretation in the open- world setting. However, it remains challenging to acquire novel classes in an online fashion for the segmentation task, mainly due to its continuously-evolving semantic label space, partial pixelwise ground-truth annotations, and constrained data availability. To ad- dress this, we propose an incremental learning strategy that can fast adapt deep segmentation models without catastrophic forgetting, using a streaming input data with pixel annotations on the novel classes only. To this end, we develop a uni ed learning strategy based on the Expectation-Maximization (EM) framework, which integrates an iterative relabeling strategy that lls in the missing labels and a rehearsal-based incremental learning step that balances the stability-plasticity of the model. Moreover, our EM algorithm adopts an adaptive sampling method to select informative train- ing data and a class-balancing training strategy in the incremental model updates, both improving the e cacy of model learning. We validate our approach on the PASCAL VOC 2012 and ADE20K datasets, and the results demonstrate its superior performance over the existing incremental methods.


title: Monte Carlo DropBlock for Modelling Uncertainty in Object Detection

abstract: With the advancements made in deep learning, computer vision problems like object detection and segmentation have seen a great improvement in performance. However, in many real-world applications such as autonomous driving vehicles, the risk associated with incorrect predictions of objects is very high. Standard deep learning models for object detection such as YOLO models are often overconfident in their predictions and do not take into account the uncertainty in predictions on out-of-distribution data. In this work, we propose an efficient and effective approach to model uncertainty in object detection and segmentation tasks using Monte-Carlo DropBlock (MC-DropBlock) based inference. The proposed approach applies drop-block during training time and test time on the convolutional layer of the deep learning models such as YOLO. We show that this leads to a Bayesian convolutional neural network capable of capturing the epistemic uncertainty in the model. Additionally, we capture the aleatoric uncertainty using a Gaussian likelihood. We demonstrate the effectiveness of the proposed approach on modeling uncertainty in object detection and segmentation tasks using out-of-distribution experiments. Experimental results show that MC-DropBlock improves the generalization, calibration, and uncertainty modeling capabilities of YOLO models in object detection and segmentation.


title: Nanomechanical resonators with ultra-high-$Q$ perimeter modes

abstract: Systems with low mechanical dissipation are extensively used in precision measurements such as gravitational wave detection, atomic force microscopy and quantum control of mechanical oscillators via opto- and electromechanics. The mechanical quality factor ($Q$) of these systems determines the thermomechanical force noise and the thermal decoherence rate of mechanical quantum states. While the dissipation rate is typically set by the bulk acoustic properties of the material, by exploiting dissipation dilution, mechanical $Q$ can be engineered through geometry and increased by many orders of magnitude. Recently, soft clamping in combination with strain engineering has enabled room temperature quality factors approaching one billion ($10^9$) in millimeter-scale resonators. Here we demonstrate a new approach to soft clamping which exploits vibrations in the perimeter of polygon-shaped resonators tethered at their vertices. In contrast to previous approaches, which rely on cascaded elements to achieve soft clamping, perimeter modes are soft clamped due to symmetry and the boundary conditions at the polygon vertices. Perimeter modes reach $Q$ of 3.6 billion at room temperature while spanning only two acoustic wavelengths -- a 4-fold improvement over the state-of-the-art mechanical $Q$ with 10-fold smaller devices. The small size of our devices makes them well-suited for near-field integration with microcavities for quantum optomechanical experiments. Moreover, their compactness allows the realization of phononic lattices. We demonstrate a one-dimensional Su-Schrieffer-Heeger chain of high-$Q$ perimeter modes coupled via nearest-neighbour interaction and characterize the localized edge modes.


title: Circuit imbalance measures and linear programming

abstract: We study properties and applications of various circuit imbalance measures associated with linear spaces. These measures describe possible ratios between nonzero entries of support-minimal nonzero vectors of the space. The fractional circuit imbalance measure turns out to be a crucial parameter in the context of linear programming, and two integer variants can be used to describe integrality properties of associated polyhedra. We give an overview of the properties of these measures, and survey classical and recent applications, in particular, for linear programming algorithms with running time dependence on the constraint matrix only, and for circuit augmentation algorithms. We also present new bounds on the diameter and circuit diameter of polyhedra in terms of the fractional circuit imbalance measure.


title: Clifford semialgebras

abstract: We introduce a theory of Clifford semialgebra systems, with application to representation theory via Hasse-Schmidt derivations on exterior semialgebras. Our main result, after the construction of the Clifford semialgebra, is a formula describing the exterior semialgebra as a representation of the Clifford semialgebra, given by the endomorphisms of the first wedge power.


title: MPI: Multi-receptive and Parallel Integration for Salient Object Detection

abstract: The semantic representation of deep features is essential for image context understanding, and effective fusion of features with different semantic representations can significantly improve the model's performance on salient object detection. In this paper, a novel method called MPI is proposed for salient object detection. Firstly, a multi-receptive enhancement module (MRE) is designed to effectively expand the receptive fields of features from different layers and generate features with different receptive fields. MRE can enhance the semantic representation and improve the model's perception of the image context, which enables the model to locate the salient object accurately. Secondly, in order to reduce the reuse of redundant information in the complex top-down fusion method and weaken the differences between semantic features, a relatively simple but effective parallel fusion strategy (PFS) is proposed. It allows multi-scale features to better interact with each other, thus improving the overall performance of the model. Experimental results on multiple datasets demonstrate that the proposed method outperforms state-of-the-art methods under different evaluation metrics.


title: Learning an Augmented RGB Representation with Cross-Modal Knowledge Distillation for Action Detection

abstract: In video understanding, most cross-modal knowledge distillation (KD) methods are tailored for classification tasks, focusing on the discriminative representation of the trimmed videos. However, action detection requires not only categorizing actions, but also localizing them in untrimmed videos. Therefore, transferring knowledge pertaining to temporal relations is critical for this task which is missing in the previous cross-modal KD frameworks. To this end, we aim at learning an augmented RGB representation for action detection, taking advantage of additional modalities at training time through KD. We propose a KD framework consisting of two levels of distillation. On one hand, atomic-level distillation encourages the RGB student to learn the sub-representation of the actions from the teacher in a contrastive manner. On the other hand, sequence-level distillation encourages the student to learn the temporal knowledge from the teacher, which consists of transferring the Global Contextual Relations and the Action Boundary Saliency. The result is an Augmented-RGB stream that can achieve competitive performance as the two-stream network while using only RGB at inference time. Extensive experimental analysis shows that our proposed distillation framework is generic and outperforms other popular cross-modal distillation methods in action detection task.


title: The Effect of the Angular Momentum in the Formation and Evolution of Low Surface Brightness Galaxies

abstract: Using observed data from the literature, we compare in one single publication the angular momentum (AM) of low surface brightness galaxies (LSBGs), with that of high surface brightness galaxies (HSBGs), a comparison that either is currently spread across many unconnected references, or simply does not exist. Partly because of the subject, this has received little attention outside the realm of simulations. We use previous results of the stellar specific AM $j_{*}$ from the SPARC database containing Spitzer 3.6 $\mu$m photometry and accurate H I rotation curves from Lelli et al. using a sample of 38 LSBGs and 82 HSBGs. We do this with the objective of comparing both galaxy populations, finding that LSBGs are higher in the Fall relation by about 0.174 dex. Additionally, we apply and test different masses and formation models to estimate the spin parameter $\lambda$, which quantifies the rotation obtained from the tidal torque theory, finding no clear evidence of a difference in the spin of LSBGs and HSBGs under a classic disk formation model that assumes the ratio ($f_{j}$) between $j_{*}$ and the specific AM of the halo is $\sim 1$. In another respect, by using the biased collapse model, where $f_{j}$ depends on the star formation efficiency, it was found that LSBGs clearly show higher spin values, having an average spin of $\sim 2$ times the average spin of HSBGs. This latter result is consistent with those obtained from simulations by Dalcanton et al.


title: Fairest Neighbors: Tradeoffs Between Metric Queries

abstract: Metric search commonly involves finding objects similar to a given sample object. We explore a generalization, where the desired result is a fair tradeoff between multiple query objects. This builds on previous results on complex queries, such as linear combinations. We instead use measures of inequality, like ordered weighted averages, and query existing index structures to find objects that minimize these. We compare our method empirically to linear scan and a post hoc combination of individual queries, and demonstrate a considerable speedup.


title: Rigidity of the round cylinders in Ricci shrinkers

abstract: In this paper, we prove that the round cylinders are rigid in the space of Ricci shrinkers. Namely, any Ricci shrinker that is sufficiently close to $S^{n-1}\times \mathbb R$ in the pointed-Gromov-Hausdorff topology must itself be isometric to $S^{n-1}\times \mathbb R$.


title: Including the asymmetry of the Lorenz curve into measures of economic inequality

abstract: The Gini index signals only the dispersion of the distribution and is not very sensitive to income differences at the tails of the distribution. The widely used index of inequality can be adjusted to also measure distributional asymmetry by attaching weights to the distances between the Lorenz curve and the 45-degree line. The measure is equivalent to the Gini if the distribution is symmetric. The alternative measure of inequality inherits good properties from the Gini but is more sensitive to changes in the extremes of the income distribution.


title: Some examples of EP operators

abstract: We give some examples of EP and non-EP operators to show that the main results of Mohammadzadeh Karizakia {\it et al} [Some results about EP modular operators, {\it Linear and Multilinear Algebra}, DOI: 10.1080/03081087.2020.1844613] are not correct even in the case of Hilbert spaces.


title: Unifying Heterogeneous Electronic Health Records Systems via Text-Based Code Embedding

abstract: Substantial increase in the use of Electronic Health Records (EHRs) has opened new frontiers for predictive healthcare. However, while EHR systems are nearly ubiquitous, they lack a unified code system for representing medical concepts. Heterogeneous formats of EHR present a substantial barrier for the training and deployment of state-of-the-art deep learning models at scale. To overcome this problem, we introduce Description-based Embedding, DescEmb, a code-agnostic description-based representation learning framework for predictive modeling on EHR. DescEmb takes advantage of the flexibility of neural language understanding models while maintaining a neutral approach that can be combined with prior frameworks for task-specific representation learning or predictive modeling. We tested our model's capacity on various experiments including prediction tasks, transfer learning and pooled learning. DescEmb shows higher performance in overall experiments compared to code-based approach, opening the door to a text-based approach in predictive healthcare research that is not constrained by EHR structure nor special domain knowledge.


title: Gromov-Hausdorff distance with boundary and its application to Gromov hyperbolic spaces and uniform spaces

abstract: In this paper we introduce a notion of the Gromov-Hausdorff distance with boundary, denoted by $d_{GHB}$, to construct a framework of convergence of noncomplete metric spaces. We show that a class of bounded $A$-uniform spaces with diameter bounded from below is a complete metric space with respect to $d_{GHB}$. As an application we show the stability of Gromov hyperbolicity, roughly starlike property, uniformization, quasihyperbolization, and boundary of Gromov hyperbolic spaces under appropriate notions of convergence and assumptions.


title: WideCaps: A Wide Attention based Capsule Network for Image Classification

abstract: The capsule network is a distinct and promising segment of the neural network family that drew attention due to its unique ability to maintain the equivariance property by preserving the spatial relationship amongst the features. The capsule network has attained unprecedented success over image classification tasks with datasets such as MNIST and affNIST by encoding the characteristic features into the capsules and building the parse-tree structure. However, on the datasets involving complex foreground and background regions such as CIFAR-10, the performance of the capsule network is sub-optimal due to its naive data routing policy and incompetence towards extracting complex features. This paper proposes a new design strategy for capsule network architecture for efficiently dealing with complex images. The proposed method incorporates wide bottleneck residual modules and the Squeeze and Excitation attention blocks upheld by the modified FM routing algorithm to address the defined problem. A wide bottleneck residual module facilitates extracting complex features followed by the squeeze and excitation attention block to enable channel-wise attention by suppressing the trivial features. This setup allows channel inter-dependencies at almost no computational cost, thereby enhancing the representation ability of capsules on complex images. We extensively evaluate the performance of the proposed model on three publicly available datasets, namely CIFAR-10, Fashion MNIST, and SVHN, to outperform the top-5 performance on CIFAR-10 and Fashion MNIST with highly competitive performance on the SVHN dataset.


title: On the l.c.m. of shifted Lucas numbers

abstract: Let $(L_n)_{n \geq 1}$ be the sequence of Lucas numbers, defined recursively by $L_1 := 1$, $L_2 := 3$, and $L_{n + 2} := L_{n + 1} + L_n$, for every integer $n \geq 1$. We determine the asymptotic behavior of $\log \operatorname{lcm} (L_1 + s_1, L_2 + s_2, \dots, L_n + s_n)$ as $n \to +\infty$, for $(s_n)_{n \geq 1}$ a periodic sequence in $\{-1, +1\}$. We also carry out the same analysis for $(s_n)_{n \geq 1}$ a sequence of independent and uniformly distributed random variables in $\{-1, +1\}$. These results are Lucas numbers-analogs of previous results obtained by the author for the sequence of Fibonacci numbers.


title: An Anonymous On-Street Parking Authentication Scheme via Zero-Knowledge Set Membership Proof

abstract: The amount of information generated grows as more and more sensor and IoT devices are deployed in smart cities. It is of utmost importance for us to consider the privacy data leakage and compromised identity from both outside adversaries and inside abuse of data access privilege. The security assumption of the system should not solely rely on the fact that permission and access control were being implemented correctly. Quite the contrary, a system can be designed in a way that user's identity data and usage traces are not leaked even if the system had been compromised. Based upon our previous on-street parking system utilizing Bluetooth Low Energy (BLE) beacons, we applied a cryptographic primitive called zero-knowledge proof to our authentication system. A commitment scheme and Merkle tree is combined in the setup to achieve zero-knowledge set membership proof. Doing so, the user is anonymous to the server between authentication sessions, while the server's still able to verify the legitimacy of such user. The on-street parking system is therefore immune to privacy data leakage, as for now one cannot mass-query and profile certain user's traces within the system.


title: Beurling-Lax type theorems and Cuntz relations

abstract: We prove various Beurling-Lax type theorems, when the classical backward-shift operator is replaced by a general resolvent operator associated with a rational function. We also study connections to the Cuntz relations. An important tool is a new representation result for analytic functions, in terms of composition and multiplication operators associated with a given rational function. Applications to the theory of de Branges-Rovnyak spaces, also in the indefinite metric setting, are given.


title: Data Assimilation with Higher Order Finite Element Interpolants

abstract: The efficacy of a nudging data assimilation algorithm using higher order finite element interpolating operators is studied. Numerical experiments are presented for the 2D Navier-Stokes equations in two cases: shear flow in an annulus and a forced flow in a disk with an off-center cavity. In both cases second order interpolation of coarse-grain data is shown to outperform first order interpolation. Convergence of the nudged solution to that of a direct numerical reference solution is proved. The analysis points to a trade-off in the estimates for higher order interpolating operators.

categories: math.NA cs.NA math.DS physics.comp-ph physics.flu-dyn


title: Deep Neural Network for DrawiNg Networks, (DNN)^2

abstract: By leveraging recent progress of stochastic gradient descent methods, several works have shown that graphs could be efficiently laid out through the optimization of a tailored objective function. In the meantime, Deep Learning (DL) techniques achieved great performances in many applications. We demonstrate that it is possible to use DL techniques to learn a graph-to-layout sequence of operations thanks to a graph-related objective function. In this paper, we present a novel graph drawing framework called (DNN)^2: Deep Neural Network for DrawiNg Networks. Our method uses Graph Convolution Networks to learn a model. Learning is achieved by optimizing a graph topology related loss function that evaluates (DNN)^2 generated layouts during training. Once trained, the (DNN)^ model is able to quickly lay any input graph out. We experiment (DNN)^2 and statistically compare it to optimization-based and regular graph layout algorithms. The results show that (DNN)^2 performs well and are encouraging as the Deep Learning approach to Graph Drawing is novel and many leads for future works are identified.


title: On the nature of the lowest state of a Bose crystal

abstract: As is known, the ground state (GS) of a system of spinless bosons must be non-degenerate and must be described by a nodeless wave function. With the help of the general quantum mechanical analysis we show that any \textit{anisotropic} state of a system of spinless bosons is degenerate. We prove this for a two-dimensional (2D) system, infinite or finite circular, and for a three-dimensional (3D) system, infinite or finite ball-shaped. It is natural to expect that this is valid for finite 2D and 3D systems of any shape. Hence, GS of a Bose system of any density is isotropic and, therefore, corresponds to a liquid or gas. Therefore, the lowest state of a 2D or 3D natural crystal consisting of spinless bosons should be described by a wave function with nodes. This leads to nontrivial experimental predictions. We propose a possible ansatz for the wave function of the lowest state of a 3D Bose crystal and discuss possible experimental consequences.


title: Anchor-free 3D Single Stage Detector with Mask-Guided Attention for Point Cloud

abstract: Most of the existing single-stage and two-stage 3D object detectors are anchor-based methods, while the efficient but challenging anchor-free single-stage 3D object detection is not well investigated. Recent studies on 2D object detection show that the anchor-free methods also are of great potential. However, the unordered and sparse properties of point clouds prevent us from directly leveraging the advanced 2D methods on 3D point clouds. We overcome this by converting the voxel-based sparse 3D feature volumes into the sparse 2D feature maps. We propose an attentive module to fit the sparse feature maps to dense mostly on the object regions through the deformable convolution tower and the supervised mask-guided attention. By directly regressing the 3D bounding box from the enhanced and dense feature maps, we construct a novel single-stage 3D detector for point clouds in an anchor-free manner. We propose an IoU-based detection confidence re-calibration scheme to improve the correlation between the detection confidence score and the accuracy of the bounding box regression. Our code is publicly available at \url{https://github.com/jialeli1/MGAF-3DSSD}.


title: Efficient Light Field Reconstruction via Spatio-Angular Dense Network

abstract: As an image sensing instrument, light field images can supply extra angular information compared with monocular images and have facilitated a wide range of measurement applications. Light field image capturing devices usually suffer from the inherent trade-off between the angular and spatial resolutions. To tackle this problem, several methods, such as light field reconstruction and light field super-resolution, have been proposed but leaving two problems unaddressed, namely domain asymmetry and efficient information flow. In this paper, we propose an end-to-end Spatio-Angular Dense Network (SADenseNet) for light field reconstruction with two novel components, namely correlation blocks and spatio-angular dense skip connections to address them. The former performs effective modeling of the correlation information in a way that conforms with the domain asymmetry. And the latter consists of three kinds of connections enhancing the information flow within two domains. Extensive experiments on both real-world and synthetic datasets have been conducted to demonstrate that the proposed SADenseNet's state-of-the-art performance at significantly reduced costs in memory and computation. The qualitative results show that the reconstructed light field images are sharp with correct details and can serve as pre-processing to improve the accuracy of related measurement applications.


title: Full Resolution of Extreme Ship Response Statistics

abstract: We consider the statistics of extreme ship motions in a nonlinear irregular wave field. While an accurate computation is possible by using a full Monte-Carlo method to cover all individual wave conditions, the computational cost may become prohibitively high (when coupled with high-fidelity simulations) due to the rareness of the extreme events. In this work, following existing methods of sequential sampling and wave group parameterization, we implement a framework incorporating nonlinear wave simulation and ship response CFD simulation, which allows the extreme ship motion statistics in nonlinear wave field to be computed efficiently. We test the validity of the framework for the cases of ship response calculated by a nonlinear roll equation, and show the importance of wave nonlinearity to the extreme response statistics. Finally, the framework is coupled with the CFD model to demonstrate its applicability to more realistic and general ship motion problems.


title: Saliency-Associated Object Tracking

abstract: Most existing trackers based on deep learning perform tracking in a holistic strategy, which aims to learn deep representations of the whole target for localizing the target. It is arduous for such methods to track targets with various appearance variations. To address this limitation, another type of methods adopts a part-based tracking strategy which divides the target into equal patches and tracks all these patches in parallel. The target state is inferred by summarizing the tracking results of these patches. A potential limitation of such trackers is that not all patches are equally informative for tracking. Some patches that are not discriminative may have adverse effects. In this paper, we propose to track the salient local parts of the target that are discriminative for tracking. In particular, we propose a fine-grained saliency mining module to capture the local saliencies. Further, we design a saliency-association modeling module to associate the captured saliencies together to learn effective correlation representations between the exemplar and the search image for state estimation. Extensive experiments on five diverse datasets demonstrate that the proposed method performs favorably against state-of-the-art trackers.


title: Genuine multipartite entanglement measure

abstract: Quantifying genuine entanglement is a crucial task in quantum information theory.In this work, we give an approach of constituting genuine $m$-partite entanglement measures from any bipartite entanglement and any $k$-partite entanglement measure, $3\leq k<m$. In addition, as a complement to the three-qubit concurrence triangle proposed in [Phys. Rev. Lett., 127, 040403], we show that the triangle relation is also valid for any continuous entanglement measure and system with any dimension. We also discuss the tetrahedron structure for the four-partite system via the triangle relation associated with tripartite and bipartite entanglement respectively. For multipartite system that contains more than four parties, there is no symmetric geometric structure as that of tri- and four-partite cases.


title: A model with light and heavy scalars in view of the effective theory

abstract: The low energy effective potential for the model with a light scalar and a heavy scalar is derived. We perform the path integration for both heavy and light scalars and derive the low energy effective potential in terms of only the light scalar. The effective potential is independent of the renormalization scale approximately. By setting the renormalization scale equal to the mass of the heavy scalar, one finds the corrections with the logarithm of the ratio of the two scalar masses. The large logarithm is summed with the renormalization group (RG) and the RG improved effective potential is derived. The improved effective potential includes the one-loop correction of the heavy scalar and the leading logarithmic corrections due to the light scalar. We study the correction to the vacuum expectation value of the light scalar and the dependence on the mass of the heavy scalar.


title: Angular clustering properties of the DESI QSO target selection using DR9 Legacy Imaging Surveys

abstract: The quasar target selection for the upcoming survey of the Dark Energy Spectroscopic Instrument (DESI) will be fixed for the next five years. The aim of this work is to validate the quasar selection by studying the impact of imaging systematics as well as stellar and galactic contaminants, and to develop a procedure to mitigate them. Density fluctuations of quasar targets are found to be related to photometric properties such as seeing and depth of the Data Release 9 of the DESI Legacy Imaging Surveys. To model this complex relation, we explore machine learning algorithms (Random Forest and Multi-Layer Perceptron) as an alternative to the standard linear regression. Splitting the footprint of the Legacy Imaging Surveys into three regions according to photometric properties, we perform an independent analysis in each region, validating our method using eBOSS EZ-mocks. The mitigation procedure is tested by comparing the angular correlation of the corrected target selection on each photometric region to the angular correlation function obtained using quasars from the Sloan Digital Sky Survey (SDSS)Data Release 16. With our procedure, we recover a similar level of correlation between DESI quasar targets and SDSS quasars in two thirds of the total footprint and we show that the excess of correlation in the remaining area is due to a stellar contamination which should be removed with DESI spectroscopic data. We derive the Limber parameters in our three imaging regions and compare them to previous measurements from SDSS and the 2dF QSO Redshift Survey.


title: Equivalence of Models of Cake-Cutting Protocols

abstract: The cake-cutting problem involves dividing a heterogeneous, divisible resource fairly between $n$ agents. Br\^{a}nzei et al. [6] introduced {\em generalised cut and choose} (GCC) protocols, a formal model for representing cake-cutting protocols as trees with "cut" and "choose" nodes corresponding to the agents' actions, and if-else statements. In this paper, we identify an alternative and simpler extensive-form game model for cake-cutting protocols, that we call {\em branch choice} (BC) protocols. We show that the class of protocols we can represent using this model is invariant under certain modifications to its definition. We further prove that any such protocol can be converted to a restricted form in which the agents first cut the cake and then get to choose between various branches leading to different allocations. Finally, we show that this model has the same expressive power as GCC protocols, i.e. they represent the same class of protocols up to a notion of equivalence involving the bounds on envy that each agent can guarantee for themselves. For this purpose, we introduce a new notion of envy-equivalence of protocols.


title: Image reconstruction in light-sheet microscopy: spatially varying deconvolution and mixed noise

abstract: We study the problem of deconvolution for light-sheet microscopy, where the data is corrupted by spatially varying blur and a combination of Poisson and Gaussian noise. The spatial variation of the point spread function (PSF) of a light-sheet microscope is determined by the interaction between the excitation sheet and the detection objective PSF. First, we introduce a model of the image formation process that incorporates this interaction, therefore capturing the main characteristics of this imaging modality. Then, we formulate a variational model that accounts for the combination of Poisson and Gaussian noise through a data fidelity term consisting of the infimal convolution of the single noise fidelities, first introduced in L. Calatroni et al. "Infimal convolution of data discrepancies for mixed noise removal", SIAM Journal on Imaging Sciences 10.3 (2017), 1196-1233. We establish convergence rates in a Bregman distance under a source condition for the infimal convolution fidelity and a discrepancy principle for choosing the value of the regularisation parameter. The inverse problem is solved by applying the primal-dual hybrid gradient (PDHG) algorithm in a novel way. Finally, numerical experiments performed on both simulated and real data show superior reconstruction results in comparison with other methods.


title: Critical collapse of an axisymmetric ultrarelativistic fluid in $2+1$ dimensions

abstract: We carry out numerical simulations of the gravitational collapse of a rotating perfect fluid with the ultrarelativistic equation of state $P=\kappa\rho$, in axisymmetry in $2+1$ spacetime dimensions with $\Lambda<0$. We show that for $\kappa \lesssim 0.42$, the critical phenomena are type I and the critical solution is stationary. The picture for $\kappa \gtrsim 0.43$ is more delicate: for small angular momenta, we find type II phenomena and the critical solution is quasistationary, contracting adiabatically. The spin-to-mass ratio of the critical solution increases as it contracts, and hence so does that of the black hole created at the end as we fine-tune to the black-hole threshold. Forming extremal black holes is avoided because the contraction of the critical solution smoothly ends as extremality is approached.


title: Stage Division of Urban Growth Based on Logistic Model of Fractal Dimension Curves

abstract: The time series of fractal dimension values of urban form always take on sigmoid curves. The basic model of these curves is logistic function. From the logistic model of fractal dimension curves, we can derive the growth rate formula and acceleration formula of city development. Using the inflexions of the fractal parameter curves, we can identify the different phases of urban evolution. The main results are as follows. (1) Based on the curve of fractal dimension of urban form, urban growth can be divided into four stages: initial slow growth, accelerated fast growth, decelerated fast growth, and terminal slow growth. The three dividing points are 0.2113Dmax, 0.5Dmax, and 0.7887Dmax, where Dmax is the capacity of fractal dimension. When the fractal dimension reaches half of its capacity value, 0.5Dmax, the urban growth rate reaches its peak. (2) Based on the curve of fractal dimension odds, urban growth can also be divided into four stages: initial slow filling, accelerated fast filling, decelerated fast filling, terminal slow filling. The three dividing points are 0.2113Zmax, 0.5Zmax, and 0.7887Zmax, where Zmax=/(2-Dmax) denotes the capacity of fractal dimension odds (Dmax<2). Empirical analyses show that the first scheme based fractal dimension is suitable for the young cities and the second scheme based on fractal dimension odds can be applied to mature cities. A conclusion can be reached that logistic function is one of significant model for the stage division of urban growth based on fractal parameters of cities. The results of this study provide a new way of understanding the features and mechanism of urban phase transition.


title: Online Evolutionary Batch Size Orchestration for Scheduling Deep Learning Workloads in GPU Clusters

abstract: Efficient GPU resource scheduling is essential to maximize resource utilization and save training costs for the increasing amount of deep learning workloads in shared GPU clusters. Existing GPU schedulers largely rely on static policies to leverage the performance characteristics of deep learning jobs. However, they can hardly reach optimal efficiency due to the lack of elasticity. To address the problem, we propose ONES, an ONline Evolutionary Scheduler for elastic batch size orchestration. ONES automatically manages the elasticity of each job based on the training batch size, so as to maximize GPU utilization and improve scheduling efficiency. It determines the batch size for each job through an online evolutionary search that can continuously optimize the scheduling decisions. We evaluate the effectiveness of ONES with 64 GPUs on TACC's Longhorn supercomputers. The results show that ONES can outperform the prior deep learning schedulers with a significantly shorter average job completion time.


title: Neumann Laplacian in a perturbed domain

abstract: We consider a domain with a small compact set of zero Lebesgue measure of removed. Our main result concerns the spectrum of the Neumann Laplacian defined on such domain. We prove that the spectrum of the Laplacian converges in the Hausdorff distance sense to the spectrum of the Laplacian defined on the unperturbed domain.