title: On Local Distributed Sampling and Counting

abstract: In classic distributed graph problems, each instance on a graph specifies a space of feasible solutions (e.g. all proper ($\Delta+1$)-list-colorings of the graph), and the task of distributed algorithm is to construct a feasible solution using local information. We study distributed sampling and counting problems, in which each instance specifies a joint distribution of feasible solutions. The task of distributed algorithm is to sample from this joint distribution, or to locally measure the volume of the probability space via the marginal probabilities. The latter task is also known as inference, which is a local counterpart of counting. For self-reducible classes of instances, the following equivalences are established in the LOCAL model up to polylogarithmic factors: $\bullet$ For all joint distributions, approximate inference and approximate sampling are computationally equivalent. $\bullet$ For all joint distributions defined by local constraints, exact sampling is reducible to either one of the above tasks. $\bullet$ If further, sequentially constructing a feasible solution is trivial locally, then all above tasks are easy if and only if the joint distribution exhibits strong spatial mixing. Combining with the state of the arts of strong spatial mixing, we obtain efficient sampling algorithms in the LOCAL model for various important sampling problems, including: an $O(\sqrt{\Delta}\log^3n)$-round algorithm for exact sampling matchings in graphs with maximum degree $\Delta$, and an $O(\log^3n)$-round algorithm for sampling according to the hardcore model (weighted independent sets) in the uniqueness regime, which along with the $\Omega(\mathrm{diam})$ lower bound in arXiv:1702.00142 for sampling according to the hardcore model in the non-uniqueness regime, gives the first computational phase transition for distributed sampling.


title: The role of intrinsic distances in the relaxation of $L^\infty$-functionals

abstract: We consider a supremal functional of the form $$F(u)=\mathop{\rm ess\: sup }_{x \in \Omega} f(x,Du(x))$$ where $\Omega\subseteq \mathbf {R}^N$ is a regular bounded open set, $u\in W^{1,\infty}(\Omega)$ and $f$ is a Borel function. Assuming that the intrinsic distances $d^{\lambda}_F(x,y):= \sup \Big\{ u(x) - u(y): \, F(u)\leq \lambda \Big\}$ are locally equivalent to the euclidean one for every $\lambda>\inf_{W^{1,\infty}(\Omega)} F$, we give a description of the sublevel sets of the weak$^*$-lower semicontinuous envelope of $F$ in terms of the sub-level sets of the difference quotient functionals $R_{d^\lambda_F}(u):=\sup_{x\not =y} \frac{u(x)-u(y)}{d^\lambda_F(x,y)}. $ As a consequence we prove that the relaxed functional of positive $1$-homogeneous supremal functionals coincides with $R_{d^1_F}$. Moreover, for a more general supremal functional $F$ (a priori non coercive), we prove that the sublevel sets of its relaxed functionals with respect to the weak$^*$ topology, the weak$^*$ convergence and the uniform convergence are convex. The proof of these results relies both on a deep analysis of the intrinsic distances associated to $F$ and on a careful use of variational tools such as $\Gamma$-convergence.


title: On the freeness of rational cuspidal plane curves

abstract: We bring additional support to the conjecture saying that a rational cuspidal plane curve is either free or nearly free. This conjecture was confirmed for curves of even degree, and in this note we prove it for many odd degrees. In particular, we show that this conjecture holds for the curves of degree at most 34.


title: Free energy landscape of sodium solvation into graphite

abstract: Na is known to deliver very low energy capacity for sodium intercalation compared to Lithium. In this study, we use quantum mechanics based metadynamics simulations to obtain the free energy landscape for sodium ion intercalation from Dimethyl sulfoxide (DMSO) solvent into graphite. We find that the lowest free energy minima from the metadynamics are associated with sodium solvated by 3 or 4 DMSO. The free energy minima of these states are activated by a free energy of solvation computed to be 0.17 eV, which in turn are the most thermodynamically stable. We observe weak interactions of sodium with graphite sheets during the unbiased and biased molecular dynamics simulations. Our simulations results indicate that solvent plays an important role in stabilizing the sodium intercalation into graphite through shielding of the sodium while modulating the interaction of the solvent with the graphite sheets. In order to facilitate this intercalation, we propose solvents with negatively charged groups and aromatic cores (e.g., cyclic ethers) that could allow a greater rate of anion exchange to increase Na+ mobility.


title: A Laplace Transform Method for Molecular Mass Distribution Calculation from Rheometric Data

abstract: Polydisperse linear polymer melts can be microscopically described by the tube model and fractal reptation dynamics, while on the macroscopic side the generalized Maxwell model is capable of correctly displaying most of the rheological behavior. In this paper, a Laplace transform method is derived and different macroscopic starting points for molecular mass distribution calculation are compared to a classical light scattering evaluation. The underlying assumptions comprise the modern understanding on polymer dynamics in entangled systems but can be stated in a mathematically generalized way. The resulting method is very easy to use due to its mathematical structure and it is capable of calculating multimodal molecular mass distributions of linear polymer melts.


title: Sponge-Based Control-Flow Protection for IoT Devices

abstract: Embedded devices in the Internet of Things (IoT) face a wide variety of security challenges. For example, software attackers perform code injection and code-reuse attacks on their remote interfaces, and physical access to IoT devices allows to tamper with code in memory, steal confidential Intellectual Property (IP), or mount fault attacks to manipulate a CPU's control flow. In this work, we present Sponge-based Control Flow Protection (SCFP). SCFP is a stateful, sponge-based scheme to ensure the confidentiality of software IP and its authentic execution on IoT devices. At compile time, SCFP encrypts and authenticates software with instruction-level granularity. During execution, an SCFP hardware extension between the CPU's fetch and decode stage continuously decrypts and authenticates instructions. Sponge-based authenticated encryption in SCFP yields fine-grained control-flow integrity and thus prevents code-reuse, code-injection, and fault attacks on the code and the control flow. In addition, SCFP withstands any modification of software in memory. For evaluation, we extended a RISC-V core with SCFP and fabricated a real System on Chip (SoC). The average overhead in code size and execution time of SCFP on this design is 19.8% and 9.1%, respectively, and thus meets the requirements of embedded IoT devices.


title: Complexity-weighted doses reduce biological uncertainty in proton radiotherapy planning

abstract: Purpose: Variations in proton Relative Biological Effectiveness (RBE) with Linear Energy Transfer (LET) remain one of the largest sources of uncertainty in proton radiotherapy. This work seeks to identify physics-based metrics which can be applied to reduce this biological uncertainty. Materials and Methods: Three different physical metrics - dose, dose $\times$ LET and a complexity-weighted dose (CWD, Dose $\times$ (1+$\kappa LET_D$) ) were compared with in vitro experimental studies of proton RBE and clinical treatment plans analysed using RBE models. The biological effects of protons in each system were plotted against these metrics to quantify the degree of biological uncertainty introduced by RBE variations in each case. Results: When the biological effects of protons were plotted against dose alone, significant biological uncertainty was introduced as the LET-dependence of RBE was neglected. Plotting biological effects against dose $\times$ LET significantly over-estimated the impact of LET on cell survival, leading to similar or greater levels of biological uncertainty. CWD, by contrast, significantly reduced biological uncertainties in both experiments and clinical plans. For prostate and medulloblastoma treatment plans, biological uncertainties were reduced from $\pm$ 5% to less than 1%. Conclusions: While not a replacement for full RBE models, physics-based metrics such as CWD have the potential to significantly reduce the uncertainties in proton planning which result from variations in RBE. These metrics may be used to identify regions in normal tissues which may see unexpectedly high effects due to end-of-range elevations of RBE, or as a tool in optimisation to deliver uniform biological effects.


title: Quench Dynamics of Finite Bosonic Ensembles in Optical Lattices with Spatially Modulated Interactions

abstract: The nonequilibrium quantum dynamics of few boson ensembles which experience a spatially modulated interaction strength and are confined in finite optical lattices is investigated. We utilize a cosinusoidal spatially modulated effective interaction strength which is characterized by its wavevector, inhomogeneity amplitude, interaction offset and a phase. Performing quenches either on the wavevector or the phase of the interaction profile an enhanced imbalance of the interatomic repulsion between distinct spatial regions of the lattice is induced. Following both quench protocols triggers various tunneling channels and a rich excitation dynamics consisting of a breathing and a cradle mode. All modes are shown to be amplified for increasing inhomogeneity amplitude of the interaction strength. Especially the phase quench induces a directional transport enabling us to discern energetically, otherwise, degenerate tunneling pathways. Moreover, a periodic population transfer between distinct momenta for quenches of increasing wavevector is observed, while a directed occupation of higher momenta can be achieved following a phase quench. Finally, during the evolution regions of partial coherence are revealed between the predominantly occupied wells.


title: Atiyah-Hirzebruch Spectral Sequence in Band Topology: General Formalism and Topological Invariants for 230 Space Groups

abstract: We study the Atiyah-Hirzebruch spectral sequence (AHSS) for equivariant K-theory in the context of band theory. Various notions in the band theory such as irreducible representations at high-symmetric points, the compatibility relation, topological gapless and singular points naturally fits into the AHSS. As an application of the AHSS, we get the complete list of topological invariants for 230 space groups without time-reversal or particle-hole invariance. We find that a lot of torsion topological invariants appear even for symmorphic space groups.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.supr-con hep-th


title: Structural diradical character

abstract: A reliable first-principles description of singlet diradical character is essential for predicting nonlinear optical and magnetic properties of molecules. Since diradical and closed-shell electronic structures differ in their distribution of single, double, triple and aromatic bonds, modeling electronic diradical character requires accurate bond-length patterns, in addition to accurate absolute bond lengths. We therefore introduce structural diradical character, which we suggest as an additional measure for comparing first-principles calculations with experimental data. We employ this measure to identify suitable exchange-correlation functionals for predicting the bond length patterns and electronic diradical character of a biscobaltocene with the potential for photoswitchable nonlinear optical activity. Out of four popular approximate exchange-correlation functionals with different exact-exchange admixtures (BP86, TPSS, B3LYP, TPSSh), the two hybrid functionals TPSSh and B3LYP perform best for diradical bond length patterns, with TPSSh being best for the organometallic validation systems and B3LYP for the organic ones. Still, none of the functionals is suitable for correctly describing relative bond lengths across the range of molecules studied, so that none can be recommended for predictive studies of (potential) diradicals without reservation.


title: Inducibility of Topological Trees

abstract: Trees without vertices of degree $2$ are sometimes named topological trees. In this work, we bring forward the study of the inducibility of (rooted) topological trees with a given number of leaves. The inducibility of a topological tree $S$ is the limit superior of the proportion of all subsets of leaves of $T$ that induce a copy of $S$ as the size of $T$ grows to infinity. In particular, this relaxes the degree-restriction for the existing notion of the inducibility in $d$-ary trees. We discuss some of the properties of this generalised concept and investigate its connection with the degree-restricted inducibility. In addition, we prove that stars and binary caterpillars are the only topological trees that have an inducibility of $1$. We also find an explicit lower bound on the limit inferior of the proportion of all subsets of leaves of $T$ that induce either a star or a binary caterpillar as the size of $T$ tends to infinity.


title: Twistor lines on algebraic surfaces

abstract: We give quantitative and qualitative results on the family of surfaces in $\mathbb{CP}^3$ containing finitely many twistor lines. We start by analyzing the ideal sheaf of a finite set of disjoint lines $E$. We prove that its general element is a smooth surface containing $E$ and no other line. Afterwards we prove that twistor lines are Zariski dense in the Grassmannian $Gr(2,4)$. Then, for any degree $d\ge 4$, we give lower bounds on the maximum number of twistor lines contained in a degree $d$ surface. The smooth and singular cases are studied as well as the $j$-invariant one.


title: Analysis of cause-effect inference by comparing regression errors

abstract: We address the problem of inferring the causal direction between two variables by comparing the least-squares errors of the predictions in both possible directions. Under the assumption of an independence between the function relating cause and effect, the conditional noise distribution, and the distribution of the cause, we show that the errors are smaller in causal direction if both variables are equally scaled and the causal relation is close to deterministic. Based on this, we provide an easily applicable algorithm that only requires a regression in both possible causal directions and a comparison of the errors. The performance of the algorithm is compared with various related causal inference methods in different artificial and real-world data sets.


title: The Complexity of Drawing a Graph in a Polygonal Region

abstract: We prove that the following problem is complete for the existential theory of the reals: Given a planar graph and a polygonal region, with some vertices of the graph assigned to points on the boundary of the region, place the remaining vertices to create a planar straight-line drawing of the graph inside the region. This strengthens an NP-hardness result by Patrignani on extending partial planar graph drawings. Our result is one of the first showing that a problem of drawing planar graphs with straight-line edges is hard for the existential theory of the reals. The complexity of the problem is open in the case of a simply connected region. We also show that, even for integer input coordinates, it is possible that drawing a graph in a polygonal region requires some vertices to be placed at irrational coordinates. By contrast, the coordinates are known to be bounded in the special case of a convex region, or for drawing a path in any polygonal region.


title: Cellular switches orchestrate rhythmic circuits

abstract: Small inhibitory neuronal circuits have long been identified as key neuronal motifs to generate and modulate the coexisting rhythms of various motor functions. Our paper highlights the role of a cellular switching mechanism to orchestrate such circuits. The cellular switch makes the circuits reconfigurable, robust, adaptable, and externally controllable. Without this cellular mechanism, the circuits rhythms entirely rely on specific tunings of the synaptic connectivity, which makes them rigid, fragile, and difficult to control externally. We illustrate those properties on the much studied architecture of a small network controlling both the pyloric and gastric rhythms of crabs. The cellular switch is provided by a slow negative conductance often neglected in mathematical modeling of central pattern generators. We propose that this conductance is simple to model and key to computational studies of rhythmic circuit neuromodulation.


title: An Adaptive Version of Brandes' Algorithm for Betweenness Centrality

abstract: Betweenness centrality---measuring how many shortest paths pass through a vertex---is one of the most important network analysis concepts for assessing the relative importance of a vertex. The well-known algorithm of Brandes [J. Math. Sociol.~'01] computes, on an $n$-vertex and $m$-edge graph, the betweenness centrality of all vertices in $O(nm)$ worst-case time. In later work, significant empirical speedups were achieved by preprocessing degree-one vertices and by graph partitioning based on cut vertices. We contribute an algorithmic treatment of degree-two vertices, which turns out to be much richer in mathematical structure than the case of degree-one vertices. Based on these three algorithmic ingredients, we provide a strengthened worst-case running time analysis for betweenness centrality algorithms. More specifically, we prove an adaptive running time bound $O(kn)$, where $k < m$ is the size of a minimum feedback edge set of the input graph.


title: Dielectric Properties of Metal-Organic Frameworks Probed via Synchrotron Infrared Reflectivity

abstract: We present the frequency-dependant (dynamic) dielectric response of a group of topical polycrystalline zeolitic imidazolate-based metal-organic framework (MOF) materials in the extended infrared spectral region. Using synchrotron-based FTIR spectroscopy in specular reflectance, in conjunction with density functional theory (DFT) calculations, we have revealed detailed structure-property trends linking the THz region dielectric response to framework porosity and structural density. The work demonstrates that MOFs are promising candidate materials not only for low-\k{appa} electronics applications but could also be pioneering for terahertz (THz) applications, such as next-generation broadband communications technologies.


title: Searching for new physics with three-particle correlations in $pp$ collisions at the LHC

abstract: New phenomena involving pseudorapidity and azimuthal correlations among final state particles in $pp$ collisions at the LHC can hint at the existence of hidden sectors beyond the Standard Model. In this paper we rely on a correlated-cluster picture of multiparticle production, which was shown to account for the ridge effect, to assess the effect of a hidden sector on three-particle correlations concluding that there is a potential signature of new physics that can be directly tested by experiments using well-known techniques.


title: Quantum simulation of lattice gauge theories using Wilson fermions

abstract: Quantum simulators have the exciting prospect of giving access to real-time dynamics of lattice gauge theories, in particular in regimes that are difficult to compute on classical computers. Future progress towards scalable quantum simulation of lattice gauge theories, however, hinges crucially on the efficient use of experimental resources. As we argue in this work, due to the fundamental non-uniqueness of discretizing the relativistic Dirac Hamiltonian, the lattice representation of gauge theories allows for an optimization that up to now has been left unexplored. We exemplify our discussion with lattice quantum electrodynamics in two-dimensional space-time, where we show that the formulation through Wilson fermions provides several advantages over the previously considered staggered fermions. Notably, it enables a strongly simplified optical lattice setup and it reduces the number of degrees of freedom required to simulate dynamical gauge fields. Exploiting the optimal representation, we propose an experiment based on a mixture of ultracold atoms trapped in a tilted optical lattice. Using numerical benchmark simulations, we demonstrate that a state-of-the-art quantum simulator may access the Schwinger mechanism and map out its non-perturbative onset.

categories: cond-mat.quant-gas hep-lat hep-ph quant-ph


title: Microdosimetry in ion-beam therapy: studying and comparing outcomes from different detectors

abstract: Experimental studies of microdosimetry in therapeutic ion beams have been performed using several detectors. The differences among them lie on the shapes, the site sizes, and the material. Coin-shaped solid-state detectors made of silicon or diamond with thickness varying from 0.3 to 10 microns, as well as proportional counters with spherical and cylindrical sensitive volumes filled with tissue-equivalent gas are the microdosimeters used in therapeutic proton and carbon-ion beams. One goal of microdosimetry in the clinical environment is providing repeatable specification of the radiation quality of the radiation field. A methodology should be developed to provide, independently from the heterogeneous information collected with the different detectors, a detector-independent specification of the radiation quality. Historically the specification of the radiation quality is provided either, in terms of Linear Energy Transfer (LET) or in terms of lineal energy, y. First this study focuses on identifying the correlation between the distributions of LET and the lineal energy spectra as well as the correspondence between their mean values calculated in frequency and in dose. The evaluation is based on the method of LET analysis described by Kellerer making the adaptation to the peculiarities of the therapeutic ion-beam where the pristine irradiation is unidirectional and made of a single type of mono-energetic ions. The second objective of this study is to interpret the spectrum collected by a slab and estimate what the spectrum would be if it was collected by a detector different in shape, material, or size. An example confirms the method starting from the simulated lineal energy spectrum obtained for carbon ions in a slab detector of graphite and converting it to the spectruma that would be obtained in the same radiation field for spherical, cylindrical, and slab detector made of water.


title: Integration of Carrier Aggregation and Dual Connectivity for the ns-3 mmWave Module

abstract: Thanks to the wide availability of bandwidth, the millimeter wave (mmWave) frequencies will provide very high data rates to mobile users in next generation 5G cellular networks. However, mmWave links suffer from high isotropic pathloss and blockage from common materials, and are subject to an intermittent channel quality. Therefore, protocols and solutions at different layers in the cellular network and the TCP/IP protocol stack have been proposed and studied. A valuable tool for the end-to-end performance analysis of mmWave cellular networks is the ns-3 mmWave module, which already models in detail the channel, Physical (PHY) and Medium Access Control (MAC) layers, and extends the Long Term Evolution (LTE) stack for the higher layers. In this paper we present an implementation for the ns-3 mmWave module of multi connectivity techniques for 3GPP New Radio (NR) at mmWave frequencies, namely Carrier Aggregation (CA) and Dual Connectivity (DC), and discuss how they can be integrated to increase the functionalities offered by the ns-3 mmWave module.


title: Formal deformation theory in left-proper model categories

abstract: We develop the notion of deformation of a morphism in a left-proper model category. As an application we provide a geometric/homotopic description of deformations of commutative (non-positively) graded differential algebras over a local DG-Artin ring.


title: Deep Echo State Networks for Diagnosis of Parkinson's Disease

abstract: In this paper, we introduce a novel approach for diagnosis of Parkinson's Disease (PD) based on deep Echo State Networks (ESNs). The identification of PD is performed by analyzing the whole time-series collected from a tablet device during the sketching of spiral tests, without the need for feature extraction and data preprocessing. We evaluated the proposed approach on a public dataset of spiral tests. The results of experimental analysis show that DeepESNs perform significantly better than shallow ESN model. Overall, the proposed approach obtains state-of-the-art results in the identification of PD on this kind of temporal data.


title: Cavity-enhanced spectroscopy of a few-ion ensemble in Eu3+:Y2O3

abstract: We report on the coupling of the emission from a single europium-doped nanocrystal to a fiber-based microcavity under cryogenic conditions. As a first step, we study the sample properties and observe a strong correlation between emission lifetime and brightness, as well as a lifetime reduction for nanocrystals embedded in a polymer film. This is explained by differences in the local density of states. We furthermore quantify the scattering loss of a nanocrystal inside the cavity and use this to deduce the crystal size. Finally, by resonantly coupling the cavity to a selected transition, we perform cavity-enhanced spectroscopy to measure the inhomogeneous linewidth, and detect the fluorescence from an ensemble of few ions in the regime of power broadening. We observe an increased fluorescence rate consistent with Purcell enhancement. The results represent an important step towards the efficient readout of single rare-earth ions with excellent optical and spin coherence properties, which is promising for applications in quantum communication and distributed quantum computation.


title: Discovering Effect Modification and Randomization Inference in Air Pollution Studies

abstract: Studies have shown that exposure to air pollution, even at low levels, significantly increases mortality. As regulatory actions are becoming prohibitively expensive, robust evidence to guide the development of targeted interventions to reduce air pollution exposure is needed. In this paper, we introduce a novel statistical method that splits the data into two subsamples: (a) Using the first subsample, we consider a data-driven search for $\textit{de novo}$ discovery of subgroups that could have exposure effects that differ from the population mean; and then (b) using the second subsample, we quantify evidence of effect modification among the subgroups with nonparametric randomization-based tests. We also develop a sensitivity analysis method to assess the robustness of the conclusions to unmeasured confounding bias. Via simulation studies and theoretical arguments, we demonstrate that since we discover the subgroups in the first subsample, hypothesis testing on the second subsample can focus on theses subgroups only, thus substantially increasing the statistical power of the test. We apply our method to the data of 1,612,414 Medicare beneficiaries in New England region in the United States for the period 2000 to 2006. We find that seniors aged between 81-85 with low income and seniors aged above 85 have statistically significant higher causal effects of exposure to PM$_{2.5}$ on 5-year mortality rate compared to the population mean.


title: Sensitivity analyses for average treatment effects when outcome is censored by death in instrumental variable models

abstract: Two problems that arise in making causal inferences for non-mortality outcomes such as bronchopulmonary dysplasia (BPD) are unmeasured confounding and censoring by death, i.e., the outcome is only observed when subjects survive. In randomized experiments with noncompliance, instrumental variable methods can be used to control for the unmeasured confounding without censoring by death. But when there is censoring by death, the average causal treatment effect cannot be identified under usual assumptions, but can be studied for a specific subpopulation by using sensitivity analysis with additional assumptions. However, in observational studies, evaluation of the local average treatment effect (LATE) in censoring by death problems with unmeasured confounding is not well studied. We develop a novel sensitivity analysis method based on instrumental variable models for studying the LATE. Specifically, we present the identification results under an additional assumption, and propose a three-step procedure for the LATE estimation. Also, we propose an improved two-step procedure by simultaneously estimating the instrument propensity score (i.e., the probability of instrument given covariates) and the parameters induced by the assumption. We have shown with simulation studies that the two-step procedure can be more robust and efficient than the three-step procedure. Finally, we apply our sensitivity analysis methods to a study of the effect of delivery at high-level neonatal intensive care units on the risk of BPD.


title: Multithreading for the expression-dag-based number type Real_algebraic

abstract: Many algorithms, especially in the field of computational geometry, are based on the premise that arithmetic operations are performed exactly. Real machines are based on inexact floating-point arithmetic. Various number types have been developed to close this gap by providing exact computation or ensuring exact decisions. In this report we describe the implementation of an extension to the exact-decisions number type Real_algebraic that enables us to take advantage of multiple processing units.


title: Disentangling 3D Pose in A Dendritic CNN for Unconstrained 2D Face Alignment

abstract: Heatmap regression has been used for landmark localization for quite a while now. Most of the methods use a very deep stack of bottleneck modules for heatmap classification stage, followed by heatmap regression to extract the keypoints. In this paper, we present a single dendritic CNN, termed as Pose Conditioned Dendritic Convolution Neural Network (PCD-CNN), where a classification network is followed by a second and modular classification network, trained in an end to end fashion to obtain accurate landmark points. Following a Bayesian formulation, we disentangle the 3D pose of a face image explicitly by conditioning the landmark estimation on pose, making it different from multi-tasking approaches. Extensive experimentation shows that conditioning on pose reduces the localization error by making it agnostic to face pose. The proposed model can be extended to yield variable number of landmark points and hence broadening its applicability to other datasets. Instead of increasing depth or width of the network, we train the CNN efficiently with Mask-Softmax Loss and hard sample mining to achieve upto $15\%$ reduction in error compared to state-of-the-art methods for extreme and medium pose face images from challenging datasets including AFLW, AFW, COFW and IBUG.


title: Identification and tunable optical coherent control of transition-metal spins in silicon carbide

abstract: Color centers in wide-bandgap semiconductors are attractive systems for quantum technologies since they can combine long-coherent electronic spin and bright optical properties. Several suitable centers have been identified, most famously the nitrogen-vacancy defect in diamond. However, integration in communication technology is hindered by the fact that their optical transitions lie outside telecom wavelength bands. Several transition-metal impurities in silicon carbide do emit at and near telecom wavelengths, but knowledge about their spin and optical properties is incomplete. We present all-optical identification and coherent control of molybdenum-impurity spins in silicon carbide with transitions at near-infrared wavelengths. Our results identify spin $S=1/2$ for both the electronic ground and excited state, with highly anisotropic spin properties that we apply for implementing optical control of ground-state spin coherence. Our results show optical lifetimes of $\sim$60 ns and inhomogeneous spin dephasing times of $\sim$0.3 $\mu$s, establishing relevance for quantum spin-photon interfacing.


title: Univariate and Bivariate Geometric Discrete Generalized Exponential Distributions

abstract: Marshall and Olkin (1997, Biometrika, 84, 641 - 652) introduced a very powerful method to introduce an additional parameter to a class of continuous distribution functions and hence it brings more flexibility to the model. They have demonstrated their method for the exponential and Weibull classes. In the same paper they have briefly indicated regarding its bivariate extension. The main aim of this paper is to introduce the same method, for the first time, to the class of discrete generalized exponential distributions both for the univariate and bivariate cases. We investigate several properties of the proposed univariate and bivariate classes. The univariate class has three parameters, whereas the bivariate class has five parameters. It is observed that depending on the parameter values the univariate class can be both zero inflated as well as heavy tailed. We propose to use EM algorithm to estimate the unknown parameters. Small simulation experiments have been performed to see the effectiveness of the proposed EM algorithm, and a bivariate data set has been analyzed and it is observed that the proposed models and the EM algorithm work quite well in practice.


title: Two Algorithms to Compute Symmetry Groups for Landau-Ginzburg Models

abstract: Landau-Ginzburg mirror symmetry studies isomorphisms between graded Frobenius algebras, known as A- and B-models. Fundamental to constructing these models is the computation of the finite, Abelian $\textit{maximal symmetry group}$ $G_{W}^{\max}$ of a given polynomial $W$. For $\textit{invertible}$ polynomials, which have the same number of monomials as variables, a generating set for this group can be computed efficiently by inverting the $\textit{polynomial exponent matrix}$. However, this method does not work for $\textit{noninvertible}$ polynomials with more monomials than variables since the resulting exponent matrix is no longer square. A previously conjectured algorithm to address this problem relies on intersecting groups generated from $\textit{submatrices}$ of the exponent matrix. We prove that this method is correct, but intractable in general. We overcome intractability by presenting a group isomorphism based on the Smith normal form of the exponent matrix. We demonstrate an algorithm to compute $G_{W}^{\max}$ via this isomorphism, and show its efficiency in all cases.


title: Emission of autoresonant trajectories and thresholds of resonant pumping

abstract: We study an autoresonant asymptotic behaviour for nonlinear oscillators under slowly changing frequency and amplitude of external driver. As a result we obtain formulas for threshold values of amplitude and frequency of the driver when autoresonant behaviour for the nonlinear oscillator is observed. Also we study a capture into resonance and emission out of the resonance for trajectories of the oscillator. A measure of autoresonant asymptotic behaviours for nonlinear oscillator is obtained.


title: Lifting Problems in Grothendieck Fibrations

abstract: Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more sophisticated notion due to Garner (referred to as algebraically cofibrantly generated) the set of maps is replaced with a diagram over a small category. We give a yet more general definition where the set or diagram of maps is replaced with a vertical map in a Grothendieck fibration. In addition to an interesting new view of the existing examples above, we get new notions, such as computable lifting problems in presheaf assemblies, and internal lifting problems in a topos. We show that under reasonable conditions one can define a notion of universal lifting problem and carry out step-one of Garner's small object argument. We give explicit descriptions of what the general construction looks like in some examples.


title: Causal Perturbative QFT and Space-time Geometry

abstract: This work is devoted to the causal perturbative Quantum Field Theory (QFT) due to Bogoliubov, including QED and other realistic QFT. The white noise analysis and the Hida operators as the annihilation-creation operators for free fields are used. The whole Bogoliubov method is unchanged. Causal axioms of such QFT make sense on any globally causal space-times. It is proved that on the flat Minkowski spacetime realistic QFT, including QED, lead to the scattering operator and interacting fields understood as generalized operators in the white noise theory of Hida-Obata-Sait\^o with the perturbative series equal to the Fock expansion of these operators in the sense of the white noise calculus and make perfect sense in the adiabatic limit as the generalized operators. But in case of the flat Minkowski space-time the realistic QFT, including QED, can be applied only to the scattering phenomena with the many-particle plane wave generalized states as the \emph{in} and \emph{out} states. Theory is mathematically consistent without any infrared or ultraviolet infinities. Feynman rules are replaced with other much more effective recurrence rules for the higher order contributions to the scattering operator. It is shown that realistic QFT, e.g. QED, are quite singular on the flat Minkowski spacetime with the interacting fields as generalized operators, which are quite singular, which after smearing with test function are not equal to ordinary operators. Bound state problems cannot be treated entirely within QED on the Minkowski space-time. It is proved that on space-times with compact Cauchy surfaces and non-zero curvature realistic causal perturbative QFT, including QED, behave much better. Perturbative series for some realistic QFT are proved to be convergent on the globally causal space-times with nonzero curvature and compact Cauchy surfaces.


title: Integrable Minisuperspace Models with Liouville Field: Energy Density Self-Adjointness and Semiclassical Wave Packets

abstract: The homogeneous cosmological models with a Liouville scalar field are investigated in classical and quantum context of Wheeler-DeWitt geometrodynamics. In the quantum case of quintessence field with potential unbounded from below and phantom field, the energy density operators are not essentially self-adjoint and self-adjoint extensions contain ambiguities. Therefore the same classical actions correspond to a family of distinct quantum models. For the phantom field the energy spectrum happens to be discrete. The probability conservation and appropriate classical limit can be achieved with a certain restriction of the functional class. The appropriately localized wave packets are studied numerically using the Schrodinger's norm and a conserved Mostafazadeh's norm introduced from techniques of pseudo-Hermitian quantum mechanics. These norms give a similar packet evolution that is confronted with analytical classical solutions.


title: Segregation in Religion Networks

abstract: Religious beliefs could facilitate human cooperation [1-6], promote civic engagement [7-10], improve life satisfaction [11-13] and even boom economic development [14-16]. On the other side, some aspects of religion may lead to regional violence, intergroup conflict and moral prejudice against atheists [17-23]. Analogous to the separation of races [24], the religious segregation is a major ingredient resulting in increasing alienation, misunderstanding, cultural conflict and even violence among believers of different faiths [18,19,25]. Thus far, quantitative understanding of religious segregation is rare. Here we analyze a directed social network extracted from weibo.com (the largest directed social network in China, similar to twitter.com), which is consisted of 6875 believers in Christianism, Buddhism, Islam and Taoism. This religion network is highly segregative, with only 1.6% of links connecting individuals in different religions. Comparative analysis shows that the extent of segregation for different religions is much higher than that for different races and slightly higher than that for different political parties. The few cross-religion links play a critical role in maintaining network connectivity, being remarkably more important than links with highest betweennesses [26] or bridgenesses [27]. Further content analysis shows that 46.7% of these cross-religion links are probably related to charitable issues. Our findings provide quantitative insights into religious segregation and valuable clues to encourage cross-religion communications.


title: Unified Classical and `Quantum Mechanical' Gravity!

abstract: It is shown that a unified description of classical and `quantum mechanical' gravity in its linearized form is possible.


title: On Learning the $c\mu$ Rule in Single and Parallel Server Networks

abstract: We consider learning-based variants of the $c \mu$ rule for scheduling in single and parallel server settings of multi-class queueing systems. In the single server setting, the $c \mu$ rule is known to minimize the expected holding-cost (weighted queue-lengths summed over classes and a fixed time horizon). We focus on the problem where the service rates $\mu$ are unknown with the holding-cost regret (regret against the $c \mu$ rule with known $\mu$) as our objective. We show that the greedy algorithm that uses empirically learned service rates results in a constant holding-cost regret (the regret is independent of the time horizon). This free exploration can be explained in the single server setting by the fact that any work-conserving policy obtains the same number of samples in a busy cycle. In the parallel server setting, we show that the $c \mu$ rule may result in unstable queues, even for arrival rates within the capacity region. We then present sufficient conditions for geometric ergodicity under the $c \mu$ rule. Using these results, we propose an almost greedy algorithm that explores only when the number of samples falls below a threshold. We show that this algorithm delivers constant holding-cost regret because a free exploration condition is eventually satisfied.


title: Learning Representative Temporal Features for Action Recognition

abstract: In this paper, a novel video classification method is presented that aims to recognize different categories of third-person videos efficiently. Our motivation is to achieve a light model that could be trained with insufficient training data. With this intuition, the processing of the 3-dimensional video input is broken to 1D in temporal dimension on top of the 2D in spatial. The processes related to 2D spatial frames are being done by utilizing pre-trained networks with no training phase. The only step which involves training is to classify the 1D time series resulted from the description of the 2D signals. As a matter of fact, optical flow images are first calculated from consecutive frames and described by pre-trained CNN networks. Their dimension is then reduced using PCA. By stacking the description vectors beside each other, a multi-channel time series is created for each video. Each channel of the time series represents a specific feature and follows it over time. The main focus of the proposed method is to classify the obtained time series effectively. Towards this, the idea is to let the machine learn temporal features. This is done by training a multi-channel one dimensional Convolutional Neural Network (1D-CNN). The 1D-CNN learns the features along the only temporal dimension. Hence, the number of training parameters decreases significantly which would result in the trainability of the method on even smaller datasets. It is illustrated that the proposed method could reach the state-of-the-art results on two public datasets UCF11, jHMDB and competitive results on HMDB51.


title: Regularization methods for finding the relaxation time spectra of linear polydisperse polymer melts

abstract: The calculation of discrete or continuous relaxation time spectra from rheometric measurables of polydisperse polymers is an ill-posed problem. In this paper, a curve fitting method for solving this problem is presented and compared to selected models from the literature. It is shown that the new method is capable of correctly predicting the molecular mass distributions of linear polydisperse polymer melts as well as their relaxation time spectra.


title: On quasi-invariant curves

abstract: Quasi-invariant curves are used in the study of hedgehog dynamics. Denjoy-Yoccoz lemma is the preliminary step for Yoccoz's complex renormalization techniques for the study of linearization of analytic circle diffeomorphisms. We give a geometric interpretation of Denjoy-Yoccoz lemma using the hyperbolic metric that gives a direct construction of quasi-invariant curves without renormalization.


title: Photonic mid-infrared nulling for exoplanet detection on a planar chalcogenide platform

abstract: The future of exoplanet detection lies in the mid-infrared (MIR). The MIR region contains the blackbody peak of both hot and habitable zone exoplanets, making the contrast between starlight and planet light less extreme. It is also the region where prominent chemical signatures indicative of life exist, such as ozone at 9.7 microns. At a wavelength of 4 microns the difference in emission between an Earth-like planet and a star like our own is 80 dB. However a jovian planet, at the same separation exhibits 60 dB of contrast, or only 20 dB if it is hot due to its formation energy or being close to its host star. A two dimensional nulling interferometer, made with chalcogenide glass, has been measured to produce a null of 20 dB, limited by scattered light. Measures to increase the null depth to the theoretical limit of 60 dB are discussed.


title: Modulation of kinetic Alfv\'en waves in an intermediate low-beta magnetoplasma

abstract: We study the amplitude modulation of nonlinear kinetic Alfv{\'e}n waves (KAWs) in an intermediate low-beta magnetoplasma. Starting from a set of fluid equations coupled to the Maxwell's equations, we derive a coupled set of nonlinear partial differential equations (PDEs) which govern the evolution of KAW envelopes in the plasma. The modulational instability (MI) of such KAW envelopes is then studied by a nonlinear Schr{\"o}dinger (NLS) equation derived from the coupled PDEs. It is shown that the KAWs can evolve into bright envelope solitons, or can undergo damping depending on whether the characteristic ratio $(\alpha)$ of the Alfv{\'e}n to ion-acoustic (IA) speeds remains above or below a critical value. The parameter $\alpha$ is also found to shift the MI domains around the $k_xk_z$ plane, where $k_x~(k_z)$ is the KAW number perpendicular (parallel) to the external magnetic field. The growth rate of MI, as well as the frequency shift and the energy transfer rate, are obtained and analyzed. The results can be useful for understanding the existence and formation of bright and dark envelope solitons, or damping of KAW envelopes in space plasmas, e.g., interplanetary space, solar winds etc.


title: Analytical model of a 3D beam dynamics in a wakefield device

abstract: In this paper we suggest an analytic model, and derive simple formulas, for the beam dynamics in a wakefield structure of arbitrary cross-section. The results could be applied to estimate an upper limit of the projected beam size in devices such as the dechirper and the wakefield streaking device. The suggested formalism is also applicable to the case when slices of the beam are distributed along an arbitrary line in 3D.


title: Helicity amplitudes for QCD with massive quarks

abstract: The novel massive spinor-helicity formalism of Arkani-Hamed, Huang and Huang provides an elegant way to calculate scattering amplitudes in quantum chromodynamics for arbitrary quark spin projections. In this note we compute two families of tree-level QCD amplitudes with one massive quark pair and n-2 gluons. The two cases include all gluons with identical helicity and one opposite-helicity gluon being color-adjacent to one of the quarks. Our results naturally incorporate the previously known amplitudes for both quark spins quantized along one of the gluonic momenta. In the all-multiplicity formulae presented here the spin quantization axes can be tuned at will, which includes the case of the definite-helicity quark states.


title: SN 2015as: A low luminosity Type IIb supernova without an early light curve peak

abstract: We present results of the photometric (from 3 to 509 days past explosion) and spectroscopic (up to 230 days past explosion) monitoring campaign of the He-rich Type IIb supernova (SN) 2015as. The {\it (B-V)} colour evolution of SN 2015as closely resemble those of SN 2008ax, suggesting that SN 2015as belongs to the SN IIb subgroup that does not show the early, short-duration photometric peak. The light curve of SN 2015as reaches the $B$-band maximum about 22 days after the explosion, at an absolute magnitude of -16.82 $\pm$ 0.18 mag. At $\sim$ 75 days after the explosion, its spectrum transitions from that of a SN II to a SN Ib. P~Cygni features due to He I lines appear at around 30 days after explosion, indicating that the progenitor of SN 2015as was partially stripped. For SN~2015as, we estimate a $^{56}$Ni mass of $\sim$ 0.08 M$_{\odot}$ and ejecta mass of 1.1--2.2 M$_{\odot}$, which are similar to the values inferred for SN 2008ax. The quasi bolometric analytical light curve modelling suggests that the progenitor of SN 2015as has a modest mass ($\sim$ 0.1 M$_{\odot}$), a nearly-compact ($\sim$ 0.05$\times$10$^{13}$ cm) H envelope on top of a dense, compact ($\sim$ 2$\times$10$^{11}$ cm) and a more massive ($\sim$ 1.2 M$_{\odot}$) He core. The analysis of the nebular phase spectra indicates that $\sim$ 0.44 M$_{\odot}$ of O is ejected in the explosion. The intensity ratio of the [Ca II]/[O I] nebular lines favours either a main sequence progenitor mass of $\sim$ 15 M$_{\odot}$ or a Wolf Rayet star of 20 M$_{\odot}$.


title: Congestion analysis of unsignalized intersections: The impact of impatience and Markov platooning

abstract: This paper considers an unsignalized intersection used by two traffic streams. A stream of cars is using a primary road, and has priority over the other stream. Cars belonging to the latter stream cross the primary road if the gaps between two subsequent cars on the primary road are larger than their critical headways. A question that naturally arises relates to the capacity of the secondary road: given the arrival pattern of cars on the primary road, what is the maximum arrival rate of low-priority cars that can be sustained? This paper addresses this issue by considering a compact model that sheds light on the dynamics of the considered unsignalized intersection. The model, which is of a queueing-theoretic nature, reveals interesting insights into the impact of the user behavior on stability. The contributions of this paper are threefold. First, we obtain new results for the aforementioned model that includes driver impatience. Secondly, we reveal some surprising aspects that have remained unobserved in the existing literature so far, many of which are caused by the fact that the capacity of the minor road cannot be expressed in terms of the \emph{mean} gap size; instead more detailed characteristics of the critical headway distribution play a crucial role. The third contribution is the introduction of a new form of bunching on the main road, called Markov platooning. The tractability of this model allows us to study the impact of various platoon formations on the main road on the capacity of the minor road.


title: Gravitational Wave Emission from Collisions of Compact Scalar Solitons

abstract: We numerically investigate the gravitational waves generated by the head-on collision of equal-mass, self-gravitating, real scalar field solitons (oscillatons) as a function of their compactness $\mathcal{C}$. We show that there exist three different possible outcomes for such collisions: (1) an excited stable oscillaton for low $\mathcal{C}$, (2) a merger and formation of a black-hole for intermediate $\mathcal{C}$, and (3) a pre-merger collapse of both oscillatons into individual black-holes for large $\mathcal{C}$. For (1), the excited, aspherical oscillaton continues to emit gravitational waves. For (2), the total energy in gravitational waves emitted increases with compactness, and possesses a maximum which is greater than that from the merger of a pair of equivalent mass black-holes. The initial amplitudes of the quasi-normal modes in the post-merger ring-down in this case are larger than that of corresponding mass black-holes -- potentially a key observable to distinguish black-hole mergers with their scalar mimics. For (3), the gravitational wave output is indistinguishable from a similar mass, black-hole--black-hole merger.


title: Spin-orbit coupling effects in zinc-blende InSb and wurtzite InAs nanowires: Realistic calculations with multiband $\vec{k} \cdot \vec{p}$ method

abstract: A systematic numerical investigation of spin-orbit fields in the conduction bands of III-V semiconductor nanowires is performed. Zinc-blende InSb nanowires are considered along [001], [011], and [111] directions, while wurtzite InAs nanowires are studied along [0001] and [10$\overline{1}$0] or [11$\overline{2}$0] directions. Realistic multiband $\vec{k} \cdot \vec{p}\,$ Hamiltonians are solved by using plane-wave expansions of real-space parameters. In all cases the linear and cubic spin-orbit coupling parameters are extracted for nanowire widths from 30 to 100 nm. Typical spin-orbit energies are on the $\mu$eV scale, except for InAs wurtzite nanowires grown along [10$\overline{1}$0] or [11$\overline{2}$0], in which the spin-orbit energy is about meV, largely independent of the wire diameter. Significant spin-orbit coupling is obtained by applying a transverse electric field, causing the Rashba effect. For an electric field of about 4 mV/nm the obtained spin-orbit energies are about 1 meV for both materials in all investigated growth directions. The most favorable system, in which the spin-orbit effects are maximal, are InAs WZ nanowires grown along [1010] or [11$\overline{2}$0], since here spin-orbit energies are giant (meV) already in the absence of electric field. The least favorable are InAs WZ nanowires grown along [0001], since here even the electric field does not increase the spin-orbit energies beyond 0.1 meV. The presented results should be useful for investigations of optical orientation, spin transport, weak localization, and superconducting proximity effects in semiconductor nanowires.


title: When are permutation invariants Cohen-Macaulay over all fields?

abstract: We prove that the polynomial invariants of a permutation group are Cohen-Macaulay for any choice of coefficient field if and only if the group is generated by transpositions, double transpositions, and 3-cycles. This unites and generalizes several previously known results. The "if" direction of the argument uses Stanley-Reisner theory and a recent result of Christian Lange in orbifold theory. The "only-if" direction uses a local-global result based on a theorem of Raynaud to reduce the problem to an analysis of inertia groups, and a combinatorial argument to identify inertia groups that obstruct Cohen-Macaulayness.


title: Maurer-Cartan elements and homotopical perturbation theory

abstract: Let L be a (pro-nilpotent) curved L-infinity algebra, and let h be a homotopy between L and a subcomplex M. Using homotopical perturbation theory, Fukaya constructed from this data a curved L-infinity structure on M. We prove that projection from L to M induces a bijection between the set of Maurer-Cartan elements x of L such that hx=0 and the set of Maurer-Cartan elements of M.


title: Measurement of optical constants of TiN and TiN/Ti/TiN multilayer films for microwave kinetic inductance photon-number-resolving detectors

abstract: We deposit thin titanium-nitride (TiN) and TiN/Ti/TiN multilayer films on sapphire substrates and measure the reflectance and transmittance in the wavelength range from 400 nm to 2000 nm using a spectrophotometer. The optical constants (complex refractive indices), including the refractive index n and the extinction coefficient k, have been derived. With the extracted refractive indices, we propose an optical stack structure using low-loss amorphous Si (a-Si) anti-reflective coating and a backside aluminum (Al) reflecting mirror, which can in theory achieve 100% photon absorption at 1550 nm. The proposed optical design shows great promise in enhancing the optical efficiency of TiN-based microwave kinetic inductance photon-number-resolving detectors.


title: Exploration of Reduced Scaling Formulation of Equation of Motion Coupled-Cluster Singles and Doubles Based on State-Averaged Pair Natural Orbitals

abstract: A reduced-complexity variant of equation-of-motion coupled-cluster singles and doubles (EOM-CCSD) method is formulated in terms of state-averaged excited state pair natural orbitals (PNO) designed to describe manifolds of excited states. State-averaged excited state PNOs for the {\em target} manifold are determined by averaging CIS(D) pair densities over the computational manifold. To assess the performance of PNO-EOM-CCSD approach on extended systems the new massively parallel canonical EOM-CCSD program has been developed in the Massively Parallel Quantum Chemistry program that allows treatment of systems with 50+ atoms using realistic basis sets with 1000+ functions. The use of state-averaged PNOs offers several potential advantages relative to the recently proposed state-specific PNOs: our approach is robust with respect to root flipping and state degeneracies, it is more economical when computing large manifolds of states, and it simplifies evaluation of transition-specific observables such as dipole moments. With the PNO truncation threshold of $10^{-7}$, the errors in excitation energies are on average below 0.02 eV for the first six singlet states of 28 organic molecules included in the standard test set of Thiel and co-workers (J. Chem. Phys. 2008, 128, 134110) with 50-70 state-averaged PNOs per pair.


title: Differentially Private Generative Adversarial Network

abstract: Generative Adversarial Network (GAN) and its variants have recently attracted intensive research interests due to their elegant theoretical foundation and excellent empirical performance as generative models. These tools provide a promising direction in the studies where data availability is limited. One common issue in GANs is that the density of the learned generative distribution could concentrate on the training data points, meaning that they can easily remember training samples due to the high model complexity of deep networks. This becomes a major concern when GANs are applied to private or sensitive data such as patient medical records, and the concentration of distribution may divulge critical patient information. To address this issue, in this paper we propose a differentially private GAN (DPGAN) model, in which we achieve differential privacy in GANs by adding carefully designed noise to gradients during the learning procedure. We provide rigorous proof for the privacy guarantee, as well as comprehensive empirical evidence to support our analysis, where we demonstrate that our method can generate high quality data points at a reasonable privacy level.


title: Complexity Growth with Lifshitz Scaling and Hyperscaling Violation

abstract: Using complexity=action proposal we study the growth rate of holographic complexity for Lifshitz and hyperscaling violating geometries. We will consider both one and two sided black branes in an Einstein-Maxwell-Dilaton gravitational theory. We find that in either case Lloyd's bound is violated and the rate of growth of complexity saturates to a value which is greater than twice the mass of the corresponding black brane. This value reduces to the mass of the black brane in the isotropic case. We show that in two sided black brane the saturation happens from above while for one sided black brane it happens from below.


title: Static properties and current-induced dynamics of pinned $90$ degree magnetic domain walls under applied fields: an analytic approach

abstract: Magnetic domain walls are pinned strongly by abrupt changes in magnetic anisotropy. When driven into oscillation by a spin-polarized current, locally pinned domain walls can be exploited as tunable sources of short-wavelength spin waves. Here, we develop an analytical framework and discrete Heisenberg model to describe the static and dynamic properties of pinned domain walls with a head-to-tail magnetic structure. We focus on magnetic domain walls that are pinned by 90$^\circ$ rotations of uniaxial magnetic anisotropy. Our model captures the domain wall response to a spin-transfer torque that is exerted by an electric current. Model predictions of the domain wall resonance frequency and its evolution with magnetic anisotropy strength and external magnetic field are compared to micromagnetic simulations.


title: Distributed Recoloring

abstract: Given two colorings of a graph, we consider the following problem: can we recolor the graph from one coloring to the other through a series of elementary changes, such that the graph is properly colored after each step? We introduce the notion of distributed recoloring: The input graph represents a network of computers that needs to be recolored. Initially, each node is aware of its own input color and target color. The nodes can exchange messages with each other, and eventually each node has to stop and output its own recoloring schedule, indicating when and how the node changes its color. The recoloring schedules have to be globally consistent so that the graph remains properly colored at each point, and we require that adjacent nodes do not change their colors simultaneously. We are interested in the following questions: How many communication rounds are needed (in the LOCAL model of distributed computing) to find a recoloring schedule? What is the length of the recoloring schedule? And how does the picture change if we can use extra colors to make recoloring easier? The main contributions of this work are related to distributed recoloring with one extra color in the following graph classes: trees, $3$-regular graphs, and toroidal grids.


title: Spectral/hp element methods: recent developments, applications, and perspectives

abstract: The spectral/hp element method combines the geometric flexibility of the classical h-type finite element technique with the desirable numerical properties of spectral methods, employing high-degree piecewise polynomial basis functions on coarse finite element-type meshes. The spatial approximation is based upon orthogonal polynomials, such as Legendre or Chebychev polynomials, modified to accommodate C0-continuous expansions. Computationally and theoretically, by increasing the polynomial order p, high-precision solutions and fast convergence can be obtained and, in particular, under certain regularity assumptions an exponential reduction in approximation error between numerical and exact solutions can be achieved. This method has now been applied in many simulation studies of both fundamental and practical engineering flows. This paper briefly describes the formulation of the spectral/hp element method and provides an overview of its application to computational fluid dynamics. In particular, it focuses on the use the spectral/hp element method in transitional flows and ocean engineering. Finally, some of the major challenges to be overcome in order to use the spectral/hp element method in more complex science and engineering applications are discussed.


title: Thermal stability of metastable magnetic skyrmions: Entropic narrowing and significance of internal eigenmodes

abstract: We compute annihilation rates of metastable magnetic skyrmions using a form of Langer's theory in the intermediate-to-high damping (IHD) regime. For a N\'eel skyrmion, a Bloch skyrmion, and an antiskyrmion, we look at two possible paths to annihilation: collapse and escape through a boundary. We also study the effects of a curved vs. a flat boundary, a second skyrmion and a non-magnetic defect. We find that the skyrmion's internal modes play a dominant role in the thermally activated transitions compared to the spin-wave excitations and that the relative contribution of internal modes depends on the nature of the transition process. Our calculations for a small skyrmion stabilized at zero-field show that collapse on a defect is the most probable path. In the absence of a defect, the annihilation is largely dominated by escape mechanisms, even though in this case the activation energy is higher than that of collapse processes. Escape through a flat boundary is found more probable than through a curved boundary. The potential source of stability of metastable skyrmions is therefore found not to lie in high activation energies, nor in the dynamics at the transition state, but comes from entropic narrowing in the saddle point region which leads to lowered attempt frequencies. This narrowing effect is found to be primarily associated with the skyrmion's internal modes.


title: Environmental feedback drives cooperation in spatial social dilemmas

abstract: Exploiting others is beneficial individually but it could also be detrimental globally. The reverse is also true: a higher cooperation level may change the environment in a way that is beneficial for all competitors. To explore the possible consequence of this feedback we consider a coevolutionary model where the local cooperation level determines the payoff values of the applied prisoner's dilemma game. We observe that the coevolutionary rule provides a significantly higher cooperation level comparing to the traditional setup independently of the topology of the applied interaction graph. Interestingly, this cooperation supporting mechanism offers lonely defectors a high surviving chance for a long period hence the relaxation to the final cooperating state happens logarithmically slow. As a consequence, the extension of the traditional evolutionary game by considering interactions with the environment provides a good opportunity for cooperators, but their reward may arrive with some delay.


title: Differential Cross Section for $\gamma d \rightarrow \omega d$ using CLAS at Jefferson Lab

abstract: The cross section for coherent $\omega$-meson photoproduction off the deuteron has been measured for the first time as a function of the momentum transfer $t = (P_{\gamma}-P_{\omega})^2$ and photon energy $E_{\gamma}$ using the CLAS detector at the Thomas Jefferson National Accelerator Facility. The cross sections are measured in the energy range $1.4 < E_{\gamma} < 3.4$ GeV. A model based on $\omega-N$ rescattering is consistent with the data at low and intermediate momentum transfer, $|t|$. For $2.8 < E_{\gamma} < 3.4$ GeV, the total cross-section of $\omega-N$ scattering, based on fits within the framework of the Vector Meson Dominance model, is in the range of 30-40 mb.


title: Borderline Magnetism: How Does Adding Magnesium to Paramagnetic CeCo$_3$ Make a 450 K Ferromagnet with Large Magnetic Anisotropy?

abstract: A recent experimental study (Phys. Rev. Appl. 9, 024023, 2018) on paramagnetic CeCo$_3$ finds that Magnesium alloying induces a ferromagnetic transition with intrinsic properties large enough for permanent magnet applications. Here we explain these surprising results \textit{via} a first principles study of the electronic structure and magnetism of Magnesium-alloyed CeCo$_3$. We find the origin of this Magnesium-induced ferromagnetic transition to be Stoner physics - the substantial increase in the Fermi-level density-of-states $N(E_F)$ with Mg alloying. Our calculations suggest that both Ce and Co atoms are important for generating large magnetic anisotropy suggesting the viability of Co-3$d$, and Ce-4$f$ interaction for the generation of magnetic anisotropy in magnetic materials. These results offer a new route to the discovery of ferromagnetic materials and provide fundamental insight into the magnetic properties of these alloys


title: Breaking the Linear-Memory Barrier in MPC: Fast MIS on Trees with Strongly Sublinear Memory

abstract: Recently, studying fundamental graph problems in the \emph{Massively Parallel Computation (MPC) framework, inspired by the MapReduce paradigm, has gained a lot of attention. An assumption common to a vast majority of approaches is to allow $\widetilde{\Omega}(n)$ memory per machine, where $n$ is the number of nodes in the graph and $\widetilde{\Omega}$ hides polylogarithmic factors. However, as pointed out by Karloff et al. [SODA'10] and Czumaj et al. [STOC'18], it might be unrealistic for a single machine to have linear or only slightly sublinear memory. In this paper, we thus study a more practical variant of the MPC model which only requires substantially sublinear or even subpolynomial memory per machine. In contrast to the linear-memory MPC model and also to streaming algorithms, in this low-memory MPC setting, a single machine will only see a small number of nodes in the graph. We introduce a new and strikingly simple technique to cope with this imposed locality. In particular, we show that the Maximal Independent Set (MIS) problem can be solved efficiently, that is, in $O(\log^3 \log n)$ rounds, when the input graph is a tree. This constitutes an almost exponential speed-up over the low-memory MPC algorithm in $O(\sqrt{\log n})$-algorithm in a concurrent work by Ghaffari and Uitto [SODA'19] and substantially reduces the local memory from $\widetilde{\Omega}(n)$ required by the recent $O(\log \log n)$-round MIS algorithm of Ghaffari et al. [PODC'18] to $n^{\alpha}$ for any $\alpha>0$, without incurring a significant loss in the round complexity. Moreover, it demonstrates how to make use of the all-to-all communication in the MPC model to almost exponentially improve on the corresponding bound in the $\mathsf{LOCAL}$ and $\mathsf{PRAM}$ models by Lenzen and Wattenhofer [PODC'11].


title: Leveraged volume sampling for linear regression

abstract: Suppose an $n \times d$ design matrix in a linear regression problem is given, but the response for each point is hidden unless explicitly requested. The goal is to sample only a small number $k \ll n$ of the responses, and then produce a weight vector whose sum of squares loss over all points is at most $1+\epsilon$ times the minimum. When $k$ is very small (e.g., $k=d$), jointly sampling diverse subsets of points is crucial. One such method called volume sampling has a unique and desirable property that the weight vector it produces is an unbiased estimate of the optimum. It is therefore natural to ask if this method offers the optimal unbiased estimate in terms of the number of responses $k$ needed to achieve a $1+\epsilon$ loss approximation. Surprisingly we show that volume sampling can have poor behavior when we require a very accurate approximation -- indeed worse than some i.i.d. sampling techniques whose estimates are biased, such as leverage score sampling. We then develop a new rescaled variant of volume sampling that produces an unbiased estimate which avoids this bad behavior and has at least as good a tail bound as leverage score sampling: sample size $k=O(d\log d + d/\epsilon)$ suffices to guarantee total loss at most $1+\epsilon$ times the minimum with high probability. Thus, we improve on the best previously known sample size for an unbiased estimator, $k=O(d^2/\epsilon)$. Our rescaling procedure leads to a new efficient algorithm for volume sampling which is based on a determinantal rejection sampling technique with potentially broader applications to determinantal point processes. Other contributions include introducing the combinatorics needed for rescaled volume sampling and developing tail bounds for sums of dependent random matrices which arise in the process.


title: Energy efficiency optimization in MIMO interference channels: A successive pseudoconvex approximation approach

abstract: In this paper, we consider the (global and sum) energy efficiency optimization problem in downlink multi-input multi-output multi-cell systems, where all users suffer from multi-user interference. This is a challenging problem due to several reasons: 1) it is a nonconvex fractional programming problem, 2) the transmission rate functions are characterized by (complex-valued) transmit covariance matrices, and 3) the processing-related power consumption may depend on the transmission rate. We tackle this problem by the successive pseudoconvex approximation approach, and we argue that pseudoconvex optimization plays a fundamental role in designing novel iterative algorithms, not only because every locally optimal point of a pseudoconvex optimization problem is also globally optimal, but also because a descent direction is easily obtained from every optimal point of a pseudoconvex optimization problem. The proposed algorithms have the following advantages: 1) fast convergence as the structure of the original optimization problem is preserved as much as possible in the approximate problem solved in each iteration, 2) easy implementation as each approximate problem is suitable for parallel computation and its solution has a closed-form expression, and 3) guaranteed convergence to a stationary point or a Karush-Kuhn-Tucker point. The advantages of the proposed algorithm are also illustrated numerically.


title: Seiberg-Witten differential via primitive forms

abstract: Three-fold quasi-homogeneous isolated rational singularity is argued to define a four dimensional $\mathcal{N}=2$ SCFT. The Seiberg-Witten geometry is built on the mini-versal deformation of the singularity. We argue in this paper that the corresponding Seiberg-Witten differential is given by the Gelfand-Leray form of K. Saito's primitive form. Our result also extends the Seiberg-Witten solution to include irrelevant deformations.


title: Multifractal analysis of charged particle multiplicity distribution in the framework of Renyi entropy

abstract: A study of multifractality and multifractal specific heat has been carried out for the produced shower particles in nuclear emulsion detector for 16O-AgBr, 28Si-AgBr and 32S-AgBr interactions at 4.5AGeV/c in the framework of Renyi entropy. Experimental results have been compared with the prediction of Ultra Relativistic Quantum Molecular Dynamics (UrQMD) model. Our analysis reveals the presence of multifractality in the multiparticle production process in high energy nucleus-nucleus interactions. Degree of multifractality is found to be higher for the experimental data and it increases with the increase of projectile mass. The investigation of quark-hadron phase transition in the multiparticle production in 16O-AgBr, 28Si-AgBr and 32S-AgBr interactions at 4.5 AGeV/c in the framework of Ginzburg-Landau theory from the concept of multifractality has also been presented. Evidence of constant multifractal specific heat has been obtained for both experimental and UrQMD simulated data.


title: The coolest extremely low-mass white dwarfs

abstract: Extremely low-mass white dwarf (ELM WD; $M_{\star}$ $\lesssim$ $0.18-0.20\ $ $M_{\odot}$) stars are thought to be formed in binary systems via stable or unstable mass transfer. Although stable mass transfer predicts the formation of ELM WDs with thick hydrogen (H) envelopes, and hence characterized by dominant residual nuclear burning along the cooling branch, the formation of ELM WDs with thinner H envelopes from unstable mass loss cannot be discarded. We compute new evolutionary sequences for helium (He) core WD stars with thin H envelope with the main aim of assessing the lowest $T_{\rm eff}$ that could be reached by this type of stars. We generate a new grid of evolutionary sequences of He core WD stars with thin H envelope in the mass range from $0.1554$ to $0.2025 M_{\odot}$, and assess the changes in both the cooling times and surface gravity induced by a reduction of the H envelope. We also determine, taking into account the predictions of progenitor evolution, the lowest $T_{\rm eff}$ reached by the resulting ELM WDs. We find that a slight reduction in the H envelope yields a significant increase in the cooling rate of ELM WDs. Because of this, ELM WDs with thin H envelope could cool down to $\sim 2500\ $K, in contrast with their canonical counterparts that cool down to $\sim 7000\ $K. In addition, we find that a reduction of the thickness of the H envelope increases markedly the surface gravity ($g$) of these stars. If ELM WDs are formed with thin H envelopes, they could be detected at very low $T_{\rm eff}$. The detection of such cool ELM WDs would be indicative that they were formed with thin H envelopes, thus opening the possibility of placing constraints to the possible mechanisms of formation of this type of stars. Last but not least, the increase in $g$ due to the reduction of the H envelope leads to consequences in the spectroscopic determinations of these stars.


title: The Great Wall: Urca Cooling Layers in the Accreted NS Crust

abstract: Accreting neutron stars host a number of astronomical observables which can be used to infer the properties of the underlying dense matter. These observables are sensitive to the heating and cooling processes taking place in the accreted neutron star (NS) crust. Within the past few years it has become apparent that electron-capture/beta-decay (urca) cycles can operate within the NS crust at high temperatures. Layers of nuclei undergoing urca cycling can create a thermal barrier, or Great Wall, between heating occurring deep in the crust and the regions above the urca layers. This paper briefly reviews the urca process and the implications for observables from accreting neutron stars.


title: The Color Glass Condensate formalism, Balitsky-JIMWLK evolution and Lipatov's high energy effective action

abstract: We investigate the question whether Lipatov's high energy effective action is capable to reproduce quark and gluon propagators which resum interaction with a strong background field within high energy factorization. Such propagators are frequently employed in calculations within the Color Glass Condensate formalism, in particular when considering scattering of a dilute projectile on a dense target nucleus or nucleon. We find that such propagators can be obtained from the high energy effective action, if a special parametrization of the gluonic field is used, first proposed by Lipatov in the original publication on the high energy effective action. The obtained propagators are used to rederive from the high energy effective action the leading order Balitsky-JIMWLK evolution equation in covariant gauge. As an aside, our result confirms the definition of the reggeized gluon as the logarithm of an adjoint Wilson lines, proposed in the literature.


title: Sun-Sized Water Vapor Masers in Cepheus A

abstract: We present the first VLBI observations of a Galactic water maser (in Chepeus A) made with a very long baseline interferometric array involving the RadioAstron Earth-orbiting satellite station as one of its elements. We detected two distinct components at -16.9 and 0.6 km/s with a fringe spacing of 66 microarcseconds. In total power, the 0.6 km/s component appears to be a single Gaussian component of strength 580 Jy and width of 0.7 km/s. Single-telescope monitoring showed that its lifetime was only 8~months. The absence of a Zeeman pattern implies the longitudinal magnetic field component is weaker than 120 mG. The space-Earth cross power spectrum shows two unresolved components smaller than 15 microarcseconds, corresponding to a linear scale of 1.6 x 10^11 cm, about the diameter of the Sun, for a distance of 700 pc, separated by 0.54 km/s in velocity and by 160 +/-35 microarcseconds in angle. This is the smallest angular structure ever observed in a Galactic maser. The brightness temperatures are greater than 2 x 10^14K, and the line widths are 0.5 km/s. Most of the flux (about 87%) is contained in a halo of angular size of 400 +/- 150 microarcseconds. This structure is associated with the compact HII region HW3diii. We have probably picked up the most prominent peaks in the angular size range of our interferometer. We discuss three dynamical models: (1) Keplerian motion around a central object, (2) two chance overlapping clouds, and (3) vortices caused by flow around an obstacle (i.e., von Karman vortex street) with Strouhal number of about~0.3.


title: Deep Inference of Personality Traits by Integrating Image and Word Use in Social Networks

abstract: Social media, as a major platform for communication and information exchange, is a rich repository of the opinions and sentiments of 2.3 billion users about a vast spectrum of topics. To sense the whys of certain social user's demands and cultural-driven interests, however, the knowledge embedded in the 1.8 billion pictures which are uploaded daily in public profiles has just started to be exploited since this process has been typically been text-based. Following this trend on visual-based social analysis, we present a novel methodology based on Deep Learning to build a combined image-and-text based personality trait model, trained with images posted together with words found highly correlated to specific personality traits. So the key contribution here is to explore whether OCEAN personality trait modeling can be addressed based on images, here called \emph{Mind{P}ics}, appearing with certain tags with psychological insights. We found that there is a correlation between those posted images and their accompanying texts, which can be successfully modeled using deep neural networks for personality estimation. The experimental results are consistent with previous cyber-psychology results based on texts or images. In addition, classification results on some traits show that some patterns emerge in the set of images corresponding to a specific text, in essence to those representing an abstract concept. These results open new avenues of research for further refining the proposed personality model under the supervision of psychology experts.


title: Role of quantum coherence in the thermodynamics of energy transfer

abstract: Recent research on the thermodynamic arrow of time, at the microscopic scale, has questioned the universality of its direction. Theoretical studies showed that quantum correlations can be used to revert the natural heat flow (from the hot body to the cold one), posing an apparent challenge to the second law of thermodynamics. Such an "anomalous" heat current was observed in a recent experiment (arXiv:1711.03323), by employing two spin systems initially quantum correlated. Nevertheless, the precise relationship between this intriguing phenomenon and the initial conditions that allow it is not fully evident. Here, we address energy transfer in a wider perspective, identifying a nonclassical contribution that applies to the reversion of the heat flow as well as to more general forms of energy exchange. We derive three theorems that describe the energy transfer between two microscopic systems, for arbitrary initial bipartite states. Using these theorems, we obtain an analytical bound showing that certain type of quantum coherence can optimize such a process, outperforming incoherent states. This genuine quantum advantage is corroborated through a characterization of the energy transfer between two qubits. For this system, it is shown that a large enough amount of coherence is necessary and sufficient to revert the thermodynamic arrow of time. As a second crucial consequence of the presented theorems, we introduce a class of nonequilibrium states that only allow unidirectional energy flow. In this way, we broaden the set where the standard Clausius statement of the second law applies.


title: Network Lifetime Maximization for Cellular-Based M2M Networks

abstract: High energy efficiency is critical for enabling massive machine-type communications (MTC) over cellular networks. This work is devoted to energy consumption modeling, battery lifetime analysis, lifetime-aware scheduling and transmit power control for massive MTC over cellular networks. We consider a realistic energy consumption model for MTC and model network battery-lifetime. Analytic expressions are derived to demonstrate the impact of scheduling on both the individual and network battery lifetimes. The derived expressions are subsequently employed in the uplink scheduling and transmit power control for mixed-priority MTC traffic in order to maximize the network lifetime. Besides the main solutions, low-complexity solutions with limited feedback requirement are investigated, and the results are extended to existing LTE networks. Also, the energy efficiency, spectral efficiency, and network lifetime tradeoffs in resource provisioning and scheduling for MTC over cellular networks are investigated. The simulation results show that the proposed solutions can provide substantial network lifetime improvement and network maintenance cost reduction


title: One-dimensional System Arising in Stochastic Gradient Descent

abstract: We consider SDEs of the form $dX_t = |f(X_t)|/t^{\gamma} dt+1/t^{\gamma} dB_t$, where $f(x)$ behaves comparably to $|x|^k$ in a neighborhood of the origin, for $k\in [1,\infty)$. We show that there exists a threshold value $:=\tilde{\gamma}$ for $\gamma$, depending on $k$, such that when $\gamma \in (1/2, \tilde{\gamma})$ then $\mathbb{P}(X_n\rightarrow 0) = 0$, and for the rest of the permissible values $\mathbb{P}(X_n\rightarrow 0)>0$. The previous results extend for discrete processes that satisfy $X_{n+1}-X_n = f(X_n)/n^\gamma +Y_n/n^\gamma$. Here, $Y_{n+1}$ are martingale differences that are a.s. bounded. This result shows that for a function $F$, whose second derivative at degenerate saddle points is of polynomial order, it is always possible to escape saddle points via the iteration $X_{n+1}-X_n =F'(X_n)/n^\gamma +Y_n/n^\gamma$ for a suitable choice of $\gamma$.


title: Efficient integrand reduction for particles with spin

abstract: Scattering amplitudes with spinning particles are shown to decompose into multiple copies of simple building blocks to all loop orders, which can be used to efficiently reduce these amplitudes to sums over scalar integrals. Absence of unphysical kinematic singularities cleanly exposed by the method uncover novel consistency relations among master integrals and their coefficients. Analytic results are obtained for the five gluon, two loop, and four gluon, three loop planar scattering amplitudes in pure Yang-Mills theory as well as for leading singularities to even higher orders.


title: Primordial physics from large-scale structure beyond the power spectrum

abstract: We study constraints on primordial mode-coupling from the power spectrum, squeezed-limit bispectrum and collapsed trispectrum of matter and halos. We describe these statistics in terms of long-wavelength $2$-point functions involving the matter/halo density and position-dependent power spectrum. This allows us to derive simple, analytic expression for the information content, treating constraints from scale-dependent bias in the halo power spectrum on the same footing as those from higher order statistics. In particular, we include non-Gaussian covariance due to long-short mode-coupling from non-linear evolution, which manifests itself as long-mode cosmic variance in the position-dependent power spectrum. We find that bispectrum forecasts that ignore this cosmic variance may underestimate $\sigma(f_{\rm NL})$ by up to a factor $\sim 3$ for the matter density (at $z=1$) and commonly a factor $\sim 2$ for the halo bispectrum. Constraints from the bispectrum can be improved by combining it with the power spectrum and trispectrum. The reason is that, in the position-dependent power spectrum picture, the bispectrum and trispectrum intrinsically incorporate multitracer cosmic variance cancellation, which is optimized in a joint analysis. For halo statistics, we discuss the roles of scale-dependent bias, matter mode-coupling, and non-linear, non-Gaussian biasing ($b_{11}^{(h)}$). While scale-dependent bias in the halo power spectrum is already very constraining, higher order halo statistics are competitive in the regime where stochastic noise in the position-dependent halo power spectrum is low enough for cosmic variance cancellation to be effective, i.e.~for large halo number density and large $k_{\rm max}$. This motivates exploring this regime observationally.


title: Quantum-Assisted Blockchain

abstract: Bitcoin and blockchain in general is a hot topic nowadays. In the paper we propose a quantum empowering of this technology and show how to speed-up the mining procedure using the modified Grover's algorithm.


title: Stability of meanings versus rate of replacement of words: an experimental test

abstract: The words of a language are randomly replaced in time by new ones, but it has long been known that words corresponding to some items (meanings) are less frequently replaced than others. Usually, the rate of replacement for a given item is not directly observable, but it is inferred by the estimated stability which, on the contrary, is observable. This idea goes back a long way in the lexicostatistical literature, nevertheless nothing ensures that it gives the correct answer. The family of Romance languages allows for a direct test of the estimated stabilities against the replacement rates since the proto-language (Latin) is known and the replacement rates can be explicitly computed. The output of the test is threefold:first, we prove that the standard approach which tries to infer the replacement rates trough the estimated stabilities is sound; second, we are able to rewrite the fundamental formula of Glottochronology for a non universal replacement rate (a rate which depends on the item); third, we give indisputable evidence that the stability ranking is far from being the same for different families of languages. This last result is also supported by comparison with the Malagasy family of dialects. As a side result we also provide some evidence that Vulgar Latin and not Late Classical Latin is at the root of modern Romance languages.


title: Interpretable VAEs for nonlinear group factor analysis

abstract: Deep generative models have recently yielded encouraging results in producing subjectively realistic samples of complex data. Far less attention has been paid to making these generative models interpretable. In many scenarios, ranging from scientific applications to finance, the observed variables have a natural grouping. It is often of interest to understand systems of interaction amongst these groups, and latent factor models (LFMs) are an attractive approach. However, traditional LFMs are limited by assuming a linear correlation structure. We present an output interpretable VAE (oi-VAE) for grouped data that models complex, nonlinear latent-to-observed relationships. We combine a structured VAE comprised of group-specific generators with a sparsity-inducing prior. We demonstrate that oi-VAE yields meaningful notions of interpretability in the analysis of motion capture and MEG data. We further show that in these situations, the regularization inherent to oi-VAE can actually lead to improved generalization and learned generative processes.


title: Characterization of the formation structure in team sports

abstract: We propose a method to identify the formation structure in team sports based on Delaunay triangulation. The adjacency matrix obtained from the Delaunay triangulation for each player is regarded as the formation pattern. Our method allows time-series analysis and a quantitative comparison of formations. A classification algorithm of formations is also proposed by combining our method with hierarchical clustering.


title: The problem of the development ontology-driven architecture of intellectual software systems

abstract: The paper describes the architecture of the intelligence system for automated design of ontological knowledge bases of domain areas and the software model of the management GUI (Graphical User Interface) subsystem


title: Design and software implementation of subsystems for creating and using the ontological base of a research scientist

abstract: Creation of the information systems and tools for scientific research and development support has always been one of the central directions of the development of computer science. The main features of the modern evolution of scientific research and development are the transdisciplinary approach and the deep intellectualisation of all stages of the life cycle of formulation and solution of scientific problems. The theoretical and practical aspects of the development of perspective complex knowledge-oriented information systems and their components are considered in the paper. The analysis of existing scientific information systems (or current research information systems, CRIS) and synthesis of general principles of design of the research and development workstation environment of a researcher and its components are carried out in the work. The functional components of knowledge-oriented information system research and development workstation environment of a researcher are designed. Designed and developed functional components of knowledge-oriented information system developing research and development workstation environment,including functional models and software implementation of the software subsystem for creation and use of ontological knowledge base for research fellow publications, as part of personalized knowledge base of scientific researcher. Research in modern conditions of e-Science paradigm requires pooling scientific community and intensive exchange of research results that may be achieved through the use of scientific information systems. research and development workstation environment allows to solve problems of contructivisation and formalisation of knowledge representation, obtained during the research process and collective accomplices interaction.


title: Technique for designing a domain ontology

abstract: The article describes the technique for designing a domain ontology, shows the flowchart of algorithm design and example of constructing a fragment of the ontology of the subject area of Computer Science is considered.


title: Achieving perfect coordination amongst agents in the co-action minority game

abstract: We discuss the strategy that rational agents can use to maximize their expected long-term payoff in the co-action minority game. We argue that the agents will try to get into a cyclic state, where each of the $(2N +1)$ agent wins exactly $N$ times in any continuous stretch of $(2N+1)$ days. We propose and analyse a strategy for reaching such a cyclic state quickly, when any direct communication between agents is not allowed, and only the publicly available common information is the record of total number of people choosing the first restaurant in the past. We determine exactly the average time required to reach the periodic state for this strategy. We show that it varies as $(N/\ln 2) [1 + \alpha \cos (2 \pi \log_2 N)$], for large $N$, where the amplitude $\alpha$ of the leading term in the log-periodic oscillations is found be $\frac{8 \pi^2}{(\ln 2)^2} \exp{(- 2 \pi^2/\ln 2)} \approx {\color{blue}7 \times 10^{-11}}$.


title: Bayes-optimal Hierarchical Classification over Asymmetric Tree-Distance Loss

abstract: Hierarchical classification is supervised multi-class classification problem over the set of class labels organized according to a hierarchy. In this report, we study the work by Ramaswamy et. al. on hierarchical classification over symmetric tree distance loss. We extend the consistency of hierarchical classification algorithm over asymmetric tree distance loss. We design a $\mathcal{O}(nk\log{}n)$ algorithm to find Bayes optimal classification for a k-ary tree as a hierarchy. We show that under reasonable assumptions over asymmetric loss function, the Bayes optimal classification over this asymmetric loss can be found in $\mathcal{O}(k\log{}n)$. We exploit this insight and attempt to extend the Ova-Cascade algorithm \citet{ramaswamy2015convex} for hierarchical classification over the asymmetric loss.


title: Connectivity-Driven Parcellation Methods for the Human Cerebral Cortex

abstract: In this thesis, we present robust and fully-automated methods for the subdivision of the entire human cerebral cortex based on connectivity information. Our contributions are four-fold: First, we propose a clustering approach to delineate a cortical parcellation that provides a reliable abstraction of the brain's functional organisation. Second, we cast the parcellation problem as a feature reduction problem and make use of manifold learning and image segmentation techniques to identify cortical regions with distinct structural connectivity patterns. Third, we present a multi-layer graphical model that combines within- and between-subject connectivity, which is then decomposed into a cortical parcellation that can represent the whole population, while accounting for the variability across subjects. Finally, we conduct a large-scale, systematic comparison of existing parcellation methods, with a focus on providing some insight into the reliability of brain parcellations in terms of reflecting the underlying connectivity, as well as, revealing their impact on network analysis. We evaluate the proposed parcellation methods on publicly available data from the Human Connectome Project and a plethora of quantitative and qualitative evaluation techniques investigated in the literature. Experiments across multiple resolutions demonstrate the accuracy of the presented methods at both subject and group levels with regards to reproducibility and fidelity to the data. The neuro-biological interpretation of the proposed parcellations is also investigated by comparing parcel boundaries with well-structured properties of the cerebral cortex. Results show the advantage of connectivity-driven parcellations over traditional approaches in terms of better fitting the underlying connectivity.