title: Rotation numbers of perturbations of smooth dynamics

abstract: We show how the small perturbations of a linear cocycle have a relative rotation number associated with an invariant measure of the base dynamics an with a $2$-dimensional bundle of the finest dominated splitting (provided that some orientation is preserved). Likewise small perturbations of diffeomorphisms have a relative rotation number associated with an invariant measure supported in a hyperbolic set and with a $2$-dimensional bundle as above. The properties of that relative rotation number allow some steps towards dichotomies between complex eigenvalues and dominated splittings in higher dimensions and higher regularity. We also prove that generic smooth linear cocycles above a full-shift (and actually above infinite factors of transitive subshift of finite type) admit a periodic point with simple Lyapunov spectrum.


title: Graded Algebraic Theories

abstract: We provide graded extensions of algebraic theories and Lawvere theories that correspond to graded monads. We prove that graded algebraic theories, graded Lawvere theories, and finitary graded monads are equivalent via equivalence of categories, which extends the equivalence for monads. We also give sums and tensor products of graded algebraic theories to combine computational effects as an example of importing techniques based on algebraic theories to graded monads.


title: Weighted CBMO estimates for the commutators of matrix Hausdorff operator on Heisenberg group

abstract: In this article, we study the commutators of Hausdor? operator and establish their boundedness on weighted Herz space in the setting of Heisenberg group.


title: Parameterized DAWGs: efficient constructions and bidirectional pattern searches

abstract: Two strings $x$ and $y$ over $\Sigma \cup \Pi$ of equal length are said to \emph{parameterized match} (\emph{p-match}) if there is a renaming bijection $f:\Sigma \cup \Pi \rightarrow \Sigma \cup \Pi$ that is identity on $\Sigma$ and transforms $x$ to $y$ (or vice versa). The \emph{p-matching} problem is to look for substrings in a text that p-match a given pattern. In this paper, we propose \emph{parameterized suffix automata} (\emph{p-suffix automata}) and \emph{parameterized directed acyclic word graphs} (\emph{PDAWGs}) which are the p-matching versions of suffix automata and DAWGs. While suffix automata and DAWGs are equivalent for standard strings, we show that p-suffix automata can have $\Theta(n^2)$ nodes and edges but PDAWGs have only $O(n)$ nodes and edges, where $n$ is the length of an input string. We also give an $O(n |\Pi| \log (|\Pi| + |\Sigma|))$-time $O(n)$-space algorithm that builds the PDAWG in a left-to-right online manner. As a byproduct, it is shown that the \emph{parameterized suffix tree} for the reversed string can also be built in the same time and space, in a right-to-left online manner. This duality also leads us to two further efficient algorithms for p-matching: Given the parameterized suffix tree for the reversal of the input string $T$, one can build the PDAWG of $T$ in $O(n)$ time in an offline manner; One can perform \emph{bidirectional} p-matching in $O(m \log (|\Pi|+|\Sigma|) + \mathit{occ})$ time using $O(n)$ space, where $m$ denotes the pattern length and $\mathit{occ}$ is the number of pattern occurrences in the text $T$.


title: Observational Evidence for Stochastic Shock Drift Acceleration of Electrons at the Earth's Bow Shock

abstract: The first-order Fermi acceleration of electrons requires an injection of electrons into a mildly relativistic energy range. However, the mechanism of injection has remained a puzzle both in theory and observation. We present direct evidence for a novel stochastic shock drift acceleration theory for the injection obtained with Magnetospheric Multiscale (MMS) observations at Earth's bow shock. The theoretical model can explain electron acceleration to mildly relativistic energies at high-speed astrophysical shocks, which may provide a solution to the long-standing issue of electron injection.

categories: astro-ph.HE astro-ph.EP physics.plasm-ph physics.space-ph


title: Visualization of fully connected layer weights in deep learning CT reconstruction

abstract: Recently, the use of deep learning techniques to reconstruct computed tomography (CT) images has become a hot research topic, including sinogram domain methods, image domain methods and sinogram domain to image domain methods. All these methods have achieved favorable results. In this article, we have studied the important functions of fully connected layers used in the sinogram domain to image domain approach. First, we present a simple domain mapping neural networks. Then, we analyze the role of the fully connected layers of these networks and visually analyze the weights of the fully connected layers. Finally, by visualizing the weights of the fully connected layer, we found that the main role of the fully connected layer is to implement the back projection function in CT reconstruction. This finding has important implications for the use of deep learning techniques to reconstruct computed tomography (CT) images. For example, since fully connected layer weights need to consume huge memory resources, the back-projection function can be implemented by using analytical algorithms to avoid resource occupation, which can be embedded in the entire network.


title: CAT: Customized Adversarial Training for Improved Robustness

abstract: Adversarial training has become one of the most effective methods for improving robustness of neural networks. However, it often suffers from poor generalization on both clean and perturbed data. In this paper, we propose a new algorithm, named Customized Adversarial Training (CAT), which adaptively customizes the perturbation level and the corresponding label for each training sample in adversarial training. We show that the proposed algorithm achieves better clean and robust accuracy than previous adversarial training methods through extensive experiments.


title: Simulating Performance of ML Systems with Offline Profiling

abstract: We advocate that simulation based on offline profiling is a promising approach to better understand and improve the complex ML systems. Our approach uses operation-level profiling and dataflow based simulation to ensure it offers a unified and automated solution for all frameworks and ML models, and is also accurate by considering the various parallelization strategies in a real system.


title: An optic to replace space and its application towards ultra-thin imaging systems

abstract: Centuries of effort to improve imaging has focused on perfecting and combining lenses to obtain better optical performance and new functionalities. The arrival of nanotechnology has brought to this effort engineered surfaces called metalenses, which promise to make imaging devices more compact. However, unaddressed by this promise is the space between the lenses, which is crucial for image formation but takes up by far the most room in imaging systems. Here, we address this issue by presenting the concept of and experimentally demonstrating an optical 'spaceplate', an optic that effectively propagates light for a distance that can be considerably longer than the plate thickness. Such an optic would shrink future imaging systems, opening the possibility for ultra-thin monolithic cameras. More broadly, a spaceplate can be applied to miniaturize important devices that implicitly manipulate the spatial profile of light, for example, solar concentrators, collimators for light sources, integrated optical components, and spectrometers.


title: A high-power spectral beamsplitter for closely spaced frequencies

abstract: An experimental realization of a compact, high-power spectral beamsplitter for nearly equal frequencies and identical polarization based on two-beam interference in a free-space Mach-Zehnder interferometer is presented. We demonstrate the power- and cost-efficient generation and subsequent spatial separation of two laser tones from a single sum-frequency-generation stage using double-sideband suppressed-carrier modulation in the infrared, and beam splitting in the visible at high power. The interferometer spectrally splits >98% of the incident power when accounting for bulk absorption. The beamsplitter can be constructed identically for any power or spectral range required for which suitable optics are available.


title: Optimal BESS Allocation in Large Transmission Networks Using Linearized BESS Models

abstract: The most commonly used model for battery energy storage systems (BESSs) in optimal BESS allocation problems is a constant-efficiency model. However, the charging and discharging efficiencies of BESSs vary non-linearly as functions of their state-of-charge, temperature, charging/discharging powers, as well as the BESS technology being considered. Therefore, constant-efficiency models may inaccurately represent the non-linear operating characteristics of the BESS. In this paper, we first create technology-specific linearized BESS models derived from the actual non-linear BESS models. We then incorporate the linearized BESS models into a mixed-integer linear programming framework for optimal multi-technology BESS allocation. Studies carried out on a 2,604-bus U.S. transmission network demonstrate the benefits of utilizing the linearized BESS models from the model accuracy, convexity, and computational performance viewpoints.


title: Computing in Covert Domain Using Data Hiding

abstract: This paper proposes an idea of data computing in the covert domain (DCCD). We show that with information hiding some data computing tasks can be executed beneath the covers like images, audios, random data, etc. In the proposed framework, a sender hides his source data into two covers and uploads them onto a server. The server executes computation within the stego and returns the covert computing result to a receiver. With the covert result, the receiver can extract the computing result of the source data. During the process, it is imperceptible for the server and the adversaries to obtain the source data as they are hidden in the cover. The transmission can be done over public channels. Meanwhile, since the computation is realized in the covert domain, the cloud cannot obtain the knowledge of the computing result. Therefore, the proposed idea is useful for cloud computing.


title: On the Tur\'{a}n number of 1-subdivision of $K_{3,t}$

abstract: For a graph $H$, the 1-subdivision of $H$, denoted by $H'$, is the graph obtained by replacing the edges of $H$ by internally disjoint paths of length 2. Recently, Conlon, Janzer and Lee (arXiv: 1903.10631) asked the following question: For any integer $s\ge2$, estimate the smallest $t$ such that $\textup{ex}(n,K_{s,t}')=\Omega(n^{\frac{3}{2}-\frac{1}{2s}})$. In this paper, we consider the case $s=3$. More precisely, we provide an explicit construction giving \begin{align*} \text{ex}(n,K_{3,30}')=\Omega(n^{\frac{4}{3}}), \end{align*} which reduces the estimation for the smallest value of $t$ from a magnitude of $10^{56}$ to the number $30$. The construction is algebraic, which is based on some equations over finite fields.


title: Detecting $k$-(Sub-)Cadences and Equidistant Subsequence Occurrences

abstract: The equidistant subsequence pattern matching problem is considered. Given a pattern string $P$ and a text string $T$, we say that $P$ is an \emph{equidistant subsequence} of $T$ if $P$ is a subsequence of the text such that consecutive symbols of $P$ in the occurrence are equally spaced. We can consider the problem of equidistant subsequences as generalizations of (sub-)cadences. We give bit-parallel algorithms that yield $o(n^2)$ time algorithms for finding $k$-(sub-)cadences and equidistant subsequences. Furthermore, $O(n\log^2 n)$ and $O(n\log n)$ time algorithms, respectively for equidistant and Abelian equidistant matching for the case $|P| = 3$, are shown. The algorithms make use of a technique that was recently introduced which can efficiently compute convolutions with linear constraints.


title: Deep Domain Adaptive Object Detection: a Survey

abstract: Deep learning (DL) based object detection has achieved great progress. These methods typically assume that large amount of labeled training data is available, and training and test data are drawn from an identical distribution. However, the two assumptions are not always hold in practice. Deep domain adaptive object detection (DDAOD) has emerged as a new learning paradigm to address the above mentioned challenges. This paper aims to review the state-of-the-art progress on deep domain adaptive object detection approaches. Firstly, we introduce briefly the basic concepts of deep domain adaptation. Secondly, the deep domain adaptive detectors are classified into five categories and detailed descriptions of representative methods in each category are provided. Finally, insights for future research trend are presented.


title: Dynamically encircling an exceptional point in a real quantum system

abstract: The exceptional point, known as the non-Hermitian degeneracy, has special topological structure, leading to various counterintuitive phenomena and novel applications, which are refreshing our cognition of quantum physics. One particularly intriguing behavior is the mode switch phenomenon induced by dynamically encircling an exceptional point in the parameter space. While these mode switches have been explored in classical systems, the experimental investigation in the quantum regime remains elusive due to the difficulty of constructing time-dependent non-Hermitian Hamiltonians in a real quantum system. Here we experimentally demonstrate dynamically encircling the exceptional point with a single nitrogen-vacancy center in diamond. The time-dependent non-Hermitian Hamiltonians are realized utilizing a dilation method. Both the asymmetric and symmetric mode switches have been observed. Our work reveals the topological structure of the exceptional point and paves the way to comprehensively explore the exotic properties of non-Hermitian Hamiltonians in the quantum regime.


title: Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model

abstract: In this work we target the problem of provably computing the equivalence between two programs represented as dataflow graphs. To this end, we formalize the problem of equivalence between two programs as finding a set of semantics-preserving rewrite rules from one into the other, such that after the rewrite the two programs are structurally identical, and therefore trivially equivalent. We then develop the first graph-to-sequence neural network system for program equivalence, trained to produce such rewrite sequences from a carefully crafted automatic example generation algorithm. We extensively evaluate our system on a rich multi-type linear algebra expression language, using arbitrary combinations of 100+ graph-rewriting axioms of equivalence. Our system outputs via inference a correct rewrite sequence for 96% of the 10,000 program pairs isolated for testing, using 30-term programs. And in all cases, the validity of the sequence produced and therefore the provable assertion of program equivalence is computable, in negligible time.


title: CQ-VQA: Visual Question Answering on Categorized Questions

abstract: This paper proposes CQ-VQA, a novel 2-level hierarchical but end-to-end model to solve the task of visual question answering (VQA). The first level of CQ-VQA, referred to as question categorizer (QC), classifies questions to reduce the potential answer search space. The QC uses attended and fused features of the input question and image. The second level, referred to as answer predictor (AP), comprises of a set of distinct classifiers corresponding to each question category. Depending on the question category predicted by QC, only one of the classifiers of AP remains active. The loss functions of QC and AP are aggregated together to make it an end-to-end model. The proposed model (CQ-VQA) is evaluated on the TDIUC dataset and is benchmarked against state-of-the-art approaches. Results indicate competitive or better performance of CQ-VQA.


title: Gravity dual of Navier-Stokes equation in a rotating frame through parallel transport

abstract: The fluid-gravity correspondence documents a precise mathematical map between a class of dynamical spacetime solutions of the Einstein field equations of gravity and the dynamics of its corresponding dual fluid flows governed by the Navier-Stokes (NS) equations of hydrodynamics. This striking connection has been explored in several dynamics-based approaches and has surfaced in various forms over the past four decades. In a recent construction, it has been shown that the manifold properties of geometric duals are in fact intimately connected to the dynamics of incompressible fluids, thus bypassing the conventional on-shell standpoints. Following such a prescription, we construct the geometrical description that effectively captures the dynamics of an incompressible NS fluid with respect to a uniformly rotating frame. We propose the gravitational dual(s) described by bulk metric(s) in $(p+2)$-dimensions such that the equations of parallel transport of an appropriately defined bulk velocity vector field when projected onto an induced timelike hypersurface require that the incompressible NS equation of a fluid relative to a uniformly rotating frame be satisfied at the relevant perturbative order in $(p+1)$-dimensions. We argue that free fluid flows on manifold(s) described by the proposed metric(s) can be effectively considered as an equivalent theory of non-relativistic viscous fluid dynamics with respect to (w.r.t) a uniform rotating frame. We also present suggestive insights as to how space-time rotation parameters encode information pertaining to the inertial effects in the corresponding fluid dual.

categories: hep-th gr-qc math-ph math.MP physics.flu-dyn


title: A comparison between two de Rham complexes in diffeology

abstract: There are two de Rham complexes in diffeology. The original one is due to Souriau and the other one is the singular de Rham complex defined by a simplicial differential graded algebra. We compare the first de Rham cohomology groups of the two complexes within the \v{C}ech--de Rham spectral sequence by making use of the {\it factor map} which connects the two de Rham complexes. As a consequence, it follows that the singular de Rham cohomology algebra of the irrational torus $T_\theta$ is isomorphic to the tensor product of the original de Rham cohomology and the exterior algebra generated by a non-trivial flow bundle over $T_\theta$.


title: Description of the reactions 36S + 238U and 64Ni + 238U within the two-stage fusion-fission model

abstract: We describe the capture, fusion, fission and evaporation residue formation cross sections of superheavy nuclei within the proposed earlier two stages dynamical model. The approaching of the projectile nucleus to the target nucleus is described in the first stage of the model. On the second stage, the evolution of the system formed after the touching of the projectile and target nuclei is considered. The evolution of the system on both stages is described by Langevin equations. The transport coefficients of these equations are calculated within the microscopic linear response theory. The mutual orientation of the colliding ions, the tunneling through the Coulomb barrier in the entrance channel and the shell effects in the potential energy on both stages of the calculations are taking into account. The obtained results are compared with the available experimental data and other theoretical predictions.


title: Optimizing stakes in simultaneous bets

abstract: We want to find the convex combination $S$ of iid Bernoulli random variables that maximizes $\textbf{P}(S\geq t)$ for a given threshold~$t$. Cs\'oka conjectured that such an $S$ is an average if $t\geq p$, where $p$ is the success probability of the Bernoulli random variables. We prove this conjecture for a range of $p$ and $t$.


title: PAC Codes: Sequential Decoding vs List Decoding

abstract: In the Shannon lecture at the 2019 International Symposium on Information Theory (ISIT), Ar{\i}kan proposed to employ a one-to-one convolutional transform as a pre-coding step before the polar transform. The resulting codes of this concatenation are called polarization-adjusted convolutional (PAC) codes. In this scheme, a pair of polar mapper and demapper as pre- and postprocessing devices are deployed around a memoryless channel, which provides polarized information to an outer decoder leading to improved error correction performance of the outer code. In this paper, the list decoding and sequential decoding (including Fano decoding and stack decoding) are first adapted for use to decode PAC codes. Then, to reduce the complexity of sequential decoding of PAC/polar codes, we propose (i) an adaptive heuristic metric, (ii) tree search constraints for backtracking to avoid exploration of unlikely sub-paths, and (iii) tree search strategies consistent with the pattern of error occurrence in polar codes. These contribute to the reduction of the average decoding time complexity from 50% to 80%, trading with 0.05 to 0.3 dB degradation in error correction performance within FER=10^-3 range, respectively, relative to not applying the corresponding search strategies. Additionally, as an important ingredient in Fano decoding of PAC/polar codes, an efficient computation method for the intermediate LLRs and partial sums is provided. This method is effective in backtracking and avoids storing the intermediate information or restarting the decoding process. Eventually, all three decoding algorithms are compared in terms of performance, complexity, and resource requirements.


title: Reinforcement learning for the privacy preservation and manipulation of eye tracking data

abstract: In this paper, we present an approach based on reinforcement learning for eye tracking data manipulation. It is based on two opposing agents, where one tries to classify the data correctly and the second agent looks for patterns in the data, which get manipulated to hide specific information. We show that our approach is successfully applicable to preserve the privacy of the subjects. For this purpose, we evaluate our approach iteratively to showcase the behavior of the reinforcement learning based approach. In addition, we evaluate the importance of temporal, as well as spatial, information of eye tracking data for specific classification goals. In the last part of our evaluation, we apply the procedure to further public data sets without re-training the autoencoder or the data manipulator. The results show that the learned manipulation is generalized and applicable to unseen data as well.


title: A topological invariant for continuous fields of the Cuntz algebras

abstract: For a continuous field of the Cuntz algebra over a finite CW complex, we introduce a topological invariant, which is an element in Dadarlat-Pennig's generalized cohomology group, and prove that the invariant is trivial if and only if the field comes from a vector bundle via Pimsner's construction.


title: On the Volatility of Optimal Control Policies and the Capacity of a Class of Linear Quadratic Regulators

abstract: It is well known that highly volatile control laws, while theoretically optimal for certain systems, are undesirable from an engineering perspective, being generally deleterious to the controlled system. In this article we are concerned with the temporal volatility of the control process of the regulator in discrete time Linear Quadratic Regulators (LQRs). Our investigation in this paper unearths a surprising connection between the cost functional which an LQR is tasked with minimizing and the temporal variations of its control laws. We first show that optimally controlling the system always implies high levels of control volatility, i.e., it is impossible to reduce volatility in the optimal control process without sacrificing cost. We also show that, akin to communication systems, every LQR has a $Capacity~Region$ associated with it, that dictates and quantifies how much cost is achievable at a given level of control volatility. This additionally establishes the fact that no admissible control policy can simultaneously achieve low volatility and low cost. We then employ this analysis to explain the phenomenon of temporal price volatility frequently observed in deregulated electricity markets.


title: Limits of sub-Doppler cooling for atoms with various recoil parameter

abstract: We perform detailed analysis of sub-Doppler cooling limits for various atoms by direct solving quantum kinetic equation for atom density matrix in standing-wave light field generated by counterpropagating waves. It was demonstrated that the polarization gradient cooling effects are sensitive to atom recoil parameter (the ratio of recoil energy to natural linewidth) that results to limitation of sub-Doppler cooling and allows to outline the limits of well-known sub-Doppler cooling theory. We also give a comparison the cooling limits for well-known $\sigma_+-\sigma_-$ and $lin\perp lin$ configurations.


title: Discernible Image Compression

abstract: Image compression, as one of the fundamental low-level image processing tasks, is very essential for computer vision. Tremendous computing and storage resources can be preserved with a trivial amount of visual information. Conventional image compression methods tend to obtain compressed images by minimizing their appearance discrepancy with the corresponding original images, but pay little attention to their efficacy in downstream perception tasks, e.g., image recognition and object detection. Thus, some of compressed images could be recognized with bias. In contrast, this paper aims to produce compressed images by pursuing both appearance and perceptual consistency. Based on the encoder-decoder framework, we propose using a pre-trained CNN to extract features of the original and compressed images, and making them similar. Thus the compressed images are discernible to subsequent tasks, and we name our method as Discernible Image Compression (DIC). In addition, the maximum mean discrepancy (MMD) is employed to minimize the difference between feature distributions. The resulting compression network can generate images with high image quality and preserve the consistent perception in the feature domain, so that these images can be well recognized by pre-trained machine learning models. Experiments on benchmarks demonstrate that images compressed by using the proposed method can also be well recognized by subsequent visual recognition and detection models. For instance, the mAP value of compressed images by DIC is about 0.6% higher than that of using compressed images by conventional methods.


title: Energy loss and friction characteristics of electrons at warm dense matter and non-ideal dense plasma conditions

abstract: We investigate the energy loss characteristics of warm dense matter (WDM) and dense plasmas concentrating on the influence of electronic correlations. The basis for our analysis is a recently developed ab initio Quantum Monte-Carlo (QMC) based machine-learning representation of the static local field correction (LFC) [Dornheim et al., J. Chem. Phys. 151, 194104 (2019)], which provides an accurate description of the dynamical density response function of the electron gas at the considered parameters. We focus on the polarization-induced stopping power due to free electrons, the friction function, and the straggling rate. In addition, we compute the friction coefficient which constitutes a key quantity for the adequate Langevin dynamics simulation of ions. Considering typical experimental WDM parameters with partially degenerate electrons, we find that the friction coefficient is of the order of $\gamma/\omega_{pi}=0.01$, where $\omega_{pi}$ is the ionic plasma frequency. This analysis is performed by comparing QMC based data to results from the random phase approximation (RPA), the Mermin dielectric function, and the Singwi-Tosi-Land-Sj\"olander (STLS) approximation. It is revealed that the widely used relaxation time approximation (Mermin dielectric function) has severe limitations regarding the description of the energy loss properties of correlated partially degenerate electrons. Moreover, by comparing QMC based data with the results obtained using STLS, we find that energy loss properties are not sensitive to the inaccuracy of the static LFC at large wave numbers $k/k_{F}>2$ (with $k_F$ being the usual Fermi wave number), but that a correct description of the static LFC at $k/k_{F}\lesssim 1.5$ is important.


title: Approximate Distance Oracles Subject to Multiple Vertex Failures

abstract: Given an undirected graph $G=(V,E)$ of $n$ vertices and $m$ edges with weights in $[1,W]$, we construct vertex sensitive distance oracles (VSDO), which are data structures that preprocess the graph, and answer the following kind of queries: Given a source vertex $u$, a target vertex $v$, and a batch of $d$ failed vertices $D$, output (an approximation of) the distance between $u$ and $v$ in $G-D$ (that is, the graph $G$ with vertices in $D$ removed). An oracle has stretch $\alpha$ if it always holds that $\delta_{G-D}(u,v)\le\tilde{\delta}(u,v)\le\alpha\cdot\delta_{G-D}(u,v)$, where $\delta_{G-D}(u,v)$ is the actual distance between $u$ and $v$ in $G-D$, and $\tilde{\delta}(u,v)$ is the distance reported by the oracle. In this paper we construct efficient VSDOs for any number $d$ of failures. For any constant $c\geq 1$, we propose two oracles: $\bullet$ The first oracle has size $n^{2+1/c}(\log n/\epsilon)^{O(d)}\cdot \log W$, answers a query in ${\rm poly}(\log n,d^c,\log\log W,\epsilon^{-1})$ time, and has stretch $1+\epsilon$, for any constant $\epsilon>0$. $\bullet$ The second oracle has size $n^{2+1/c}{\rm poly}(\log (nW),d)$, answers a query in ${\rm poly}(\log n,d^c,\log\log W)$ time, and has stretch ${\rm poly}(\log n,d)$. Both of these oracles can be preprocessed in time polynomial in their space complexity. These results are the first approximate distance oracles of poly-logarithmic query time for any constant number of vertex failures in general undirected graphs. Previously there are $(1+\epsilon)$-approximate $d$-edge sensitive distance oracles [Chechik et al. 2017] answering distance queries when $d$ edges fail, which have size $O(n^2(\log n/\epsilon)^d\cdot d\log W)$ and query time ${\rm poly}(\log n, d, \log\log W)$.


title: Nonhomogeneous quasilinear elliptic problems: linear and sublinear cases

abstract: We are concerned with a class of second order quasilinear elliptic equations driven by a nonhomogeneous differential operator introduced by C.A. Stuart and whose study is motivated by models in Nonlinear Optics. We establish sufficient conditions for the existence of at least one or two non-negative solutions. Our analysis considers the cases when the reaction has either a sublinear or a linear growth. In the sublinear case, we also prove a nonexistence property. The proofs combine energy estimates and variational methods. In particular, the monotonicity trick is applied in order to overcome the lack of a priori bounds on the Palais-Smale sequences.


title: Segmenting the Universe into dynamically coherent basins

abstract: This article explores in depth a watershed concept to partition the universe, introduced in \cite{2019MNRAS.489L...1D} and applied to the {\it Cosmicflows-3} observational dataset. We present a series of tests conducted with cosmological dark matter simulations. In particular we are interested in quantifying the evolution with redshift of large scale structures when defined as segmented basins of attraction. This new dynamical definition in the field of measuring standard rulers demonstrates robustness since all basins show a density contrast $\delta$ above one (mean universe density) independently of the simulation spatial resolution or the redshift. Another major finding is that density profiles of the basins show universality in slope. Consequently, there is a unique definition of what is a gravitational watershed at large scale, that can be further used as a probe for cosmology studies.


title: Class-Imbalanced Semi-Supervised Learning

abstract: Semi-Supervised Learning (SSL) has achieved great success in overcoming the difficulties of labeling and making full use of unlabeled data. However, SSL has a limited assumption that the numbers of samples in different classes are balanced, and many SSL algorithms show lower performance for the datasets with the imbalanced class distribution. In this paper, we introduce a task of class-imbalanced semi-supervised learning (CISSL), which refers to semi-supervised learning with class-imbalanced data. In doing so, we consider class imbalance in both labeled and unlabeled sets. First, we analyze existing SSL methods in imbalanced environments and examine how the class imbalance affects SSL methods. Then we propose Suppressed Consistency Loss (SCL), a regularization method robust to class imbalance. Our method shows better performance than the conventional methods in the CISSL environment. In particular, the more severe the class imbalance and the smaller the size of the labeled data, the better our method performs.


title: On the Similarity of Deep Learning Representations Across Didactic and Adversarial Examples

abstract: The increasing use of deep neural networks (DNNs) has motivated a parallel endeavor: the design of adversaries that profit from successful misclassifications. However, not all adversarial examples are crafted for malicious purposes. For example, real world systems often contain physical, temporal, and sampling variability across instrumentation. Adversarial examples in the wild may inadvertently prove deleterious for accurate predictive modeling. Conversely, naturally occurring covariance of image features may serve didactic purposes. Here, we studied the stability of deep learning representations for neuroimaging classification across didactic and adversarial conditions characteristic of MRI acquisition variability. We show that representational similarity and performance vary according to the frequency of adversarial examples in the input space.


title: Addressing the confounds of accompaniments in singer identification

abstract: Identifying singers is an important task with many applications. However, the task remains challenging due to many issues. One major issue is related to the confounding factors from the background instrumental music that is mixed with the vocals in music production. A singer identification model may learn to extract non-vocal related features from the instrumental part of the songs, if a singer only sings in certain musical contexts (e.g., genres). The model cannot therefore generalize well when the singer sings in unseen contexts. In this paper, we attempt to address this issue. Specifically, we employ open-unmix, an open source tool with state-of-the-art performance in source separation, to separate the vocal and instrumental tracks of music. We then investigate two means to train a singer identification model: by learning from the separated vocal only, or from an augmented set of data where we "shuffle-and-remix" the separated vocal tracks and instrumental tracks of different songs to artificially make the singers sing in different contexts. We also incorporate melodic features learned from the vocal melody contour for better performance. Evaluation results on a benchmark dataset called the artist20 shows that this data augmentation method greatly improves the accuracy of singer identification.


title: An equivariant orbifold index for proper actions

abstract: For a proper, cocompact action by a locally compact group of the form $H \times G$, with $H$ compact, we define an $H \times G$-equivariant index of $H$-transversally elliptic operators, which takes values in $KK_*(C^*H, C^*G)$. This simultaneously generalises the Baum--Connes analytic assembly map, Atiyah's index of transversally elliptic operators, and Kawasaki's orbifold index. This index also generalises the assembly map to elliptic operators on orbifolds. In the special case where the manifold in question is a real semisimple Lie group, $G$ is a cocompact lattice and $H$ is a maximal compact subgroup, we realise the Dirac induction map from the Connes--Kasparov conjecture as a Kasparov product and obtain an index theorem for Spin-Dirac operators on compact locally symmetric spaces.


title: Tools and Techniques for Malware Detection and Analysis

abstract: One of the major and serious threats that the Internet faces today is the vast amounts of data and files which need to be evaluated for potential malicious intent. Malicious software, often referred to as a malware that are designed by attackers are polymorphic and metamorphic in nature which have the capability to change their code as they spread. Moreover, the diversity and volume of their variants severely undermine the effectiveness of traditional defenses which typically use signature based techniques and are unable to detect the previously unknown malicious executables. The variants of malware families share typical behavioral patterns reflecting their origin and purpose. The behavioral patterns obtained either statically or dynamically can be exploited to detect and classify unknown malware into their known families using machine learning techniques. This survey paper provides an overview of techniques and tools for detecting and analyzing the malware.


title: Text Perceptron: Towards End-to-End Arbitrary-Shaped Text Spotting

abstract: Many approaches have recently been proposed to detect irregular scene text and achieved promising results. However, their localization results may not well satisfy the following text recognition part mainly because of two reasons: 1) recognizing arbitrary shaped text is still a challenging task, and 2) prevalent non-trainable pipeline strategies between text detection and text recognition will lead to suboptimal performances. To handle this incompatibility problem, in this paper we propose an end-to-end trainable text spotting approach named Text Perceptron. Concretely, Text Perceptron first employs an efficient segmentation-based text detector that learns the latent text reading order and boundary information. Then a novel Shape Transform Module (abbr. STM) is designed to transform the detected feature regions into regular morphologies without extra parameters. It unites text detection and the following recognition part into a whole framework, and helps the whole network achieve global optimization. Experiments show that our method achieves competitive performance on two standard text benchmarks, i.e., ICDAR 2013 and ICDAR 2015, and also obviously outperforms existing methods on irregular text benchmarks SCUT-CTW1500 and Total-Text.


title: The Proportion of the Population Never Hearing a Rumour

abstract: Sudbury (1985) showed for the Maki-Thompson model of rumour spreading that the proportion of the population never hearing the rumour converges in probability to a limiting constant (approximately equal to 0.203) as the population size tends to infinity. We extend the analysis to a generalisation of the Maki-Thompson model.


title: Lyapunov characterization of uniform exponential stability for nonlinear infinite-dimensional systems

abstract: In this paper we deal with infinite-dimensional nonlinear forward complete dynamical systems which are subject to external disturbances. We first extend the well-known Datko lemma to the framework of the considered class of systems. Thanks to this generalization, we provide characterizations of the uniform (with respect to disturbances) local, semi-global, and global exponential stability, through the existence of coercive and non-coercive Lyapunov functionals. The importance of the obtained results is underlined through some applications concerning 1) exponential stability of nonlinear retarded systems with piecewise constant delays, 2) exponential stability preservation under sampling for semilinear control switching systems, and 3) the link between input-to-state stability and exponential stability of semilinear switching systems.


title: Incorporating BERT into Neural Machine Translation

abstract: The recently proposed BERT has shown great power on a variety of natural language understanding tasks, such as text classification, reading comprehension, etc. However, how to effectively apply BERT to neural machine translation (NMT) lacks enough exploration. While BERT is more commonly used as fine-tuning instead of contextual embedding for downstream language understanding tasks, in NMT, our preliminary exploration of using BERT as contextual embedding is better than using for fine-tuning. This motivates us to think how to better leverage BERT for NMT along this direction. We propose a new algorithm named BERT-fused model, in which we first use BERT to extract representations for an input sequence, and then the representations are fused with each layer of the encoder and decoder of the NMT model through attention mechanisms. We conduct experiments on supervised (including sentence-level and document-level translations), semi-supervised and unsupervised machine translation, and achieve state-of-the-art results on seven benchmark datasets. Our code is available at \url{https://github.com/bert-nmt/bert-nmt}.


title: The KPZ fixed point for discrete time TASEPs

abstract: We consider two versions of discrete time totally asymmetric simple exclusion processes (TASEPs) with geometric and Bernoulli random hopping probabilities. For the process mixed with these and continuous time dynamics, we obtain a single Fredholm determinant representation for the joint distribution function of particle positions with arbitrary initial data. This formula is a generalization of the recent result by Mateski, Quastel and Remenik and allows us to take the KPZ scaling limit. For both the discrete time geometric and Bernoulli TASEPs, we show that the distribution function converges to the one describing the KPZ fixed point.


title: On efficient adjustment in causal graphs

abstract: We consider estimation of a total causal effect from observational data via covariate adjustment. Ideally, adjustment sets are selected based on a given causal graph, reflecting knowledge of the underlying causal structure. Valid adjustment sets are, however, not unique. Recent research has introduced a graphical criterion for an 'optimal' valid adjustment set (O-set). For a given graph, adjustment by the O-set yields the smallest asymptotic variance compared to other adjustment sets in certain parametric and non-parametric models. In this paper, we provide three new results on the O-set. First, we give a novel, more intuitive graphical characterisation: We show that the O-set is the parent set of the outcome node(s) in a suitable latent projection graph, which we call the forbidden projection. An important property is that the forbidden projection preserves all information relevant to total causal effect estimation via covariate adjustment, making it a useful methodological tool in its own right. Second, we extend the existing IDA algorithm to use the O-set, and argue that the algorithm remains semi-local. This is implemented in the R-package pcalg. Third, we present assumptions under which the O-set can be viewed as the target set of popular non-graphical variable selection algorithms such as stepwise backward selection.


title: Lepton flavor violating decays of the SM-like Higgs boson $h\rightarrow e_ie_j$, and $e_i \rightarrow e_j\, \gamma $ in a flipped 3-3-1 model

abstract: In the framework of the flipped 3-3-1 model introduced recently [1], the lepton-flavor-violating (LFV) decay $\mu \rightarrow 3e$ was predicted to have a large branching ratio (Br) close to the recent experimental limit. We will show that the Br of LFV decays of the standard-model-like (SM-like) Higgs boson decays (LFVHD) Br$(h\rightarrow e_ae_b)$ may also be large. Namely, the Br$(h\rightarrow \mu\tau,e\tau)$ can reach values of $\mathcal{O}(10^{-4})-\mathcal{O}(10^{-5})$, which will reach the upcoming experimental sensitivities. On the other hand, for LFV decays of charged leptons (cLFV) $(e_b\rightarrow e_a\gamma)$, the branching ratios are well below experimental bounds.


title: A Large-Scale Evaluation of Shape-Aware Neighborhood Weights and Neighborhood Sizes

abstract: In this paper, we define and evaluate a weighting scheme for neighborhoods in point sets. Our weighting takes the shape of the geometry, i.e., the normal information, into account. This causes the obtained neighborhoods to be more reliable in the sense that connectivity also depends on the orientation of the point set. We utilize a sigmoid to define the weights based on the normal variation. For an evaluation of the weighting scheme, we turn to a Shannon entropy model for feature classification that can be proven to be non-degenerate for our family of weights. Based on this model, we evaluate our weighting terms on a large scale of both clean and real-world models. This evaluation provides results regarding the choice of optimal parameters within our weighting scheme. Furthermore, the large-scale evaluation also reveals that neighborhood sizes should not be fixed globally when processing models. Finally, we highlight the applicability of our weighting scheme withing the application context of denoising.


title: Energy Efficient Multicast Precoding for Multiuser Multibeam Satellite Communications

abstract: Aiming at maximizing the energy efficiency (EE) of multicast multibeam satellite communications, we consider the precoding design under the total power and quality of service (QoS) constraints. Since the original EE maximization problem is nonconvex, it is sequentially converted into a concave-convex fractional programming problem by introducing some variables and using the first-order Taylor low bound approximation. Based on the Charnes-Cooper transformation, it is further converted into a convex problem. Then an iterative algorithm is presented to design the energy efficient precoding. To find feasible initialization points for the algorithm and ensure its convergence, another convex optimization problem with some nonnegative slack variables and a positive penalty parameter is iteratively solved. In particular, the algorithm is verified by the measured channel data of multibeam satellite communications.


title: Exact WKB analysis and TBA equations for the Mathieu equation

abstract: We derive the Thermodynamic Bethe Ansatz (TBA) equations for the exact WKB periods of the Mathieu equation in the weak coupling region. We will use the TBA equations to calculate the quantum corrections to the WKB periods, which are regarded the quantum periods of $\mathcal{N} = 2$ $SU(2)$ super Yang-Mills theory at strong coupling. We calculate the effective central charge of the TBA equations, which is found to be proportional to the coefficient of the one-loop beta function of the 4d theory. We also study the spectral problem for the Mathieu equation based on the TBA equations numerically.


title: GDPR Compliance in the Context of Continuous Integration

abstract: The enactment of the General Data Protection Regulation (GDPR) in 2018 forced any organization that collects and/or processes EU-based personal data to comply with stringent privacy regulations. Software organizations have struggled to achieve GDPR compliance both before and after the GDPR deadline. While some studies have relied on surveys or interviews to find general implications of the GDPR, there is a lack of in-depth studies that investigate compliance practices and compliance challenges of software organizations. In particular, there is no information on small and medium enterprises (SMEs), which represent the majority of organizations in the EU, nor on organizations that practice continuous integration. Using design science methodology, we conducted an in-depth study over the span of 20 months regarding GDPR compliance practices and challenges in collaboration with a small, startup organization. We first identified our collaborator's business problems and then iteratively developed two artifacts to address those problems: a set of operationalized GDPR principles, and an automated GDPR tool that tests those GDPR-derived privacy requirements. This design science approach resulted in four implications for research and for practice. For example, our research reveals that GDPR regulations can be partially operationalized and tested through automated means, which improves compliance practices, but more research is needed to create more efficient and effective means to disseminate and manage GDPR knowledge among software developers.


title: Properties of the resolution of almost Gorenstein algebras

abstract: We study properties of the resolution of almost Gorenstein artinian algebras $R/I,$ i.e. algebras defined by ideals $I$ such that $I=J+(f),$ with $J$ Gorenstein ideal and $f\in R.$ Such algebras generalize the well known almost complete intersection artinian algebras. Then we give a new explicit description of the resolution and of the graded Betti numbers of almost complete intersection ideals of codimension $3$ and we characterize the ideals whose graded Betti numbers can be achieved using artinian monomial ideals.


title: DeepDualMapper: A Gated Fusion Network for Automatic Map Extraction using Aerial Images and Trajectories

abstract: Automatic map extraction is of great importance to urban computing and location-based services. Aerial image and GPS trajectory data refer to two different data sources that could be leveraged to generate the map, although they carry different types of information. Most previous works on data fusion between aerial images and data from auxiliary sensors do not fully utilize the information of both modalities and hence suffer from the issue of information loss. We propose a deep convolutional neural network called DeepDualMapper which fuses the aerial image and trajectory data in a more seamless manner to extract the digital map. We design a gated fusion module to explicitly control the information flows from both modalities in a complementary-aware manner. Moreover, we propose a novel densely supervised refinement decoder to generate the prediction in a coarse-to-fine way. Our comprehensive experiments demonstrate that DeepDualMapper can fuse the information of images and trajectories much more effectively than existing approaches, and is able to generate maps with higher accuracy.


title: Morphology of TeV gamma-ray emission from the kpc scale jets in radio galaxies

abstract: TeV gamma rays are observed from a few nearby radio galaxies whose jets are viewed at relatively large angles towards the observer. This emission can be produced in the kpc scale jets whose Lorentz factors are decelerated from values of the order of several at the parsec scale distances. We consider in detail the model in which TeV gamma-ray emission is produced by the relativistic electrons in the kpc scale jet which comptonize strongly beamed radiation from the inner (parsec scale) jet. As an example, we study morphology of the TeV gamma-ray emission from the decelerated kpc scale jet in the nearby radio galaxy Cen~A. It is shown that TeV gamma-ray emission can extend throughout the kpc scale distances, being relatively smoothly distributed along the jet for some parameters of the considered model. Investigation of the morphological structure of such specific gamma-ray emission by the future Cherenkov Telescope Array (e.g. CTA) should provide important constraints on the content and dynamics of the kpc scale jet in Cen~A.


title: Monitoring the build-up of hydrogen polarization for polarized Hydrogen-Deuteride (HD) targets with NMR at 17 Tesla

abstract: We report on the frozen-spin polarized hydrogen--deuteride (HD) targets for photoproduction experiments at SPring-8/LEPS. Pure HD gas with a small amount of ortho-H2 (~0.1%) was liquefied and solidified by liquid helium. The temperature of the produced solid HD was reduced to about 30 mK with a dilution refrigerator. A magnetic field (17 T) was applied to the HD to grow the polarization with the static method. After the aging of the HD at low temperatures in the presence of a high-magnetic field strength for 3 months, the polarization froze. Almost all ortho-H2 molecules were converted to para-H2 molecules that exhibited weak spin interactions with the HD. If the concentration of the ortho-H2 was reduced at the beginning of the aging process, the aging time can be shortened. We have developed a new nuclear magnetic resonance (NMR) system to measure the relaxation times (T1) of the 1H and 2H nuclei with two frequency sweeps at the respective frequencies of 726 and 111 MHz, and succeeded in the monitoring of the polarization build-up at decreasing temperatures from 600 to 30 mK at 17 T. This technique enables us to optimize the concentration of the ortho-H2 and to efficiently polarize the HD target within a shortened aging time.


title: On the Quadratic Programming Solution for Model Predictive Control with Move Blocking

abstract: Model Predictive Control (MPC) is a popular optimization-based control technique. MPC is usually formulated as sparse or dense Quadratic Programming (QP). This paper reviews two well-known methods, namely, state condensing and move blocking, and brings them together. Their combination results in generalized QP that serves arbitrarily sparse (or dense) QP for MPC with move blocking. The proposed QP can be solved by a specialized solver capable of exploiting a sparsity structure of the problem. Numerical examples give inside in computational and memory requirements.


title: Control Frequency Adaptation via Action Persistence in Batch Reinforcement Learning

abstract: The choice of the control frequency of a system has a relevant impact on the ability of reinforcement learning algorithms to learn a highly performing policy. In this paper, we introduce the notion of action persistence that consists in the repetition of an action for a fixed number of decision steps, having the effect of modifying the control frequency. We start analyzing how action persistence affects the performance of the optimal policy, and then we present a novel algorithm, Persistent Fitted Q-Iteration (PFQI), that extends FQI, with the goal of learning the optimal value function at a given persistence. After having provided a theoretical study of PFQI and a heuristic approach to identify the optimal persistence, we present an experimental campaign on benchmark domains to show the advantages of action persistence and proving the effectiveness of our persistence selection method.


title: Single shot cathode transverse momentum imaging in high brightness photoinjectors

abstract: In state of the art photoinjector electron sources, thermal emittance from photoemission dominates the final injector emittance. Therefore, low thermal emittance cathode developments and diagnostics are very important. Conventional thermal emittance measurements for the high gradient gun are time-consuming and thus thermal emittance is not measured as frequently as quantum efficiency during the lifetime of photocathodes, although both are important properties for the photoinjector optimizations. In this paper, a single shot measurement of photoemission transverse momentum, i.e., thermal emittance per rms laser spot size, is proposed for photocathode RF guns. By tuning the gun solenoid focusing, the electrons transverse momenta at the cathode are imaged to a downstream screen, which enables a single shot measurement of both the rms value and the detailed spectra of the photoelectrons transverse momenta. Both simulations and proof of principle experiments are reported.


title: Stratified Rule-Aware Network for Abstract Visual Reasoning

abstract: Abstract reasoning refers to the ability to analyze information, discover rules at an intangible level, and solve problems in innovative ways. Raven's Progressive Matrices (RPM) test is typically used to examine the capability of abstract reasoning. The subject is asked to identify the correct choice from the answer set to fill the missing panel at the bottom right of RPM (e.g., a 3$\times$3 matrix), following the underlying rules inside the matrix. Recent studies, taking advantage of Convolutional Neural Networks (CNNs), have achieved encouraging progress to accomplish the RPM test. However, they partly ignore necessary inductive biases of RPM solver, such as order sensitivity within each row/column and incremental rule induction. To address this problem, in this paper we propose a Stratified Rule-Aware Network (SRAN) to generate the rule embeddings for two input sequences. Our SRAN learns multiple granularity rule embeddings at different levels, and incrementally integrates the stratified embedding flows through a gated fusion module. With the help of embeddings, a rule similarity metric is applied to guarantee that SRAN can not only be trained using a tuplet loss but also infer the best answer efficiently. We further point out the severe defects existing in the popular RAVEN dataset for RPM test, which prevent from the fair evaluation of the abstract reasoning ability. To fix the defects, we propose an answer set generation algorithm called Attribute Bisection Tree (ABT), forming an improved dataset named Impartial-RAVEN (I-RAVEN for short). Extensive experiments are conducted on both PGM and I-RAVEN datasets, showing that our SRAN outperforms the state-of-the-art models by a considerable margin.


title: Integrable models and $K$-theoretic pushforward of Grothendieck classes

abstract: We show that a multiple commutation relation of the Yang-Baxter algebra of integrable lattice models derived by Shigechi and Uchiyama can be used to connect two types of Grothendieck classes by the $K$-theoretic pushforward from the Grothendieck group of Grassmann bundles to the Grothendieck group of a nonsingular variety. Using the commutation relation, we show that two types of partition functions of an integrable five-vertex model, which can be explicitly described using skew Grothendieck polynomials, and can be viewed as Grothendieck classes, are directly connected by the $K$-theoretic pushforward. We show that special cases of the pushforward formula which correspond to the nonskew version are also special cases of the formulas derived by Buch. We also present a skew generalization of an identity for the Grothendieck polynomials by Guo and Sun, which is an extension of the one for Schur polynomials by Feh\'er, N\'emethi and Rim\'anyi. We also show an application of the pushforward formula and derive an integration formula for the Grothendieck polynomials.


title: Communication Cost of Quantum Processes

abstract: A common scenario in distributed computing involves a client who asks a server to perform a computation on a remote computer. An important problem is to determine the minimum amount of communication needed to specify the desired computation. Here we extend this problem to the quantum domain, analyzing the total amount of (classical and quantum) communication needed by a server in order to accurately execute a quantum process chosen by a client from a parametric family of quantum processes. We derive a general lower bound on the communication cost, establishing a relation with the precision limits of quantum metrology: if a $\nu$-dimensional family of processes can be estimated with mean squared error $n^{-\beta}$ by using $n$ parallel queries, then the communication cost for $n$ parallel executions of a process in the family is at least $(\beta\nu/2-\epsilon)\log n$ qubits at the leading order in $n$, for every $\epsilon>0$. For a class of quantum processes satisfying the standard quantum limit ($\beta=1$), we show that the bound can be attained by transmitting an approximate classical description of the desired process. For quantum processes satisfying the Heisenberg limit ($\beta=2$), our bound shows that the communication cost is at least twice as the cost of communicating standard quantum limited processes with the same number of parameters.


title: Robust Initial Alignment for SINS/DVL Based on Reconstructed Observation Vectors

abstract: Misalignment angle will result in a considerable error for the integration of Doppler Velocity Log (DVL) and of Strapdown Inertial Navigation System (SINS). In this paper, a robust initial alignment method for SINS/DVL is proposed to solve a practical applicable issue, which is that the outputs of DVL are often corrupted by the outliers. Firstly, the alignment principle for SINS/DVL is summarized. Secondly, based on the principle of this alignment method, the apparent velocity model is investigated, and the parameters expression of the apparent velocity model are derived detailed. Using the apparent velocity model, the unknown parameters of the apparent velocity model are estimated by the developed Robust Kalman Filter (RKF), then the reconstructed observation vector, where the outliers are detected and isolated, is reconstructed by the estimated parameters. Based on the reconstructed observation vectors, the initial attitude is determined. Finally, the simulation and field tests are carried out to verify the performance of the proposed method. The test results are shown that the proposed method can detect and isolate the outliers effectively and get better performance than the previous work.


title: Topology optimization of surface flows

abstract: This paper presents a topology optimization approach for surface flows, which can represent the viscous and incompressible fluidic motions at the solid/liquid and liquid/vapor interfaces. The fluidic motions on such material interfaces can be described by the surface Navier-Stokes equations defined on 2-manifolds or two-dimensional manifolds, where the elementary tangential calculus is implemented in terms of exterior differential operators expressed in a Cartesian system. Based on the topology optimization model for fluidic flows with porous medium filling the design domain, an artificial Darcy friction is added to the area force term of the surface Navier-Stokes equations and the physical area forces are penalized to eliminate their existence in the fluidic regions and to avoid the invalidity of the porous medium model. Topology optimization for steady and unsteady surface flows can be implemented by iteratively evolving the impermeability of the porous medium on the 2-manifolds, where the impermeability is interpolated by the material density derived from a design variable. The related partial differential equations are solved by using the surface finite element method. Numerical examples have been provided to demonstrate this topology optimization approach for surface flows, including the boundary velocity driven flows, area force driven flows and convection-diffusion flows.


title: A Stein Goodness-of-fit Test for Directional Distributions

abstract: In many fields, data appears in the form of direction (unit vector) and usual statistical procedures are not applicable to such directional data. In this study, we propose non-parametric goodness-of-fit testing procedures for general directional distributions based on kernel Stein discrepancy. Our method is based on Stein's operator on spheres, which is derived by using Stokes' theorem. Notably, the proposed method is applicable to distributions with an intractable normalization constant, which commonly appear in directional statistics. Experimental results demonstrate that the proposed methods control type-I error well and have larger power than existing tests, including the test based on the maximum mean discrepancy.


title: Stellar masks and bisector's shape for M-type stars observed in the GAPS Programme with HARPS-N at TNG

abstract: The HARPS/HARPS-N Data Reduction Software (DRS) relies on the cross-correlation between the observed spectra and a suitable stellar mask to compute a cross-correlation function (CCF) to be used both for the radial velocity (RV) computation and as an indicator of stellar lines asymmetry, induced for example by the stellar activity. Unfortunately the M2 mask currently used by the HARPS/HARPS-N DRS for M-type stars results in heavily distorted CCFs. We created several new stellar masks in order to decrease the errors in the RVs and to improve the reliability of the activity indicators as the bisector's span. We obtained very good results with a stellar mask created from the theoretical line list provided by the VALD3 database for an early M-type star (T$_{\mathrm{eff}}$=3500~K and $\log{g}=4.5$). The CCF's shape and relative activity indicators improved and the RV time-series allowed us to recover known exoplanets with periods and amplitudes compatible with the results obtained with HARPS-TERRA.


title: Higher Hida and Coleman theories on the modular curve

abstract: We construct Hida and Coleman theories for the degree 0 and 1 cohomology of automorphic line bundles on the modular curve and we define a p-adic duality pairing between the theories in degree 0 and 1.


title: $A_4$ realization of left-right symmetric linear seesaw

abstract: We explore an $A_4$-symmetric flavor based left-right symmetric model with linear seesaw mechanism and study the associated neutrino phenomenology. The framework offers the advantage of studying neutrino mass, non-unitarity effects in lepton sector, lepton flavour violation and CP violation. The fermion content of the model includes usual quarks, leptons along with additional sterile fermion per generation while the scalar content includes Higgs doublets and scalar bidoublet. We study analytically as well as numerically the correlation between different model parameters and their dependence on experimentally determined neutrino observables.


title: Morita equivalent unital locally matrix algebras

abstract: We describe Morita equivalence of unital locally matrix algebras in terms of their Steinitz parametrization. Two countable dimensional unital locally matrix algebras are Morita equivalent if and only if their Steinitz numbers are rationally connected. For an arbitrary uncountable dimension $\alpha$ and an arbitrary not locally finite Steinitz number $s$ there exist unital locally matrix algebras $A$, $B$ such that $\dim_{F}A=\dim_{F}B=\alpha$, $\mathbf{st}(A)=\mathbf{st}(B)=s$, however, the algebras $A$, $B$ are not Morita equivalent.


title: SingCubic: Cyclic Incremental Newton-type Gradient Descent with Cubic Regularization for Non-Convex Optimization

abstract: In this work, we generalized and unified two recent completely different works of~\cite{shi2015large} and~\cite{cartis2012adaptive} respectively into one by proposing the cyclic incremental Newton-type gradient descent with cubic regularization (SingCubic) method for optimizing non-convex functions. Through the iterations of SingCubic, a cubic regularized global quadratic approximation using Hessian information is kept and solved. Preliminary numerical experiments show the encouraging performance of the SingCubic algorithm when compared to basic incremental or stochastic Newton-type implementations. The results and technique can be served as an initiate for the research on the incremental Newton-type gradient descent methods that employ cubic regularization. The methods and principles proposed in this paper can be used to do logistic regression, autoencoder training, independent components analysis, Ising model/Hopfield network training, multilayer perceptron, deep convolutional network training and so on. We will open-source parts of our implementations soon.


title: Gerrymandering and fair districting in parallel voting systems

abstract: Switching from one electoral system to another one is frequently criticized by the opposition and is viewed as a means for the ruling party to stay in power. In particular, when the new electoral system is a parallel voting (or a single-member district) system, the ruling party is usually suspected of a biased way of partitioning the state into electoral districts such that based on a priori knowledge it has more chances to win in a maximum possible number of districts. In this paper, we propose a new methodology for deciding whether a particular party benefits from a given districting map under a parallel voting system. As a part of our methodology, we formulate and solve several gerrymandering problems. We showcased the application of our approach to the Moldovan parliamentary elections of 2019. Our results suggest that contrary to the arguments of previous studies, there is no clear evidence to consider that the districting map used in those elections was unfair.


title: The Minimum Hybrid Contract (MHC): Combining legal and blockchain smart contracts

abstract: Corruption is a major global financial problem with billions of dollars rendered lost or unaccountable annually. Corruption through contract fraud is often conducted by withholding and/or altering financial information. When such scandals are investigated by authorities, financial and legal documents are usually altered to conceal the paper trail. Smart contracts have emerged in recent years and appear promising for applications such as legal contracts where transparency is critical and of public interest. Transparency and auditability are inherent because smart contracts execute operations on the blockchain, a distributed public ledger. In this paper, we propose the Minimum Hybrid Contract (MHC), with the aim of introducing 1) auditability, 2) transparency, and 3) immutability to the contract's financial transactions. The MHC comprises an online smart contract and an offline traditional legal contract. where the two are immutably linked. Secure peer-to-peer financial transactions, transparency, and cost accounting are automated by the smart contract, and legal issues or disputes are carried out by civil courts. The reliance on established legal processes facilitates an appropriate adoption of smart contracts in traditional contracts.


title: GameWikiSum: a Novel Large Multi-Document Summarization Dataset

abstract: Today's research progress in the field of multi-document summarization is obstructed by the small number of available datasets. Since the acquisition of reference summaries is costly, existing datasets contain only hundreds of samples at most, resulting in heavy reliance on hand-crafted features or necessitating additional, manually annotated data. The lack of large corpora therefore hinders the development of sophisticated models. Additionally, most publicly available multi-document summarization corpora are in the news domain, and no analogous dataset exists in the video game domain. In this paper, we propose GameWikiSum, a new domain-specific dataset for multi-document summarization, which is one hundred times larger than commonly used datasets, and in another domain than news. Input documents consist of long professional video game reviews as well as references of their gameplay sections in Wikipedia pages. We analyze the proposed dataset and show that both abstractive and extractive models can be trained on it. We release GameWikiSum for further research: https://github.com/Diego999/GameWikiSum.


title: An Efficient Permissioned Blockchain with Provable Reputation Mechanism

abstract: The design of permissioned blockchains places an access control requirement for members to read, access, and write information over the blockchains. In this paper, we study a hierarchical scenario to include three types of participants: providers, collectors, and governors. To be specific, providers forward transactions, collected from terminals, to collectors; collectors upload received transactions to governors after verifying and labeling them; and governors validate a part of received labeled transactions, pack valid ones into a block, and append a new block on the ledger. Collectors in the hierarchical model play a crucial role in the design: they have connections with both providers and governors, and are responsible for collecting, verifying, and uploading transactions. However, collectors are rational and some of them may behave maliciously (not necessarily for their own benefits). In this paper, we introduce a reputation protocol as a measure of the reliability of collectors in the permissioned blockchain environment. Its objective is to encourage collectors to behave truthfully and, in addition, to reduce the verification cost. The verification cost on provider $p$ is defined as the total number of invalid transactions provided by $p$ and checked by governors. Through theoretical analysis, our protocol with the reputation mechanism has a significant improvement in efficiency. Specifically, the verification loss that governors suffer is proved to be asymptotically $O(\sqrt{T_{total}})$ ($T_{total}$, representing the number of transactions verified by governors and provided by $p$), as long as there exists at least one collector who behaves well. At last, two typical cases where our model can be well applied are also demonstrated.


title: Half-automorphism group of Chein loops

abstract: A bijection $f$ of a loop $L$ is a half-automorphism if $f(xy)\in \{f(x)f(y),f(y)f(x)\}$, for any $x,y\in L$. A half-automorphism is nontrivial when it is neither an automorphism nor an anti-automorphism. A Chein loop $L=G\cup Gu$ is a Moufang loop constructed from a group $G$ and an element $u$ of order $2$ outside of $G$. In this paper, the half-automorphism group of finite Chein loops is described.


title: HotelRec: a Novel Very Large-Scale Hotel Recommendation Dataset

abstract: Today, recommender systems are an inevitable part of everyone's daily digital routine and are present on most internet platforms. State-of-the-art deep learning-based models require a large number of data to achieve their best performance. Many datasets fulfilling this criterion have been proposed for multiple domains, such as Amazon products, restaurants, or beers. However, works and datasets in the hotel domain are limited: the largest hotel review dataset is below the million samples. Additionally, the hotel domain suffers from a higher data sparsity than traditional recommendation datasets and therefore, traditional collaborative-filtering approaches cannot be applied to such data. In this paper, we propose HotelRec, a very large-scale hotel recommendation dataset, based on TripAdvisor, containing 50 million reviews. To the best of our knowledge, HotelRec is the largest publicly available dataset in the hotel domain (50M versus 0.9M) and additionally, the largest recommendation dataset in a single domain and with textual reviews (50M versus 22M). We release HotelRec for further research: https://github.com/Diego999/HotelRec.


title: Flexible goal-oriented adaptivity for higher-order space-time discretizations of transport problems with coupled flow

abstract: In this work, a flexible higher-order space-time adaptive finite element approximation of convection-dominated transport with coupled fluid flow is developed and studied. Convection-dominated transport is a challenging subproblem in poromechanics in which coupled transport with flow, chemical reaction and mechanical response in porous media is considered. Key ingredients are the arbitrary degree discontinuous Galerkin time discretization of the primal and dual problems for the Dual Weighted Residual (DWR) approach, an a posteriori error estimation for the transport problem coupled with flow and its implementation in an advanced software architecture. The error estimate allows the separation of the temporal and spatial discretization error contributions which facilitates the simultaneous adjustment of the time and space mesh. The performance of the approach and its software implementation is studied by numerical convergence examples as well as an example of physical interest for convection-dominated cases.


title: Data and Model Dependencies of Membership Inference Attack

abstract: Machine learning (ML) models have been shown to be vulnerable to Membership Inference Attacks (MIA), which infer the membership of a given data point in the target dataset by observing the prediction output of the ML model. While the key factors for the success of MIA have not yet been fully understood, existing defense mechanisms such as using L2 regularization \cite{10shokri2017membership} and dropout layers \cite{salem2018ml} take only the model's overfitting property into consideration. In this paper, we provide an empirical analysis of the impact of both the data and ML model properties on the vulnerability of ML techniques to MIA. Our results reveal the relationship between MIA accuracy and properties of the dataset and training model in use. In particular, we show that the size of shadow dataset, the class and feature balance and the entropy of the target dataset, the configurations and fairness of the training model are the most influential factors. Based on those experimental findings, we conclude that along with model overfitting, multiple properties jointly contribute to MIA success instead of any single property. Building on our experimental findings, we propose using those data and model properties as regularizers to protect ML models against MIA. Our results show that the proposed defense mechanisms can reduce the MIA accuracy by up to 25\% without sacrificing the ML model prediction utility.


title: CS Depletion in Prestellar Cores

abstract: The CS molecule is known to be absorbed onto dust in the cold and dense conditions, causing it to get significantly depleted in the central region of cores. This study is aimed to investigate the depletion of the CS molecule using the optically thin C$^{34}$S molecular line observations. We mapped five prestellar cores, L1544, L1552, L1689B, L694-2, and L1197 using two molecular lines, C$^{34}$S $(J=2-1)$ and N$_2$H$^+$ $(J=1-0)$ with the NRO 45-m telescope, doubling the number of cores where the CS depletion was probed using C$^{34}$S. In most of our targets, the distribution of C$^{34}$S emission shows features that suggest that the CS molecule is generally depleted in the center of the prestellar cores. The radial profile of the CS abundance with respect to H$_2$ directly measured from the CS emission and the Herschel dust emission indicates that the CS molecule is depleted by a factor of $\sim$3 toward the central regions of the cores with respect to their outer regions. The degree of the depletion is found to be even more enhanced by an order of magnitude when the contaminating effect introduced by the presence of CS molecules in the surrounding envelope that lie along the line-of-sight is removed. Except for L1197 which is classified as relatively the least evolved core in our targets based on its observed physical parameters, we found that the remaining four prestellar cores are suffering from significant CS depletion at their central region regardless of the relative difference in their evolutionary status.


title: Self-similar shrinkers of the one-dimensional Landau-Lifshitz-Gilbert equation

abstract: The main purpose of this paper is the analytical study of self-shrinker solutions of the one-dimensional Landau-Lifshitz-Gilbert equation (LLG), a model describing the dynamics for the spin in ferromagnetic materials. We show that there is a unique smooth family of backward self-similar solutions to the LLG equation, up to symmetries, and we establish their asymptotics. Moreover, we obtain that in the presence of damping, the trajectories of the self-similar profiles converge to great circles on the sphere $\mathbb{S}^2$, at an exponential rate. In particular, the results presented in this paper provide examples of blow-up in finite time, where the singularity develops due to rapid oscillations forming limit circles.


title: Formation and manipulation of domain walls with 2-nm domain periodicity in $BaTiO_3$ without contact electrodes

abstract: Interfaces at the two-dimensional limit in oxide materials exhibit a rich span of functionality that differs significantly from the bulk behavior. Among such interfaces, domain walls in ferroelectrics draw special attention because they can be moved deterministically with external voltage, while they remain at place after voltage removal, paving the way to novel neuromorphic and low-power data-processing technologies. Ferroic domains arise to release strain, which depends on material thickness, following Kittel scaling law. Hence, a major hurdle is to reduce the device footprint for a given thickness, i.e., to form and move high-density domain walls. Here, we used transmission electron microscopy to produce domain walls with periodicity as high as 2 nm without the use of contact electrodes, while observing their formation and dynamics in situ in $BaTiO_3$. Large-area coverage of the engineered domain walls was demonstrated. The domain-wall density was found to increase with increasing effective stress, until arriving to a saturation value that reflects 150-fold effective stress enhancement. Exceeding this value resulted in strain release by domain-wall rotation. In addition to revealing this multiscale strain-releasing mechanism, we offer a device design that allows controllable switching of domain-walls with 2-nm periodicity, reflecting a potential $144-Tb/inch^2$ neuromorphic network.


title: Precise position- and angular-controllable optical trapping and manipulation via a single vortex-pair beam

abstract: Optical trapping and manipulation using laser beams play a key role in many areas including biology, atomic science, and nanofabrication. Here, we propose and experimentally demonstrate the first use of a vortex-pair beam in optical trapping and manipulation. We successfully trap two spherical microparticles simultaneously by a single vortex-pair beam. Precisely position-controllable manipulation of the trapped spherical microparticles is realized by adjusting the off-axis distance of the vortices on the initial phase plane of the vortex-pair beam. Based on the feature of the vortex-pair beam, as an optical wrench, the high-precision angular-controllable rotation of the cylindrical microrod is achieved by rotating the initial phase structure. Our result provides a rich control on the trapping of microparticles and has greatly important applications in biological area, and optically driven micromachines or motors.


title: Least squares estimation for non-ergodic weighted fractional Ornstein-Uhlenbeck process of general parameters

abstract: Let $B^{a,b}:=\{B_t^{a,b},t\geq0\}$ be a weighted fractional Brownian motion of parameters $a>-1$, $|b|<1$, $|b|<a+1$. We consider a least square-type method to estimate the drift parameter $\theta>0$ of the weighted fractional Ornstein-Uhlenbeck process $X:=\{X_t,t\geq0\}$ defined by $X_0=0; \ dX_t=\theta X_tdt+dB_t^{a,b}$. In this work, we provide least squares-type estimators for $\theta$ based continuous-time and discrete-time observations of $X$. The strong consistency and the asymptotic behavior in distribution of the estimators are studied for all $(a,b)$ such that $a>-1$, $|b|<1$, $|b|<a+1$. Here we extend the results of \cite{SYY2,SYY} (resp. \cite{CSC}), where the strong consistency and the asymptotic distribution of the estimators are proved for $-\frac12<a<0$, $-a<b<a+1$ (resp. $-1<a<0$, $-a<b<a+1$).


title: Large-scale biometry with interpretable neural network regression on UK Biobank body MRI

abstract: In a large-scale medical examination, the UK Biobank study has successfully imaged more than 32,000 volunteer participants with magnetic resonance imaging (MRI). Each scan is linked to extensive metadata, providing a comprehensive medical survey of imaged anatomy and related health states. Despite its potential for research, this vast amount of data presents a challenge to established methods of evaluation, which often rely on manual input. To date, the range of reference values for cardiovascular and metabolic risk factors is therefore incomplete. In this work, neural networks were trained for image-based regression to infer various biological metrics from the neck-to-knee body MRI automatically. The approach requires no manual intervention or direct access to reference segmentations for training. The examined fields span 64 variables derived from anthropometric measurements, dual-energy X-ray absorptiometry (DXA), atlas-based segmentations, and dedicated liver scans. With the ResNet50, the standardized framework achieves a close fit to the target values (median R^2 > 0.97) in cross-validation. Interpretation of aggregated saliency maps suggests that the network correctly targets specific body regions and limbs, and learned to emulate different modalities. On several body composition metrics, the quality of the predictions is within the range of variability observed between established gold standard techniques.


title: On the Power and Limits of Dynamic Pricing in Combinatorial Markets

abstract: We study the power and limits of optimal dynamic pricing in combinatorial markets; i.e., dynamic pricing that leads to optimal social welfare. Previous work by Cohen-Addad et al. [EC'16] demonstrated the existence of optimal dynamic prices for unit-demand buyers, and showed a market with coverage valuations that admits no such prices. However, finding the frontier of markets (i.e., valuation functions) that admit optimal dynamic prices remains an open problem. In this work we establish positive and negative results that narrow the existing gap. On the positive side, we provide tools for handling markets beyond unit-demand valuations. In particular, we characterize all optimal allocations in multi-demand markets. This characterization allows us to partition the items into equivalence classes according to the role they play in achieving optimality. Using these tools, we provide a poly-time optimal dynamic pricing algorithm for up to $3$ multi-demand buyers. On the negative side, we establish a maximal domain theorem, showing that for every non-gross substitutes valuation, there exist unit-demand valuations such that adding them yields a market that does not admit an optimal dynamic pricing. This result is the dynamic pricing equivalent of the seminal maximal domain theorem by Gul and Stacchetti [JET'99] for Walrasian equilibrium. Yang [JET'17] discovered an error in their original proof, and established a different, incomparable version of their maximal domain theorem. En route to our maximal domain theorem for optimal dynamic pricing, we provide the first complete proof of the original theorem by Gul and Stacchetti.


title: Scalable Quantitative Verification For Deep Neural Networks

abstract: Despite the functional success of deep neural networks (DNNs), their trustworthiness remains a crucial open challenge. To address this challenge, both testing and verification techniques have been proposed. But these existing techniques provide either scalability to large networks or formal guarantees, not both. In this paper, we propose a scalable quantitative verification framework for deep neural networks, i.e., a test-driven approach that comes with formal guarantees that a desired probabilistic property is satisfied. Our technique performs enough tests until soundness of a formal probabilistic property can be proven. It can be used to certify properties of both deterministic and randomized DNNs. We implement our approach in a tool called PROVERO and apply it in the context of certifying adversarial robustness of DNNs. In this context, we first show a new attack-agnostic measure of robustness which offers an alternative to purely attack-based methodology of evaluating robustness being reported today. Second, PROVERO provides certificates of robustness for large DNNs, where existing state-of-the-art verification tools fail to produce conclusive results. Our work paves the way forward for verifying properties of distributions captured by real-world deep neural networks, with provable guarantees, even where testers only have black-box access to the neural network.


title: Statistical correlations of currents flowing via proximized quantum dot

abstract: Statistical properties of the electron transport flowing through nanostructures are strongly influenced by the interactions, geometry of the system and/or by type of the external electrodes. These factors affect not only the average current induced in the system but also contribute to fluctuations in the flux of charges and their correlations. Due to possible applications of the hybrid nano-systems, containing one or more superconducting electrodes, a detailed understanding of the flow of charge and its fluctuations seems to be of primary importance. Coulomb repulsion between electrons usually strongly affect the current-current correlation function. In this work we study the correlations in the charge flow through such interacting quantum dot contacted to one superconducting and two normal electrodes. This set-up allows for analysis of the Andreev scattering events in the correlations of currents flowing between external electrodes and, in particular, gives access to cross-correlations between currents from/to different normal electrodes. Our approach relies on the master equation technique, which properly captures the Coulomb interactions. We study the finite frequency correlations and find the relaxation processes, related to the high frequency charge and low frequency polarisation fluctuations. The multiterminal structure of here studied single electron device allows to analyze a competition between the intra- and inter-channel correlations. In the appropriate limit of the interacting quantum dot embedded between two normal electrodes our calculations quantitatively describe the recent experimental data on the frequency dependent correlations. This shows a promising potential of the method for description of the hybrid systems with superconducting electrode(s).


title: Continuous momentum dependence in the dynamical cluster approximation

abstract: The dynamical cluster approximation (DCA) is a quantum cluster extension to the single-site dynamical mean-field theory that incorporates spatially nonlocal dynamic correlations systematically and nonperturbatively. The DCA$^+$ algorithm addresses the cluster shape dependence of the DCA and improves the convergence with cluster size by introducing a lattice self-energy with continuous momentum dependence. However, we show that the DCA$^+$ algorithm is plagued by a fundamental problem when its self-consistency equations are formulated using the bare Green's function of the cluster. This problem is most severe in the strongly correlated regime at low doping, where the DCA$^+$ self-energy becomes overly metallic and local, and persists to cluster sizes where the standard DCA has long converged. In view of the failure of the DCA$^+$ algorithm, we propose to complement DCA simulations with a post-interpolation procedure for single-particle and two-particle correlation functions to preserve continuous momentum dependence and the associated benefits in the DCA. We demonstrate the effectiveness of this practical approach with results for the half-filled and hole-doped two-dimensional Hubbard model.


title: Tunable refrigerator for non-linear quantum electric circuits

abstract: The emerging quantum technological applications call for fast and accurate initialization of the corresponding devices to low-entropy quantum states. To this end, we theoretically study a recently demonstrated quantum-circuit refrigerator in the case of non-linear quantum electric circuits such as superconducting qubits. The maximum refrigeration rate of transmon and flux qubits is observed to be roughly an order of magnitude higher than that of usual linear resonators, increasing flexibility in the design. We find that for typical experimental parameters, the refrigerator is suitable for resetting different qubit types to fidelities above 99.99% in a few or a few tens of nanoseconds depending on the scenario. Thus the refrigerator appears to be a promising tool for quantum technology and for detailed studies of open quantum systems.


title: Assessing the accuracy of simplified Coupled Cluster methods for electronic excited states in f0 actinide compounds

abstract: We scrutinize the performance of different variants of equation of motion coupled cluster (EOM-CC) methods to predict electronic excitation energies and excited state potential energy surfaces in closed-shell actinide species. We focus our analysis on various recently presented pair coupled cluster doubles (pCCD) models [J.~Chem.~Phys., 23, 234105 (2016) and J.~Chem.~Theory~Comput. 15, 18--24 (2019)] and compare their performance to the conventional EOM-CCSD approach and to the completely renormalized EOM-CCSD with perturbative triples ansatz. Since the single-reference pCCD model allows us to efficiently describe static/nondynamic electron correlation, while dynamical electron correlation is accounted for \textit{a posteriori}, the investigated pCCD-based methods represent a good compromise between accuracy and computational cost. Such a feature is particularly advantageous when modelling electronic structures of actinide-containing compounds with stretched bonds. Our work demonstrates that EOM-pCCD-based methods reliably predict electronic spectra of small actinide building blocks containing thorium, uranium, and protactinium atoms. Specifically, the standard errors in adiabatic and vertical excitation energies obtained by the conventional EOM-CCSD approach are reduced by a factor of 2 when employing the EOM-pCCD-LCCSD variant resulting in a mean error of 0.05 eV and a standard deviation of 0.25 eV.


title: Unification Predictions With or Without Supersymmetry

abstract: Supersymmetric (SUSY) grand unified theories (GUTs) appear to be best motivated for understanding strong, weak and electromagnetic interactions of nature. We briefly review emergence of new formulas for running fermion masses valid in direct breaking of GUTs. High scale mixing unification of quark and neutrino mixings and existence of theorems on vanishing theoretical uncertainties in GUT predictions are discussed. D-Parity properties of SO(10) representations leading to large number of intermediate breaking models are pointed out. Unification predictions of SUSY SO(10) in the light of neutrino mass, lepton flavor violation, baryogenesis via leptogenesis within gravitino constraint, and proton decay are noted. We further discuss realisation of flavour unification and possibility of fitting all fermion masses through R-Parity and D-Parity conserving left-right symmetric intermediate breaking in SUSY SO(10)$\times S_4$. In the absence of SUSY two interesting possibilities of minimal grand desert modifications with only one intermediate mass scalar in each case and their applications to dark matter decay through type-I seesaw are briefly noted. Heavy scalar triplet decay leptogenesis through new ansatz for type-II seesaw dominance in non-SUSY SO(10), emergence of new CP asymmetry formulas and model capabilities to explain WIMP dark matter, vacuum stability of the scalar potential and experimentally observed limit on proton lifetime are briefly summarized.


title: Consistency of the PLFit estimator for power-law data

abstract: We prove the consistency of the Power-Law Fit PLFit method proposed by Clauset et al.(2009) to estimate the power-law exponent in data coming from a distribution function with regularly-varying tail. In the complex systems community, PLFit has emerged as the method of choice to estimate the power-law exponent. Yet, its mathematical properties are still poorly understood. The difficulty in PLFit is that it is a minimum-distance estimator. It first chooses a threshold that minimizes the Kolmogorov-Smirnov distance between the data points larger than the threshold and the Pareto tail, and then applies the Hill estimator to this restricted data. Since the number of order statistics used is random, the general theory of consistency of power-law exponents from extreme value theory does not apply. Our proof consists in first showing that the Hill estimator is consistent for general intermediate sequences for the number of order statistics used, even when that number is random. Here, we call a sequence intermediate when it grows to infinity, while remaining much smaller than the sample size. The second, and most involved, step is to prove that the optimizer in PLFit is with high probability an intermediate sequence, unless the distribution has a Pareto tail above a certain value. For the latter special case, we give a separate proof.


title: Protostellar Outflows at the EarliesT Stages (POETS). IV. Statistical properties of the 22 GHz H2O masers

abstract: We wish to perform a statistical study of the location and motion of individual 22 GHz water maser cloudlets, characterized by sizes that are within a few au, with respect to the radio thermal emission from young stellar objects (YSO). For this purpose, we have been carrying out the Protostellar Outflows at the EarliesT Stages (POETS) survey of a sample (38) of high-mass YSOs. The water maser positions and three-dimensional (3D) velocities were determined through Very Long Baseline Array observations with accuracies of a few milliarcsec (mas) and a few km/s, respectively. The position of the ionized core of the protostellar wind, marking the YSO, was determined through sensitive continuum Jansky Very Large Array observations with a typical error of 20 mas. The statistic of the separation of the water masers from the radio continuum shows that 84% of the masers are found within 1000 au from the YSO and 45% of them are within 200 au. Therefore, we can conclude that the 22 GHz water masers are a reliable proxy for the YSO position. The distribution of maser luminosity is strongly peaked towards low values, indicating that about half of the maser population is still undetected with the current Very Long Baseline Interferometry detection thresholds of 50-100 mJy/beam. Next-generation, sensitive radio interferometers will exploit these weak masers for an improved sampling of the velocity and magnetic fields around the YSOs. The average direction of the water maser proper motions provides a statistically-significant estimate for the orientation of the jet emitted by the YSO: 55% of the maser proper motions are directed on the sky within an angle of 30 deg from the jet axis. Finally, we show that our measurements of 3D maser velocities statistically support models in which water maser emission arises from planar shocks with propagation direction close to the plane of the sky.