title: Probabilities in the logic of quantum propositions

abstract: In quantum logic, i.e., within the structure of the Hilbert lattice imposed on all closed linear subspaces of a Hilbert space, the assignment of truth values to quantum propositions (i.e., experimentally verifiable propositions relating to a quantum system) is unambiguously determined by the state of the system. So, if only pure states of the system are considered, can a probability measure mapping the probability space for truth values to the unit interval be assigned to quantum propositions? In other words, is a probability concept contingent or emergent in the logic of quantum propositions? Until this question is answered, the cause of probabilities in quantum theory cannot be completely understood. In the present paper it is shown that the interaction of the quantum system with its environment causes the irreducible randomness in the relation between quantum propositions and truth values.


title: Jeffreys-prior penalty, finiteness and shrinkage in binomial-response generalized linear models

abstract: Penalization of the likelihood by Jeffreys' invariant prior, or by a positive power thereof, is shown to produce finite-valued maximum penalized likelihood estimates in a broad class of binomial generalized linear models. The class of models includes logistic regression, where the Jeffreys-prior penalty is known additionally to reduce the asymptotic bias of the maximum likelihood estimator; and also models with other commonly used link functions such as probit and log-log. Shrinkage towards equiprobability across observations, relative to the maximum likelihood estimator, is established theoretically and is studied through illustrative examples. Some implications of finiteness and shrinkage for inference are discussed, particularly when inference is based on Wald-type procedures. A widely applicable procedure is developed for computation of maximum penalized likelihood estimates, by using repeated maximum likelihood fits with iteratively adjusted binomial responses and totals. These theoretical results and methods underpin the increasingly widespread use of reduced-bias and similarly penalized binomial regression models in many applied fields.


title: Less but Better: Generalization Enhancement of Ordinal Embedding via Distributional Margin

abstract: In the absence of prior knowledge, ordinal embedding methods obtain new representation for items in a low-dimensional Euclidean space via a set of quadruple-wise comparisons. These ordinal comparisons often come from human annotators, and sufficient comparisons induce the success of classical approaches. However, collecting a large number of labeled data is known as a hard task, and most of the existing work pay little attention to the generalization ability with insufficient samples. Meanwhile, recent progress in large margin theory discloses that rather than just maximizing the minimum margin, both the margin mean and variance, which characterize the margin distribution, are more crucial to the overall generalization performance. To address the issue of insufficient training samples, we propose a margin distribution learning paradigm for ordinal embedding, entitled Distributional Margin based Ordinal Embedding (\textit{DMOE}). Precisely, we first define the margin for ordinal embedding problem. Secondly, we formulate a concise objective function which avoids maximizing margin mean and minimizing margin variance directly but exhibits the similar effect. Moreover, an Augmented Lagrange Multiplier based algorithm is customized to seek the optimal solution of \textit{DMOE} effectively. Experimental studies on both simulated and real-world datasets are provided to show the effectiveness of the proposed algorithm.


title: The Tur\'an problem for a family of tight linear forests

abstract: Let $\mathcal{F}$ be a family of $r$-graphs. The Tur\'an number $ex_r(n;\mathcal{F})$ is defined to be the maximum number of edges in an $r$-graph of order $n$ that is $\mathcal{F}$-free. The famous Erd\H{o}s Matching Conjecture shows that \[ ex_r(n,M_{k+1}^{(r)})= \max\left\{\binom{rk+r-1}{r},\binom{n}{r}-\binom{n-k}{r}\right\}, \] where $M_{k+1}^{(r)}$ represents the $r$-graph consisting of $k+1$ disjoint edges. Motivated by this conjecture, we consider the Tur\'an problem for tight linear forests. A tight linear forest is an $r$-graph whose connected components are all tight paths or isolated vertices. Let $\mathcal{L}_{n,k}^{(r)}$ be the family of all tight linear forests of order $n$ with $k$ edges in $r$-graphs. In this paper, we prove that for sufficiently large $n$, \[ ex_r(n;\mathcal{L}_{n,k}^{(r)})=\max\left\{\binom{k}{r}, \binom{n}{r}-\binom{n-\left\lfloor (k-1)/r\right \rfloor}{r}\right\}+d, \] where $d=o(n^r)$ and if $r=3$ and $k=cn$ with $0<c<1$, if $r\geq 4$ and $k=cn$ with $0<c<1/2$. The proof is based on the weak regularity lemma for hypergraphs. We also conjecture that for arbitrary $k$ satisfying $k \equiv 1\ (mod\ r)$, the error term $d$ in the above result equals 0. We prove that the proposed conjecture implies the Erd\H{o}s Matching Conjecture directly.


title: Anomaly Detection for Network Connection Logs

abstract: We leverage a streaming architecture based on ELK, Spark and Hadoop in order to collect, store, and analyse database connection logs in near real-time. The proposed system investigates outliers using unsupervised learning; widely adopted clustering and classification algorithms for log data, highlighting the subtle variances in each model by visualisation of outliers. Arriving at a novel solution to evaluate untagged, unfiltered connection logs, we propose an approach that can be extrapolated to a generalised system of analysing connection logs across a large infrastructure comprising thousands of individual nodes and generating hundreds of lines in logs per second.


title: Stochastic Heat Equations for infinite strings with Values in a Manifold

abstract: In the paper, we construct conservative Markov processes corresponding to the martingale solutions to the stochastic heat equation on $\mathbb{R}^+$ or $\mathbb{R}$ with values in a general Riemannian maifold, which is only assumed to be complete and stochastic complete. This work is an extension of the previous paper \cite{RWZZ17} on finite volume case. Moveover, we also obtain some functional inequalities associated to these Markov processes. This implies that on infinite volume case, the exponential ergodicity of the solution if the Ricci curvature is strictly positive and the non-ergodicity of the process if the sectional curvature is negative.


title: Prediction of typhoon tracks using a generative adversarial network with observational and meteorological data

abstract: Tracks of typhoons are predicted using a generative adversarial network (GAN) with observational data in form of satellite images and meteorological data from a reanalysis database. Time series of images of typhoons which occurred in the Korean Peninsula in the past are used to train the neural network. The trained GAN is employed to produce a 6-hour-advance track of a typhoon for which the GAN was not trained. The predicted image favorably identifies the future location of the typhoon center as well as the deformed cloud structures. The errors between predicted and real typhoon centers are measured quantitatively in kilometers. 65.5 % of all typhoon center predictions have an error of less than 80 km, 31.5 % lie within a range of 80 - 120 km and the remaining 3.0 % are above 120 km. The overall error is 67.2 km, compared to 95.6 km when only observational data are used as input. The cloud structure prediction is evaluated qualitatively. It is shown that the GAN is able to predict trends in cloud motion. It is found that adding physically meaningful meteorological data to satellite images improves the sharpness of predicted images.


title: Strain and onsite-correlation tunable quantum anomalous Hall phases in ferromagnetic (111) LaXO$_3$ bilayers (X$=$Pd, Pt)

abstract: Quantum anomalous Hall (QAH) phases in magnetic topological insulators are characterized by the scattering-free chiral edge currents protected by their nontrivial bulk band topology. To fully explore these intriguing phenomena and application of topological insulators, high temperature material realization of QAH phases is crucial. In this paper, based on extensive first-principles density functional theory calculations, we predict that perovskite bilayers (LaXO$_3$)$_{2}$ (X = Pd, Pt) imbedded in the (111) (LaXO$_3$)$_{2}$/(LaAlO$_3$)$_{10}$ superlattices are high Curie temperature ferromagnets that host both QAH and Dirac semimetal phases, depending on the biaxial strain and onsite electron correlation. In particular, both the direction (the sign of Chern number) and spin-polarization of the chiral edge currents are tunable by either onsite electron correlation or biaxial in-plane strain. Furthermore, the nontrivial band gap can be enhanced up to 92 meV in the LaPdO$_3$ bilayer by the compressive in-plane strain, and can go up to as large as 242 meV when the Pd atoms are replaced by the heavier Pt atoms. Finally, the microscopic mechanisms of the ferromagnetic coupling and other interesting properties of the bilayers are uncovered by analyzing their underlying electronic band structures.


title: Robust Ordinal Embedding from Contaminated Relative Comparisons

abstract: Existing ordinal embedding methods usually follow a two-stage routine: outlier detection is first employed to pick out the inconsistent comparisons; then an embedding is learned from the clean data. However, learning in a multi-stage manner is well-known to suffer from sub-optimal solutions. In this paper, we propose a unified framework to jointly identify the contaminated comparisons and derive reliable embeddings. The merits of our method are three-fold: (1) By virtue of the proposed unified framework, the sub-optimality of traditional methods is largely alleviated; (2) The proposed method is aware of global inconsistency by minimizing a corresponding cost, while traditional methods only involve local inconsistency; (3) Instead of considering the nuclear norm heuristics, we adopt an exact solution for rank equality constraint. Our studies are supported by experiments with both simulated examples and real-world data. The proposed framework provides us a promising tool for robust ordinal embedding from the contaminated comparisons.


title: Automatic Generation of Dense Non-rigid Optical Flow

abstract: There hardly exists any large-scale datasets with dense optical flow of non-rigid motion from real-world imagery as of today. The reason lies mainly in the required setup to derive ground truth optical flows: a series of images with known camera poses along its trajectory, and an accurate 3D model from a textured scene. Human annotation is not only too tedious for large databases, it can simply hardly contribute to accurate optical flow. To circumvent the need for manual annotation, we propose a framework to automatically generate optical flow from real-world videos. The method extracts and matches objects from video frames to compute initial constraints, and applies a deformation over the objects of interest to obtain dense optical flow fields. We propose several ways to augment the optical flow variations. Extensive experimental results show that training on our automatically generated optical flow outperforms methods that are trained on rigid synthetic data using FlowNet-S, LiteFlowNet, PWC-Net, and RAFT. Datasets and implementation of our optical flow generation framework are released at https://github.com/lhoangan/arap_flow


title: Channel Shortening by Large Multiantenna Precoding in OFDM

abstract: A channel delay spread larger than the cyclic prefix (CP) creates inter-carrier/symbol interference (ISI/ICI) in orthogonal frequency-division multiplexing (OFDM). Recent interests in low-latency applications have motivated the usage of shorter OFDM symbols where one can either downscale the CP at the cost of interference, or maintain it but with larger overhead. Alternatively, this paper studies channel shortening methods exploiting the properties of large multi-antenna precoding in order to steer the transmitted signal energy toward channel paths inside an insufficient CP. It is shown that ISI/ICI can asymptotically be canceled by conventional subcarrier-based precoding with an infinite number of antennas. This is achieved by introducing time-delay selectivity inside frequency-selective precoders in order to remove undesired delayed signals, providing a trade-off between interference mitigation and multi-path combining gains, and leading to subsequent gains in high SNR. This frequency-domain precoding method, coined time-frequency (TF) precoding, is compared to time-reversal (TR) filtering whose asymptotic rate is optimal but introduces post-modulation processing with channel-dependent signal distortion. In addition to maintain the legacy precoded multi-antenna OFDM structure, finite-size analysis shows that TF-precoding converges faster to its asymptotic rate than TR-filtering, so that TF-precoding can outperform TRfiltering in the high-SNR regime with not-so-many antennas.


title: Least absolute deviations uncertain regression with imprecise observations

abstract: Traditionally regression analysis answers questions about the relationships among variables based on the assumption that the observation values of variables are precise numbers. It has long been dominated by least squares techniques, mostly due to their elegant theoretical foundation and ease of implementation. However, in many cases, we can only get imprecise observation values and the assumptions upon which the least squares is based may not be valid. So this paper characterizes the imprecise data in terms of uncertain variables and proposes a novel robust approach under the principle of least absolute deviations to estimate the unknown parameters in uncertain regression models. Finally, numerical examples are documented to illustrate our method.


title: A heat kernel version of Miyachi's Theorem for the Laguerre hypergroup

abstract: Let $\mathbb{K}=[0,+\infty[\times\mathbb{R}$ the Laguerre Hypergroup. In this paper, we are going to formulate and prove an analogue of Miyachi's uncertainty principle for the Laguerre-Hypergroup Fourier transform. Our version will be in terms of the heat kernel associated to the radial part of the sub-Laplacian on the Heisenberg group.


title: Uniform convergence of Hankel transforms

abstract: We investigate necessary and/or sufficient conditions for the pointwise and uniform convergence of the weighted Hankel transforms $$\mathcal{L}^\alpha_{\nu,\mu}f(r) = r^\mu\int_0^\infty (rt)^\nu f(t) j_\alpha(rt)\, dt, \quad \alpha\geq -1/2, \quad r\geq 0, $$ where $\nu,\mu\in \mathbb{R}$ are such that $0\leq \mu+\nu\leq \alpha+3/2$. We subdivide these transforms into two classes in such a way that the uniform convergence criteria is remarkably different on each class. In more detail, we have the transforms satisfying $\mu+\nu=0$ (such as the classical Hankel transform), that generalize the cosine transform, and those satisfying $0<\mu+\nu\leq \alpha+3/2$, generalizing the sine transform.


title: Lung Cancer Tumor Region Segmentation Using Recurrent 3D-DenseUNet

abstract: The performance of a computer-aided automated diagnosis system of lung cancer from Computed Tomography (CT) volumetric images greatly depends on the accurate detection and segmentation of tumor regions. In this paper, we present Recurrent 3D-DenseUNet, a novel deep learning based architecture for volumetric lung tumor segmentation from CT scans. The proposed architecture consists of a 3D encoder block that learns to extract fine-grained spatial and coarse-grained temporal features, a recurrent block of multiple Convolutional Long Short-Term Memory (ConvLSTM) layers to extract fine-grained spatio-temporal information, and finally a 3D decoder block to reconstruct the desired volume segmentation masks from the latent feature space. The encoder and decoder blocks consist of several 3D-convolutional layers that are densely connected among themselves so that necessary feature aggregation can occur throughout the network. During prediction, we apply selective thresholding followed by morphological operation, on top of the network prediction, to better differentiate between tumorous and non-tumorous image-slices, which shows more promise than only thresholding-based approaches. We train and test our network on the NSCLC-Radiomics dataset of 300 patients, provided by The Cancer Imaging Archive (TCIA) for the 2018 IEEE VIP Cup. Moreover, we perform an extensive ablation study of different loss functions in practice for this task. The proposed network outperforms other state-of-the-art 3D segmentation architectures with an average dice score of 0.7228.


title: Does the risk of death continue to rise among supercentenarians?

abstract: A recent study in the 2017 Living to 100 Monograph published by the Society of Actuaries suggests, in contrast to previous research, that the risk of death after 110 increases with age. By fitting a Gompertz model to estimated central death rates for the oldest old, the authors challenge existing theory and empirical research indicating a deceleration of mortality at older ages and the emergence of a plateau. We argue that their results are inconclusive for three reasons: (1) the data selection was arbitrary; (2) the statistical analysis was inappropriate; and (3) the presentation of the results is misleading and inadequate. We therefore claim that the hypothesis that the human force of mortality increases after age 110 has not been proved.


title: Blowing up solutions of semilinear P.D.E. with convex potentials

abstract: We consider convex potentials $W:\R\to [0,\infty)$ vanishing at $0$ and growing sufficiently fast at $\pm\infty$. Given any open set $\Omega\subset\R^n$ with Lipschitz and compact boundary, we prove the existence and uniqueness of a solution of $\Delta u= W'(u)$ in $\Omega$, such that $u=+\infty$ or $u=-\infty$ on $\partial \Omega$. Moreover, if $\partial \Omega$ is the union of two disjoint compact subsets $A^+$ and $A^-$, there also exists a unique solution satisfying $u=+\infty$ on $A^+$ and $u=-\infty$ on $A^-$.


title: Closing the gap between software engineering education and industrial needs

abstract: According to different reports, many recent software engineering graduates often face difficulties when beginning their professional careers, due to misalignment of the skills learnt in their university education with what is needed in industry. To address that need, many studies have been conducted to align software engineering education with industry needs. To synthesize that body of knowledge, we present in this paper a systematic literature review (SLR) which summarizes the findings of 33 studies in this area. By doing a meta-analysis of all those studies and using data from 12 countries and over 4,000 data points, this study will enable educators and hiring managers to adapt their education / hiring efforts to best prepare the software engineering workforce.


title: Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification

abstract: We present a new algorithm for computing pure-strategy $\varepsilon$-Bayes-Nash equilibria ($\varepsilon$-BNEs) in combinatorial auctions with continuous value and action spaces. An essential innovation of our algorithm is to separate the algorithm's search phase (for finding the $\varepsilon$-BNE) from the verification phase (for computing the $\varepsilon$). Using this approach, we obtain an algorithm that is both very fast and provides theoretical guarantees on the $\varepsilon$ it finds. Our main technical contribution is a verification method which allows us to upper bound the $\varepsilon$ across the whole continuous value space without making assumptions about the mechanism. Using our algorithm, we can now compute $\varepsilon$-BNEs in multi-minded domains that are significantly more complex than what was previously possible to solve. We release our code under an open-source license to enable researchers to perform algorithmic analyses of auctions, to enable bidders to analyze different strategies, and to facilitate many other applications.


title: Spatio-temporal evolution of electric field inside a microwave discharge plasma during initial phase of ignition and its effect on power coupling

abstract: During the initial phase of microwave (MW) power launch inside a MW discharge ion source (MDIS), plasma and the electric fields are evolved with time together in the plasma volume. The spatio-temporal evolution pattern in the cavity of a MDIS is reported here, highlighting the role of these electric fields on power coupling processes. Evolution of electric field and so power coupling processes are calculated using Finite Element Method (FEM). Unlike PIC/MCC or hybrid fluid, here FEM model uses time dependent Poisson solver through drift-diffusion approach. In presence of plasma gradient in the volume ambipolar electric field is generated which interacts with the MW electric field to form resultant total electric field which continuously vary during this evolution period. It is observed that main power coupling mechanism is electron cyclotron resonance (ECR) method, however with the evolution of plasma, the mode shifts from ECR to off-ECR type heating with time. Off-ECR heating in the form of upper-hybrid resonance (UHR) method, electro-static (ES) ion acoustic wave heating method are important heating mechanisms during the over-dense plasma condition, when density is above critical density for launched MW frequency, 2.45 GHz. An indirect verification of simulated temporal evolution of hot electron temperature and plasma density with the experiment, is done under similar configuration and operating environment. The experimental results are found to be agreed reasonably well with the simulation in the low power range.


title: Residual-type A Posteriori Estimators for a Singularly Perturbed Reaction-Diffusion Variational Inequality -- Reliability, Efficiency and Robustness

abstract: We derive a new residual-type a posteriori estimator for a singularly perturbed reaction-diffusion problem with obstacle constraints. It generalizes robust residual estimators for unconstrained singularly perturbed equations. Upper and lower bounds are derived with respect to an error notion which measures the error of the solution and of a suitable approximation of the constraining force in a $\epsilon$-dependent energy norm and its dual norm. While the robust upper bound is proven for non-discrete obstacle function, the local lower bounds are derived for discrete obstacle functions. For the proof of the local lower bounds we construct special bubble functions which cope with the structure of the approximation of the constraining force and the $\epsilon$-dependency.


title: Recent developments in small-x resummation

abstract: There has been a revived interest in small-x resummation in recent times. The main motivation was its success in describing small-x HERA data without the inclusion of non-perturbative corrections. In this contribution I will review the recent developments in the field.


title: A neutron tomography study: probing the spontaneous crystallization of randomly packed granular assemblies

abstract: We study the spontaneous crystallization of an assembly of highly monodisperse steel spheres under shaking, as it evolves from localized icosahedral ordering towards a packing reaching crystalline ordering. Towards this end, real space neutron tomography measurements on the granular assembly are carried out, as it is systematically subjected to a variation of frequency and amplitude. As expected, we see a presence of localized icosahedral ordering in the disordered initial state (packing fraction around 0.62). As the frequency is increased for both the shaking amplitudes (0.2 and 0.6 mm) studied here, there is a rise in packing fraction, accompanied by an evolution to crystallinity. The extent of crystallinity is found to depend on both the amplitude and frequency of shaking. We find that the icosahedral ordering remains localized and its extent does not grow significantly, while the crystalline ordering grows rapidly as an ordering transition point is approached. In the ordered state, crystalline clusters of both face centered cubic (FCC) and hexagonal close packed (HCP) types are identified, the latter of which grows from stacking faults. Our study shows that an earlier domination of FCC gives way to HCP ordering at higher shaking frequencies, suggesting that despite their coexistence, there is a subtle dynamical competition at play. This competition depends on both shaking amplitude and frequency, as our results as well as those of earlier theoretical simulations demonstrate. It is likely that this involves the very small free energy difference between the two structures.


title: Quantum mechanics basis of quality control in hard metals

abstract: Non-destructive and reliable quality control methods are a key aspect to designing, developing and manufacturing new materials for industrial applications and new technologies. The measurement of the magnetic saturation is one of such methods and it is conventionally employed in the cemented carbides industry. We present a general quantum mechanics based relation between the magnetic saturation and the components of the binder phase of cemented carbides, which can be directly employed as a quality control. To illustrate our results, we calculate the magnetic saturation of a binder phase, 85Ni15Fe binary alloy, using ab-initio methods and compare the theoretical predictions to the magnetic saturation measurements. We also analyse interface and segregation effects on the magnetic saturation by studying the electronic structure of the binder phase. The excellent agreement between calculations and measurements demonstrates the applicability of our method to any binder phase. Since the magnetic saturation is employed to ensure the quality of cemented carbides, the present method allows us to explore new materials for alternative binder phases efficiently


title: Complete minors in graphs without sparse cuts

abstract: We show that if $G$ is a graph on $n$ vertices, with all degrees comparable to some $d = d(n)$, and without a sparse cut, for a suitably chosen notion of sparseness, then it contains a complete minor of order \[ \Omega\left( \sqrt{\frac{n d}{\log d}} \right). \] As a corollary we determine the order of a largest complete minor one can guarantee in $d$-regular graphs for which the second largest eigenvalue is bounded away from $d/2$, in $(d/n, o(d))$-jumbled graphs, and in random $d$-regular graphs, for almost all $d = d(n)$.


title: Helicoidal particles in turbulent flows with multi-scale helical injection

abstract: We present numerical and theoretical results concerning the properties of turbulent flows with strong multi-scale helical injection. We perform direct numerical simulations of the Navier-Stokes equations under a random helical stirring with power-law spectrum and with different intensities of energy and helicity injections. We show that there exists three different regimes where the forward energy and helicity inertial transfers are: (i) both leading with respect to the external injections, (ii) energy transfer is leading and helicity transfer is sub-leading and (iii) both are sub-leading and helicity is maximal at all scales. As a result, the cases (ii-iii) give flows with Kolmogorov-like inertial energy cascade and tuneable helicity transfers/contents. We further explore regime (iii) by studying its effect on the kinetics of point-like isotropic helicoids, particles whose dynamics is isotropic but breaks parity invariance. We investigate small-scale fractal clustering and preferential sampling of intense helical flow structures. Depending on their structural parameters, the isotropic helicoids either preferentially sample co-chiral or anti-chiral flow structures. We explain these findings in limiting cases in terms of what is known for spherical particles of different densities and degrees of inertia. Furthermore, we present theoretical and numerical results for a stochastic model where dynamical properties can be calculated using analytical perturbation theory. Our study shows that a suitable tuning of the stirring mechanism can strongly modify the small-scale turbulent helical properties and demonstrates that isotropic helicoids are the simplest particles able to preferentially sense helical properties in turbulence.


title: Ibdxnet: Leveraging InfiniBand in Highly Concurrent Java Applications

abstract: In this report, we describe the design and implementation of Ibdxnet, a low-latency and high-throughput transport providing the benefits of InfiniBand networks to Java applications. Ibdxnet is part of the Java-based DXNet library, a highly concurrent and simple to use messaging stack with transparent serialization of messaging objects and focus on very small messages (< 64 bytes). Ibdxnet implements the transport interface of DXNet in Java and a custom C++ library in native space using JNI. Several optimizations in both spaces minimize context switching overhead between Java and C++ and are not burdening message latency or throughput. Communication is implemented using the messaging verbs of the ibverbs library complemented by an automatic connection management in the native library. We compared DXNet with the Ibdxnet transport to the MPI implementations FastMPJ and MVAPICH2. For small messages up to 64 bytes using multiple threads, DXNet with the Ibdxnet transport achieves a bi-directional message rate of 10 million messages per second and surpasses FastMPJ by a factor of 4 and MVAPICH by a factor of 2. Furthermore, DXNet scales well on a high load all-to-all communication with up to 8 nodes achieving a total aggregated message rate of 43.4 million messages per second for small messages and a throughput saturation of 33.6 GB/s with only 2 kb message size.


title: Large gap asymptotics for Airy kernel determinants with discontinuities

abstract: We obtain large gap asymptotics for Airy kernel Fredholm determinants with any number $m$ of discontinuities. These $m$-point determinants are generating functions for the Airy point process and encode probabilistic information about eigenvalues near soft edges in random matrix ensembles. Our main result is that the $m$-point determinants can be expressed asymptotically as the product of $m$ $1$-point determinants, multiplied by an explicit constant pre-factor which can be interpreted in terms of the covariance of the counting function of the process.


title: Training Competitive Binary Neural Networks from Scratch

abstract: Convolutional neural networks have achieved astonishing results in different application areas. Various methods that allow us to use these models on mobile and embedded devices have been proposed. Especially binary neural networks are a promising approach for devices with low computational power. However, training accurate binary models from scratch remains a challenge. Previous work often uses prior knowledge from full-precision models and complex training strategies. In our work, we focus on increasing the performance of binary neural networks without such prior knowledge and a much simpler training strategy. In our experiments we show that we are able to achieve state-of-the-art results on standard benchmark datasets. Further, to the best of our knowledge, we are the first to successfully adopt a network architecture with dense connections for binary networks, which lets us improve the state-of-the-art even further.


title: Managing uncertainty in data-derived densities to accelerate density functional theory

abstract: Faithful representations of atomic environments and general models for regression can be harnessed to learn electron densities that are close to the ground state. One of the applications of data-derived electron densities is to orbital-free density functional theory. However, extrapolations of densities learned from a training set to dissimilar structures could result in inaccurate results, which would limit the applicability of the method. Here, we show that a non-Bayesian approach can produce estimates of uncertainty which can successfully distinguish accurate from inaccurate predictions of electron density. We apply our approach to density functional theory where we initialise calculations with data-derived densities only when we are confident about their quality. This results in a guaranteed acceleration to self-consistency for configurations that are similar to those seen during training and could be useful for sampling based methods, where previous ground state densities cannot be used to initialise subsequent calculations.


title: Unsupervised Feature Learning Architecture with Multi-clustering Integration RBM

abstract: In this paper, we present a novel unsupervised feature learning architecture, which consists of a multi-clustering integration module and a variant of RBM termed multi-clustering integration RBM (MIRBM). In the multi-clustering integration module, we apply three unsupervised K-means, affinity propagation and spectral clustering algorithms to obtain three different clustering partitions (CPs) without any background knowledge or label. Then, an unanimous voting strategy is used to generate a local clustering partition (LCP). The novel MIRBM model is a core feature encoding part of the proposed unsupervised feature learning architecture. The novelty of it is that the LCP as an unsupervised guidance is integrated into one step contrastive divergence (CD1) learning to guide the distribution of the hidden layer features. For the instance in the same LCP cluster, the hidden and reconstructed hidden layer features of the MIRBM model in the proposed architecture tend to constrict together in the training process. Meanwhile, each LCP center tends to disperse from each other as much as possible in the hidden and reconstructed hidden layer during training. The experiments demonstrate that the proposed unsupervised feature learning architecture has more powerful feature representation and generalization capability than the state-of-the-art graph regularized RBM (GraphRBM) for clustering tasks in the Microsoft Research Asia Multimedia (MSRA-MM)2.0 dataset.


title: Certification of continuous-variable gates using average channel-fidelity witnesses

abstract: We introduce witnesses for the average channel fidelity between a known target gate and an arbitrary unknown channel, for continuous-variable (CV) systems. These are observables whose expectation value yields a tight lower bound to the average channel fidelity in question, thus constituting a practical tool for certification of experimental CV gates. Our framework applies to a broad class of target gates. Here, we focus on three specific types of targets: multi-mode Gaussian unitary channels, single-mode coherent state amplifiers, and the single-mode (non-Gaussian) cubic phase gate, which is a crucial ingredient for CV universal quantum computation. Our witnesses are experimentally-friendly as they rely exclusively on Gaussian measurements, even for the non-Gaussian-target case. Moreover, in all three cases, they can be measured efficiently in the estimation error $\epsilon$ and failure probability $\Delta$, as well as in the number of modes $m$ for the Gaussian-target case. To end up with, our approach for the Gaussian-target case relies on an improved measurement scheme for Gaussian state-fidelity witnesses, which is polynomially and exponentially more efficient in $m$ and $\Delta$, respectively, than previous schemes. The latter constitutes an interesting byproduct result on its own. Our findings are relevant to the experimental validation of many-body quantum technologies.


title: Summarizing Videos with Attention

abstract: In this work we propose a novel method for supervised, keyshots based video summarization by applying a conceptually simple and computationally efficient soft, self-attention mechanism. Current state of the art methods leverage bi-directional recurrent networks such as BiLSTM combined with attention. These networks are complex to implement and computationally demanding compared to fully connected networks. To that end we propose a simple, self-attention based network for video summarization which performs the entire sequence to sequence transformation in a single feed forward pass and single backward pass during training. Our method sets a new state of the art results on two benchmarks TvSum and SumMe, commonly used in this domain.


title: Ab-initio quantum transport simulation of self-heating in single-layer 2-D materials

abstract: Through advanced quantum mechanical simulations combining electron and phonon transport from first-principles self-heating effects are investigated in n-type transistors with a single-layer MoS2, WS2, and black phosphorus as channel materials. The selected 2-D crystals all exhibit different phonon-limited mobility values, as well as electron and phonon properties, which has a direct influence on the increase of their lattice temperature and on the power dissipated inside their channel as a function of the applied gate voltage and electrical current magnitude. This computational study reveals (i) that self-heating plays a much more important role in 2-D materials than in Si nanowires, (ii) that it could severely limit the performance of 2-D devices at high current densities, and (iii) that black phosphorus appears less sensitive to this phenomenon than transition metal dichalcogenides.


title: Structure theorem for generalized corner rings

abstract: We apply recent results on the rank of elements of rings to study the structure of generalized corner rings $aRa$, where $R$ is a unital ring and $a$ an element of $R$. We give a complete description of the structure of $aRa$ when $a^2$ has finite rank and provide an example to show that this assumption is necessary and optimal.


title: Bridging between Load-Flow and Kuramoto-like Power Grid Models: A Flexible Approach to Integrating Electrical Storage Units

abstract: In future power systems, electrical storage will be the key technology for balancing feed-in fluctuations. With increasing share of renewables and reduction of system inertia, the focus of research expands towards short-term grid dynamics and collective phenomena. Against this backdrop, Kuramoto-like power grids have been established as a sound mathematical modeling framework bridging between the simplified models from nonlinear dynamics and the more detailed models used in electrical engineering. However, they have a blind spot concerning grid components, which cannot be modeled by oscillator equations, and hence do not allow to investigate storage-related issues from scratch. We remove this shortcoming by bringing together Kuramoto-like and algebraic load-flow equations. This is a substantial extension of the current Kuramoto framework with arbitrary grid components. Based on this concept, we provide a solid starting point for the integration of flexible storage units enabling to address current problems like smart storage control, optimal siting and rough cost estimations. For demonstration purpose, we here consider a wind power application with realistic feed-in conditions. We show how to implement basic control strategies from electrical engineering, give insights into their potential with respect to frequency quality improvement and point out their limitations by maximum capacity and finite-time response.


title: VideoMem: Constructing, Analyzing, Predicting Short-term and Long-term Video Memorability

abstract: Humans share a strong tendency to memorize/forget some of the visual information they encounter. This paper focuses on providing computational models for the prediction of the intrinsic memorability of visual content. To address this new challenge, we introduce a large scale dataset (VideoMem) composed of 10,000 videos annotated with memorability scores. In contrast to previous work on image memorability -- where memorability was measured a few minutes after memorization -- memory performance is measured twice: a few minutes after memorization and again 24-72 hours later. Hence, the dataset comes with short-term and long-term memorability annotations. After an in-depth analysis of the dataset, we investigate several deep neural network based models for the prediction of video memorability. Our best model using a ranking loss achieves a Spearman's rank correlation of 0.494 for short-term memorability prediction, while our proposed model with attention mechanism provides insights of what makes a content memorable. The VideoMem dataset with pre-extracted features is publicly available.


title: Geometrical Unification of Gravitation and Electromagnetism

abstract: A theory which achieves a complete geometrical unification of gravitation and electromagnetism (GUGE) is presented. This new theory is based on a recent proposal of proper time redefinition that leads to the construction of a Riemann metric, which naturally unifies gravity and electromagnetism. The 5--dimensional Riemann metric which arises looks exactly the same as the one postulated in the Kaluza-Klein (KK) 5-dimensional theory. Nevertheless, there are deep differences between GUGE and KK. The GUGE metric is deduced while the KK metric is postulated. In the GUGE field theory there is no need to impose either of the so called "cylinder" or "curling of coordinates" conditions, because they emerge as direct consequences of the construction of the GUGE metric. The GUGE field equations are fully equivalent to Einstein--Maxwell equations, while KK field equations are not. The GUGE 5--dimensional (geodesic) equations are equivalent to the 4--dimensional (non--geodesic) equations for a charged particle moving in the presence of gravitational and electromagnetic fields, unlike the KK 5--dimensional (geodesic) equations which are not and, in addition, yield non--gauge covariant geodesic equations. No extra scalar field appears in GUGE. The physical interpretation of the fifth dimension and of the role of the extra field in KK (internal coordinate in GUGE) are totally different in both approaches. Finally, GUGE results include electric charge conservation, electric charge quantization and electric charge contribution to the energy of charged particles even in the absence of electromagnetic fields, which implies (the observed fact) that there are no massless electrically charged particles in Nature, unlike the prevailing treatments of KK theories.


title: Dynamical system analysis of Einstein-Skyrme model in a Kantowski-Sachs spacetime

abstract: We consider a Skyrme fluid with a constant radial profile in locally rotational Kantowski-Sachs spacetime. We choose a suitable change of variable so that the Field equations modified to an autonomous system. Then we finds the critical points and inspect the stability of them. Finally, the flow on the Poincar{\'{e}} sphere is shown and consequently the behavior at infinity is determined. To analyze the non-hyperbolic critical points Center Manifold Theory has been used. Possible bifurcation scenarios also have been explained.


title: Dynamics of spin and density fluctuations in strongly interacting few-body systems

abstract: The decoupling of spin and density dynamics is a remarkable feature of quantum one-dimensional many-body systems. In a few-body regime, however, little is known about this phenomenon. To address this problem, we study the time evolution of a small system of strongly interacting fermions after a sudden change in the trapping geometry. We show that, even at the few-body level, the excitation spectrum of this system presents separate signatures of spin and density dynamics. Moreover, we describe the effect of considering additional internal states with SU(N) symmetry, which ultimately leads to the vanishing of spin excitations in a completely balanced system.


title: Spectral Properties and Quantum Phase Transitions in Superconducting Junctions with a Ferromagnetic Link

abstract: We study theoretically the spectral and transport properties of a superconducting wire with a magnetic defect. We start by modelling the system as a one dimensional magnetic Josephson junction and derive the equation determining the full subgap spectrum in terms of the normal-state transfer matrix for arbitrary length and exchange field of the magnetic region. We demonstrate that the quantum phase transition predicted for a short-range magnetic impurity, and associated with a change of the total spin of the system, also occurs in junctions of finite length. Specifically, we find that the total spin changes discontinuously by integer jumps when bounds states cross the Fermi level. The spin can be calculated by using a generalization of Friedel sum rule for the superconducting state, which we also derive. With these tools, we analyze the subgap spectrum of a junction with the length of the magnetic region smaller than the superconducting coherence length and demonstrate how phase transitions also manifest as change of the sign of the supercurrent.


title: Completing the classification of representations of $\mathrm{SL}_n$ with complete intersection invariant ring

abstract: We present a full list of all representations of the special linear group $\mathrm{SL}_n$ over the complex numbers with complete intersection invariant ring, completing the classification of Shmelkin. For this task, we combine three techniques. Firstly, the graph method for invariants of $\mathrm{SL}_n$ developed by the author to compute invariants, covariants and explicit forms of syzygies. Secondly, a new algorithm for finding a monomial order such that a certain basis of an ideal is a Gr\"obner basis with respect to this order, inbetween usual Gr\"obner basis computation and computation of the Gr\"obner fan. Lastly, a modification of an algorithm by Xin for MacMahon partition analysis to compute Hilbert series.


title: On the geometry of trans-para-Sasakian manifolds

abstract: In this paper, we introduce the trans-para-Sasakian manifolds and we study their geometry. These manifolds are an analogue of the trans-Sasakian manifolds in the Riemannian geometry. We shall investigate many curvature properties of these manifolds and we shall give many conditions under which the manifolds are either $\eta-$Einstein or Einstein manifolds.


title: Born - Infeld-type modified gravity

abstract: We propose and investigate the modified Born$-$Infeld-type gravity model with the function $F(R) = [1-(1-\beta R/\sigma)^\sigma]/\beta$. At different values of the dimensionless parameter $\sigma$ the action is converted into some models including general relativity ($\sigma=1$), the Starobinsky model ($\sigma=2$), the exponential model of gravity ($\sigma=\infty$), and a model proposed in [9], [10] ($\sigma=0.5$). A bound on the parameters, $\beta(1-\sigma)/\sigma\leq 2\times 10^{-6}$ cm$^2$, are due to local tests. The constant curvature solutions are obtained, and we found the potential, and the mass of the scalaron in the Einstein frame. The model describes the inflation of the universe. The de Sitter spacetime is unstable and a Minkovsky spacetime is stable. We investigate the cosmological parameters and some critical points of autonomous equations.


title: On Products of Shifts in Arbitrary Fields

abstract: We adapt the approach of Rudnev, Shakan, and Shkredov to prove that in an arbitrary field $\mathbb{F}$, for all $A \subset \mathbb{F}$ finite with $|A| < p^{1/4}$ if $p:= Char(\mathbb{F})$ is positive, we have $$|A(A+1)| \gtrsim |A|^{11/9}, \qquad |AA| + |(A+1)(A+1)| \gtrsim |A|^{11/9}.$$ This improves upon the exponent of $6/5$ given by an incidence theorem of Stevens and de Zeeuw.


title: On the Probabilistic Degree of OR over the Reals

abstract: We study the probabilistic degree over reals of the OR function on $n$ variables. For an error parameter $\epsilon$ in (0,1/3), the $\epsilon$-error probabilistic degree of any Boolean function $f$ over reals is the smallest non-negative integer $d$ such that the following holds: there exists a distribution $D$ of polynomials entirely supported on polynomials of degree at most $d$ such that for all $z \in \{0,1\}^n$, we have $Pr_{P \sim D} [P(z) = f(z) ] \geq 1- \epsilon$. It is known from the works of Tarui ({Theoret. Comput. Sci.} 1993) and Beigel, Reingold, and Spielman ({ Proc. 6th CCC} 1991), that the $\epsilon$-error probabilistic degree of the OR function is at most $O(\log n.\log 1/\epsilon)$. Our first observation is that this can be improved to $O{\log {{n}\choose{\leq \log 1/\epsilon}}}$, which is better for small values of $\epsilon$. In all known constructions of probabilistic polynomials for the OR function (including the above improvement), the polynomials $P$ in the support of the distribution $D$ have the following special structure:$P = 1 - (1-L_1).(1-L_2)...(1-L_t)$, where each $L_i(x_1,..., x_n)$ is a linear form in the variables $x_1,...,x_n$, i.e., the polynomial $1-P(x_1,...,x_n)$ is a product of affine forms. We show that the $\epsilon$-error probabilistic degree of OR when restricted to polynomials of the above form is $\Omega ( \log a/\log^2 a )$ where $a = \log {{n}\choose{\leq \log 1/\epsilon}}$. Thus matching the above upper bound (up to poly-logarithmic factors).


title: Charged fermions tunneling from stationary axially symmetric black holes with generalized uncertainty principle

abstract: In this paper, we study the tunneling of charged fermions from the stationary axially symmetric black holes using the generalized uncertainty principle (GUP) via Wentzel, Kramers, and Brillouin (WKB) method. The emission rate of the charged fermions and corresponding modified Hawking temperature of Ker-Newman black hole, Einstein-Maxwell-Dilaton-Axion (EMDA) black hole, Kaluza-Klein dilaton black hole, and then, charged rotating black string are obtained and we show that the corrected thermal spectrum is not purely thermal because of the minimal scale length which cause the black hole's remnant.


title: On degenerate metrics, dark matter and unification

abstract: A five-dimensional theory of relativity is presented which suggests that gravitation and electromagnetism may be unified using a degenerate metric. There are four fields (in the four-dimensional sense): a tensor field, two vector fields and a scalar field, and they are unified with a combination of a gauge-like invariance and a reflection symmetry which means that both vector fields are photons. The gauge-like invariance implies that the fifth dimension is not directly observable; it also implies that charge is a constant of motion. The scalar field is analogous to the Brans-Dicke scalar field, and the theory tends towards the Einstein-Maxwell theory in the limit as the coupling constant tends to infinity. As there is some scope for fields to vary in the fifth dimension it is possible for the photons to have wave behaviour in the fifth dimension. The wave behaviour has two effects: it gives the photons mass, and it prevents them from interacting directly with normal matter. These massive photons still act as a source of gravity, however, and therefore they are candidates for dark matter.


title: On the Vacua of General Relativity in the Backdrop of the Higgs VEV

abstract: The classical notion of manifold may be augmented to institute the algebras associated with the generators of the spinor and vector representations of the Lorentz group on two copies of the cotangent space. In the former case, this results in the emergence of a Dirac operator out of the vacuum of General Relativity. In the backdrop of the Higgs VEV, a volume form with such a dual character endows the augmented manifold with dark matter content as the simplest conceivable geometric structure that could emerge out of the unified vacuum.


title: Ultraviolet Complete Quantum Field Theory and Particle Model

abstract: An ultraviolet complete particle model is constructed for the observed particles of the standard model. The quantum field theory associates infinite derivative entire functions with propagators and vertices, which make quantum loops finite and maintain Poincar\'e invariance and unitarity of the model. The electroweak model $SU(2)\times U(1)$ group is treated as a broken symmetry group with non-vanishing experimentally determined boson and fermion masses. A spontaneous symmetry breaking of the vacuum by a scalar Higgs field is not invoked to restore boson and fermion masses to the initially massless $SU(2)\times U(1)$ Lagrangian of the standard model. The hierarchy naturalness problem of the Higgs boson mass is resolved and the model contains only experimentally observed masses and coupling constants. The model can predict a stable vacuum evolution. Experimental tests to distinguish the standard model from the alternative model are proposed. The finite quantum field theory can be extended to quantum gravity.


title: Electromagnetic Field Tapering in the High-Roughness Substrates Coated by a Thin Film of Manganese: A Lithography-Free Approach to Ultra-Broadband, Wide-Angle, UV to FIR Perfect Absorption

abstract: Metallic layers are known to be used for the suppression of wave transmission when their thickness is sufficiently higher than the skin depth of metal. If in addition to blocking the transmission, metallic layers have the feature of blocking the reflection, too, they would make perfect absorbers. In this work, we propose an experimental approach of using a single thin layer of Manganese (Mn) as both the transmission suppresser and the reflection suppresser. This approach leads to obtaining lithography-free ultra-broadband perfect absorption in an ultra-wide spectrum ranging from Ultraviolet (UV) to Far Infrared (FIR). The measured average absorption is approximately 99%. Such a promising result can be achieved by only coating a single Mn layer on high-roughness substrates that include random nano-pyramids on it. In other words, we do not need a stack of different materials and combinations of geometrical features. The high roughness is realized on a commercial Silicon wafer substrate by inductively coupled plasma (ICP) etching. The key to this ultra-wideband absorption is electromagnetic field tapering which exists due to the graded-index feature of the structure (known as moth-eye effect), along with the ideal optical properties of Mn which makes it an excellent metal for broadband absorption applications. A full experimental characterization of the fabricated samples is presented along with the physical analysis of the phenomena. The findings of this paper can be used for the realization of lithography-free, cost-effective and high-throughput mass production of broadband absorbers.


title: Fermion-boson symmetry and quantum field theory

abstract: The application of fermion-boson symmetry to the standard model leads to the following: first, there are three generations of scalar quarks and scalar leptons in addition to the known quarks and leptons, and, secondly, the divergences in the perturbation series for the standard model are reduced. In the light of experimental data from LEP, Tevatron Collider, and LHC, some consequences of these two statements taken together are discussed. A series of experiments are proposed to search for the scalar quarks and scalar leptons at the Large Hadron Collider. The first step in this search is to look for new fermions by analyzing events with a pair of oppositely changed leptons both with large transverse momenta. The scalar quarks and the scalar leptons are then searched for through their decays into these new fermions plus a known quark or lepton.


title: Automatic Segmentation of Choroid Layer in EDI OCT Images Using Graph Theory in Neutrosophic Space

abstract: The choroid is vascular tissue located underneath the retina and supplies oxygen to the outer retina; any damage to this tissue can be a precursor to retinal disease. Choroid is almost invisible in Enhanced Depth Imaging Optical Coherence Tomography (EDI-OCT) images and it is hard for an ophthalmologist to detect this layer manually. This paper presents an automatic method of choroidal segmentation from EDI-OCT images in neutrosophic space. In neutrosophic approach for image processing, extracting any information from an image and applying any process on it, is modeled by three sets including true, false, and indeterminacy sets. At first, we transform each image to the neutrosophic space; then, we calculate weights between each two nodes and apply the Dijkstra algorithm in order to detect Retinal Pigment Epithelium (RPE) layer. Based on RPE localization and applying gamma correction and homomorphic filter to false set, we segment choroid layer by similar approach used for RPE. The proposed algorithm is tested on 32 EDI OCT images of Heidelberg 3D OCT Spectralis from 11 people and is compared with manual segmentation. The results showed an unsigned error of 3.34 pixels (12.9 Micrometer) for macular images and 6.55 pixels (25.3 Micrometer) for prepapillary images; which macular error is lower than two other methods (7.71 pixels and 9.79 pixels). Furthermore, the proposed method on prepapillary data is novel and published works are concentrated on macular data. Identification of the boundary can help to determine the loss or change of choroid, which can be used as features for automatic determination of the retinal diseases.


title: On gravitational wave modes in Nash theory of gravity

abstract: In this Letter, we consider original Nash theory of gravity. In terms of the scalar fields representation, Nash gravity is equivalent to the action of bi-scalar tensor gravity with four derivative terms of metric tensor. We then quantify the ghost in the theory. In order to study the gravitational wave modes of the theory, we perform a small perturbation over a fixed Minkowski background. We discover the standard wave equation and obtain the solutions as those of the standard general relativity. In order to satisfy the GR in the weak field limit, we further modify the original Nash theory by adding the Einstein-Hibert term called modified Nash gravity. In this theory, we once study the gravitational wave modes. We derive equations of motion and examine the solutions. We discover the two-mode solutions: the massless graviton and the massive one. Using a uniform prior probability on the graviton mass, we can constrain mass parameter.


title: Measuring the topological phase transition via the single-particle density matrix

abstract: We discuss the topological phase transition of the spin-$\frac{1}{2}$ fermionic Haldane model with repulsive on-site interaction. We show that the Berry curvature of the topological Hamiltonian, the first Chern number, and the topological phase transition point can be extracted from the single-particle density matrix for this interacting system. Furthermore, we design a tomography scheme for the single-particle density matrix of interacting fermionic two-band models in experimental realizations with cold atoms in optical lattices.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el quant-ph


title: The Finslerian quantum cosmology

abstract: We present a Friedmann-Robertson-Walker (FRW) quantum cosmological model within the framework of Finslerian geometry. In this work, we consider a specific fluid. We obtain the corresponding Wheeler-DeWitt equation as the usual constraint equation as well as Schr\"odinger equation following Dirac, although the approaches yields the same equation of time independent equation for the wave function of the universe. We provide exact classical and quantum mechanical solutions. We use the eigenfunctions to study the time evolution of the expectation value of the scale factor. Finally we discuss the physical meaning of the results.


title: Holographic Dark Energy and Quantum Entanglement

abstract: In this paper, we briefly review the holographic dark energy model and introduce the idea that dark energy is a kind of thermal energy related to the quantum entanglement of the vacuum across a cosmic future event horizon. The holographic dark energy model comes from a theoretical attempt to apply the holographic principle to the dark energy problem and follows the idea that the short distance cut-off or ultraviolet (UV) cut-off is related to the long distance cut-off or infrared (IR) cut-off. The IR cut-off relevant to dark energy is the size of the future event horizon. This model gives a holographic dark energy comparable to the observational data. Though this model is in good agreement with observational data, some problems (non-locality, circular logic, causality problem, $\it etc.$) exist due to the use of the future event horizon as a present IR cut-off. These problems of the holographic dark energy model are considerably resolved using action principle and equations of motion. Finally, we discuss the relation between quantum entanglement and dark energy which is connected to the more fundamental relation between entanglement and gravity.


title: Investigating two heavy neutral leptons neutrino seesaw mechanism at SHiP

abstract: One of the main purposes of SHiP experiment is to shed light on neutrino mass generation mechanisms like the so-called seesaw. We consider a minimal type-I seesaw neutrino mass mechanism model with two heavy neutral leptons (right-handed or sterile neutrinos) with arbitrary masses. Extremely high active-sterile mixing angle requires a correlation between the phases of the Dirac neutrino couplings. Actual experimental limits on the half-life of neutrinoless double beta decay $0\nu\beta\beta$-rate on the active-sterile mixing angle are not significative for SHiP.


title: Deep Learning Model for Finding New Superconductors

abstract: Exploration of new superconductors still relies on the experience and intuition of experts and is largely a process of experimental trial and error. In one study, only 3% of the candidate materials showed superconductivity. Here, we report the first deep learning model for finding new superconductors. We introduced the method named "reading periodic table" which represented the periodic table in a way that allows deep learning to learn to read the periodic table and to learn the law of elements for the purpose of discovering novel superconductors that are outside the training data. It is recognized that it is difficult for deep learning to predict something outside the training data. Although we used only the chemical composition of materials as information, we obtained an $R^{2}$ value of 0.92 for predicting $T_\text{c}$ for materials in a database of superconductors. We also introduced the method named "garbage-in" to create synthetic data of non-superconductors that do not exist. Non-superconductors are not reported, but the data must be required for deep learning to distinguish between superconductors and non-superconductors. We obtained three remarkable results. The deep learning can predict superconductivity for a material with a precision of 62%, which shows the usefulness of the model; it found the recently discovered superconductor CaBi2 and another one Hf0.5Nb0.2V2Zr0.3, neither of which is in the superconductor database; and it found Fe-based high-temperature superconductors (discovered in 2008) from the training data before 2008. These results open the way for the discovery of new high-temperature superconductor families. The candidate materials list, data, and method are openly available from the link https://github.com/tomo835g/Deep-Learning-to-find-Superconductors.

categories: cs.LG cond-mat.mtrl-sci cond-mat.supr-con cs.CL physics.comp-ph


title: Cosmic ray transport and radiative processes in nuclei of starburst galaxies

abstract: The high rate of star formation and supernova explosions of starburst galaxies make them interesting sources of high energy radiation. Depending upon the level of turbulence present in their interstellar medium, the bulk of cosmic rays produced inside starburst galaxies may lose most of their energy before escaping, thereby making these sources behave as calorimeters, at least up to some maximum energy. Contrary to previous studies, here we investigate in detail the conditions under which cosmic ray confinement may be effective for electrons and nuclei and we study the implications of cosmic ray confinement in terms of multifrequency emission from starburst nuclei and production of high energy neutrinos. The general predictions are then specialized to three cases of active starbursts, namely M82, NGC253 and Arp220. Both primary and secondary electrons, as well as electron-positron pairs produced by gamma ray absorption inside starburst galaxies are taken into account. Electrons and positrons produced as secondary products of hadronic interactions are found to be responsible for most of the emission of leptonic origin. In particular, synchrotron emission of very high energy secondary electrons produces an extended emission of hard X-rays that represent a very interesting signature of hadronic process in starburst galaxies, potentially accessible to current and future observations in the X-ray band. A careful understanding of both the production and absorption of gamma rays in starburst galaxies is instrumental to the assessment of the role of these astrophysical sources as sources of high energy astrophysical neutrinos.


title: Characterizing the 2016 Russian IRA Influence Campaign

abstract: Until recently, social media were seen to promote democratic discourse on social and political issues. However, this powerful communication ecosystem has come under scrutiny for allowing hostile actors to exploit online discussions in an attempt to manipulate public opinion. A case in point is the ongoing U.S. Congress investigation of Russian interference in the 2016 U.S. election campaign, with Russia accused of, among other things, using trolls (malicious accounts created for the purpose of manipulation) and bots (automated accounts) to spread propaganda and politically biased information. In this study, we explore the effects of this manipulation campaign, taking a closer look at users who re-shared the posts produced on Twitter by the Russian troll accounts publicly disclosed by U.S. Congress investigation. We collected a dataset of 13 million election-related posts shared on Twitter in the year of 2016 by over a million distinct users. This dataset includes accounts associated with the identified Russian trolls as well as users sharing posts in the same time period on a variety of topics around the 2016 elections. We use label propagation to infer the users' ideology based on the news sources they share. We are able to classify a large number of users as liberal or conservative with precision and recall above 84%. Conservative users who retweet Russian trolls produced significantly more tweets than liberal ones, about 8 times as many in terms of tweets. Additionally, trolls' position in the retweet network is stable over time, unlike users who retweet them who form the core of the election-related retweet network by the end of 2016. Using state-of-the-art bot detection techniques, we estimate that about 5% and 11% of liberal and conservative users are bots, respectively.


title: Dynamics of the Polyakov loops in QCD

abstract: A non-perturbative method of Field Correlators is applied to calculate the Polyakov loop dependence on temperature, $L(T)$, in the 2+1 flavor QCD with small quark masses, so the only relevant scale is the color-electric string tension $\sigma(T)$. Polyakov loop in the temperature range 100 MeV $\lesssim T\lesssim$ 400 MeV is expressed via the heavy-light meson mass that decreases with $T$ as $\sqrt{\sigma (T)}$. The latter is deduced from a gradually vanishing chiral condensate. The resulting $L(T)$ is in good agreement with recent lattice data.


title: Extended Uncertainty Principle Black Holes

abstract: An Extended Uncertainty Principle inspired Schwarzschild metric that allows for large scale modifications to gravitation is presented. At a new fundamental length scale $\Ls$, the usual black hole characteristics (horizon radius, ISCO, and photosphere) deviate from their general relativistic counterparts by an additional term proportional to $\frac{G^3M^3}{\Ls^2}$ for $\hbar=c=1$. If the scale is $\Ls\sim10^{13}$m, EUP modifications become relevant for black holes of mass $M \geq 10^{6}~M_\odot$. This would affect the characteristics of most known supermassive black holes, and thus presents a unique set of experimental signatures that could be tested by the Event Horizon Telescope and similar future collaborations. The Newtonian potential is similarly modified, and it is shown that for values of $\Ls$ in the range considered, the effect will emerge at about 1~kpc from the galactic center, coincident with the flattening of the Milky Way's rotation curve. This suggests that the EUP could contribute to dark matter effects.


title: ANAIS-112 sensitivity in the search for dark matter annual modulation

abstract: The annual modulation measured by the DAMA/LIBRA experiment can be explained by the interaction of dark matter WIMPs in NaI(Tl) scintillator detectors. Other experiments, with different targets or techniques, exclude the region of parameters singled out by DAMA/LIBRA, but the comparison of their results relies on several hypotheses regarding the dark matter model. ANAIS-112 is a dark matter search with 112.5 kg of NaI(Tl) scintillators at the Canfranc Underground Laboratory (LSC) to test the DAMA/LIBRA result in a model independent way. We analyze its prospects in terms of the a priori critical and detection limits of the experiment. A simple figure of merit has been obtained to compare the different experiments looking for the annual modulation observed by DAMA/LIBRA. We conclude that after 5 years of measurement, ANAIS-112 can detect the annual modulation in the 3$\sigma$ region compatible with the DAMA/LIBRA result.


title: Spin-imbalance-induced transverse magnetization in the Hofstadter-Hubbard model

abstract: The fermionic, time-reversal invariant Hofstadter-Hubbard model with a population difference between the two spin states is investigated. In the strongly interacting regime, where the system can be described by an effective spin model, we find an exotic spin structure by means of classical Monte-Carlo calculations. Remarkably, this spin structure exhibits a transverse net magnetization perpendicular to the magnetization induced by the population imbalance. It is thus inherently different from canted antiferromagnetism. We further investigate effects of quantum fluctuations within the dynamical mean-field approximation and obtain a rich phase diagram including ferromagnetic, anti-ferromagnetic, ferrimagnetic, and transverse magnetization phases.

categories: cond-mat.quant-gas cond-mat.mtrl-sci cond-mat.str-el physics.atom-ph quant-ph


title: Equation of state effects in core-collapse supernovae

abstract: We investigate the impact of different properties of the nuclear equation of state in core-collapse supernovae, with a focus on the proto-neutron-star contraction and its impact on the shock evolution. To this end, we introduce a range of equations of state that vary the nucleon effective mass, incompressibility, symmetry energy, and nuclear saturation point. This allows us to point to the different effects in changing these properties from the Lattimer and Swesty to the Shen et al. equations of state, the two most commonly used equations of state in simulations. In particular, we trace the contraction behavior to the effective mass, which determines the thermal nucleonic contributions to the equation of state. Larger effective masses lead to lower pressures at nuclear densities and a lower thermal index. This results in a more rapid contraction of the proto-neutron star and consequently higher neutrino energies, which aids the shock evolution to a faster explosion.


title: Thermoregulation in mice, rats and humans: An insight into the evolution of human hairlessness

abstract: The thermoregulation system in animals removes body heat in hot temperatures and retains body heat in cold temperatures. The better the animal removes heat, the worse the animal retains heat and visa versa. It is the balance between these two conflicting goals that determines the mammal's size, heart rate and amount of hair. The rat's loss of tail hair and human's loss of its body hair are responses to these conflicting thermoregulation needs as these animals evolved to larger size over time.


title: Differential-escort transformations and the monotonicity of the LMC-R\'enyi complexity measure

abstract: Escort distributions have been shown to be very useful in a great variety of fields ranging from information theory, nonextensive statistical mechanics till coding theory, chaos and multifractals. In this work we give the notion and the properties of a novel type of escort density, the differential-escort densities, which have various advantages with respect to the standard ones. We highlight the behavior of the differential Shannon, R\'enyi and Tsallis entropies of these distributions. Then, we illustrate their utility to prove the monotonicity property of the LMC-R\'enyi complexity measure and to study the behavior of general distributions in the two extreme cases of minimal and very high LMC-R\'enyi complexity. Finally, this transformation allows us to obtain the Tsallis q-exponential densities as the differential-escort transformation of the exponential density.


title: Ab-initio Theory of Photoionization via Resonances

abstract: We present an \emph{ab-initio} approach for computing the photoionization spectrum near autoionization resonances in multi-electron systems. While traditional (Hermitian) theories typically require computing the continuum states, which are difficult to obtain with high accuracy, our non-Hermitian approach requires only discrete bound and metastable states, which are accurately computed with advanced quantum chemistry tools. We derive a simple formula for the absorption lineshape near Fano resonances, which relates the asymmetry of the spectral peaks to the phase of the complex transition dipole moment. Additionally, we present a formula for the ionization spectrum of laser-driven targets and relate the `Autler-Townes' splitting of spectral lines to the existence of exceptional points in the Hamiltonian. We apply our formulas to compute the autoionization spectrum of helium, but our theory is also applicable for non-trivial multi-electron atoms and molecules.


title: Frequency-Dependent Template Profiles for High Precision Pulsar Timing

abstract: Pulsar timing experiments require high fidelity template profiles in order to minimize the biases in pulse time-of-arrival (TOA) measurements and their uncertainties. Efforts to acquire more precise TOAs given fixed effective area of telescopes, finite receiver noise, and limited integration time have led pulsar astronomers to the solution of implementing ultra-wideband receivers. This solution, however, has run up against the problem that pulse profile shapes evolve with frequency, which raises the question of how to properly measure and analyze TOAs obtained using template-matching methods. This paper proposes a new method for one facet of this problem, that of template profile generation, and demonstrates it on the well-timed millisecond pulsar J1713+0747. Specifically, we decompose pulse profile evolution into a linear combination of basis eigenvectors, the coefficients of which change slowly with frequency such that their evolution is modeled simply by a sum of low degree piecewise polynomial spline functions. These noise-free, high fidelity, frequency-dependent templates can be used to make measurements of so-called "wideband TOAs" simultaneously with an estimate of the instantaneous dispersion measure. The use of wideband TOAs is becoming important for pulsar timing array experiments, as the volume of datasets comprised of conventional, subbanded TOAs are quickly becoming unwieldly for the Bayesian analyses needed to uncover latent gravitational wave signals. Although motivated by high precision timing experiments, our technique is applicable in more general pulsar observations.


title: The influence of random pinning on the melting scenario of two-dimensional soft-disk systems

abstract: We present the results of a computer simulation study of the melting scenario of two-dimensional soft-disk systems with potential $U(r)=\varepsilon(\sigma/r)^n$, $n=12$ and $n=1024$, both in the presence of random pinning and without it. The melting parameters have been determined from analysis of the behavior of equations of state, correlation functions of the orientational and translational order parameters, Young modulus and renormalization group equations. The transition points obtained from these criteria are in good agreement. We have shown that the systems melted in two stages - first-order hexatic phase to liquid transition and the continuous Berezinskii-Kosterlitz-Thouless type crystal-hexatic phase transition. Random pinning widened the hexatic phase, but left the melting scenario unchanged.


title: Sculptures in Concurrency

abstract: We give a formalization of Pratt's intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture if it can be embedded in (i.e., sculpted from) a single higher dimensional cell (hypercube). A first important result of this paper is that not all HDA can be sculpted, exemplified through several natural acyclic HDA, one being the famous "broken box" example of van Glabbeek. Moreover, we show that even the natural operation of unfolding is completely unrelated to sculpting, e.g., there are sculptures whose unfoldings cannot be sculpted. We investigate the expressiveness of sculptures, as a proper subclass of HDA, by showing them to be equivalent to regular ST-structures (an event-based counterpart of HDA) and to (regular) Chu spaces over 3 (in their concurrent interpretation given by Pratt). We believe that our results shed new light on the intuitions behind sculpting as a method of modeling concurrent behavior, showing the precise reaches of its expressiveness. Besides expressiveness, we also develop an algorithm to decide whether an HDA can be sculpted. More importantly, we show that sculptures are equivalent to Euclidean cubical complexes (being the geometrical counterpart of our combinatorial definition), which include the popular PV models used for deadlock detection. This exposes a close connection between geometric and combinatorial models for concurrency which may be of use for both areas.


title: Research on the Security of Blockchain Data: A Survey

abstract: With the more and more extensive application of blockchain, blockchain security has been widely concerned by the society and deeply studied by scholars. Moreover, the security of blockchain data directly affects the security of various applications of blockchain. In this survey, we perform a comprehensive classification and summary of the security of blockchain data. First, we present classification of blockchain data attacks. Subsequently, we present the attacks and defenses of blockchain data in terms of privacy, availability, integrity and controllability. Data privacy attacks present data leakage or data obtained by attackers through analysis. Data availability attacks present abnormal or incorrect access to blockchain data. Data integrity attacks present blockchain data being tampered. Data controllability attacks present blockchain data accidentally manipulated by smart contract vulnerability. Finally, we present several important open research directions to identify follow-up studies in this area.


title: The Fermionic Signature Operator in the Exterior Schwarzschild Geometry

abstract: The structure of the solution space of the Dirac equation in the exterior Schwarzschild geometry is analyzed. Representing the space-time inner product for families of solutions with variable mass parameter in terms of the respective scalar products, a so-called mass decomposition is derived. This mass decomposition consists of a single mass integral involving the fermionic signature operator as well as a double integral which takes into account the flux of Dirac currents across the event horizon. The spectrum of the fermionic signature operator is computed. The corresponding generalized fermionic projector states are analyzed.


title: Tidal surface states as fingerprints of non-Hermitian nodal knot metals

abstract: Non-Hermitian nodal knot metals (NKMs) contains intricate complex-valued energy bands gives rise to knotted exceptional loops and new topological surface states. We introduce a formalism that connects the algebraic, geometric, and topological aspects of these surface states with their parent knots, and provide an optimized constructive ansatz for tight-binding models for non-Hermitian NKMs of arbitrary knot complexity and minimal hybridization range. Specifically, various representative non-Hermitian torus knots Hamiltonians are constructed in real-space, and their nodal topologies studied via winding numbers that avoid the explicit construction of generalized Brillouin zones. In particular, we identify the surface state boundaries as "tidal" intersections of the complex band structure in a marine landscape analogy. Beyond topological quantities based on Berry phases, we further find these tidal surface states to be intimately connected to the band vorticity and the layer structure of their dual Seifert surface, and as such provide a fingerprint for non-Hermitian NKMs.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other math-ph math.MP quant-ph


title: Construction of breather solutions for nonlinear Klein-Gordon equations on periodic metric graphs

abstract: The purpose of this paper is to construct small-amplitude breather solutions for a nonlinear Klein-Gordon equation posed on a periodic metric graph via spatial dynamics and center manifold reduction. The major difficulty occurs from the irregularity of the solutions. The persistence of the approximately constructed pulse solutions under higher order perturbations can be shown for two symmetric solutions.


title: Starspot activity of HD 199178. Doppler images from 1994--2017

abstract: Context. Studying the spots of late-type stars is crucial for distinguishing between the various proposed dynamo mechanisms believed to be the main cause of starspot activity. For this research it is important to collect observation time series that are long enough to unravel both long- and short-term spot evolution. Doppler imaging is a very efficient method for studying spots of stars that cannot be angularly resolved. Aims. High-resolution spectral observations during 1994-2017 are analysed in order to reveal long- and short-term changes in the spot activity of the FK Comae-type subgiant HD 199178. Methods. Most of the observations were collected with the Nordic Optical Telescope. The Doppler imaging temperature maps were calculated using an inversion technique based on Tikhonov regularisation and utilising multiple spectral lines. Results. We present a unique series of 41 temperature maps spanning more than 23 years. All reliable images show a large cool spot region centred near the visible rotation pole. Some lower latitude cool features are also recovered, although the reliability of these is questionable. There is an expected anti-correlation between the mean surface temperature and the spot coverage. Using the Doppler images, we construct the equivalent of a solar butterfly diagram for HD 199178. Conclusions. HD 199178 clearly has a long-term large and cool spot structure at the rotational pole. This spot structure dominated the spot activity during the years 1994-2017. The size and position of the structure has evolved with time, with a gradual increase during the last years. The lack of lower latitude features prevents the determination of a possible differential rotation.


title: Baryonic or quarkyonic matter?

abstract: During the last years it has become possible to address the cold and dense regime of QCD directly for sufficiently heavy quarks, where combined strong coupling and hopping expansions are convergent and a 3d effective theory can be derived, which allows to control the sign problem either in simulations or by fully analytic calculations. In this contribution we review the effective theory and study the $N_c$-dependence of the nuclear liquid gas transition, as well as the equation of state of baryonic matter in the strong coupling limit. We find the transition to become more strongly first order with growing $N_c$, suggesting that in the large $N_c$ limit its critical endpoint moves to high temperatures to connect with the deconfinement transition. Furthermore, to leading and next-to-leading order in the strong coupling and hopping expansions, respectively, the pressure is found to scale as $p\sim N_c$. This suggests that baryonic and quarkyonic matter might be the same at nuclear densities. Further work is needed to see whether this result is stable under gauge corrections.


title: Nonstandard approach to Hausdorff measure theory and an analysis of some sets of dimension less than $1$

abstract: We study various measure theories using the classical approach and then compute the Hausdorff dimension of some simple objects and self-similar fractals. We then develop a nonstandard approach to these measure theories and examine the Hausdorff measure in more detail. We choose to study Hausdorff measure over any other measures since it is well-defined for all sets, and widely used in many different areas in mathematics, physics, probability theory, and so forth. Finally we generate a particular set and compute its upper and lower Hausdorff dimension. We compare our set with box-counting dimension and other well-known fractal behaviors to analyze the set in a greater detail.


title: Equational Axiomatization of Algebras with Structure

abstract: This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered algebras, continuous algebras, quantitative algebras, nominal algebras, or profinite algebras. Our main contributions are a generic HSP theorem and a sound and complete equational logic, which are shown to encompass numerous flavors of equational axiomizations studied in the literature.


title: Oscillations in a white blood cell production model with multiple differentiation stages

abstract: In this work we prove occurrence of a super-critical Hopf bifurcation in a model of white blood cell formation structured by three maturation stages. We provide an explicit analytical expression for the bifurcation point depending on model parameters. The Hopf bifurcation is a unique feature of the multi-compartment structure as it does not exist in the corresponding two-compartment model. It appears for a parameter set different from the parameters identified for healthy hematopoiesis and requires changes in at least two cell properties. Model analysis allows identifying a range of biologically plausible parameter sets that can explain persistent oscillations of white blood cell counts observed in some hematopoietic diseases. Relating the identified parameter sets to recent experimental and clinical findings provides insights into the pathological mechanisms leading to oscillating blood cell counts.


title: A compact radiofrequency drive based on interdependent resonant circuits for precise control of ion traps

abstract: Paul traps are widely used to confine electrically charged particles like atomic and molecular ions by using an intense radiofrequency (RF) field, typically obtained by a voltage drop on capacitative electrodes placed in vacuum. We present a RF drive realized on a compact printed circuit board (PCB) and providing a high-voltage RF signal to a quadrupole Paul trap. The circuit is formed by four interdependent resonant circuits $-$ each of which connected to an electrode of a Paul trap $-$ fed by low-noise amplifiers, leading to an output voltage of peak-to-peak amplitude up to 200 V at 3.23 MHz. The presence of a single resonant circuit for each electrode ensures a strong control on the voltage drop on each electrode, e.g. by applying a DC field through a bias tee. Additionally, the moderate quality factor Q = 67 of the resonant circuits ensures a fast operation of the drive, which can be turned on and off in less than 10 $\mu$s. Finally, the RF lines are equipped with pick-ups that sample the RF in phase and amplitude, thus providing a signal that can be used to actively control the voltage drop at the trap's electrodes. Thanks to its features, this drive is particularly suited for experiments in which high trap stability and excellent micromotion compensation are required.


title: Dynamic Spatio-temporal Graph-based CNNs for Traffic Prediction

abstract: Forecasting future traffic flows from previous ones is a challenging problem because of their complex and dynamic nature of spatio-temporal structures. Most existing graph-based CNNs attempt to capture the static relations while largely neglecting the dynamics underlying sequential data. In this paper, we present dynamic spatio-temporal graph-based CNNs (DST-GCNNs) by learning expressive features to represent spatio-temporal structures and predict future traffic flows from surveillance video data. In particular, DST-GCNN is a two stream network. In the flow prediction stream, we present a novel graph-based spatio-temporal convolutional layer to extract features from a graph representation of traffic flows. Then several such layers are stacked together to predict future flows over time. Meanwhile, the relations between traffic flows in the graph are often time variant as the traffic condition changes over time. To capture the graph dynamics, we use the graph prediction stream to predict the dynamic graph structures, and the predicted structures are fed into the flow prediction stream. Experiments on real datasets demonstrate that the proposed model achieves competitive performances compared with the other state-of-the-art methods.


title: Classification of Enriques surfaces covered by the supersingular K3 surface with Artin invariant 1 in characteristic 2

abstract: We classifiy Enriques surfaces covered by the supersingular K3 surface with the Artin invariant 1 in characteristic 2. There are exactly three types of such Enriques surfaces.


title: Modeling Urban Taxi Services with e-hailings: A Queueing Network Approach

abstract: The rise of e-hailing taxis has significantly altered urban transportation and resulted in a competitive taxi market with both traditional street-hailing and e-hailing taxis. The new mobility services provide similar door-to-door rides as the traditional one and there is competition across these various services. In this study, we propose an innovative queueing network model for the competitive taxi market and capture the interactions not only within the taxi market but also between the taxi market and urban road system. An example is designed based on data from New York City. Numerical results show that the proposed modeling structure, together with the corresponding stationary limits, can capture dynamics within high demand areas using multiple data sources. Overall, this study shows how the queueing network approach can measure both the taxi and urban road system performance at an aggregate level. The model can be used to estimate not only the waiting/searching time during passenger-vehicle matching but also the delays in the urban road network. Furthermore, the model can be generalized to study the control and management of taxi markets.


title: Semiclassical asymptotics for nonselfadjoint harmonic oscillators

abstract: We consider nonselfadjoint perturbations of semiclassical harmonic oscillators. Under appropriate dynamical assumptions, we establish some spectral estimates such as upper bounds on the resolvent near the real axis when no geometric control condition is satisfied.


title: Correlation Clustering in Data Streams

abstract: Clustering is a fundamental tool for analyzing large data sets. A rich body of work has been devoted to designing data-stream algorithms for the relevant optimization problems such as $k$-center, $k$-median, and $k$-means. Such algorithms need to be both time and and space efficient. In this paper, we address the problem of correlation clustering in the dynamic data stream model. The stream consists of updates to the edge weights of a graph on $n$ nodes and the goal is to find a node-partition such that the end-points of negative-weight edges are typically in different clusters whereas the end-points of positive-weight edges are typically in the same cluster. We present polynomial-time, $O(n\cdot \ \mbox{polylog}~n)$-space approximation algorithms for natural problems that arise. We first develop data structures based on linear sketches that allow the "quality" of a given node-partition to be measured. We then combine these data structures with convex programming and sampling techniques to solve the relevant approximation problem. Unfortunately, the standard LP and SDP formulations are not obviously solvable in $O(n\cdot \mbox{polylog}~n)$-space. Our work presents space-efficient algorithms for the convex programming required, as well as approaches to reduce the adaptivity of the sampling.


title: Four-component relativistic range-separated density-functional theory: Short-range exchange local-density approximation

abstract: We lay out the extension of range-separated density-functional theory to a four-component relativistic frame-work using a Dirac-Coulomb-Breit Hamiltonian in the no-pair approximation. This formalism combines a wave-function method for the long-range part of the electron-electron interaction with a density(-current) functionalfor the short-range part of the interaction. We construct for this formalism a short-range exchange local-densityapproximation based on calculations on a relativistic homogeneous electron gas with a modified Coulomb-Breitelectron-electron interaction. More specifically, we provide the relativistic short-range Coulomb and Breit ex-change energies per particle of the relativistic homogeneous electron gas in the form of Pad e approximantswhich are systematically improvable to arbitrary accuracy. These quantities, as well as the associated effectiveCoulomb-Breit exchange hole, show the important impact of relativity on short-range exchange effects for highdensities.


title: Congestion management within a multi-service scheduling coordination scheme for large battery storage systems

abstract: There is a growing interest in the use of largescale battery storage systems for grid services. This technology has been deployed in several countries to increase transmission systems capabilities and reliability. In particular, large-scale battery storage systems could be used for congestion management and the French Transmission System Operator (RTE) is currently installing 3 large batteries for 2020 at the sub-transmission grid level for this purpose. The battery operation for congestion management does not require the full storage capacities at all times. Thus, the residual capacities can be offered to other services to increase batteries profitability. This paper presents the framework which will be used by RTE for battery operation scheduling to combine congestion management with other services by computing day-ahead bandwidths defining available storage capacities. The bandwidths represent safe domains for grid operation scheduling: as long as the battery operation is performed within these bandwidths, there will be no grid congestion or grid congestions will be managed.


title: The structure monoid and algebra of a non-degenerate set-theoretic solution of the Yang-Baxter equation

abstract: For a finite involutive non-degenerate solution $(X,r)$ of the Yang--Baxter equation it is known that the structure monoid $M(X,r)$ is a monoid of I-type, and the structure algebra $K[M(X,r)]$ over a field $K$ share many properties with commutative polynomial algebras, in particular, it is a Noetherian PI-domain that has finite Gelfand--Kirillov dimension. In this paper we deal with arbitrary finite (left) non-degenerate solutions. Although the structure of both the monoid $M(X,r)$ and the algebra $K[M(X,r)]$ is much more complicated than in the involutive case, we provide some deep insights. In this general context, using a realization of Lebed and Vendramin of $M(X,r)$ as a regular submonoid in the semidirect product $A(X,r)\rtimes\mathrm{Sym}(X)$, where $A(X,r)$ is the structure monoid of the rack solution associated to $(X,r)$, we prove that $K[M(X,r)]$ is a module finite normal extension of a commutative affine subalgebra. In particular, $K[M(X,r)]$ is a Noetherian PI-algebra of finite Gelfand--Kirillov dimension bounded by $|X|$. We also characterize, in ring-theoretical terms of $K[M(X,r)]$, when $(X,r)$ is an involutive solution. This characterization provides, in particular, a positive answer to the Gateva-Ivanova conjecture concerning cancellativity of $M(X,r)$. These results allow us to control the prime spectrum of the algebra $K[M(X,r)]$ and to describe the Jacobson radical and prime radical of $K[M(X,r)]$. Finally, we give a matrix-type representation of the algebra $K[M(X,r)]/P$ for each prime ideal $P$ of $K[M(X,r)]$. As a consequence, we show that if $K[M(X,r)]$ is semiprime then there exist finitely many finitely generated abelian-by-finite groups, $G_1,\dotsc,G_m$, each being the group of quotients of a cancellative subsemigroup of $M(X,r)$ such that the algebra $K[M(X,r)]$ embeds into $\mathrm{M}_{v_1}(K[G_1])\times\dotsb\times \mathrm{M}_{v_m}(K[G_m])$.