title: Towards Inferring Mechanical Lock Combinations using Wrist-Wearables as a Side-Channel

abstract: Wrist-wearables such as smartwatches and fitness bands are equipped with a variety of high-precision sensors that support novel contextual and activity-based applications. The presence of a diverse set of on-board sensors, however, also expose an additional attack surface which, if not adequately protected, could be potentially exploited to leak private user information. In this paper, we investigate the feasibility of a new attack that takes advantage of a wrist-wearable's motion sensors to infer input on mechanical devices typically used to secure physical access, for example, combination locks. We outline an inference framework that attempts to infer a lock's unlock combination from the wrist motion captured by a smartwatch's gyroscope sensor, and uses a probabilistic model to produce a ranked list of likely unlock combinations. We conduct a thorough empirical evaluation of the proposed framework by employing unlocking-related motion data collected from human subject participants in a variety of controlled and realistic settings. Evaluation results from these experiments demonstrate that motion data from wrist-wearables can be effectively employed as a side-channel to significantly reduce the unlock combination search-space of commonly found combination locks, thus compromising the physical security provided by these locks.


title: Black holes have more states than those giving the Bekenstein-Hawking entropy: a simple argument

abstract: It is often assumed that the maximum number of independent states a black hole may contain is $N_{BH}=e^{S_{BH}}$, where $S_{BH}=A/4$ is the Bekenstein-Hawking entropy and $A$ the horizon area in Planck units. I present a simple and straightforward argument showing that the number of states that can be distinguished by local observers inside the hole must be greater than this number.


title: Characterization of photomultiplier tubes with a realistic model through GPU-boosted simulation

abstract: The accurate characterization of a photomultiplier tube (PMT) is crucial in a wide-variety of applications. However, current methods do not give fully accurate representations of the response of a PMT, especially at very low light levels. In this work, we present a new and more realistic model of the response of a PMT, called the cascade model, and use it to characterize two different PMTs at various voltages and light levels. The cascade model is shown to outperform the more common Gaussian model in almost all circumstances and to agree well with a newly introduced model independent approach. The technical and computational challenges of this model are also presented along with the employed solution of developing a robust GPU-based analysis framework for this and other non-analytical models.


title: An Abstract Approach to Consequence Relations

abstract: We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and J\'onsson admit, in place of sheer formulas, a wider range of syntactic units to be manipulated in deductions (including sequents or equations), these objects are invariably aggregated via set-theoretical union. Our approach is more general in that non-idempotent forms of premiss and conclusion aggregation, including multiset sum and fuzzy set union, are considered. In their abstract form, thus, deductive relations are defined as additional compatible preorderings over certain partially ordered monoids. We investigate these relations using categorical methods, and provide analogues of the main results obtained in the general theory of consequence relations. Then we focus on the driving example of multiset deductive relations, providing variations of the methods of matrix semantics and Hilbert systems in Abstract Algebraic Logic.


title: Topological Network Entanglement as Order Parameter for the Emergence of Geometry

abstract: We show that, in discrete models of quantum gravity, emergent geometric space can be viewed as the entanglement pattern in a mixed quantum state of the "universe", characterized by a universal topological network entanglement. As a concrete example we analyze the recently proposed model in which geometry emerges due to the condensation of 4-cycles in random regular bipartite graphs, driven by the combinatorial Ollivier-Ricci curvature. Using this model we show that the emergence of geometric order decreases the entanglement entropy of random configurations. The lowest geometric entanglement entropy is realized in four dimensions.


title: Tuning the diffusion of magnon in Y3Fe5O12 by light excitation

abstract: Deliberate control of magnon transportation will lead to an energy-efficient technology for information transmission and processing. Y3Fe5O12(YIG), exhibiting extremely large magnon diffusion length due to the low magnetic damping constant, has been intensively investigated for decades. While most of the previous works focused on the determination of magnon diffusion length by various techniques, herein we demonstrated how to tune magnon diffusion by light excitation. We found that the diffusion length of thermal magnons is strongly dependent on light wavelength when the magnon is generated by exposing YIG directly to laser beam. The diffusion length, determined by a nonlocal geometry at room temperature, is ~30 um for the magnons produced by visible light (400-650 nm), and ~136-156 um for the laser between 808 nm and 980 nm. The diffusion distance is much longer than the reported value. In addition to thermal gradient, we found that light illumination affected the electron configuration of the Fe3+ ion in YIG. Long wavelength laser triggers a high spin to low spin state transition of the Fe3+ ions in FeO6 octahedron. This in turn causes a substantial softening of the magnon thus a dramatic increase in diffusion distance. The present work paves the way towards an efficient tuning of magnon transport behavior which is crucially important for magnon spintronics.


title: Parameterized Algorithms for Conflict-free Colorings of Graphs

abstract: In this paper, we study the conflict-free coloring of graphs induced by neighborhoods. A coloring of a graph is conflict-free if every vertex has a uniquely colored vertex in its neighborhood. The conflict-free coloring problem is to color the vertices of a graph using the minimum number of colors such that the coloring is conflict-free. We consider both closed neighborhoods, where the neighborhood of a vertex includes itself, and open neighborhoods, where a vertex does not included in its neighborhood. We study the parameterized complexity of conflict-free closed neighborhood coloring and conflict-free open neighborhood coloring problems. We show that both problems are fixed-parameter tractable (FPT) when parameterized by the cluster vertex deletion number of the input graph. This generalizes the result of Gargano et al.(2015) that conflict-free coloring is fixed-parameter tractable parameterized by the vertex cover number. Also, we show that both problems admit an additive constant approximation algorithm when parameterized by the distance to threshold graphs. We also study the complexity of the problem on special graph classes. We show that both problems can be solved in polynomial time on cographs. For split graphs, we give a polynomial time algorithm for closed neighborhood conflict-free coloring problem, whereas we show that open neighborhood conflict-free coloring is NP-complete. We show that interval graphs can be conflict-free colored using at most four colors.


title: Pseudoholomorphic Curves Relative to a Normal Crossings Symplectic Divisor: Compactification

abstract: Inspired by the log Gromov-Witten (or GW) theory of Gross-Siebert/Abramovich-Chen, we introduce a geometric notion of log J-holomorphic curve relative to a simple normal crossings symplectic divisor defined in [FMZ1]. Every such moduli space is characterized by a second homology class, genus, and contact data. For certain almost complex structures, we show that the moduli space of stable log J-holomorphic curves of any fixed type is compact and metrizable with respect to an enhancement of the Gromov topology. In the case of smooth symplectic divisors, our compactification is often smaller than the relative compactification and there is a projection map from the latter onto the former. The latter is constructed via expanded degenerations of the target. Our construction does not need any modification of (or any extra structure on) the target. Unlike the classical moduli spaces of stable maps, these log moduli spaces are often virtually singular. We describe an explicit toric model for the normal cone (i.e. the space of gluing parameters) to each stratum in terms of the defining combinatorial data of that stratum. In [FT2], we introduce a natural set up for studying the deformation theory of log (and relative) curves and obtain a logarithmic analog of the space of Ruan-Tian perturbations for these moduli spaces. In a forthcoming paper, we will prove a gluing theorem for smoothing log curves in the normal direction to each stratum. With some modifications to the theory of Kuranishi spaces, the latter will allow us to construct a virtual fundamental class for every such log moduli space and define relative GW invariants without any restriction.


title: On the supersingular reduction of K3 surfaces with complex multiplication

abstract: We study the good reduction modulo p of K3 surfaces with complex multiplication. If a K3 surface with complex multiplication has good reduction, we calculate the Picard number and the height of the formal Brauer group of the reduction. Moreover, if the reduction is supersingular, we calculate its Artin invariant under some assumptions. Our results generalize some results of Shimada for K3 surfaces with Picard number 20. Our methods rely on the main theorem of complex multiplication for K3 surfaces by Rizov, an explicit description of the Breuil-Kisin modules associated with Lubin-Tate characters due to Andreatta, Goren, Howard, and Madapusi Pera, and the integral comparison theorem recently established by Bhatt, Morrow, and Scholze.


title: Hypocoercivity based Sensitivity Analysis and Spectral Convergence of the Stochastic Galerkin Approximation to Collisional Kinetic Equations with Multiple Scales and Random Inputs

abstract: In this paper, we provide a general framework to study general class of linear and nonlinear kinetic equations with random uncertainties from the initial data or collision kernels, and their stochastic Galerkin approximations, in both incompressible Navier-Stokes and Euler (acoustic) regimes. First, we show that the general framework put forth in [C. Mouhot and L. Neumann, Nonlinearity, 19, 969-998, 2006, M. Briant, J. Diff. Eqn., 259, 6072-6141, 2005] based on hypocoercivity for the deterministic kinetic equations can be easily adopted for sensitivity analysis for random kinetic equations, which gives rise to an exponential convergence of the random solution toward the (deterministic) global equilibrium, under suitable conditions on the collision kernel. Then we use such theory to study the stochastic Galerkin (SG) methods for the equations, establish hypocoercivity of the SG system and regularity of its solution, and spectral accuracy and exponential decay of the numerical error of the method in a weighted Sobolev norm.


title: Non-integrability of the Armbruster-Guckenheimer-Kim quartic Hamiltonian through Morales-Ramis theory

abstract: We show the non-integrability of the three-parameter Armburster-Guckenheimer-Kim quartic Hamiltonian using Morales-Ramis theory, with the exception of the three already known integrable cases. We use Poincar\'e sections to illustrate the breakdown of regular motion for some parameter values.


title: Physics-based Motion Planning: Evaluation Criteria and Benchmarking

abstract: Motion planning has evolved from coping with simply geometric problems to physics-based ones that incorporate the kinodynamic and the physical constraints imposed by the robot and the physical world. Therefore, the criteria for evaluating physics-based motion planners goes beyond the computational complexity (e.g. in terms of planning time) usually used as a measure for evaluating geometrical planners, in order to consider also the quality of the solution in terms of dynamical parameters. This study proposes an evaluation criteria and analyzes the performance of several kinodynamic planners, which are at the core of physics-based motion planning, using different scenarios with fixed and manipulatable objects. RRT, EST, KPIECE and SyCLoP are used for the benchmarking. The results show that KPIECE computes the time-optimal solution with heighest success rate, whereas, SyCLoP compute the most power-optimal solution among the planners used.


title: Clustering and Hitting Times of Threshold Exceedances and Applications

abstract: We investigate exceedances of the process over a sufficiently high threshold. The exceedances determine the risk of hazardous events like climate catastrophes, huge insurance claims, the loss and delay in telecommunication networks. Due to dependence such exceedances tend to occur in clusters. The cluster structure of social networks is caused by dependence (social relationships and interests) between nodes and possibly heavy-tailed distributions of the node degrees. A minimal time to reach a large node determines the first hitting time. We derive an asymptotically equivalent distribution and a limit expectation of the first hitting time to exceed the threshold $u_n$ as the sample size $n$ tends to infinity. The results can be extended to the second and, generally, to the $k$th ($k> 2$) hitting times. Applications in large-scale networks such as social, telecommunication and recommender systems are discussed.


title: Robust Surface Reconstruction from Gradients via Adaptive Dictionary Regularization

abstract: This paper introduces a novel approach to robust surface reconstruction from photometric stereo normal vector maps that is particularly well-suited for reconstructing surfaces from noisy gradients. Specifically, we propose an adaptive dictionary learning based approach that attempts to simultaneously integrate the gradient fields while sparsely representing the spatial patches of the reconstructed surface in an adaptive dictionary domain. We show that our formulation learns the underlying structure of the surface, effectively acting as an adaptive regularizer that enforces a smoothness constraint on the reconstructed surface. Our method is general and may be coupled with many existing approaches in the literature to improve the integrity of the reconstructed surfaces. We demonstrate the performance of our method on synthetic data as well as real photometric stereo data and evaluate its robustness to noise.


title: Systemic risk in a mean-field model of interbank lending with self-exciting shocks

abstract: In this paper we consider a mean-field model of interacting diffusions for the monetary reserves in which the reserves are subjected to a self- and cross-exciting shock. This is motivated by the financial acceleration and fire sales observed in the market. We derive a mean-field limit using a weak convergence analysis and find an explicit measure-valued process associated with a large interbanking system. We define systemic risk indicators and derive, using the limiting process, several law of large numbers results and verify these numerically. We conclude that self-exciting shocks increase the systemic risk in the network and their presence in interbank networks should not be ignored.


title: Towards Understanding the Evolution of Vocabulary Terms in Knowledge Graphs

abstract: Vocabularies are used for modeling data in Knowledge Graphs (KG) like the Linked Open Data Cloud and Wikidata. During their lifetime, the vocabularies of the KGs are subject to changes. New terms are coined, while existing terms are modified or declared as deprecated. We first quantify the amount and frequency of changes in vocabularies. Subsequently, we investigate to which extend and when the changes are adopted in the evolution of the KGs. We conduct our experiments on three large-scale KGs for which time-stamped snapshots are available, namely the Billion Triples Challenge datasets, Dynamic Linked Data Observatory dataset, and Wikidata. Our results show that the change frequency of terms is rather low, but can have high impact when adopted on a large amount of distributed graph data on the web. Furthermore, not all coined terms are used and most of the deprecated terms are still used by data publishers. There are variations in the adoption time of terms coming from different vocabularies ranging from very fast (few days) to very slow (few years). Surprisingly, there are also adoptions we could observe even before the vocabulary changes are published. Understanding this adoption is important, since otherwise it may lead to wrong assumptions about the modeling status of data published on the web and may result in difficulties when querying the data from distributed sources.


title: Holograms for power-efficient excitation of optical surface waves

abstract: A method for effective excitation of optical surface waves based on holography principles has been proposed. For a particular example of excitation of a plasmonic wave in a dielectric layer on metal the efficiency of proposed volume holograms in the dielectric layer has been analyzed in comparison with optimized periodic gratings in the dielectric layer. Conditions when the holograms are considerably more efficient than the gratings have been found out. In addition, holograms recorded in two iterations have been proposed and studied. Such holograms are substantially more efficient than the optimized periodic gratings for all incidence angles of an exciting Gaussian beam. The proposed method is universal: it can be extended for efficient excitation of different types of optical surface waves and optical waveguide modes.


title: Homomorphisms are indeed a good basis for counting: Three fixed-template dichotomy theorems, for the price of one

abstract: Many natural combinatorial quantities can be expressed by counting the number of homomorphisms to a fixed relational structure. For example, the number of 3-colorings of an undirected graph $G$ is equal to the number of homomorphisms from $G$ to the $3$-clique. In this setup, the structure receiving the homomorphisms is often referred to as a template; we use the term template function to refer to a function, from structures to natural numbers, that is definable as the number of homomorphisms to a fixed template. There is a literature that studies the complexity of template functions. The present work is concerned with relating template functions to the problems of counting, with respect to various fixed templates, the number of two particular types of homomorphisms: surjective homomorphisms and what we term condensations. In this article, we explain how any problem of counting surjective homomorphisms to a fixed template is polynomial-time equivalent to computing a linear combination of template functions; we also show this for any problem of counting condensations to a fixed template. Via a theorem that characterizes the complexity of computing such a linear combination, we show how a known dichotomy for template functions can be used to infer a dichotomy for counting surjective homomorphisms on fixed templates, and likewise a dichotomy for counting condensations on fixed templates. Our study is strongly inspired by, based on, and can be viewed as a dual of the graph motif framework of Curticapean, Dell, and Marx (STOC 2017); that framework is in turn based on work of Lov\'asz (2012).


title: Conformally K\"ahler, Einstein--Maxwell metrics and boundedness of the modified Mabuchi-functional

abstract: We prove that if a compact smooth polarized complex manifold admits in the corresponding Hodge K\"ahler class a conformally K\"ahler, Einstein--Maxwell metric, or more generally, a K\"ahler metric of constant $(\xi, a, p)$-scalar curvature, then this metric minimizes the $(\xi,a,p)$-Mabuchi functional. Our method of proof extends the approach introduced by Donaldson and developed by Li and Sano--Tipler, via finite dimensional approximations and generalized balanced metrics. As an application of our result and the recent construction of Koca--T{\o}nnesen-Friedman, we describe the K\"ahler classes on a geometrically ruled complex surface of genus greater than 2, which admit conformally K\"ahler, Einstein-Maxwell metrics.


title: Anion order and spontaneous polarization in LaTiO\textsubscript{2}N oxynitride thin films

abstract: The perovskite oxynitride LaTiO\textsubscript{2}N is a promising material for photocatalytic water splitting under visible light. One of the obstacles towards higher efficiencies of this and similar materials stems from charge-carrier recombination, which could be suppressed by the built-in electric field in polar materials. In this study, we investigate the spontaneous polarization in epitaxially strained LaTiO\textsubscript{2}N thin films via density functional theory calculations. The effect of epitaxial strain on the anion order, resulting out-of-plane polarization, energy barriers for polarization reversal and the corresponding coercive fields are studied. We find that for compressive strains larger than 4\% the thermodynamically stable anion order is polar along the out-of-plane direction and has a coercive field comparable to other switchable ferroelectrics. Our results show that strained LaTiO\textsubscript{2}N could indeed suppress carrier recombination and lead to enhanced photocatalytic activities.


title: Fermionic statistics in the strongly correlated limit of Density Functional Theory

abstract: Exact pieces of information on the adiabatic connection integrand $W_{\lambda}[\rho]$, which allows to evaluate the exchange-correlation energy of Kohn-Sham density functional theory, can be extracted from the leading terms in the strong coupling limit ($\lambda\to\infty$, where $\lambda$ is the strength of the electron-electron interaction). In this work, we first compare the theoretical prediction for the two leading terms in the strong coupling limit with data obtained via numerical implementation of the exact Levy functional in the simple case of two electrons confined in one dimension, confirming the asymptotic exactness of these two terms. We then carry out a first study on the incorporation of the fermionic statistics at large coupling $\lambda$, both numerical and theoretical, confirming that spin effects enter at orders $\sim e^{-\sqrt{\lambda}}$.


title: Threefolds

abstract: This is an example on the cohomology of threefolds.


title: $\kappa$-PMP: Enhancing Physics-based Motion Planners with Knowledge-based Reasoning

abstract: Physics-based motion planning is a challenging task, since it requires the computation of the robot motions while allowing possible interactions with (some of) the obstacles in the environment. Kinodynamic motion planners equipped with a dynamic engine acting as state propagator are usually used for that purpose. The difficulties arise in the setting of the adequate forces for the interactions and because these interactions may change the pose of the manipulatable obstacles, thus either facilitating or preventing the finding of a solution path. The use of knowledge can alleviate the stated difficulties. This paper proposes the use of an enhanced state propagator composed of a dynamic engine and a low-level geometric reasoning process that is used to determine how to interact with the objects, i.e. from where and with which forces. The proposal, called \k{appa}-PMP can be used with any kinodynamic planner, thus giving rise to e.g. \k{appa}-RRT. The approach also includes a preprocessing step that infers from a semantic abstract knowledge described in terms of an ontology the manipulation knowledge required by the reasoning process. The proposed approach has been validated with several examples involving an holonomic mobile robot, a robot with differential constraints and a serial manipulator, and benchmarked using several state-of-the art kinodynamic planners. The results showed a significant difference in the power consumption with respect to simple physics-based planning, an improvement in the success rate and in the quality of the solution paths.


title: Spectral distributions of periodic random matrix ensembles

abstract: Kolo\u{g}lu, Kopp and Miller compute the limiting spectral distribution of a certain class of real random matrix ensembles, known as $k$-block circulant ensembles, and discover that it is exactly equal to the eigenvalue distribution of an $k \times k$ Gaussian unitary ensemble. We give a simpler proof that under very general conditions which subsume the cases studied by Kolo\u{g}lu-Kopp-Miller, real-symmetric ensembles with periodic diagonals always have limiting spectral distribution equal to the eigenvalue distribution of a finite Hermitian ensemble with Gaussian entries which is a `complex version' of a $k \times k$ submatrix of the ensemble. We also prove an essentially algebraic relation between certain periodic finite Hermitian ensembles with Gaussian entries, and the previous result may be seen as an asymptotic version of this for real-symmetric ensembles. The proofs show that this general correspondence between periodic random matrix ensembles and finite complex Hermitian ensembles is elementary and combinatorial in nature.


title: DeepWheat: Estimating Phenotypic Traits from Crop Images with Deep Learning

abstract: In this paper, we investigate estimating emergence and biomass traits from color images and elevation maps of wheat field plots. We employ a state-of-the-art deconvolutional network for segmentation and convolutional architectures, with residual and Inception-like layers, to estimate traits via high dimensional nonlinear regression. Evaluation was performed on two different species of wheat, grown in field plots for an experimental plant breeding study. Our framework achieves satisfactory performance with mean and standard deviation of absolute difference of 1.05 and 1.40 counts for emergence and 1.45 and 2.05 for biomass estimation. Our results for counting wheat plants from field images are better than the accuracy reported for the similar, but arguably less difficult, task of counting leaves from indoor images of rosette plants. Our results for biomass estimation, even with a very small dataset, improve upon all previously proposed approaches in the literature.


title: Bending mode and thermal expansion of graphene

abstract: Proceeding from the model of a two-dimensional elastic continuum, we describe the characteristic features of thermal expansion of graphene using an approach that goes beyond the quasi-harmonic approximation. The negative value of the thermal expansion coefficient of graphene at low temperatures and its sign reversal at T about 1000 K are established. It is shown that the bending vibrational mode plays a decisive role in peculiarities of the thermal contraction/expansion of graphene and that the contribution of this mode to the thermal expansion coefficient does not depend on the sample size, due to the "sound" nature of the bending mode long-wave dispersion. The obtained results allow giving a quantitative description of the known data of numerical experiments on the thermal expansion of graphene in the entire interval of the MD simulations.


title: NC-smooth algebroid thickenings for families of vector bundles and quiver representations

abstract: In his work on deformation quantization of algebraic varieties Kontsevich introduced the notion of algebroid as a certain generalization of a sheaf of algebras. We construct algebroids which are given locally by NC-smooth thickenings in the sense of Kapranov, over two classes of smooth varieties: the bases of miniversal families of vector bundles on projective curves, and the bases of miniversal families of quiver representations.


title: The graph theory general position problem on some interconnection networks

abstract: Given a graph $G$, the (graph theory) general position problem is to find the maximum number of vertices such that no three vertices lie on a common geodesic. This graph invariant is called the general position number (gp-number for short) of $G$ and denoted by ${\rm gp}(G)$. In this paper, the gp-number is determined for a large class of subgraphs of the infinite grid graph and for the infinite diagonal grid. To derive these results, we introduce monotone-geodesic labeling and prove a Monotone Geodesic Lemma that is in turn developed using the Erd\"os-Szekeres theorem on monotone sequences. The gp-number of the 3-dim infinite grid is bounded. Using isometric path covers, the gp-number is also determined for Bene\v{s} networks.


title: The smallest absorption refrigerator: the thermodynamics of a system with quantum local detailed balance

abstract: We study the thermodynamics of a quantum system interacting with different baths in the repeated interaction framework. In an appropriate limit, the evolution takes the Lindblad form and the corresponding thermodynamic quantities are determined by the state of the full system plus baths. We identify conditions under which the thermodynamics of the open system can be described only by system properties and find a quantum local detailed balance condition with respect to an equilibrium state that may not be a Gibbs state. The three-qubit refrigerator introduced in [N. Linden, S. Popescu and P. Skrzypczyk, Phys. Rev. Lett.$ {\bf 105}$, 130401 (2010)] is an example of such a system. From a repeated interaction microscopic model we derive the Lindblad equation that describes its dynamics and discuss its thermodynamic properties for arbitrary values of the internal coupling between the qubits. We find that external power (proportional to the internal coupling strength) is required to bring the system to its steady state, but once there, it works autonomously as discussed in [N. Linden, S. Popescu and P. Skrzypczyk, Phys. Rev. Lett. ${\bf 105}$, 130401 (2010)].


title: Optimal strong convergence rates of numerical methods for semilinear parabolic SPDE driven by Gaussian noise and Poisson random measure

abstract: This paper deals with the numerical approximation of semilinear parabolic stochastic partial differential equation (SPDE) driven simultaneously by Gaussian noise and Poisson random measure, more realistic in modeling real world phenomena. The SPDE is discretized in space with the standard finite element method and in time with the linear implicit Euler method or an exponential integrator, more efficient and stable for stiff problems. We prove the strong convergence of the fully discrete schemes toward the mild solution. The results reveal how convergence orders depend on the regularity of the noise and the initial data.In addition, we exceed the classical orders $1/2$ in time and $1$ in space achieved in the literature when dealing with SPDE driven by Poisson measure with less regularity assumptions on the nonlinear drift function. In particular, for trace class multiplicative Gaussian noise we achieve convergence order $\mathcal{O}(h^2+\Delta t^{1/2})$.For additive trace class Gaussian noise and an appropriate jump function, we achieve convergence order $\mathcal{O}(h^2+\Delta t)$. Numerical experiments to sustain the theoretical results are provided.


title: The X-ray Polarization of the Accretion Disk Coronae of Active Galactic Nuclei

abstract: Hard X-rays observed in Active Galactic Nuclei (AGNs) are thought to originate from the Comptonization of the optical/UV accretion disk photons in a hot corona. Polarization studies of these photons can help to constrain the corona geometry and the plasma properties. We have developed a ray-tracing code that simulates the Comptonization of accretion disk photons in coronae of arbitrary shape, and use it here to study the polarization of the X-ray emission from wedge and spherical coronae. We study the predicted polarization signatures for the fully relativistic and various approximate treatments of the elemental Compton scattering processes. We furthermore use the code to evaluate the impact of non-thermal electrons and cyclo-synchrotron photons on the polarization properties. Finally, we model the NuSTAR observations of the Seyfert I galaxy Mrk 335 and predict the associated polarization signal. Our studies show that X-ray polarimetry missions such as NASA's Imaging X-ray Polarimetry Explorer (IXPE) and the X-ray Imaging Polarimetry Explorer (XIPE) proposed to ESA will provide valuable new information about the physical properties of the plasma close to the event horizon of AGN black holes.


title: The role of structural viscoelasticity in deformable porous media with incompressible constituents: applications in biomechanics

abstract: The main goal of this work is to clarify and quantify, by means of mathematical analysis, the role of structural viscoelasticity in the biomechanical response of deformable porous media with incompressible constituents to sudden changes in external applied loads. Models of deformable porous media with incompressible constituents are often utilized to describe the behavior of biological tissues, such as cartilages, bones and engineered tissue scaffolds, where viscoelastic properties may change with age, disease or by design. Here, for the first time, we show that the fluid velocity within the medium could increase tremendously, even up to infinity, should the external applied load experience sudden changes in time and the structural viscoelasticity be too small. In particular, we consider a one-dimensional poro-visco-elastic model for which we derive explicit solutions in the cases where the external applied load is characterized by a step pulse or a trapezoidal pulse in time. By means of dimensional analysis, we identify some dimensionless parameters that can aid the design of structural properties and/or experimental conditions as to ensure that the fluid velocity within the medium remains bounded below a certain given threshold, thereby preventing potential tissue damage. The application to confined compression tests for biological tissues is discussed in detail. Interestingly, the loss of viscoelastic tissue properties has been associated with various disease conditions, such as atherosclerosis, Alzheimer's disease and glaucoma. Thus, the findings of this work may be relevant to many applications in biology and medicine.


title: Low-Energy Deep Belief Networks using Intrinsic Sigmoidal Spintronic-based Probabilistic Neurons

abstract: A low-energy hardware implementation of deep belief network (DBN) architecture is developed using near-zero energy barrier probabilistic spin logic devices (p-bits), which are modeled to realize an intrinsic sigmoidal activation function. A CMOS/spin based weighted array structure is designed to implement a restricted Boltzmann machine (RBM). Device-level simulations based on precise physics relations are used to validate the sigmoidal relation between the output probability of a p-bit and its input currents. Characteristics of the resistive networks and p-bits are modeled in SPICE to perform a circuit-level simulation investigating the performance, area, and power consumption tradeoffs of the weighted array. In the application-level simulation, a DBN is implemented in MATLAB for digit recognition using the extracted device and circuit behavioral models. The MNIST data set is used to assess the accuracy of the DBN using 5,000 training images for five distinct network topologies. The results indicate that a baseline error rate of 36.8% for a 784x10 DBN trained by 100 samples can be reduced to only 3.7% using a 784x800x800x10 DBN trained by 5,000 input samples. Finally, Power dissipation and accuracy tradeoffs for probabilistic computing mechanisms using resistive devices are identified.


title: Fractal Uncertainty Principle with Explicit Exponent

abstract: We prove an explicit formula for the dependence of the exponent in the fractal uncertainty principle of Bourgain-Dyatlov on the dimension and on the regularity constant for the regular set. In particular, this implies an explicit essential spectral gap for convex co-compact hyperbolic surfaces when the Hausdorff dimension of the limit set is close to 1.


title: On the phase diagram of Mackay icosahedra

abstract: Using Monte Carlo and molecular dynamics simulations, we investigate the equilibrium phase behavior of a monodisperse system of Mackay icosahedra. We define the icosahedra as polyatomic molecules composed of a set of Lennard-Jones subparticles arranged on the surface of the Mackay icosahedron. The phase diagram contains a fluid phase, a crystalline phase and a rotator phase. We find that the attractive icosahedral molecules behave similar to hard geometric icosahedra for which the densest lattice packing and the rotator crystal phase have been identified before. We show that both phases form under attractive interactions as well. When heating the system from the dense crystal packing, there is first a transition to the rotator crystal and then another to a fluid phase.


title: Laplacian Simplices Associated to Digraphs

abstract: We associate to a finite digraph $D$ a lattice polytope $P_D$ whose vertices are the rows of the Laplacian matrix of $D$. This generalizes a construction introduced by Braun and the third author. As a consequence of the Matrix-Tree Theorem, we show that the normalized volume of $P_D$ equals the complexity of $D$, and $P_D$ contains the origin in its relative interior if and only if $D$ is strongly connected. Interesting connections with other families of simplices are established and then used to describe reflexivity, $h^*$-polynomial, and integer decomposition property of $P_D$ in these cases. We extend Braun and Meyer's study of cycles by considering cycle digraphs. In this setting we characterize reflexivity and show there are only four non-trivial reflexive Laplacian simplices having the integer decomposition property.


title: Harmonic analysis and distribution-free inference for spherical distributions

abstract: Fourier analysis and representation of circular distributions in terms of their Fourier coefficients, is quite commonly discussed and used for model-free inference such as testing uniformity and symmetry etc. in dealing with 2-dimensional directions. However a similar discussion for spherical distributions, which are used to model 3-dimensional directional data, has not been fully developed in the literature in terms of their harmonics. This paper, in what we believe is the first such attempt, looks at the probability distributions on a unit sphere, through the perspective of spherical harmonics, analogous to the Fourier analysis for distributions on a unit circle. Harmonic representations of many currently used spherical models are presented and discussed. A very general family of spherical distributions is then introduced, special cases of which yield many known spherical models. Through the prism of harmonic analysis, one can look at the mean direction, dispersion, and various forms of symmetry for these models in a generic setting. Aspects of distribution free inference such as estimation and large-sample tests for these symmetries, are provided. The paper concludes with a real-data example analyzing the longitudinal sunspot activity.


title: Partial restoration of spin-isospin SU(4) Symmetry and the One-QRPA method in Double Beta Decay

abstract: The one-QRPA method is used to describe simultaneously both double decay beta modes, giving special attention to the partial restoration of spin-isospin SU(4) symmetry. To implement this restoration and to fix the model parameters, we resort to the energetics of Gamow-Teller resonances and to the minima of the single $\beta^+$-decay strengths. This makes the theory predictive regarding the $\beta\beta_{2\nu}$-decay, producing the $2\nu$ moments in $^{48}$Ca, $^{76}$Ge, $^{82}$Se, $^{96}$Zr, $^{100}$Mo, $^{128,130}$Te, and $^{150}$Nd, that are of the same order of magnitude as the experimental ones; however, the agreement with $\beta\beta_{2\nu}$ data is only modest. To include contributions coming from induced nuclear weak currents, we extend the $\beta\beta_{0\nu}$-decay formalism employed previously in C. Barbero et. al, Nuc. Phys. A628, 170 (1998). The numerical results for the $\beta\beta_{0\nu}$ moments in the above mentioned nuclei are similar to those obtained in other theoretical studies although smaller on averag by $\sim 40\%$. We attribute this difference basically to the one-QRPA-method, employed here for the first time, instead of the currently used two-QRPA-method. The difference is partially due to the way of carrying out the restoration of the spin-isospin symmetry. It is hard to say which is the best way to make the restoration, since the $\beta\beta_{0\nu}$ moments are not experimentally measurable. The numerical uncertainties in the $\beta\beta$ moments, related with i) their strong dependence on the residual interaction in the p-p channel when evaluated within the QRPA, and ii) lack of proper knowledge of single-particle energies, have been quantified. It is concluded that the partial restoration of the SU (4) symmetry is crucial in the description of the $\beta\beta$-decays, regardless of the nuclear model used.


title: QCD coupling which respects lattice restrictions at low energies

abstract: We consider a phenomenologycal parametrization of the QCD running coupling which arises from the dispersion relation respecting the holomorphic properties of the physical QCD observables in the complex momentum plane. The parameters are fixed by the following requirements: 1) at enough high energies, it reproduces the underlying perturbative coupling, 2) at intermediate energy momenta, it reproduces the experimental semihadronic tau decay ratio, and 3) in the deep IR regime, it satisfies the qualitative properties coming from recent lattice results. Finally, we apply this new coupling to low-energy available experimental data. In particular, to Borel sum rules for {\tau}-decay, extracting the values of the dimension 4 and 6 condensates, to the V-channel Adler function, and to polarized Bjorken Sum Rule.


title: Elasticity in the Gauge Theory of Active Nematics with Topological Defects

abstract: We analyze the phase behavior of lyotropic nematic liquid crystals in the self-organizing flow, viz. so called active nematics (AN). Their elastic properties are mutually caused by evolution of topological defects (for instance, disclinations and boojums) and the flow regime. Such changes in elasticity of AN comparing with conventional inactive ones set the new working characteristics of these materials, have an influence on their switchable and tunable properties. In this work, we study the uniaxial droplet AN phases with topological defects in their collective flow, we apply the gauge string-like theory using the method of differential forms on a lattice interchanging the drive-force concept. The results of our numerical modeling with Monte Carlo method show, that under certain conditions, the type of the phase transition from nematic to isotropic (N-I) phase and the thermodynamical characteristics in an active regime may differ from such one in the conventional lyotropic nematcis.


title: First-principles Engineering of Charged Defects for Two-dimensional Quantum Technologies

abstract: Charged defects in 2D materials have emerging applications in quantum technologies such as quantum emitters and quantum computation. Advancement of these technologies requires rational design of ideal defect centers, demanding reliable computation methods for quantitatively accurate prediction of defect properties. We present an accurate, parameter-free and efficient procedure to evaluate quasiparticle defect states and thermodynamic charge transition levels of defects in 2D materials. Importantly, we solve critical issues that stem from the strongly anisotropic screening in 2D materials, that have so far precluded accurate prediction of charge transition levels in these materials. Using this procedure, we investigate various defects in monolayer hexagonal boron nitride (h-BN) for their charge transition levels, stable spin states and optical excitations. We identify $C_BN_V$ (nitrogen vacancy adjacent to carbon substitution of boron) to be the most promising defect candidate for scalable quantum bit and emitter applications.


title: Implementation of the algorithm for testing an automaton for synchronization in linear expected time

abstract: Berlinkov has suggested an algorithm that, given a deterministic finite automaton $\mathcal{A}$, verifies whether or not $\mathcal{A}$ is synchronizing in linear (of the number of states and letters) expected time. We present a modification of Berlinkov's algorithm which we have implemented and tested. Our experiments show that the implementation outperforms the standard quadratic algorithm even for automata of modest size and allow us to give a statistically accurate approximation of the ratio of non-synchronizing automata amongst all automata with a given number of states.


title: One-step treatment of spin-orbit coupling and electron correlation in large active spaces

abstract: In this work we demonstrate that the heat bath configuration interaction (HCI) and its semistochastic extension can be used to treat relativistic effects and electron correlation on an equal footing in large active spaces to calculate the low energy spectrum of several systems including halogens group atoms (F, Cl, Br, I), coinage atoms (Cu, Au) and the Neptunyl(VI) dioxide radical. This work demonstrates that despite a significant increase in the size of the Hilbert space due to spin symmetry breaking by the spin-orbit coupling terms, HCI retains the ability to discard large parts of the low importance Hilbert space to deliver converged absolute and relative energies. For instance, by using just over $10^7$ determinants we get converged excitation energies for Au atom in an active space containing (150o,25e) which has over $10^{30}$ determinants. We also investigate the accuracy of five different two-component relativistic Hamiltonians in which different levels of approximations are made in deriving the one-electron and two-electrons Hamiltonians, ranging from Breit-Pauli (BP) to various flavors of exact two-component (X2C) theory. The relative accuracy of the different Hamiltonians are compared on systems that range in atomic number from first row atoms to actinides.


title: Atmospheric stellar parameters for large surveys using FASMA, a new spectral synthesis package

abstract: In the era of vast spectroscopic surveys focusing on Galactic stellar populations, astronomers want to exploit the large quantity and good quality of data to derive their atmospheric parameters without losing precision from automatic procedures. In this work, we developed a new spectral package, FASMA, to estimate the stellar atmospheric parameters (namely effective temperature, surface gravity, and metallicity) in a fast and robust way. This method is suitable for spectra of FGK-type stars in medium and high resolution. The spectroscopic analysis is based on the spectral synthesis technique using the radiative transfer code, MOOG. The line list is comprised of mainly iron lines in the optical spectrum. The atomic data are calibrated after the Sun and Arcturus. We use two comparison samples to test our method, i) a sample of 451 FGK-type dwarfs from the high resolution HARPS spectrograph, and ii) the Gaia-ESO benchmark stars using both high and medium resolution spectra. We explore biases in our method from the analysis of synthetic spectra covering the parameter space of our interest. We show that our spectral package is able to provide reliable results for a wide range of stellar parameters, different rotational velocities, different instrumental resolutions, and for different spectral regions of the VLT-GIRAFFE spectrographs, used among others for the Gaia-ESO survey. FASMA estimates stellar parameters in less than 15 min for high resolution and 3 min for medium resolution spectra. The complete package is publicly available to the community.


title: Analytical approach of Brillouin Amplification over threshold

abstract: We report on an accurate closed form analytical model for the gain of a Brillouin fiber amplifier that accounts for material loss in the depleted pump regime. We determined the operational model limits with respect to its relevant parameters and pump regimes through both numerical and experimental validation. As such, our results enable accurate performance prediction of Brillouin fiber amplifiers operating in the weak pump, high gain, and saturation regimes alike.


title: Fine-grained Event Learning of Human-Object Interaction with LSTM-CRF

abstract: Event learning is one of the most important problems in AI. However, notwithstanding significant research efforts, it is still a very complex task, especially when the events involve the interaction of humans or agents with other objects, as it requires modeling human kinematics and object movements. This study proposes a methodology for learning complex human-object interaction (HOI) events, involving the recording, annotation and classification of event interactions. For annotation, we allow multiple interpretations of a motion capture by slicing over its temporal span, for classification, we use Long-Short Term Memory (LSTM) sequential models with Conditional Randon Field (CRF) for constraints of outputs. Using a setup involving captures of human-object interaction as three dimensional inputs, we argue that this approach could be used for event types involving complex spatio-temporal dynamics.


title: Characterization of Sobolev-Slobodeckij spaces using curvature energies

abstract: We give a new characterization of Sobolev-Slobodeckij spaces W^{1+s,p} for n/p<1+s, where n is the dimension of the domain. To achieve this we introduce a family of curvature energies inspired by the classical concept of integral Menger curvature. We prove that a function belongs to a Sobolev-Slobodeckij space if and only if it is in L^p and the appropriate energy is finite.


title: Bayesian estimation from few samples: community detection and related problems

abstract: We propose an efficient meta-algorithm for Bayesian estimation problems that is based on low-degree polynomials, semidefinite programming, and tensor decomposition. The algorithm is inspired by recent lower bound constructions for sum-of-squares and related to the method of moments. Our focus is on sample complexity bounds that are as tight as possible (up to additive lower-order terms) and often achieve statistical thresholds or conjectured computational thresholds. Our algorithm recovers the best known bounds for community detection in the sparse stochastic block model, a widely-studied class of estimation problems for community detection in graphs. We obtain the first recovery guarantees for the mixed-membership stochastic block model (Airoldi et el.) in constant average degree graphs---up to what we conjecture to be the computational threshold for this model. We show that our algorithm exhibits a sharp computational threshold for the stochastic block model with multiple communities beyond the Kesten--Stigum bound---giving evidence that this task may require exponential time. The basic strategy of our algorithm is strikingly simple: we compute the best-possible low-degree approximation for the moments of the posterior distribution of the parameters and use a robust tensor decomposition algorithm to recover the parameters from these approximate posterior moments.


title: Dimensional crossover and incipient quantum size effects in superconducting niobium nanofilms

abstract: Superconducting and normal state properties of sputtered Niobium nanofilms have been systematically investigated, as a function of film thickness in a d=9-90 nm range, on different substrates. The width of the superconducting-to-normal transition for all films remained in few tens of mK, thus remarkably narrow, confirming their high quality. We found that the superconducting critical current density exhibits a pronounced maximum, three times larger than its bulk value, for film thickness around 25 nm, marking the 3D-to-2D crossover. The extracted magnetic penetration depth shows a sizeable enhancement for the thinnest films, aside the usual demagnetization effects. Additional amplification effects of the superconducting properties have been obtained in the case of sapphire substrates or squeezing the lateral size of the nanofilms. For thickness close to 20 nm we also measured a doubled perpendicular critical magnetic field compared to its saturation value for d>33 nm, indicating shortening of the correlation length and the formation of small Cooper pairs in the condensate. Our data analysis evidences an exciting interplay between quantum-size and proximity effects together with strong-coupling effects and importance of disorder in the thinnest films, locating the ones with optimally enhanced critical properties close to the BCS-BEC crossover regime.


title: Spherical Plasmonic Heterodimers: Reversal of Optical Binding Force as the Effect of Symmetry Breaking

abstract: The stimulating connection between the reversal of near field plasmonic binding force and the role of symmetry breaking has not been investigated in detail in literature. As both bonding and anti-bonding modes are present in the visible spectra of well-known spherical plasmonic heterodimer sets, binding force reversal is commonly believed to occur for all such heterodimers. But our work suggests a very different proposal. We demonstrate that for the symmetry broken heterodimer configurations: reversal of lateral (for on-axis heterodimers) and longitudinal (for off-axis heterodimers: end-fire and nearly end-fire configurations) near field binding force follow fully distinct mechanisms; i.e. later one on relative orientation and constructive dipole-quadrupole resonance but the former one on light polarization and the induced electric resonance. Interestingly, the reversal of longitudinal near field binding force can be easily controlled just by changing the direction of light propagation or just their relative orientation. Though it is commonly believed that plasmonic forces mostly arise from the surface force and Fano resonance can be a promising way to achieve binding force reversal; our study based on Lorentz force dynamics suggests notably opposite proposals (for both instances) for the case of plasmonic spherical heterodimers. Observations of this article can be very useful for improved sensors, particle clustering and aggregation.


title: Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems

abstract: Cyber-physical systems increasingly rely on distributed computing platforms where sensing, computing, actuation, and communication resources are shared by a multitude of applications. Such `cyber-physical cloud computing platforms' present novel challenges because the system is built from mobile embedded devices, is inherently distributed, and typically suffers from highly fluctuating connectivity among the modules. Architecting software for these systems raises many challenges not present in traditional cloud computing. Effective management of constrained resources and application isolation without adversely affecting performance are necessary. Autonomous fault management and real-time performance requirements must be met in a verifiable manner. It is also both critical and challenging to support multiple end-users whose diverse software applications have changing demands for computational and communication resources, while operating on different levels and in separate domains of security. The solution presented in this paper is based on a layered architecture consisting of a novel operating system, a middleware layer, and component-structured applications. The component model facilitates the construction of software applications from modular and reusable components that are deployed in the distributed system and interact only through well-defined mechanisms. The complexity of creating applications and performing system integration is mitigated through the use of a domain-specific model-driven development process that relies on a domain-specific modeling language and its accompanying graphical modeling tools, software generators for synthesizing infrastructure code, and the extensive use of model-based analysis for verification and validation.


title: DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems

abstract: Distributed real-time and embedded (DRE) systems executing mixed criticality task sets are increasingly being deployed in mobile and embedded cloud computing platforms, including space applications. These DRE systems must not only operate over a range of temporal and spatial scales, but also require stringent assurances for secure interactions between the system's tasks without violating their individual timing constraints. To address these challenges, this paper describes a novel distributed operating system focusing on the scheduler design to support the mixed criticality task sets. Empirical results from experiments involving a case study of a cluster of satellites emulated in a laboratory testbed validate our claims.


title: Bounded Rationality in Scholarly Knowledge Discovery

abstract: In an information-rich world, people's time and attention must be divided among rapidly changing information sources and the diverse tasks demanded of them. How people decide which of the many sources, such as scientific articles or patents, to read and use in their own work affects dissemination of scholarly knowledge and adoption of innovation. We analyze the choices people make about what information to propagate on the citation networks of Physical Review journals, US patents and legal opinions. We observe regularities in behavior consistent with human bounded rationality: rather than evaluate all available choices, people rely on simply cognitive heuristics to decide what information to attend to. We demonstrate that these heuristics bias choices, so that people preferentially propagate information that is easier to discover, often because it is newer or more popular. However, we do not find evidence that popular sources help to amplify the spread of information beyond making it more salient. Our paper provides novel evidence of the critical role that bounded rationality plays in the decisions to allocate attention in social communication.


title: Chiral Higher Spin Theories and Self-Duality

abstract: We study recently proposed chiral higher spin theories - cubic theories of interacting massless higher spin fields in four-dimensional flat space. We show that they are naturally associated with gauge algebras, which manifest themselves in several related ways. Firstly, the chiral higher spin equations of motion can be reformulated as the self-dual Yang-Mills equations with the associated gauge algebras instead of the usual colour gauge algebra. We also demonstrate that the chiral higher spin field equations, similarly to the self-dual Yang-Mills equations, feature an infinite algebra of hidden symmetries, which ensures their integrability. Secondly, we show that off-shell amplitudes in chiral higher spin theories satisfy the generalised BCJ relations with the usual colour structure constants replaced by the structure constants of higher spin gauge algebras. We also propose generalised double copy procedures featuring higher spin theory amplitudes. Finally, using the light-cone deformation procedure we prove that the structure of the Lagrangian that leads to all these properties is universal and follows from Lorentz invariance.


title: On the Complexity of Chore Division

abstract: We study the proportional chore division problem where a protocol wants to divide an undesirable object, called chore, among $n$ different players. The goal is to find an allocation such that the cost of the chore assigned to each player be at most $1/n$ of the total cost. This problem is the dual variant of the cake cutting problem in which we want to allocate a desirable object. Edmonds and Pruhs showed that any protocol for the proportional cake cutting must use at least $\Omega(n \log n)$ queries in the worst case, however, finding a lower bound for the proportional chore division remained an interesting open problem. We show that chore division and cake cutting problems are closely related to each other and provide an $\Omega(n \log n)$ lower bound for chore division.


title: Search for Massive Bosons Decaying to Wg and Zg Using the ATLAS Detector

abstract: The Standard Model is by far the most encompassing physics theory. With the recent discovery of the Higgs Boson, the Standard Model has performed extremely well against experimental data. However, the theory is intrinsically not complete, it does not address physical phenomenon such as gravity and dark matter. Many proposals for physics beyond the Standard Model predict new massive bosons from additional gauge fields or extended Higgs sectors. This paper examines a preliminary search of possible V gamma decay channels of proposed new bosons.


title: What Words Do We Use to Lie?: Word Choice in Deceptive Messages

abstract: Text messaging is the most widely used form of computer-mediated communication (CMC). Previous findings have shown that linguistic factors can reliably indicate messages as deceptive. For example, users take longer and use more words to craft deceptive messages than they do truthful messages. Existing research has also examined how factors, such as student status and gender, affect rates of deception and word choice in deceptive messages. However, this research has been limited by small sample sizes and has returned contradicting findings. This paper aims to address these issues by using a dataset of text messages collected from a large and varied set of participants using an Android messaging application. The results of this paper show significant differences in word choice and frequency of deceptive messages between male and female participants, as well as between students and non-students.


title: A Data-driven Approach Towards Human-robot Collaborative Problem Solving in a Shared Space

abstract: We are developing a system for human-robot communication that enables people to communicate with robots in a natural way and is focused on solving problems in a shared space. Our strategy for developing this system is fundamentally data-driven: we use data from multiple input sources and train key components with various machine learning techniques. We developed a web application that is collecting data on how two humans communicate to accomplish a task, as well as a mobile laboratory that is instrumented to collect data on how two humans communicate to accomplish a task in a physically shared space. The data from these systems will be used to train and fine-tune the second stage of our system, in which the robot will be simulated through software. A physical robot will be used in the final stage of our project. We describe these instruments, a test-suite and performance metrics designed to evaluate and automate the data gathering process as well as evaluate an initial data set.


title: Afterglows and Macronovae Associated with Nearby Low-Luminosity Short-Duration Gamma-Ray Bursts

abstract: A binary neutron star (BNS) merger has been widely argued to be one of the progenitors of a short gamma-ray burst (SGRB). This central engine can be verified if its gravitational-wave (GW) event is detected simultaneously. Once confirmed, this kind of association will be a landmark in multi-messenger astronomy and will greatly enhance our understanding of the BNS merger processes. Due to the limited detection horizon of BNS mergers for the advanced LIGO/Virgo GW observatories, we are inclined to local SGRBs within few hundreds of mega-parsecs. Since normal SGRBs rarely fall into such a close range, to make it more observationally valuable, we have to focus on low-luminosity SGRBs which have a higher statistical occurrence rate and detection probability. However, there is a possibility that an observed low-luminosity SGRB is intrinsically powerful but we are off-axis and only observe its side emission. In this paper, we provide some theoretical predictions of both the off-axis afterglow emission from a nearby SGRB under the assumption of a structured jet and the macronova signal from the ejecta of this GW-detectable BNS merger. From the properties of the afterglow emission, we could distinguish an off-axis normal SGRB from an intrinsically low-energy quasi-isotropic class. Furthermore, with follow-up multi-wavelength observations, a few parameters for BNS mergers (e.g. the medium density and the ejecta mass and velocity) would be constrained.


title: Identifying Constant Curvature Manifolds, Einstein Manifolds, and Ricci Parallel Manifolds

abstract: We establish variational formulas for Ricci upper and lower bounds, as well as a derivative formula for the Ricci curvature. As applications, constant curvature manifolds, Einstein manifolds and Ricci parallel manifolds are identified, respectively, with different integral-differential formulas and semigroup inequalities. Moreover, by using derivative and Hessian formulas for the heat semigroup $P_t$ developed from stochastic analysis, explicit Hessian estimates are derived on Einstein and Ricci parallel manifolds.


title: The viscosity-radius relationship from scaling arguments

abstract: The viscosity-radius relationship for semi-dilute polymer solutions is derived using scaling arguments. The viscosity temperature and the temperature radius relationships are combined using the transitive equality relationship. The viscosity-radius relationship is determined to be . The reduced viscosity observed with both increasing temperature and increasing shear rate then results from a reduction in coil radius.


title: Nonlinear Responses of Chiral Fluids from Kinetic Theory

abstract: The second-order nonlinear responses of inviscid chiral fluids near local equilibrium are investigated by applying the chiral kinetic theory (CKT) incorporating side-jump effects. It is shown that the local equilibrium distribution function can be non-trivially introduced in a co-moving frame with respect to the fluid velocity when the quantum corrections in collisions are involved. For the study of anomalous transport, contributions from both quantum corrections in anomalous hydrodynamic equations of motion and those from the CKT and Wigner functions are considered under the relaxation-time (RT) approximation, which result in anomalous charge Hall currents propagating along the cross product of the background electric field and the temperature (or chemical-potential) gradient and of the temperature and chemical-potential gradients. On the other hand, the nonlinear quantum correction on the charge density vanishes in the classical RT approximation, which in fact satisfies the matching condition given by the anomalous equation obtained from the CKT.

categories: hep-th cond-mat.mes-hall cond-mat.stat-mech nucl-th


title: Image Dehazing using Bilinear Composition Loss Function

abstract: In this paper, we introduce a bilinear composition loss function to address the problem of image dehazing. Previous methods in image dehazing use a two-stage approach which first estimate the transmission map followed by clear image estimation. The drawback of a two-stage method is that it tends to boost local image artifacts such as noise, aliasing and blocking. This is especially the case for heavy haze images captured with a low quality device. Our method is based on convolutional neural networks. Unique in our method is the bilinear composition loss function which directly model the correlations between transmission map, clear image, and atmospheric light. This allows errors to be back-propagated to each sub-network concurrently, while maintaining the composition constraint to avoid overfitting of each sub-network. We evaluate the effectiveness of our proposed method using both synthetic and real world examples. Extensive experiments show that our method outperfoms state-of-the-art methods especially for haze images with severe noise level and compressions.


title: Convexity of level lines of Martin functions and applications

abstract: Let $\Omega$ be an unbounded domain in $\mathbb{R}\times\mathbb{R}^{d}.$ A positive harmonic function $u$ on $\Omega$ that vanishes on the boundary of $\Omega$ is called a Martin function. In this note, we show that, when $\Omega$ is convex, the superlevel sets of a Martin function are also convex. As a consequence we obtain that if in addition $\Omega$ is symmetric, then the maximum of any Martin function along a slice $\Omega\cap (\{t\}\times\mathbb{R}^d)$ is attained at $(t,0).$


title: Proper motions of L1551 IRS 5 binary system using 7 mm VLA observations

abstract: We analyzed high angular resolution observations of the Very Large Array archive at a wavelength of 7 mm of the L1551 IRS 5 binary system. Six sets of observations,five with the A configuration and one with the B configuration, were used, covering a time span of about 15 years. With these multi-epoch data, we estimated the absolute and relative proper motions of the binary system, which are about 25.1 mas/yr (~ 16.7 km/s considering a distance of 140 pc) and 4.2 mas/yr, respectively. Finally, based on the relative proper motion, we estimated a total mass of the L1551 IRS 5 binary system of 1.7 Msun and an orbital period of 246 years.


title: Regularity of the minimiser of one-dimensional interaction energies

abstract: We consider both the minimisation of a class of nonlocal interaction energies over non-negative measures with unit mass and a class of singular integral equations of the first kind of Fredholm type. Our setting covers applications to dislocation pile-ups, contact problems, fracture mechanics and random matrix theory. Our main result shows that both the minimisation problems and the related singular integral equations have the same unique solution, which provides new regularity results on the minimiser of the energy and new positivity results on the solutions to singular integral equations.


title: A Versatile Approach to Evaluating and Testing Automated Vehicles based on Kernel Methods

abstract: Evaluation and validation of complicated control systems are crucial to guarantee usability and safety. Usually, failure happens in some very rarely encountered situations, but once triggered, the consequence is disastrous. Accelerated Evaluation is a methodology that efficiently tests those rarely-occurring yet critical failures via smartly-sampled test cases. The distribution used in sampling is pivotal to the performance of the method, but building a suitable distribution requires case-by-case analysis. This paper proposes a versatile approach for constructing sampling distribution using kernel method. The approach uses statistical learning tools to approximate the critical event sets and constructs distributions based on the unique properties of Gaussian distributions. We applied the method to evaluate the automated vehicles. Numerical experiments show proposed approach can robustly identify the rare failures and significantly reduce the evaluation time.


title: Efficient and Effective Single-Document Summarizations and A Word-Embedding Measurement of Quality

abstract: Our task is to generate an effective summary for a given document with specific realtime requirements. We use the softplus function to enhance keyword rankings to favor important sentences, based on which we present a number of summarization algorithms using various keyword extraction and topic clustering methods. We show that our algorithms meet the realtime requirements and yield the best ROUGE recall scores on DUC-02 over all previously-known algorithms. We show that our algorithms meet the realtime requirements and yield the best ROUGE recall scores on DUC-02 over all previously-known algorithms. To evaluate the quality of summaries without human-generated benchmarks, we define a measure called WESM based on word-embedding using Word Mover's Distance. We show that the orderings of the ROUGE and WESM scores of our algorithms are highly comparable, suggesting that WESM may serve as a viable alternative for measuring the quality of a summary.


title: An angle between intermediate subfactors and its rigidity

abstract: We introduce a new notion of angle between intermediate subfactors and prove various interesting properties of the angle and relate it with the Jones' index. We prove a uniform 60 to 90 degree bound for the angle between minimal intermediate subfactors of a finite index irreducible subfactor. From this rigidity we can bound the number of minimal (or maximal) intermediate subfactors by the kissing number in geometry. As a consequence, the number intermediate subfactors of an irreducible subfactor has at most exponential growth with respect to the Jones index. This answers a question of Longo published in 2003.


title: DTATG: An Automatic Title Generator based on Dependency Trees

abstract: We study automatic title generation for a given block of text and present a method called DTATG to generate titles. DTATG first extracts a small number of central sentences that convey the main meanings of the text and are in a suitable structure for conversion into a title. DTATG then constructs a dependency tree for each of these sentences and removes certain branches using a Dependency Tree Compression Model we devise. We also devise a title test to determine if a sentence can be used as a title. If a trimmed sentence passes the title test, then it becomes a title candidate. DTATG selects the title candidate with the highest ranking score as the final title. Our experiments showed that DTATG can generate adequate titles. We also showed that DTATG-generated titles have higher F1 scores than those generated by the previous methods.


title: A Lottery Model for Center-type Problems With Outliers

abstract: In this paper, we give tight approximation algorithms for the $k$-center and matroid center problems with outliers. Unfairness arises naturally in this setting: certain clients could always be considered as outliers. To address this issue, we introduce a lottery model in which each client $j$ is allowed to submit a parameter $p_j \in [0,1]$ and we look for a random solution that covers every client $j$ with probability at least $p_j$. Our techniques include a randomized rounding procedure to round a point inside a matroid intersection polytope to a basis plus at most one extra item such that all marginal probabilities are preserved and such that a certain linear function of the variables does not decrease in the process with probability one.


title: A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems

abstract: In this paper, we establish a zero-sum, hybrid state stochastic game model for designing defense policies for cyber-physical systems against different types of attacks. With the increasingly integrated properties of cyber-physical systems (CPS) today, security is a challenge for critical infrastructures. Though resilient control and detecting techniques for a specific model of attack have been proposed, to analyze and design detection and defense mechanisms against multiple types of attacks for CPSs requires new system frameworks. Besides security, other requirements such as optimal control cost also need to be considered. The hybrid game model we propose in this work contains physical states that are described by the system dynamics, and a cyber state that represents the detection mode of the system composed by a set of subsystems. A strategy means selecting a subsystem by combining one controller, one estimator and one detector among a finite set of candidate components at each state. Based on the game model, we propose a suboptimal value iteration algorithm for a finite horizon game, and prove that the algorithm results an upper bound for the value of the finite horizon game. A moving-horizon approach is also developed in order to provide a scalable and real-time computation of the switching strategies. Both algorithms aims at obtaining a saddle-point equilibrium policy for balancing the system's security overhead and control cost. The paper illustrates these concepts using numerical examples, and we compare the results with previously system designs that only equipped with one type of controller.


title: Prediction and Control of Projectile Impact Point using Approximate Statistical Moments

abstract: In this paper, trajectory prediction and control design for a desired hit point of a projectile is studied. Projectiles are subject to environment noise such as wind effect and measurement noise. In addition, mathematical models of projectiles contain a large number of important states that should be taken into account for having a realistic prediction. Furthermore, dynamics of projectiles contain nonlinear functions such as monomials and sine functions. To address all these issues we formulate a stochastic model for the projectile. We showed that with a set of transformations projectile dynamics only contains nonlinearities of the form of monomials. In the next step we derived approximate moment dynamics of this system using mean-field approximation. Our method still suffers from size of the system. To address this problem we selected a subset of first- and second-order statistical moments and we showed that they give reliable approximations of the mean and standard deviation of the impact point for a real projectile. Finally we used these selected moments to derive a control law that reduces error to hit a desired point.


title: Translating Videos to Commands for Robotic Manipulation with Deep Recurrent Neural Networks

abstract: We present a new method to translate videos to commands for robotic manipulation using Deep Recurrent Neural Networks (RNN). Our framework first extracts deep features from the input video frames with a deep Convolutional Neural Networks (CNN). Two RNN layers with an encoder-decoder architecture are then used to encode the visual features and sequentially generate the output words as the command. We demonstrate that the translation accuracy can be improved by allowing a smooth transaction between two RNN layers and using the state-of-the-art feature extractor. The experimental results on our new challenging dataset show that our approach outperforms recent methods by a fair margin. Furthermore, we combine the proposed translation module with the vision and planning system to let a robot perform various manipulation tasks. Finally, we demonstrate the effectiveness of our framework on a full-size humanoid robot WALK-MAN.


title: A Novel Deformation Method for Higher Order Mesh Generation

abstract: The development of higher order finite elements methods has become an active research area. The deformation method for mesh generation has achieved a prescribed positive Jacobian determinant constraint and it has been a useful method for mesh adaptation. In this work, the deformation method is combined with local refinement to generate higher order meshes. 2D and 3D numerical examples of element order p=3 are shown to demonstrate the effectiveness of our new algorithm.


title: Dimensional crossover in the quasi-one-dimensional superconductor Tl$_2$Mo$_6$Se$_6$

abstract: Long-range order in quasi-one-dimensional (q1D) arrays of superconducting nanowires is established via a dimensional crossover from a fluctuating 1D regime to a phase-coherent 3D ground state. If a homogeneous crystalline superconductor exhibits sufficiently high uniaxial anisotropy, a similar 1D$\rightarrow$3D crossover has been predicted to occur, provided that single-particle hopping transverse to the 1D axis is absent in the normal state. Here we present magnetic penetration depth and electrical transport data in single crystals of q1D Tl$_2$Mo$_6$Se$_6$, which reveal a 1D$\rightarrow$3D superconducting dimensional crossover. Both experimental techniques uncover multiple energy scales within the superconducting transition, which describe a sequence of fluctuating regimes. As the temperature is reduced below $T_{ons}=$~6.7~K, 1D pairing fluctuations are replaced by 1D phase slips below $T_p\sim$~5.9~K. These give way to 3D phase fluctuations below $T_{ab}=$~4.9~K, prior to dimensional crossover at $T_{x2}\sim$~4.4~K. The electrical resistivity below $T_{ab}$ is quantitatively consistent with the establishment of phase coherence through gradual binding of Josephson vortex strings to form 3D loops. An anomalously low superfluid density persist down to $\sim$3~K before rising steeply --- in agreement with a theoretical model for crossovers in q1D superconductors, and suggesting that a small population of unbound, weakly-pinned vortices survives below the crossover. The observation of a dimensional crossover within the superconducting state has important consequences for the low-temperature normal state in Tl$_2$Mo$_6$Se$_6$ and similar q1D metals, which may exhibit one-dimensional behavior over far greater temperature ranges than band structure calculations suggest.


title: Collision-free motion planning on manifolds with boundary

abstract: This paper concerns the study of the homotopy type of the ordered configuration space for manifolds with boundary and as an application we will study the collision free motion planning problem on manifolds with boundary.


title: Prime twists of elliptic curves

abstract: For certain elliptic curves $E/\mathbb{Q}$ with $E(\mathbb{Q})[2]=\mathbb{Z}/2 \mathbb{Z}$, we prove a criterion for prime twists of $E$ to have analytic rank 0 or 1, based on a mod 4 congruence of 2-adic logarithms of Heegner points. As an application, we prove new cases of Silverman's conjecture that there exists a positive proposition of prime twists of $E$ of rank zero (resp. positive rank).


title: NOvA Short-Baseline Tau Neutrino Appearance Search

abstract: Standard three-flavor neutrino oscillations have well explained by a wide range of neutrino experiments. However, the anomalous results, such as electron-antineutrino excess seen by LSND and MiniBooNE do not fit the three-flavor paradigm. This can be explained by an additional fourth flavor sterile neutrino at a larger scale than the existing three flavor neutrinos. The NOvA experiment consists of two finely segmented, liquid scintillator detectors operating 14 .6 mrad off-axis from the NuMI muon-neutrino beam. The Near Detector is located on the Fermilab campus, 1 km from the NuMI target, while the Far Detector is located at Ash River, MN, 810 km from the NuMI target. The NOvA experiment is primarily designed to measure electron-neutrino appearance at the Far Detector using the Near Detector to control systematic uncertainties; however, the Near Detector is well suited for searching for anomalous short-baseline oscillations. This poster will present a novel method for selecting tau neutrino interactions with high purity at the Near Detector using a convolutional neural network. Using this method, the sensitivity to anomalous short-baseline tau-neutrino appearance due to sterile neutrino oscillations will be presented.


title: Delay Asymptotics and Bounds for Multi-Task Parallel Jobs

abstract: We study delay of jobs that consist of multiple parallel tasks, which is a critical performance metric in a wide range of applications such as data file retrieval in coded storage systems and parallel computing. In this problem, each job is completed only when all of its tasks are completed, so the delay of a job is the maximum of the delays of its tasks. Despite the wide attention this problem has received, tight analysis is still largely unknown since analyzing job delay requires characterizing the complicated correlation among task delays, which is hard to do. We first consider an asymptotic regime where the number of servers, $n$, goes to infinity, and the number of tasks in a job, $k^{(n)}$, is allowed to increase with $n$. We establish the asymptotic independence of any $k^{(n)}$ queues under the condition $k^{(n)} = o(n^{1/4})$. This greatly generalizes the asymptotic-independence type of results in the literature where asymptotic independence is shown only for a fixed constant number of queues. As a consequence of our independence result, the job delay converges to the maximum of independent task delays. We next consider the non-asymptotic regime. Here we prove that independence yields a stochastic upper bound on job delay for any $n$ and any $k^{(n)}$ with $k^{(n)}\le n$. The key component of our proof is a new technique we develop, called "Poisson oversampling". Our approach converts the job delay problem into a corresponding balls-and-bins problem. However, in contrast with typical balls-and-bins problems where there is a negative correlation among bins, we prove that our variant exhibits positive correlation.


title: Half-maximal consistent truncations using exceptional field theory

abstract: We show how to construct half-maximal consistent truncations of 10- and 11-dimensional supergravity to seven dimensions using exceptional field theory. This procedure gives rise to a seven-dimensional half-maximal gauged supergravity coupled to $n$ vector multiplets, with $n \neq 3$ in general. We also show how these techniques can be used to reduce exceptional field theory to heterotic double field theory.


title: Domination game on uniform hypergraphs

abstract: In this paper we introduce and study the domination game on hypergraphs. This is played on a hypergraph $\mathcal{H}$ by two players, namely Dominator and Staller, who alternately select vertices such that each selected vertex enlarges the set of vertices dominated so far. The game is over if all vertices of $\mathcal{H}$ are dominated. Dominator aims to finish the game as soon as possible, while Staller aims to delay the end of the game. If each player plays optimally and Dominator starts, the length of the game is the invariant `game domination number' denoted by $\gamma_g(\mathcal{H})$. This definition is the generalization of the domination game played on graphs and it is a special case of the transversal game on hypergraphs. After some basic general results, we establish an asymptotically tight upper bound on the game domination number of $k$-uniform hypergraphs. In the remaining part of the paper we prove that $\gamma_g(\mathcal{H}) \le 5n/9$ if $\mathcal{H}$ is a 3-uniform hypergraph of order $n$ and does not contain isolated vertices. This also implies the following new result for graphs: If $G$ is an isolate-free graph on $n$ vertices and each of its edges is contained in a triangle, then $\gamma_g(G) \le 5n/9$.


title: Velocity Field Generation for Density Control of Swarms using Heat Equation and Smoothing Kernels

abstract: This paper presents a method to control the probability density distribution of a swarm of vehicles via velocity fields. The proposed approach synthesizes smooth velocity fields, which specify a desired velocity as a function of time and position in a decentralized manner i.e., each agent calculates the desired velocity locally by utilizing the number of agents within a prescribed communication distance. Swarm converges to the desired/commanded density distribution by following the velocity field. The local information consists, only, of agents' positions and it is utilized to estimate the density around each agent. Local density estimation is performed by using kernel density estimation. Then the local density estimates and the desired density are utilized to generate the velocity field, which propagates the swarm probability density distribution via the well-known heat equation. The key advantage of using smooth velocity fields to control swarm density with respect to our earlier Markov chain based probabilistic control methods is that the agents move more smoothly in an organized manner and their relative velocities go to zero as they get closer to each other, i.e., they facilitate conflict/collision avoidance. The desired density distribution, which is commanded to the local controllers, can be computed by using a Markov chain that propagates the desired density distribution within prescribed requirements. Along with convergence and stability analysis, the effectiveness of the approach is illustrated via numerical examples.


title: Casimir and Casimir-Polder forces with dissipation from first principles

abstract: We consider Casimir-Polder and Casimir forces with finite dissipation by coupling heat baths to the dipoles introducing, this way, dissipation from 'first principles'. We derive a representation of the free energy as an integral over real frequencies, which can be viewd as an generalization of the 'remarkable formula' introduced by Ford et. al. 1985. For instance, we obtain a nonperturbative representation for the atom-atom and atom-wall interactions. We investigate several limiting cases. From the limit $T\to0$ we show that the third law of thermodynamics cannot be violated within the given approach, where the dissipation parameter cannot depend on temperature 'by construction'. We conclude, that the given approach is insufficient to resolve the thermodynamic puzzle connected with the Drude model when inserted into the Lifshitz formula. Further we consider the transition to Matsubara representation and discuss modifications of the contribution from the zeroth Matsubara frequency.


title: Spatial patterns of random walkers under evolution of the attractiveness: persistent nodes, degree distribution, and spectral properties

abstract: In this paper we explore the features of a graph generated by random walkers with nodes that have evolutionary attractiveness and Boltzmann-like transition probabilities that depend both on the euclidean distance between the nodes and on the ratio ($\beta $) of the attractiveness between them. We show that persistent nodes, i.e., nodes that never been reached by random walker in asymptotic times are possible in the stationary case differently from the case where the attractiveness is fixed and equal to one for all nodes ($\beta =1$). Simultaneously, we also investigate the spectral properties and statistics related to the attractiveness and degree distribution of the evolutionary network. Finally, we study a crossover between persistent phase and no persistent phase and we also show the existence of a special type of transition probability that leads to a power law behaviour for the time evolution of the persistence.


title: Towards Open Data for the Citation Content Analysis

abstract: The paper presents first results of the CitEcCyr project funded by RANEPA. The project aims to create a source of open citation data for research papers written in Russian. Compared to existing sources of citation data, CitEcCyr is working to provide the following added values: a) a transparent and distributed architecture of a technology that generates the citation data; b) an openness of all built/used software and created citation data; c) an extended set of citation data sufficient for the citation content analysis; d) services for public control over a quality of the citation data and a citing activity of researchers.


title: Regular Morphisms and Gersten's Conjecture

abstract: We prove that if $X \to Y$ is a (geometrically) regular morphism of Noetherian schemes, then from a Nisnevich-local perspective, the Gersten complex for Quillen $K$-theory on $X$ becomes acyclic in degrees beyond the Krull dimension of $Y$. Using our methods, we also reduce the general Gersten conjecture for regular, unramified local rings to the case of a discrete valuation ring which is essentially smooth over $\mathbb{Z}$. We apply our results to the the theory of algebraic cycles --- globally to obtain relative versions of Bloch's Formula and locally to address the Claborn-Fossum Conjecture concerning the vanishing of Chow groups for regular local rings.


title: Slater Insulator in Iridate Perovskites with Strong Spin-Orbit Coupling

abstract: The perovskite SrIrO3 is an exotic narrow-band metal owing to a confluence of the strengths of the spin-orbit coupling (SOC) and the electron-electron correlations. It has been proposed that topological and magnetic insulating phases can be achieved by tuning the SOC, Hubbard interactions, and/or lattice symmetry. Here, we report that the substitution of nonmagnetic, isovalent Sn4+ for Ir4+ in the SrIr1-xSnxO3 perovskites synthesized under high pressure leads to a metal-insulator transition to an antiferromagnetic (AF) phase at TN > 225 K. The continuous change of the cell volume as detected by x-ray diffraction and the lamda-shape transition of the specific heat on cooling through TN demonstrate that the metal-insulator transition is of second-order. Neutron powder diffraction results indicate that the Sn substitution enlarges an octahedral-site distortion that reduces the SOC relative to the spin-spin exchange interaction and results in the type-G AF spin ordering below TN. Measurement of high-temperature magnetic susceptibility shows the evolution of magnetic coupling in the paramagnetic phase typical of weak itinerant-electron magnetism in the Sn-substituted samples. A reduced structural symmetry in the magnetically ordered phase leads to an electron gap opening at the Brillouin zone boundary below TN in the same way as proposed by Slater.


title: Cosmological imprints of string axions in plateau

abstract: We initiate a study on various cosmological imprints of string axions whose scalar potentials have plateau regions. In such cases, we show that a delayed onset of oscillation generically leads to a parametric resonance instability. In particular, for ultralight axions, the parametric resonance can enhance the power spectrum slightly below the Jeans scale, alleviating the tension with the Lyman $\alpha$ forest observations. We also argue that a long-lasting resonance can lead to an emission of gravitational waves at the frequency bands which are detectable by gravitational wave interferometers and pulsar timing arrays.


title: Combinatorial geometry of flag domains in G/B

abstract: A real form $G_0$ of a complex semisimple Lie group $G$ has only finitely many orbits in any given compact $G$-homogeneous projective algebraic manifold $Z=G/Q$. A maximal compact subgroup $K_0$ of $G_0$ has special orbits $C$ which are complex sub-manifolds in the open orbits of $G_0$. These are referred to as cycles. The cycles intersect Shubert varieties $S$ transversely in finitely many points. In particular, determining these points of intersection yields a description of the topological class of the given cycle. This was carried out for all real forms of $SL(n,\mathbb{C})$ in the work of A. Brecan. Our work here is devoted to the real forms of the other classical groups, $Sp(2n,\mathbb{C})$ and $SO(n,\mathbb{C})$. For the manifold $Z=G/B$ of complete flags the points of intersection in $S\cap C$ are described, in particular the number of such is computed. For certain real forms, e.g., $Sp(2n,\mathbb{R})$ and $SO^*(2n)$, remarkably simple formulas are proved. In other cases the results are algorithmic in nature.


title: Pyramidal RoR for Image Classification

abstract: The Residual Networks of Residual Networks (RoR) exhibits excellent performance in the image classification task, but sharply increasing the number of feature map channels makes the characteristic information transmission incoherent, which losses a certain of information related to classification prediction, limiting the classification performance. In this paper, a Pyramidal RoR network model is proposed by analysing the performance characteristics of RoR and combining with the PyramidNet. Firstly, based on RoR, the Pyramidal RoR network model with channels gradually increasing is designed. Secondly, we analysed the effect of different residual block structures on performance, and chosen the residual block structure which best favoured the classification performance. Finally, we add an important principle to further optimize Pyramidal RoR networks, drop-path is used to avoid over-fitting and save training time. In this paper, image classification experiments were performed on CIFAR-10/100 and SVHN datasets, and we achieved the current lowest classification error rates were 2.96%, 16.40% and 1.59%, respectively. Experiments show that the Pyramidal RoR network optimization method can improve the network performance for different data sets and effectively suppress the gradient disappearance problem in DCNN training.


title: Load Balancing in Hypergraphs

abstract: Consider a simple locally finite hypergraph on a countable vertex set, where each edge represents one unit of load which should be distributed among the vertices defining the edge. An allocation of load is called balanced if load cannot be moved from a vertex to another that is carrying less load. We analyze the properties of balanced allocations of load. We extend the concept of balancedness from finite hypergraphs to their local weak limits in the sense of Benjamini and Schramm (2001) and Aldous and Steele (2004). To do this, we define a notion of unimodularity for hypergraphs which could be considered an extension of unimodularity in graphs. We give a variational formula for the balanced load distribution and, in particular, we characterize it in the special case of unimodular hypergraph Galton Watson processes. Moreover, we prove the convergence of the maximum load under some conditions. Our work is an extension to hypergraphs of Anantharam and Salez (2016), which considered load balancing in graphs, and is aimed at more comprehensively resolving conjectures of Hajek (1990).