title: Picard group and quantization of toric orbifolds

abstract: In the classical theory of toric manifolds polytopes appear in two guises -- as Newton polytopes of line bundles on the complex, and as moment polytopes on the symplectic side, the link between the two being established by the prequantizability condition on the cohomology class of the symplectic form. Here we give a combinatorial description of the orbifold Picard group for complete toric orbifolds, with the aim of detailing the relation between complex and symplectic aspects in the orbifold setting. In particular this permits to illustrate the breakdown of identification of (orbifold) line bundles by their Chern class (or moment polytope up to translations in $\mathfrak{t}^\ast$), and non-constancy of $h^0$ on representatives of the same Chern class. As an application, we discuss symplectic reduction with respect to restrictions of the action to sub-tori, and the associated Bohr--Sommerfeld conditions in mixed polarizations.


title: Group actions on 2-categories

abstract: We study actions of discrete groups on 2-categories. The motivating examples are actions on the 2-category of representations of finite tensor categories and their relation with the extension theory of tensor categories by groups. Associated to a group action on a 2-category, we construct the 2-category of equivariant objects. We also introduce the G-equivariant notions of pseudofunctor, pseudonatural transformation and modification. Our first main result is a coherence theorem for 2-categories with an action of a group. For a 2-category B with an action of a group G, we construct a braided G-crossed monoidal category Z_G(B) with trivial component the Drinfeld center of B. We prove that, in the case of a G-action on the 2-category of representation of a tensor category C, the 2-category of equivariant objects is biequivalent to the module categories over an associated G-extension of C. Finally, we prove that the center of the equivariant 2-category is monoidally equivalent to the equivariantization of a relative center, generalizing results obtained in [S. Gelaki, D. Naidu and D. Nikshych, Centers of graded fusion categories, Algebra Number Theory 3, No. 8 (2009), 959--990.]


title: Optimal Detection of Faulty Traffic Sensors Used in Route Planning

abstract: In a smart city, real-time traffic sensors may be deployed for various applications, such as route planning. Unfortunately, sensors are prone to failures, which result in erroneous traffic data. Erroneous data can adversely affect applications such as route planning, and can cause increased travel time. To minimize the impact of sensor failures, we must detect them promptly and accurately. However, typical detection algorithms may lead to a large number of false positives (i.e., false alarms) and false negatives (i.e., missed detections), which can result in suboptimal route planning. In this paper, we devise an effective detector for identifying faulty traffic sensors using a prediction model based on Gaussian Processes. Further, we present an approach for computing the optimal parameters of the detector which minimize losses due to false-positive and false-negative errors. We also characterize critical sensors, whose failure can have high impact on the route planning application. Finally, we implement our method and evaluate it numerically using a real-world dataset and the route planning platform OpenTripPlanner.


title: Zero-cycles of degree one on Skorobogatov's bielliptic surface

abstract: Skorobogatov constructed a bielliptic surface which is a counterexample to the Hasse principle not explained by the Brauer-Manin obstruction. We show that this surface has a $0$-cycle of degree 1, as predicted by a conjecture of Colliot-Th\'el\`ene.


title: Effective forcing with Cantor manifolds

abstract: A set $A$ of integers is called total if there is an algorithm which, given an enumeration of $A$, enumerates the complement of $A$, and called cototal if there is an algorithm which, given an enumeration of the complement of $A$, enumerates $A$. Many variants of totality and cototality have been studied in computability theory. In this note, by an effective forcing construction with strongly infinite dimensional Cantor manifolds, which can be viewed as an effectivization of Zapletal's "half-Cohen" forcing (i.e., the forcing with Henderson compacta), we construct a set of integers whose enumeration degree is cototal, almost total, but neither cylinder-cototal nor telograph-cototal.


title: Difference bases in cyclic groups

abstract: A subset $B$ of an Abelian group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=a-b$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called the difference size of $G$ and is denoted by $\Delta[G]$. We prove that for every $n\in\mathbb N$ the cyclic group $C_n$ of order $n$ has difference size $\frac{1+\sqrt{4|n|-3}}2\le \Delta[C_n]\le\frac32\sqrt{n}$. If $n\ge 9$ (and $n\ge 2\cdot 10^{15}$), then $\Delta[C_n]\le\frac{12}{\sqrt{73}}\sqrt{n}$ (and $\Delta[C_n]<\frac2{\sqrt{3}}\sqrt{n}$). Also we calculate the difference sizes of all cyclic groups of cardinality $\le 100$.


title: Ultrashort dark solitons interactions and nonlinear tunneling in the modified nonlinear Schr\"odinger equation with variable coefficients

abstract: We present the study of the dark soliton dynamics in an inhomogenous fiber by means of a variable coefficient modified nonlinear Schr\"{o}dinger equation (Vc-MNLSE) with distributed dispersion, self-phase modulation, self-steepening and linear gain/loss. The ultrashort dark soliton pulse evolution and interaction is studied by using the Hirota bilinear (HB) method. In particular, we give much insight into the effect of self-steepening (SS) on the dark soliton dynamics. The study reveals a shock wave formation, as a major effect of SS. Numerically, we study the dark soliton propagation in the continuous wave background, and the stability of the soliton solution is tested in the presence of photon noise. The elastic collision behaviors of the dark solitons are discussed by the asymptotic analysis. On the other hand, considering the nonlinear tunneling of dark soliton through barrier/well, we find that the tunneling of the dark soliton depends on the height of the barrier and the amplitude of the soliton. The intensity of the tunneling soliton either forms a peak or valley and retains its shape after the tunneling. For the case of exponential background, the soliton tends to compress after tunneling through the barrier/well.


title: Pseudo-Outcrop Visualization of Borehole Images and Core Scans

abstract: A pseudo-outcrop visualization is demonstrated for borehole and full-diameter rock core images to augment the ubiquitous unwrapped cylinder view and thereby to assist non-specialist interpreters. The pseudo-outcrop visualization is equivalent to a nonlinear projection of the image from borehole to earth frame of reference that creates a solid volume sliced longitudinally to reveal two or more faces in which the orientations of geological features indicate what is observed in the subsurface. A proxy for grain size is used to modulate the external dimensions of the plot to mimic profiles seen in real outcrops. The volume is created from a mixture of geological boundary elements and texture, the latter being the residue after the sum of boundary elements is subtracted from the original data. In the case of measurements from wireline microresistivity tools, whose circumferential coverage is substantially less than 100%, the missing circumferential data is first inpainted using multiscale directional transforms, which decompose the image into its elemental building structures, before reconstructing the full image. The pseudo-outcrop view enables direct observation of the angular relationships between features and aids visual comparison between borehole and core images, especially for the interested non-specialist.


title: Precoding for the Sparsely Spread MC-CDMA Downlink with Discrete-Alphabet Inputs

abstract: Sparse signatures have been proposed for the CDMA uplink to reduce multi-user detection complexity, but they have not yet been fully exploited for its downlink counterpart. In this work, we propose a Multi-Carrier CDMA (MC-CDMA) downlink communication, where regular sparse signatures are deployed in the frequency domain. Taking the symbol detection point of view, we formulate a problem appropriate for the downlink with discrete alphabets as inputs. The solution to the problem provides a power-efficient precoding algorithm for the base station, subject to minimum symbol error probability (SEP) requirements at the mobile stations. In the algorithm, signature sparsity is shown to be crucial for reducing precoding complexity. Numerical results confirm system-load-dependent power reduction gain from the proposed precoding over the zero-forcing precoding and the regularized zero-forcing precoding with optimized regularization parameter under the same SEP targets. For a fixed system load, it is also demonstrated that sparse MC-CDMA with a proper choice of sparsity level attains almost the same power efficiency and link throughput as that of dense MC-CDMA yet with reduced precoding complexity, thanks to the sparse signatures.


title: On function field Mordell-Lang: the semiabelian case and the socle theorem

abstract: We here aim to complete our model-theoretic account of the function field Mordell-Lang conjecture, avoiding appeal to dichotomy theorems for Zariski geometries, where we now consider the general case of semiabelian varieties. The main result is a reduction, using model-theoretic tools, of the semiabelian case to the abelian case.


title: Unique determination of electromagnetic parameters from partial boundary measurements

abstract: We consider an inverse boundary value problem for the Maxwell's equations with a given data assumed to be known only in accessible part $\Gamma$ of the boundary. We aim to prove an uniqueness result using the Dirichlet to Neumann map with measurements limited to an open part of the boundary and we seek to reconstruct the complex refractive index $\emph{\textbf{n}}$ in the interior of a bounded domain Further, using the impedance map restricted to $\Gamma$, we may identify locations of small volume fraction perturbations of the refractive index.


title: Forbidden Substrings In Circular K-Successions

abstract: In this note we define circular k-successions in permutations in one-line notation and count permutations that avoid substrings j(j+k) and j(j+k) (mod n). We also count circular permutations that avoid such substrings, and show that for substrings j(j+k) (mod n), the number of permutations depends on whether n is prime, and more generally, on whether n and k are relatively prime.


title: Wave-Turbulence Theory of four-wave nonlinear interactions

abstract: The Sagdeev-Zaslavski (SZ) equation for wave turbulence is analytically derived, both in terms of generating function and of multi-point pdf, for weakly interacting waves with initial random phases. When also initial amplitudes are random, the one-point pdf equation is derived. Such analytical calculations remarkably agree with results obtained in totally different fashions. Numerical investigations of the two-dimensional nonlinear Schroedinger equation (NLSE) and of a vibrating plate prove that: (i) generic Hamiltonian 4-wave systems rapidly attain a random distribution of phases independently of the slower dynamics of the amplitudes, vindicating the hypothesis of initially random phases; (ii) relaxation of the Fourier amplitudes to the predicted stationary distribution (exponential) happens on a faster timescale than relaxation of the spectrum (Rayleigh-Jeans distribution); (iii) the pdf equation correctly describes dynamics under different forcings: the NLSE has an exponential pdf corresponding to a quasi-gaussian solution, like the vibrating plates, that also show some intermittency at very strong forcings.


title: Cube-magic labelings of grids

abstract: We show that the vertices and edges of a $d$-dimensional grid graph $G=(V,E)$ ($d\geqslant 2$) can be labeled with the integers from $\{1,\ldots,\lvert V\rvert\}$ and $\{1,\ldots,\lvert E\rvert\}$, respectively, in such a way that for every subgraph $H$ isomorphic to a $d$-cube the sum of all the labels of $H$ is the same. As a consequence, for every $d\geqslant 2$, every $d$-dimensional grid graph is $Q_d$-supermagic where $Q_d$ is the $d$-cube.


title: Character-level Deep Conflation for Business Data Analytics

abstract: Connecting different text attributes associated with the same entity (conflation) is important in business data analytics since it could help merge two different tables in a database to provide a more comprehensive profile of an entity. However, the conflation task is challenging because two text strings that describe the same entity could be quite different from each other for reasons such as misspelling. It is therefore critical to develop a conflation model that is able to truly understand the semantic meaning of the strings and match them at the semantic level. To this end, we develop a character-level deep conflation model that encodes the input text strings from character level into finite dimension feature vectors, which are then used to compute the cosine similarity between the text strings. The model is trained in an end-to-end manner using back propagation and stochastic gradient descent to maximize the likelihood of the correct association. Specifically, we propose two variants of the deep conflation model, based on long-short-term memory (LSTM) recurrent neural network (RNN) and convolutional neural network (CNN), respectively. Both models perform well on a real-world business analytics dataset and significantly outperform the baseline bag-of-character (BoC) model.


title: Even spin $\mathcal{N}=4$ holography

abstract: A two-dimensional Sp($2N$) vector model with small $\mathcal{N}=4$ superconformal symmetry is formulated, and its chiral algebra is shown to be generated by superprimary fields of even conformal weight. This vector model is the large level limit of a coset theory with large $\mathcal{N}=4$, whose proposed AdS$_3$ dual is a minimal Vasiliev higher spin theory with gauge algebra generated by fields of even spin. The relation of this vector model to the symmetric product orbifold, dual to tensionless strings in AdS$_3$ $\times$ S$^3$ $\times$ $\mathbb{T}^4$, is also worked out.


title: On minimum distance of locally repairable codes

abstract: Distributed and cloud storage systems are used to reliably store large-scale data. Erasure codes have been recently proposed and used in real-world distributed and cloud storage systems such as Google File System, Microsoft Azure Storage, and Facebook HDFS-RAID, to enhance the reliability. In order to decrease the repair bandwidth and disk I/O, a class of erasure codes called locally repairable codes (LRCs) have been proposed which have small locality compare to other erasure codes. Although LRCs have small locality, they have lower minimum distance compare to the Singleton bound. Hence, seeking the largest possible minimum distance for LRCs have been the topic of many recent studies. In this paper, we study the largest possible minimum distance of a class of LRCs and evaluate them in terms of achievability. Furthermore, we compare our results with the existence bounds in the literature.


title: Clustering with Statistical Error Control

abstract: This paper presents a clustering approach that allows for rigorous statistical error control similar to a statistical test. We develop estimators for both the unknown number of clusters and the clusters themselves. The estimators depend on a tuning parameter alpha which is similar to the significance level of a statistical hypothesis test. By choosing alpha, one can control the probability of overestimating the true number of clusters, while the probability of underestimation is asymptotically negligible. In addition, the probability that the estimated clusters differ from the true ones is controlled. In the theoretical part of the paper, formal versions of these statements on statistical error control are derived in a standard model setting with convex clusters. A simulation study and two applications to temperature and gene expression microarray data complement the theoretical analysis.


title: Smartphone app to investigate the relationship between social connectivity and mental health

abstract: Interpersonal relationships are necessary for successful daily functioning and wellbeing. Numerous studies have demonstrated the importance of social connectivity for mental health, both through direct peer-to-peer influence and by the location of individuals within their social network. Passive monitoring using smartphones provides an advanced tool to map social networks based on the proximity between individuals. This study investigates the feasibility of using a smartphone app to measure and assess the relationship between social network metrics and mental health. The app collected Bluetooth and mental health data in 63 participants. Social networks of proximity were estimated from Bluetooth data and 95% of the edges were scanned at least every 30 minutes. The majority of participants found this method of data collection acceptable and reported that they would be likely to participate in future studies using this app. These findings demonstrate the feasibility of using a smartphone app that participants can install on their own phone to investigate the relationship between social connectivity and mental health.


title: Microstructural model for calponin stabilization of crosslinked actin networks

abstract: The synthetic actin network demands great interest as bio-material due to its soft and wet nature that mimic many biological scaffolding structures. The study of these structures can contribute to a better understanding of this new micro/nano technology and the cytoskeleton like structural building blocks. Inside the cell the actin network is regulated by tens of actin-binding proteins (ABP's), which makes for a highly complex system with several emergent behavior. In particular Calponin is an ABP that was identified as an actin stabiliser, but its mechanism is poorly understood. Recent experiments using an in vitro model system of cross-linked actin with Calponin and large deformation bulk rheology, found that networks with basic calponin exhibited a delayed onset and were able to withstand a higher maximal strain before softening. In this work we propose a mathematical model into the framework of nonlinear continuum mechanics to explain the observation of Jansen, where we introduce the hypothesis by which the difference between the two networks, with and without Calponin, is interpreted as a alterations in the pre-strain developed by the network entanglement and the regulation of the crosslinks adhesion energy. The mechanics of the F-actin is modelled using the wormlike chain model for semi-flexible filaments and the gelation process is described as mesoscale dynamics for the crosslinks. The model has been validated with reported experimental results from literature, showing a good agreement between theory and experiments.


title: Identification of Radiopure Titanium for the LZ Dark Matter Experiment and Future Rare Event Searches

abstract: The LUX-ZEPLIN (LZ) experiment will search for dark matter particle interactions with a detector containing a total of 10 tonnes of liquid xenon within a double-vessel cryostat. The large mass and proximity of the cryostat to the active detector volume demand the use of material with extremely low intrinsic radioactivity. We report on the radioassay campaign conducted to identify suitable metals, the determination of factors limiting radiopure production, and the selection of titanium for construction of the LZ cryostat and other detector components. This titanium has been measured with activities of $^{238}$U$_{e}$~$<$1.6~mBq/kg, $^{238}$U$_{l}$~$<$0.09~mBq/kg, $^{232}$Th$_{e}$~$=0.28\pm 0.03$~mBq/kg, $^{232}$Th$_{l}$~$=0.25\pm 0.02$~mBq/kg, $^{40}$K~$<$0.54~mBq/kg, and $^{60}$Co~$<$0.02~mBq/kg (68\% CL). Such low intrinsic activities, which are some of the lowest ever reported for titanium, enable its use for future dark matter and other rare event searches. Monte Carlo simulations have been performed to assess the expected background contribution from the LZ cryostat with this radioactivity. In 1,000 days of WIMP search exposure of a 5.6-tonne fiducial mass, the cryostat will contribute only a mean background of $0.160\pm0.001$(stat)$\pm0.030$(sys) counts.


title: On degenerations of algebras over an arbitrary field

abstract: For each $n\ge2$ we classify all $n$-dimensional algebras over an arbitrary infinite field which have the property that the $n$-dimensional abelian Lie algebra is their only proper degeneration.


title: Large-scale structures in random graphs

abstract: In recent years there has been much progress in graph theory on questions of the following type. What is the threshold for a certain large substructure to appear in a random graph? When does a random graph contain all structures from a given family? And when does it contain them so robustly that even an adversary who is allowed to perturb the graph cannot destroy all of them? I will survey this progress, and highlight the vital role played by some newly developed methods, such as the sparse regularity method, the absorbing method, and the container method. I will also mention many open questions that remain in this area.


title: On the motivic class of the classifying stack of $G_2$ and the spin groups

abstract: We compute the class of the classifying stack of the exceptional algebraic group $G_2$ and of the spin groups $\mathrm{Spin}_7$ and $\mathrm{Spin}_8$ in the Grothendieck ring of stacks, and show that they are equal to the inverse of the class of the corresponding group. Furthermore, we show that the computation of the motivic classes of the stacks $\mathscr{B}\mathrm{Spin}_n$ can be reduced to the computation of the classes of $\mathscr{B} \Delta_n$, where $\Delta_n\subset \mathrm{Pin}_n$ is the "extraspecial $2$-group", the preimage of the diagonal matrices under the projection $\mathrm{Pin}_n\to \mathrm{O}_n$ to the orthogonal group.


title: Diagonal elements in the Nonnegative Inverse Eigenvalue Problem

abstract: We say that a list of complex numbers is "realisable" if it is the spectrum of some (entrywise) nonnegative matrix. The Nonnegative Inverse Eigenvalue Problem (NIEP) is the problem of characterising all realisable lists. Although the NIEP remains unsolved, it has been solved in the case where every entry in the list (apart from the Perron eigenvalue) has nonpositive real part. For a given spectrum of this type, we show that a list of nonnegative numbers may arise as the diagonal elements of the realising matrix if and only if these numbers satisfy a remarkably simple inequality. Furthermore, we show that realisation can be achieved by the sum of a companion matrix and a diagonal matrix.


title: Coupled Atomic Wires in a Synthetic Magnetic Field

abstract: We propose and study systems of coupled atomic wires in a perpendicular synthetic magnetic field as a platform to realize exotic phases of quantum matter. This includes (fractional) quantum Hall states in arrays of many wires inspired by the pioneering work [Kane et al. PRL {\bf{88}}, 036401 (2002)], as well as Meissner phases and Vortex phases in double-wires. With one continuous and one discrete spatial dimension, the proposed setup naturally complements recently realized discrete counterparts, i.e. the Harper-Hofstadter model and the two leg flux ladder, respectively. We present both an in-depth theoretical study and a detailed experimental proposal to make the unique properties of the semi-continuous Harper-Hofstadter model accessible with cold atom experiments. For the minimal setup of a double-wire, we explore how a sub-wavelength spacing of the wires can be implemented. This construction increases the relevant energy scales by at least an order of magnitude compared to ordinary optical lattices, thus rendering subtle many-body phenomena such as Lifshitz transitions in Fermi gases observable in an experimentally realistic parameter regime. For arrays of many wires, we discuss the emergence of Chern bands with readily tunable flatness of the dispersion and show how fractional quantum Hall states can be stabilized in such systems. Using for the creation of optical potentials Laguerre-Gauss beams that carry orbital angular momentum, we detail how the coupled atomic wire setups can be realized in non-planar geometries such as cylinders, discs, and tori.


title: Space-time convex functions and sectional curvature

abstract: We show that in Lorentzian manifolds, sectional curvature bounds of the form $\mathcal{R}\le K\,$, as defined by Andersson and Howard, are closely tied to space-time convex and $\lambda$-convex ($\lambda>0$) functions, as defined by Gibbons and Ishibashi. Among the consequences are a natural construction of such functions, and an analogue, that applies to domains of a new type, of a theorem of Al\'ias, Bessa and deLira ruling out trapped submanifolds.


title: Systematic Mapping Protocol - Coverage of Aspect-Oriented Methodologies for the Early Phases of the Software Development Life Cycle

abstract: The amount of aspect-oriented software development techniques and tools have been increasing for the last years but still they have not enough maturity and are not sufficiently spread to be included in a project leader's box of tools. Software development projects have to deal with many risks, and the main function of project leaders is to minimize them. The use of immature technologies, tools newcomers to the market, techniques that have not been tested enough, etc., would be very risky decisions to take by who has the responsibility to carry out a successful software development project. On the other hand, the availability of well-known tools and techniques and the adherence to standards and best practices will help professionals to make good estimates and to take better decisions. There is many proposals on aspect-oriented techniques, notations, tools, etc., but they have not yet unified on a common body of knowledge and none of them has become the most popular approach. We are interested in the early phases of the aspect-oriented SDLC which include the phases from the beginning of the life cycle until architecture design. We are interested in portraying the state of the art of aspect-oriented techniques and tools, in the identification of the standards they employ. Our goal is to collect all the available evidence, analyze it, and study the possibility of applying these techniques, tools and standards in real projects, taking advantage of the benefits of the aspect-oriented paradigm, by identifying the standard and widespread approaches, techniques, notations and tools present in the scientific literature and to verify if they were applied in the industry, by means of a systematic mapping of the literature published between 1995 and 2019.


title: Buckling in Armored Droplets

abstract: The issue of the buckling mechanism in droplets stabilized by solid particles (armored droplets) is tackled at a mesoscopic level using dissipative particle dynamics simulations. We consider spherical water droplet in a decane solvent coated with nanoparticle monolayers of two different types: Janus and homogeneous. The chosen particles yield comparable initial three-phase contact angles, chosen to maximize the adsorption energy at the interface. We study the interplay between the evolution of droplet shape, layering of the particles, and their distribution at the interface when the volume of the droplets is reduced. We show that Janus particles affect strongly the shape of the droplet with the formation of a crater-like depression. This evolution is actively controlled by a close-packed particle monolayer at the curved interface. On the contrary, homogeneous particles follow passively the volume reduction of the droplet, whose shape does not deviate too much from spherical, even when a nanoparticle monolayer/bilayer transition is detected at the interface. We discuss how these buckled armored droplets might be of relevance in various applications including potential drug delivery systems and biomimetic design of functional surfaces.


title: EEG Representation Using Multi-instance Framework on The Manifold of Symmetric Positive Definite Matrices for EEG-based Computer Aided Diagnosis

abstract: The generalization and robustness of an electroencephalogram (EEG)-based computer aided diagnostic system are crucial requirements in actual clinical practice. To reach these goals, we propose a new EEG representation that provides a more realistic view of brain functionality by applying multi-instance (MI) framework to consider the non-stationarity of the EEG signal. The non-stationary characteristic of EEG is considered by describing the signal as a bag of relevant and irrelevant concepts. The concepts are provided by a robust representation of homogenous segments of EEG signal using spatial covariance matrices. Due to the nonlinear geometry of the space of covariance matrices, we determine the boundaries of the homogeneous segments based on adaptive segmentation of the signal in a Riemannian framework. Each subject is described as a bag of covariance matrices of homogenous segments and the bag-level discriminative information is used for classification. To evaluate the performance of the proposed approach, we examine it in attention deficit hyperactivity/bipolar mood disorder detection and depression/normal diagnosis applications. Experimental results confirm the superiority of the proposed approach, which is gained due to the robustness of covariance descriptor, the effectiveness of Riemannian geometry, and the benefits of considering the inherent non-stationary nature of the brain.


title: Meteor Shower Detection with Density-Based Clustering

abstract: We present a new method to detect meteor showers using the Density-Based Spatial Clustering of Applications with Noise algorithm (DBSCAN; Ester et al. 1996). DBSCAN is a modern cluster detection algorithm that is well suited to the problem of extracting meteor showers from all-sky camera data because of its ability to efficiently extract clusters of different shapes and sizes from large datasets. We apply this shower detection algorithm on a dataset that contains 25,885 meteor trajectories and orbits obtained from the NASA All-Sky Fireball Network and the Southern Ontario Meteor Network (SOMN). Using a distance metric based on solar longitude, geocentric velocity, and Sun-centered ecliptic radiant, we find 25 strong cluster detections and 6 weak detections in the data, all of which are good matches to known showers. We include measurement errors in our analysis to quantify the reliability of cluster occurrence and the probability that each meteor belongs to a given cluster. We validate our method through false positive/negative analysis and with a comparison to an established shower detection algorithm.


title: Infinite-dimensional transfer operators, endomorphisms, and measurable partitions

abstract: We develop a new duality between endomorphisms of measure spaces, on the one hand, and a certain family of positive operators, called transfer operators, acting in spaces of measurable functions on, on the other. A framework of standard Borel spaces is adopted; and this generality is wide enough to cover a host of applications. While the mathematical structures of positive operators, endomorphisms, transfer operators, measurable partitions, and Markov processes arise in a host of settings, both pure and applied, we propose here a unified study. This is the general setting of dynamics in Borel measure spaces. Hence the corresponding linear structures are infinite-dimensional. Nonetheless, we prove a number of analogues of the more familiar finite-dimensional settings, for example, the Perron-Frobenius theorem for positive matrices, and the corresponding Markov chains. Tools from the theory of operators in Hilbert space of special significance to us will be the use of a certain universal Hilbert space, as well as classes of operators in it, directly related to the central theme of duality for transfer operators. From ergodic theory, we address such questions as measurable cross sections, partitions, and Rohlin analysis of endomorphisms of measure spaces. While there are classical theorems dealing with analogous questions for automorphisms of measure spaces, a systematic study of endomorphisms is of more recent vintage;-- in its infancy. In order to make the exposition accessible to students and to researchers in neighboring areas, we have included a number of explicit examples and applications.


title: Estimating the number of clusters using cross-validation

abstract: Many clustering methods, including k-means, require the user to specify the number of clusters as an input parameter. A variety of methods have been devised to choose the number of clusters automatically, but they often rely on strong modeling assumptions. This paper proposes a data-driven approach to estimate the number of clusters based on a novel form of cross-validation. The proposed method differs from ordinary cross-validation, because clustering is fundamentally an unsupervised learning problem. Simulation and real data analysis results show that the proposed method outperforms existing methods, especially in high-dimensional settings with heterogeneous or heavy-tailed noise. In a yeast cell cycle dataset, the proposed method finds a parsimonious clustering with interpretable gene groupings.


title: Wavelength division multiplexed and double-port pumped time-bin entangled photon pair generation using Si ring resonator

abstract: We report a wavelength division multiplexed time-bin entangled photon pair source in telecom wavelength using a 10 {\mu}m radius Si ring resonator. This compact resonator has two add ports and two drop ports. By pumping one add port by a continuous laser, we demonstrate an efficient generation of two-wavelength division multiplexed time-bin entangled photon pairs in the telecom C-band, which come out of one drop port, and are then split into the signal and idler photons via a wavelength filter. The resonator structure enhances four wave mixing for pair generation. Moreover, we demonstrate the double-port pumping where two counter propagating pump light are injected to generate entanglement from the two drop ports simultaneously. We successfully observe the highly entangled outputs from both two drop ports. Surprisingly, the count rate at each drop port is even increased by twice as that of the single-port pumping. Possible mechanisms of this observation are discussed. Our technique allows for the efficient use of the Si ring resonator, and widens its functionality for variety of applications.


title: $J_1-J_2$ Square-Lattice Heisenberg Antiferromagnets with 4$d^1$ spins: AMoOPO$_4$Cl (A = K, Rb)

abstract: Magnetic properties of AMoOPO$_4$Cl (A = K, Rb) with Mo$^{5+}$ ions in the 4$d^1$ electronic configuration are investigated by magnetization, heat capacity and NMR measurements on single crystals, combined with powder neutron diffraction experiments. The magnetization measurements reveal that they are good model compounds for the spin-1/2 $J_1-J_2$ square lattice magnet with the first and second nearest-neighbor interactions. Magnetic transitions are observed at around 6 and 8 K in the K and Rb compounds, respectively. In contrast to the normal N\'eel-type antiferromagnetic order, the NMR and neutron diffraction experiments find a columnar antiferromagnetic order for each compound, which is stabilized by a dominant antiferromagnetic $J_2$. Both compounds realize the unusual case of two interpenetrating $J_2$ square lattices weakly coupled to each other by $J_1$.


title: Inductive Pairwise Ranking: Going Beyond the n log(n) Barrier

abstract: We study the problem of ranking a set of items from nonactively chosen pairwise preferences where each item has feature information with it. We propose and characterize a very broad class of preference matrices giving rise to the Feature Low Rank (FLR) model, which subsumes several models ranging from the classic Bradley-Terry-Luce (BTL) (Bradley and Terry 1952) and Thurstone (Thurstone 1927) models to the recently proposed blade-chest (Chen and Joachims 2016) and generic low-rank preference (Rajkumar and Agarwal 2016) models. We use the technique of matrix completion in the presence of side information to develop the Inductive Pairwise Ranking (IPR) algorithm that provably learns a good ranking under the FLR model, in a sample-efficient manner. In practice, through systematic synthetic simulations, we confirm our theoretical findings regarding improvements in the sample complexity due to the use of feature information. Moreover, on popular real-world preference learning datasets, with as less as 10% sampling of the pairwise comparisons, our method recovers a good ranking.


title: The maximum number of cycles in a graph with fixed number of edges

abstract: The main topic considered is maximizing the number of cycles in a graph with given number of edges. In 2009, Kir\'aly conjectured that there is constant $c$ such that any graph with $m$ edges has at most $(1.4)^m$ cycles. In this paper, it is shown that for sufficiently large $m$, a graph with $m$ edges has at most $(1.443)^m$ cycles. For sufficiently large $m$, examples of a graph with $m$ edges and $(1.37)^m$ cycles are presented. For a graph with given number of vertices and edges an upper bound on the maximal number of cycles is given. Also, exponentially tight bounds are proved for the maximum number of cycles in a multigraph with given number of edges, as well as in a multigraph with given number of vertices and edges.


title: Physical quantities and arbitrariness in resolving quantum master equation

abstract: By proceeding with the idea that the presence of physical (BRST invariant) extra factors in the path integral is equivalent to taking into account explicitly the arbitrariness in resolving the quantum master equation, we consider the field-antifield quantization procedure both with the Abelian and the non-Abelian gauge fixing.


title: Entanglement scaling and spatial correlations of the transverse field Ising model with perturbations

abstract: We study numerically the entanglement entropy and spatial correlations of the one dimensional transverse field Ising model with three different perturbations. First, we focus on the out of equilibrium, steady state with an energy current passing through the system. By employing a variety of matrix-product state based methods, we confirm the phase diagram and compute the entanglement entropy. Second, we consider a small perturbation that takes the system away from integrability and calculate the correlations, the central charge and the entanglement entropy. Third, we consider periodically weakened bonds, exploring the phase diagram and entanglement properties first in the situation when the weak and strong bonds alternate (period two-bonds) and then the general situation of a period of n bonds. In the latter case we find a critical weak bond that scales with the transverse field as $J'_c/J$ = $(h/J)^n$, where $J$ is the strength of the strong bond, $J'$ of the weak bond and $h$ the transverse field. We explicitly show that the energy current is not a conserved quantity in this case.


title: Flow dominance and factorization of transverse momentum correlations in Pb-Pb collisions at the LHC

abstract: We present the first measurement of the two-particle transverse momentum differential correlation function, $P_2\equiv\langle \Delta p_{\rm T} \Delta p_{\rm T} \rangle /\langle p_{\rm T} \rangle^2$, in Pb-Pb collisions at $\sqrt{s_{_{\rm NN}}} =$ 2.76 TeV. Results for $P_2$ are reported as a function of relative pseudorapidity ($\Delta \eta$) and azimuthal angle ($\Delta \varphi$) between two particles for different collision centralities. The $\Delta \phi$ dependence is found to be largely independent of $\Delta \eta$ for $|\Delta \eta| \geq$ 0.9. In 5% most central Pb-Pb collisions, the two-particle transverse momentum correlation function exhibits a clear double-hump structure around $\Delta \varphi = \pi$ (i.e., on the away side), which is not observed in number correlations in the same centrality range, and thus provides an indication of the dominance of triangular flow in this collision centrality. Fourier decompositions of $P_2$, studied as a function of collision centrality, show that correlations at $|\Delta \eta| \geq$ 0.9 can be well reproduced by a flow ansatz based on the notion that measured momentum correlations are strictly determined by the collective motion of the system.


title: Response Formulae for $n$-point Correlations in Statistical Mechanical Systems and Application to a Problem of Coarse Graining

abstract: Predicting the response of a system to perturbations is a key challenge in mathematical and natural sciences. Under suitable conditions on the nature of the system, of the perturbation, and of the observables of interest, response theories allow to construct operators describing the smooth change of the invariant measure of the system of interest as a function of the small parameter controlling the intensity of the perturbation. In particular, response theories can be developed both for stochastic and chaotic deterministic dynamical systems, where in the latter case stricter conditions imposing some degree of structural stability are required. In this paper we extend previous findings and derive general response formulae describing how n-point correlations are affected by perturbations to the vector flow. We also show how to compute the response of the spectral properties of the system to perturbations. We then apply our results to the seemingly unrelated problem of coarse graining in multiscale systems: we find explicit formulae describing the change in the terms describing parameterisation of the neglected degrees of freedom resulting from applying perturbations to the full system. All the terms envisioned by the Mori-Zwanzig theory - the deterministic, stochastic, and non-Markovian terms - are affected at 1st order in the perturbation. The obtained results provide a more comprehesive understanding of the response of statistical mechanical systems to perturbations and contribute to the goal of constructing accurate and robust parameterisations and are of potential relevance for fields like molecular dynamics, condensed matter, and geophysical fluid dynamics. We envision possible applications of our general results to the study of the response of climate variability to anthropogenic and natural forcing and to the study of the equivalence of thermostatted statistical mechanical systems.

categories: cond-mat.stat-mech math.DS nlin.CD physics.comp-ph


title: On existence and curvature estimates of Ricci flow

abstract: In this work, using the method by He, we prove a short time existence for Ricci flow on a complete noncompact Riemannian manifold with the following properties: (i) there is $r_0>0$ such that the volume of any geodesic balls of radius $r\le r_0$ is close to the volume of the geodesic ball in the Euclidean space with the same radius; (ii) the Ricci curvature is bounded below; (iii) the sectional curvature is bounded below by $-Cd^2(x,x_0)$ where $d(x,x_0)$ is the distance from a fixed point. An application to the uniformization for complete noncompact Kahler manifolds with nonnegative bisectional curvature and maximal volume growth is given. The result is related to the results of He and Liu. We prove if $g(t)$ is a complete solution to the Kahler-Ricci flow on a complete noncompact Kahler manifold so that $g(0)$ has nonnegative bisectional curvature and the curvature of $g(t)$ is bounded by $at^{-b}$ for some $a>0, 2>b>0$, then $g(t)$ also has nonnegative bisectional curvature. This generalizes a previous result. Under the assumption that $g(0)$ is noncollapsing, with additional assumption that the curvature of $g(t)$ is uniformly bounded away from $t>0$, we prove that the curvature of $g(t)$ is in fact bounded by $at^{-1}$ for some $a>0$. This result is proved using the method by Simon and Topping.


title: Topological Ramsey Spaces Dense in Forcings

abstract: Topological Ramsey spaces are spaces which support infinite dimensional Ramsey theory similarly to the Ellentuck space. Each topological Ramsey space is endowed with a partial ordering which can be modified to a $\sigma$-closed `almost reduction' relation analogously to the partial ordering of `mod finite' on $[\omega]^{\omega}$. Such forcings add new ultrafilters satisfying weak partition relations and have complete combinatorics. In cases where a forcing turned out to be equivalent to a topological Ramsey space, the strong Ramsey-theoretic techniques have aided in a fine-tuned analysis of the Rudin-Keisler and Tukey structures associated with the forced ultrafilter and in discovering new ultrafilters with complete combinatorics.This expository paper provides an overview of this collection of results and an entry point for those interested in using topological Ramsey space techniques to gain finer insight into ultrafilters satisfying weak partition relations.


title: Quantum variance on quaternion algebras, II

abstract: A method for determining quantum variance asymptotics on compact quotients attached to non-split quaternion algebras is developed in general and applied to "microlocal lifts" in the non-archimedean setting. The results obtained are in the spirit of recent work of Sarnak--Zhao. The arguments involve a careful analytic study of the theta correspondence, the interplay between additive and multiplicative harmonic analysis on quaternion algebras, the equidistribution of translates of elementary theta functions, and the Rallis inner product formula.


title: Stochastic Neighbor Embedding separates well-separated clusters

abstract: Stochastic Neighbor Embedding and its variants are widely used dimensionality reduction techniques -- despite their popularity, no theoretical results are known. We prove that the optimal SNE embedding of well-separated clusters from high dimensions to any Euclidean space R^d manages to successfully separate the clusters in a quantitative way. The result also applies to a larger family of methods including a variant of t-SNE.


title: On the Local Correctabilities of Projective Reed-Muller Codes

abstract: In this paper, we show that the projective Reed-Muller~(PRM) codes form a family of locally correctable codes~(LCC) in the regime of low query complexities. A PRM code is specified by the alphabet size $q$, the number of variables $m$, and the degree $d$. When $d\leq q-1$, we present a perfectly smooth local decoder to recover a symbol by accessing $\gamma\leq q$ symbols to the coordinates fall on a line. There are three major parameters considered in LCCs, namely the query complexity, the message length and the code length. This paper shows that PRM codes are shorter than generalized Reed-Muller~(GRM) codes in LCCs. Precisely, given a GRM code over a field of size $q$, there exists a class of shorter codes over a field of size $q-1$, while maintaining the same values on the query complexities and the message lengths.


title: Site-Selective Antimony Doping in Arsenic Zigzag Chains of 112-type Ca1-xLaxFeAs2

abstract: Single crystal X-ray diffraction studies were performed for the Sb-doped 112-type iron-based superconductor Ca1-xLaxFeAs2 with the superconducting transition temperature Tc of 47 K. Doped Sb preferably substituted not for As(1) in the FeAs layers but for As(2) in the layers of As zigzag chains. Structural reasons for Tc enhancement by Sb doping were discussed.


title: Capacity Region of Gaussian Multiple-Access Channels with Energy Harvesting and Energy Cooperation

abstract: We consider the capacity region of a $K$-user multiple access channel (MAC) with energy harvesting transmitters. Each user stores and schedules the randomly arriving energy using an energy buffer. Users can also perform energy cooperation by transmitting energy to other users or receiving energy from them. We derive the capacity region of this channel and show that 1) the capacity region coincides with that of a traditional $K$-user Gaussian MAC with energy cooperation, where the average power constraints are equal to the battery recharging rates of the energy harvesting case; 2) each rate on the capacity region boundary can be achieved using the save-and-forward power control and a fixed energy cooperation policy.


title: Topological Phases in Graphene Nanoribbons: Junction States, Spin Centers and Quantum Spin Chains

abstract: Knowledge of the topology of the electronic ground state of materials has led to deep insights to novel phenomena such as the integer quantum Hall effect and fermion-number fractionalization, as well as other properties of matter. Joining two insulators of different topological classes produces fascinating boundary states in the band gap. Another exciting recent development is the bottom-up synthesis (from molecular precursors) of graphene nanoribbons (GNRs) with atomic precision control of their edge and width. Here we connect these two fields, and show for the first time that semiconducting GNRs of different width, edge, and end termination belong to different topological classes. The topology of GNRs is protected by spatial symmetries and dictated by the terminating unit cell. We have derived explicit formula for their topological invariants, and show that localized junction states developed between two GNRs of distinct topology may be tuned by lateral junction geometry. The topology of a GNR can be further modified by dopants, such as a periodic array of boron atoms. In a superlattice consisted of segments of doped and pristine GNRs, the junction states are stable spin centers, forming a Heisenberg antiferromagnetic spin 1/2 chain with tunable exchange interaction. The discoveries here are not only of scientific interest for studies of quasi one-dimensional systems, but also open a new path for design principles of future GNR-based devices through their topological characters.


title: Monte Carlo simulation of quantum Potts model

abstract: Using Monte Carlo simulations in the frame of stochastic series expansion (SSE), we study the three-state quantum Potts model. The cluster algorithm we used is a direct generalization of that for the quantum Ising model. The simulations include the one dimensional and two dimensional ferromagnetic three-state quantum Potts model and the two dimensional antiferromagnetic three-state quantum Potts model. Our results show that the phase transition of the one dimensional ferromagnetic quantum Potts model belongs to the same universality class of the two dimensional classical Potts model, the two dimensional ferromagnetic quantum Potts model undergoes a first order transition, which is also in analogy to its classical correspondence. The phase transition of the antiferromagnetic quantum Potts model is continuous, whose universality class belongs to the three-dimensional classical XY model, owing to an `emergent' O(2) symmetry at the critical point, although its ordered phase breaks the Z_6 symmetry.


title: Energy Saving Additive Neural Network

abstract: In recent years, machine learning techniques based on neural networks for mobile computing become increasingly popular. Classical multi-layer neural networks require matrix multiplications at each stage. Multiplication operation is not an energy efficient operation and consequently it drains the battery of the mobile device. In this paper, we propose a new energy efficient neural network with the universal approximation property over space of Lebesgue integrable functions. This network, called, additive neural network, is very suitable for mobile computing. The neural structure is based on a novel vector product definition, called ef-operator, that permits a multiplier-free implementation. In ef-operation, the "product" of two real numbers is defined as the sum of their absolute values, with the sign determined by the sign of the product of the numbers. This "product" is used to construct a vector product in $R^N$. The vector product induces the $l_1$ norm. The proposed additive neural network successfully solves the XOR problem. The experiments on MNIST dataset show that the classification performances of the proposed additive neural networks are very similar to the corresponding multi-layer perceptron and convolutional neural networks (LeNet).


title: Enhanced Superconductivity in Close Proximity to the Structural Phase Transition of Sr1-xBaxNi2P2

abstract: The structural evolution and superconductivity of a 122-type solid solution Sr1-xBaxNi2P2 were studied. We found that an orthorhombic-tetragonal structural phase transition takes place at x = 0.5, and is characterized by the P-P dimers breaking. The superconducting transition temperature exhibited its highest value of 2.85 K at x = 0.4.


title: Generating double NOON states of photons in circuit QED

abstract: To generate a NOON state with a large photon number $N$, the number of operational steps could be large and the fidelity will decrease rapidly with $N$. Here we propose a method to generate a new type of quantum entangled states, $(|NN00\rangle+|00NN\rangle)/\sqrt{2}$ called "double NOON" states, with a setup of two superconducting flux qutrits and five circuit cavities. This scheme operates essentially by employing a two-photon process, i.e., two photons are simultaneously and separately emitted into two cavities when each coupler qutrit is initially in a higher-energy excited state. As a consequence, the "double" NOON state creation needs only $N$+2 operational steps. One application of double NOON states is to get a phase error of $1/(2N)$ in phase measurement. In comparison, to achieve the same error, a normal NOON state of the form $(|2N,0\rangle+|0,2N\rangle)/\sqrt{2}$ is needed, which requires at least $2N$ operational steps to prepare by using the existing schemes. Our numerical simulation demonstrates that high-fidelity generation of the double NOON states with $N\leq 10$ even for the imperfect devices is feasible with the present circuit QED technique.


title: Gate Switchable Transport and Optical Anisotropy in 90{\deg} Twisted Bilayer Black Phosphorus

abstract: Anisotropy describes the directional dependence of a material's properties such as transport and optical response. In conventional bulk materials, anisotropy is intrinsically related to the crystal structure, and thus not tunable by the gating techniques used in modern electronics. Here we show that, in bilayer black phosphorus with an interlayer twist angle of 90{\deg}, the anisotropy of its electronic structure and optical transitions is tunable by gating. Using first-principles calculations, we predict that a laboratory-accessible gate voltage can induce a hole effective mass that is 30 times larger along one Cartesian axis than along the other axis, and the two axes can be exchanged by flipping the sign of the gate voltage. This gate-controllable band structure also leads to a switchable optical linear dichroism, where the polarization of the lowest-energy optical transitions (absorption or luminescence) is tunable by gating. Thus, anisotropy is a tunable degree of freedom in twisted bilayer black phosphorus.


title: Manifold Based Low-rank Regularization for Image Restoration and Semi-supervised Learning

abstract: Low-rank structures play important role in recent advances of many problems in image science and data science. As a natural extension of low-rank structures for data with nonlinear structures, the concept of the low-dimensional manifold structure has been considered in many data processing problems. Inspired by this concept, we consider a manifold based low-rank regularization as a linear approximation of manifold dimension. This regularization is less restricted than the global low-rank regularization, and thus enjoy more flexibility to handle data with nonlinear structures. As applications, we demonstrate the proposed regularization to classical inverse problems in image sciences and data sciences including image inpainting, image super-resolution, X-ray computer tomography (CT) image reconstruction and semi-supervised learning. We conduct intensive numerical experiments in several image restoration problems and a semi-supervised learning problem of classifying handwritten digits using the MINST data. Our numerical tests demonstrate the effectiveness of the proposed methods and illustrate that the new regularization methods produce outstanding results by comparing with many existing methods.


title: Fibrations of $\infty$-categories

abstract: We construct a flagged $\infty$-category ${\sf Corr}$ of $\infty$-categories and bimodules among them. We prove that ${\sf Corr}$ classifies exponentiable fibrations. This representability of exponentiable fibrations extends that established by Lurie of both coCartesian fibrations and Cartesian fibrations, as they are classified by the $\infty$-category of $\infty$-categories and its opposite, respectively. We introduce the flagged $\infty$-subcategories ${\sf LCorr}$ and ${\sf RCorr}$ of ${\sf Corr}$, whose morphisms are those bimodules which are \emph{left final} and \emph{right initial}, respectively. We identify the notions of fibrations these flagged $\infty$-subcategories classify, and show that these $\infty$-categories carry universal left/right fibrations.


title: A sublinear version of Schur's lemma and elliptic PDE

abstract: We study the weighted norm inequality of $(1,q)$-type, \[ \Vert \mathbf{G}\nu \Vert_{L^q(\Omega, d\sigma)} \le C \Vert \nu \Vert, \quad \text{ for all } \nu \in \mathcal{M}^+(\Omega), \] along with its weak-type analogue, for $0 < q < 1$, where $\mathbf{G}$ is an integral operator associated with the nonnegative kernel $G(x,y)$. Here $\mathcal{M}^+(\Omega)$ denotes the class of positive Radon measures in $\Omega$; $\sigma, \nu \in \mathcal{M}^+(\Omega)$, and $||\nu||=\nu(\Omega)$. For both weak-type and strong-type inequalities, we provide conditions which characterize the measures $\sigma$ for which such an embedding holds. The strong-type $(1,q)$-inequality for $0<q<1$ is closely connected with existence of a positive function $u$ such that $u \ge \mathbf{G}(u^q \sigma)$, i.e., a supersolution to the integral equation \[ u - \mathbf{G}(u^q \sigma) = 0, \quad u \in L^q_{\rm loc} (\Omega, \sigma). \] This study is motivated by solving sublinear equations involving the fractional Laplacian, \[ (-\Delta)^{\frac{\alpha}{2}} u - u^q \sigma = 0\] in domains $\Omega \subseteq \mathbf{R}^n$ which have a positive Green function $G$, for $0 < \alpha < n$.


title: Localized Faraday patterns under heterogeneous parametric excitation

abstract: Faraday waves are a classic example of a system in which an extended pattern emerges under spatially uniform forcing. Motivated by systems in which uniform excitation is not plausible, we study both experimentally and theoretically the effect of heterogeneous forcing on Faraday waves. Our experiments show that vibrations restricted to finite regions lead to the formation of localized subharmonic wave patterns and change the onset of the instability. The prototype model used for the theoretical calculations is the parametrically driven and damped nonlinear Schr\"odinger equation, which is known to describe well Faraday-instability regimes. For an energy injection with a Gaussian spatial profile, we show that the evolution of the envelope of the wave pattern can be reduced to a Weber-equation eigenvalue problem. Our theoretical results provide very good predictions of our experimental observations provided that the decay length scale of the Gaussian profile is much larger than the pattern wavelength.


title: Neural Reconstruction Integrity: A metric for assessing the connectivity of reconstructed neural networks

abstract: Neuroscientists are actively pursuing high-precision maps, or graphs, consisting of networks of neurons and connecting synapses in mammalian and non-mammalian brains. Such graphs, when coupled with physiological and behavioral data, are likely to facilitate greater understanding of how circuits in these networks give rise to complex information processing capabilities. Given that the automated or semi-automated methods required to achieve the acquisition of these graphs are still evolving, we develop a metric for measuring the performance of such methods by comparing their output with those generated by human annotators ("ground truth" data). Whereas classic metrics for comparing annotated neural tissue reconstructions generally do so at the voxel level, the metric proposed here measures the "integrity" of neurons based on the degree to which a collection of synaptic terminals belonging to a single neuron of the reconstruction can be matched to those of a single neuron in the ground truth data. The metric is largely insensitive to small errors in segmentation and more directly measures accuracy of the generated brain graph. It is our hope that use of the metric will facilitate the broader community's efforts to improve upon existing methods for acquiring brain graphs. Herein we describe the metric in detail, provide demonstrative examples of the intuitive scores it generates, and apply it to a synthesized neural network with simulated reconstruction errors.


title: Combinatorial Alphabet-Dependent Bounds for Locally Recoverable Codes

abstract: Locally recoverable (LRC) codes have recently been a focus point of research in coding theory due to their theoretical appeal and applications in distributed storage systems. In an LRC code, any erased symbol of a codeword can be recovered by accessing only a small number of other symbols. For LRC codes over a small alphabet (such as binary), the optimal rate-distance trade-off is unknown. We present several new combinatorial bounds on LRC codes including the locality-aware sphere packing and Plotkin bounds. We also develop an approach to linear programming (LP) bounds on LRC codes. The resulting LP bound gives better estimates in examples than the other upper bounds known in the literature. Further, we provide the tightest known upper bound on the rate of linear LRC codes with a given relative distance, an improvement over the previous best known bounds.


title: Rate Optimal Estimation and Confidence Intervals for High-dimensional Regression with Missing Covariates

abstract: Although a majority of the theoretical literature in high-dimensional statistics has focused on settings which involve fully-observed data, settings with missing values and corruptions are common in practice. We consider the problems of estimation and of constructing component-wise confidence intervals in a sparse high-dimensional linear regression model when some covariates of the design matrix are missing completely at random. We analyze a variant of the Dantzig selector [9] for estimating the regression model and we use a de-biasing argument to construct component-wise confidence intervals. Our first main result is to establish upper bounds on the estimation error as a function of the model parameters (the sparsity level s, the expected fraction of observed covariates $\rho_*$, and a measure of the signal strength $\|\beta^*\|_2$). We find that even in an idealized setting where the covariates are assumed to be missing completely at random, somewhat surprisingly and in contrast to the fully-observed setting, there is a dichotomy in the dependence on model parameters and much faster rates are obtained if the covariance matrix of the random design is known. To study this issue further, our second main contribution is to provide lower bounds on the estimation error showing that this discrepancy in rates is unavoidable in a minimax sense. We then consider the problem of high-dimensional inference in the presence of missing data. We construct and analyze confidence intervals using a de-biased estimator. In the presence of missing data, inference is complicated by the fact that the de-biasing matrix is correlated with the pilot estimator and this necessitates the design of a new estimator and a novel analysis. We also complement our mathematical study with extensive simulations on synthetic and semi-synthetic data that show the accuracy of our asymptotic predictions for finite sample sizes.


title: On the Joint Distribution Of $\mathrm{Sel}_\phi(E/\mathbb{Q})$ and $\mathrm{Sel}_{\hat\phi}(E^\prime/\mathbb{Q})$ in Quadratic Twist Families

abstract: If $E$ is an elliptic curve with a point of order two, then work of Klagsbrun and Lemke Oliver shows that the distribution of $\dim_{\mathbb{F}_2}\mathrm{Sel}_\phi(E^d/\mathbb{Q}) - \dim_{\mathbb{F}_2} \mathrm{Sel}_{\hat\phi}(E^{\prime d}/\mathbb{Q})$ within the quadratic twist family tends to the discrete normal distribution $\mathcal{N}(0,\frac{1}{2} \log \log X)$ as $X \rightarrow \infty$. We consider the distribution of $\mathrm{dim}_{\mathbb{F}_2} \mathrm{Sel}_\phi(E^d/\mathbb{Q})$ within such a quadratic twist family when $\dim_{\mathbb{F}_2} \mathrm{Sel}_\phi(E^d/\mathbb{Q}) - \dim_{\mathbb{F}_2} \mathrm{Sel}_{\hat\phi}(E^{\prime d}/\mathbb{Q})$ has a fixed value $u$. Specifically, we show that for every $r$, the limiting probability that $\dim_{\mathbb{F}_2} \mathrm{Sel}_\phi(E^d/\mathbb{Q}) = r$ is given by an explicit constant $\alpha_{r,u}$. The constants $\alpha_{r,u}$ are closely related to the $u$-probabilities introduced in Cohen and Lenstra's work on the distribution of class groups, and thus provide a connection between the distribution of Selmer groups of elliptic curves and random abelian groups. Our analysis of this problem has two steps. The first step uses algebraic and combinatorial methods to directly relate the ranks of the Selmer groups in question to the dimensions of the kernels of random $\mathbb{F}_2$-matrices. This proves that the density of twists with a given $\phi$-Selmer rank $r$ is given by $\alpha_{r,u}$ for an unusual notion of density. The second step of the analysis utilizes techniques from analytic number theory to show that this result implies the correct asymptotics in terms of the natural notion of density.


title: Dark Matter Search in a Proton Beam Dump with MiniBooNE

abstract: The MiniBooNE-DM collaboration searched for vector-boson mediated production of dark matter using the Fermilab 8 GeV Booster proton beam in a dedicated run with $1.86 \times 10^{20}$ protons delivered to a steel beam dump. The MiniBooNE detector, 490~m downstream, is sensitive to dark matter via elastic scattering with nucleons in the detector mineral oil. Analysis methods developed for previous MiniBooNE scattering results were employed, and several constraining data sets were simultaneously analyzed to minimize systematic errors from neutrino flux and interaction rates. No excess of events over background was observed, leading to a 90\% confidence limit on the dark-matter cross section parameter, $Y=\epsilon^2\alpha_D(m_\chi/m_V)^4 \lesssim10^{-8}$, for $\alpha_D=0.5$ and for dark-matter masses of $0.01<m_\chi<0.3~\mathrm{GeV}$ in a vector portal model of dark matter. This is the best limit from a dedicated proton beam dump search in this mass and coupling range and extends below the mass range of direct dark matter searches. These results demonstrate a novel and powerful approach to dark matter searches with beam dump experiments.


title: Supercharacters and the discrete Fourier, cosine, and sine transforms

abstract: Using supercharacter theory, we identify the matrices that are diagonalized by the discrete cosine and discrete sine transforms, respectively. Our method affords a combinatorial interpretation for the matrix entries.


title: A New View of Multi-User Hybrid Massive MIMO: Non-Orthogonal Angle Division Multiple Access

abstract: This paper presents a new view of multi-user (MU) hybrid massive multiple-input and multiple-output (MIMO) systems from array signal processing perspective. We first show that the instantaneous channel vectors corresponding to different users are asymptotically orthogonal if the angles of arrival (AOAs) of users are different. We then decompose the channel matrix into an angle domain basis matrix and a gain matrix. The former can be formulated by steering vectors and the latter has the same size as the number of RF chains, which perfectly matches the structure of hybrid precoding. A novel hybrid channel estimation is proposed by separately estimating the angle information and the gain matrix, which could significantly save the training overhead and substantially improve the channel estimation accuracy compared to the conventional beamspace approach. Moreover, with the aid of the angle domain matrix, the MU massive MIMO system can be viewed as a type of non-orthogonal angle division multiple access (ADMA) to simultaneously serve multiple users at the same frequency band. Finally, the performance of the proposed scheme is validated by computer simulation results.


title: Polycyclic Aromatic Hydrocarbon emission in Spitzer/IRS maps II: A direct link between band profiles and the radiation field strength

abstract: We decompose the observed 7.7 $\mu$m polycyclic aromatic hydrocarbon (PAH) emission complexes in a large sample of over 7000 mid-infrared spectra of the interstellar medium (ISM) using spectral cubes observed with the Spitzer/IRS-SL instrument. In order to fit the 7.7 $\mu$m PAH emission complex we invoke four Gaussian components which are found to be very stable in terms of their peak positions and widths across all of our spectra, and subsequently define a decomposition with fixed parameters which gives an acceptable fit for all the spectra. We see a strong environmental dependence on the inter-relationships between our band fluxes - in the HII regions all four components are inter-correlated, while in the reflection nebulae (RNe) the inner and outer pairs of bands correlate in the same manner as previously seen for NGC~2023. We show that this effect arises because the RNe maps are dominated by strongly irradiated PDR emission, while the much larger HII region maps are dominated by emission from regions much more distant from the exciting stars, leading to subtly different spectral behavior. Further investigation of this dichotomy reveals that the ratio of two of these components (centered at 7.6 and 7.8 $\mu$m) is linearly related to the UV field intensity (log G$_0$). We find that this relationship does not hold for sources consisting of circumstellar material, which are known to have variable 7.7 $\mu$m spectral profiles.


title: Compton scattering off proton in the third resonance region

abstract: Compton scattering off the proton in the third resonance region is analyzed for the first time, owing to the full combined analysis of pion- and photo-induced reactions in a coupled-channel effective Lagrangian model with K-matrix approximation. Two isospin $I=3/2$ resonances $D_{33}(1700)$ and $F_{35}(1930)$ are found to be essential in the range of 1.6 - 1.8 GeV. The recent beam asymmetry data of Compton scattering from the GRAAL facility are used to determine the helicity couplings of these resonances, and strong constraints are coming also from $\pi N$ and $K\Sigma$ photoproduction data. The possible spin and parity of new narrow resonances is discussed.


title: Dichotomy for Real Holant$^c$ Problems

abstract: Holant problems capture a class of Sum-of-Product computations such as counting matchings. It is inspired by holographic algorithms and is equivalent to tensor networks, with counting CSP being a special case. A classification for Holant problems is more difficult to prove, not only because it implies a classification for counting CSP, but also due to the deeper reason that there exist more intricate polynomial time tractable problems in the broader framework. We discover a new family of constraint functions $\mathscr{L}$ which define polynomial time computable counting problems. These do not appear in counting CSP, and no newly discovered tractable constraints can be symmetric. It has a delicate support structure related to error-correcting codes. Local holographic transformations is fundamental in its tractability. We prove a complexity dichotomy theorem for all Holant problems defined by any real valued constraint function set on Boolean variables and contains two 0-1 pinning functions. Previously, dichotomy for the same framework was only known for symmetric constraint functions. he set $\mathscr{L}$ supplies the last piece of tractability. We also prove a dichotomy for a variant of counting CSP as a technical component toward this Holant dichotomy.


title: Criticality of inhomogeneous Nariai-like cosmological models

abstract: In this paper, we construct and study solutions of Einstein's equations in vacuum with a positive cosmological constant which can be considered as inhomogeneous generalizations of the Nariai cosmological model. Similar to this Nariai spacetime, our solutions are at the borderline between gravitational collapse and de-Sitter-like exponential expansion. Our studies focus in particular on the intriguing oscillatory dynamics which we discover. Our investigations are carried out both analytically (using heuristic mode analysis arguments) and numerically (using the numerical infrastructure recently introduced by us).


title: Wideband Distributed Spectrum Sharing with Multichannel Immediate Multiple Access

abstract: This paper describes a radio architecture for distributed spectrum sharing of multiple channels among secondary users (SUs) in a wide band of frequencies and a localized area. A novel Multichannel Immediate Multiple Access (MIMA) physical layer is developed such that each SU can monitor all the channels simultaneously for incoming signals and achieve fast rendezvous within the multiple channels. The spectrum utilized by an SU pair can be changed dynamically based upon spectrum sensing at the transmitter and tracking synchronization and control messages at the receiver. Although information about the number of active SUs can be used to improve the spectrum sharing efficiency, the improvement is small relative to the cost of obtaining such information. Therefore, the architecture adopts Multichannel Carrier Sense Multiple Access (CSMA) for medium access control regardless of the number of active SUs. A prototype implementation of the architecture has been developed using an advanced software defined radio (SDR) platform. System tests demonstrate that the spectrum sharing efficiency of the prototype is close to an upper bound if the signal-to-noise ratio (SNR) is sufficiently high. Among other practical issues, imaged interference caused by hardware IQ imbalance limits system performance. In the prototype, the MIMA is based on an LTE waveform. Therefore, the spectrum sharing radio can be potentially applied to the 3.5 GHz radar band for Citizens Broadband Radio Service (CBRS).


title: Nonlinear reconnecting edge localized modes in tokamaks

abstract: Nonlinear edge localized modes in a tokamak are examined using global three-dimensional resistive magnetohydrodynamics simulations. Coherent current-carrying filament (ribbon-like) structures wrapped around the torus are nonlinearly formed due to nonaxisymmetric reconnecting current sheet instabilities, the so called peeling-like edge localized modes. These fast growing modes saturate by breaking axisymmetric current layers isolated near the plasma edge and go through repetitive relaxation cycles by expelling current radially outward and relaxing it back. The local bi-directional fluctuation-induced electromotive force (emf) from the edge localized modes, the dynamo action, relaxes the axisymmetric current density and forms current holes near the edge.


title: Quantum limited measurement of space-time curvature with scaling beyond the conventional Heisenberg limit

abstract: We study the problem of estimating the phase shift due to the general relativistic time dilation in the interference of photons using a non-linear Mach-Zender interferometer setup. By introducing two non-linear Kerr materials, one in the bottom and one in the top arm, we can measure the non-linear phase $\phi_{NL}$ produced by the space-time curvature and achieve a scaling of the standard deviation with photon number ($N$) of $1/N^{\beta}$ where $\beta > 1$, which exceeds the conventional Heisenberg limit of a linear interferometer ($1/N$). The non-linear phase shift is an effect that is amplified by the intensity of the probe field. In a regime of high number of photons, this effect can dominate over the linear phase shift.


title: Gravitational Wave Signals of Electroweak Phase Transition Triggered by Dark Matter

abstract: We study in this work a scenario that the universe undergoes a two step phase transition with the first step happened to the dark matter sector and the second step being the transition between the dark matter and the electroweak vacuums, where the barrier between the two vacuums, that is necessary for a strongly first order electroweak phase transition (EWPT) as required by the electroweak baryogenesis mechanism, arises at the tree-level. We illustrate this idea by working with the standard model (SM) augmented by a scalar singlet dark matter and an extra scalar singlet which mixes with the SM Higgs boson. We study the conditions for such pattern of phase transition to occur and especially for the strongly first order EWPT to take place, as well as its compatibility with the basic requirements of a successful dark matter, such as observed relic density and constraints of direct detections. We further explore the discovery possibility of this pattern EWPT by searching for the gravitational waves generated during this process in spaced based interferometer, by showing a representative benchmark point of the parameter space that the generated gravitational waves fall within the sensitivity of eLISA, DECIGO and BBO.


title: Explaining $B\to K^{(*)}\ell^+ \ell^-$ anomaly by radiatively induced coupling in $U(1)_{\mu-\tau}$ gauge symmetry

abstract: We propose an extension of the standard model (SM) with $U(1)_{\mu-\tau}$ gauge symmetry, extra vectorlike quark doublets $Q'_a$ and singlet scalar $\chi$, both of which are charged under $U(1)_{\mu-\tau}$ and carry {odd} dark $Z_2$ parity. Then assuming that $\chi$ is the dark matter (DM) of the universe and imposing various constraints from dark matter search, flavor physics and collider search for $Q'_a$, one can show that radiative corrections to $b\rightarrow s Z^{'*} \rightarrow s l^+ l^- $ involving $Q'_a$ and $\chi$ can induce $\Delta C_9 \sim -1$ which can resolve the LHCb anomalies related with $B\to K^{(*)} \ell^+ \ell^-$. Therefore both DM and $B$ physics anomalies could be accommodated in the model.


title: The Opacity Problem in Social Contagion

abstract: Fads, product adoption, mobs, rumors, memes, and emergent norms are diverse social contagions that have been modeled as network cascades. Empirical study of these cascades is vulnerable to what we describe as the "opacity problem": the inability to observe the critical level of peer influence required to trigger an individual's behavioral change. Even with maximal information, network cascades reveal intervals that bound critical levels of peer exposure, rather than critical values themselves. Existing practice uses interval maxima, which systematically over-estimates the social influence required for behavioral change. Simulations reveal that the over-estimation is likely common and large in magnitude. This is confirmed by an empirical study of hashtag cascades among 3.2 million Twitter users: one in five hashtag adoptions suffers critical value uncertainty due to the opacity problem. Different assumptions about these intervals lead to qualitatively different conclusions about the role of peer reinforcement in diffusion. We introduce a solution that combines identifying tightly bounded intervals with predicting uncertain critical values using node-level information.


title: A Posteriori Error Estimation and Adaptive Algorithm for the Atomistic/Continuum Coupling in 2D

abstract: Atomistic/continuum coupling methods aim to achieve optimal balance between accuracy and efficiency. Adaptivity is the key for the efficient implementation of such methods. In this paper, we carry out a rigorous a posteriori analysis of the residual, the stability constant, and the error bound, for a consistent atomistic/continuum coupling method in 2D. We design and implement the corresponding adaptive mesh refinement algorithm, and the convergence rate with respect to degrees of freedom is optimal compare with a priori error estimates.


title: Big Ramsey degrees and topological dynamics

abstract: We consider Fra\"iss\'e structures whose objects have finite big Ramsey degree and ask what consequences this has for the dynamics of the automorphism group. Motivated by a theorem of D. Devlin about the partition properties of the rationals, we define the notion of a big Ramsey structure, a single structure which codes the big Ramsey degrees of a given Fra\"iss\'e structure. This in turn leads to the definition of a completion flow; we show that if a Fra\"iss\'e structure admits a big Ramsey structure, then the automorphism group admits a unique universal completion flow. We also discuss the problem of when big Ramsey structures exist and explore connections to the notion of oscillation stability defined by Kechris, Pestov, and Todor\v{c}evi\'c


title: Chaotic Dynamics of Inner Ear Hair Cells

abstract: Experimental records of active bundle motility are used to demonstrate the presence of a low-dimensional chaotic attractor in hair cell dynamics. Dimensionality tests from dynamic systems theory are applied to estimate the number of independent variables sufficient for modeling the hair cell response. Poincare maps are constructed to observe a quasiperiodic transition from chaos to order with increasing amplitudes of mechanical forcing. The onset of this transition is accompanied by a reduction of Kolmogorov entropy in the system and an increase in mutual information between the stimulus and the hair bundle, indicative of signal detection. A simple theoretical model is used to describe the observed chaotic dynamics. The model exhibits an enhancement of sensitivity to weak stimuli when the system is poised in the chaotic regime. We propose that chaos may play a role in the hair cell's ability to detect low-amplitude sounds.


title: Gorenstein simplices and the associated finite abelian groups

abstract: It is known that a lattice simplex of dimension $d$ corresponds a finite abelian subgroup of $(\mathbb{R}/\mathbb{Z})^{d+1}$. Conversely, given a finite abelian subgroup of $(\mathbb{R}/\mathbb{Z})^{d+1}$ such that the sum of all entries of each element is an integer, we can obtain a lattice simplex of dimension $d$. In this paper, we discuss a characterization of Gorenstein simplices in terms of the associated finite abelian groups. In particular, we present complete characterizations of Gorenstein simplices whose normalized volume equals $p,p^2$ and $pq$, where $p$ and $q$ are prime numbers with $p \neq q$. Moreover, we compute the volume of the dual simplices of Gorenstein simplices.


title: Proving linearizability using forward simulations

abstract: Linearizability is the standard correctness criterion concurrent data structures such as stacks and queues. It allows to establish observational refinement between a concurrent implementation and an atomic reference implementation.Proving linearizability requires identifying linearization points for each method invocation along all possible computations, leading to valid sequential executions, or alternatively, establishing forward and backward simulations. In both cases, carrying out proofs is hard and complex in general. In particular, backward reasoning is difficult in the context of programs with data structures, and strategies for identifying statically linearization points cannot be defined for all existing implementations. In this paper, we show that, contrary to common belief, many such complex implementations, including, e.g., the Herlihy&Wing Queue and the Time-Stamped Stack, can be proved correct using only forward simulation arguments. This leads to conceptually simple and natural correctness proofs for these implementations that are amenable to automation.


title: Semi-Supervised Deep Learning for Monocular Depth Map Prediction

abstract: Supervised deep learning often suffers from the lack of sufficient training data. Specifically in the context of monocular depth map prediction, it is barely possible to determine dense ground truth depth images in realistic dynamic outdoor environments. When using LiDAR sensors, for instance, noise is present in the distance measurements, the calibration between sensors cannot be perfect, and the measurements are typically much sparser than the camera images. In this paper, we propose a novel approach to depth map prediction from monocular images that learns in a semi-supervised way. While we use sparse ground-truth depth for supervised learning, we also enforce our deep network to produce photoconsistent dense depth maps in a stereo setup using a direct image alignment loss. In experiments we demonstrate superior performance in depth map prediction from single images compared to the state-of-the-art methods.


title: A Fast Algorithm for the Coordinate-wise Minimum Distance Estimation

abstract: Application of the minimum distance method to the linear regression model for estimating regression parameters is a difficult and time-consuming process due to the complexity of its distance function, and hence, it is computationally expensive. To deal with the computational cost, this paper proposes a fast algorithm which mainly uses technique of coordinate-wise minimization in order to estimate the regression parameters. R package based on the proposed algorithm and written in Rcpp is available online.


title: Spearman Rank Correlation Screening for Ultrahigh-dimensional Censored Data

abstract: Herein, we propose a Spearman rank correlation based screening procedure for ultrahigh-dimensional data with censored response case. The proposed method is model-free without specifying any regression forms of predictors or response variable and is robust under the unknown monotone transformations of these response variable and predictors. The sure-screening and rank-consistency properties are established under some mild regularity conditions. Simulation studies demonstrate that the new screening method performs well in the presence of a heavy-tailed distribution, strongly dependent predictors or outliers and that offers superior performance over the existing nonparametric screening procedures. In particular, the new screening method still works well when a response variable is observed under a high censoring rate. An illustrative example is provided.


title: Predicting Privileged Information for Height Estimation

abstract: In this paper, we propose a novel regression-based method for employing privileged information to estimate the height using human metrology. The actual values of the anthropometric measurements are difficult to estimate accurately using state-of-the-art computer vision algorithms. Hence, we use ratios of anthropometric measurements as features. Since many anthropometric measurements are not available at test time in real-life scenarios, we employ a learning using privileged information (LUPI) framework in a regression setup. Instead of using the LUPI paradigm for regression in its original form (i.e., \epsilon-SVR+), we train regression models that predict the privileged information at test time. The predictions are then used, along with observable features, to perform height estimation. Once the height is estimated, a mapping to classes is performed. We demonstrate that the proposed approach can estimate the height better and faster than the \epsilon-SVR+ algorithm and report results for different genders and quartiles of humans.


title: Loop homology of some global quotient orbifolds

abstract: We determine the ring structure of the loop homology of some global quotient orbifolds. We can compute by our theorem the loop homology ring with suitable coefficients of the global quotient orbifolds of the form $[M/G]$ for $M$ being some kinds of homogeneous manifolds, and $G$ being a finte subgroup of a path connected topological group $\mathcal{G}$ acting on $M$. It is shown that these homology rings split into the tensor product of the loop homology ring $\mathbb{H}_{*}(LM)$ of the manifold $M$ and that of the classifying space of the finite group, which coincides with the center of the group ring $Z(k[G])$.


title: Kostka functions associated to complex reflection groups and a conjecture of Finkelberg-Ionov

abstract: Kostka functions $K^{\pm}_{\lambda, \mu}(t)$ associated to complex reflection groups are a generalization of Kostka polynomials, which are indexed by $r$-partitions $\lambda, \mu$ and a sign $+, -$. It is known that Kostka polynomials have an interpretation in terms of Lusztig's partition function. Finkelberg and Ionov defined alternate functions $K_{\lambda,\mu}(t)$ by using an analogue of Lusztig's partition function, and showed that $K_{\lambda,\mu}(t)$ are polynomials in $t$ with non-negative integer coefficients. They conjecture that their $K_{\lambda,\mu}(t)$ coincide with $K^-_{\lambda,\mu}(t)$. In this paper, we show that their conjecture holds. We also discuss a multi-variable version of Kostka functions.


title: Spin excitations and the Fermi surface of superconducting FeS

abstract: High-temperature superconductivity occurs near antiferromagnetic instabilities and nematic state. Debate remains on the origin of nematic order in FeSe and its relation with superconductivity. Here, we use transport, neutron scatter- ing and Fermi surface measurements to demonstrate that hydro-thermo grown superconducting FeS, an isostructure of FeSe, is a tetragonal paramagnet without nematic order and with a quasiparticle mass significantly reduced from that of FeSe. Only stripe-type spin excitation is observed up to 100 meV. No direct coupling between spin excitation and superconductivity in FeS is found, suggesting that FeS is less correlated and the nematic order in FeSe is due to competing checkerboard and stripe spin fluctuations.


title: The effect of a magnetic field on the motion of electrons for the field emission process description

abstract: The Schr\"odinger equation is solved for the wave function of an electron moving in a superposition of external constant and uniform electric and magnetic fields at an arbitrary angle between the field directions. The changing of the potential barrier under influence of the magnetic field parallel to the metal surface is shown.


title: Equilibrium configurations of large nanostructures using the embedded saturated-fragments stochastic density functional theory

abstract: An \emph{ab initio} Langevin dynamics approach is developed based on stochastic density functional theory (sDFT) within a new \emph{embedded saturated } \emph{fragment }formalism, applicable to covalently bonded systems. The forces on the nuclei generated by sDFT contain a random component natural to Langevin dynamics and its standard deviation is used to estimate the friction term on each atom by satisfying the fluctuation\textendash dissipation relation. The overall approach scales linearly with system size even if the density matrix is not local and is thus applicable to ordered as well as disordered extended systems. We implement the approach for a series of silicon nanocrystals (NCs) of varying size with a diameter of up to $3$nm corresponding to $N_{e}=3000$ electrons and generate a set of configurations that are distributed canonically at a fixed temperature, ranging from cryogenic to room temperature. We also analyze the structure properties of the NCs and discuss the reconstruction of the surface geometry.


title: A Fast and Scalable Joint Estimator for Learning Multiple Related Sparse Gaussian Graphical Models

abstract: Estimating multiple sparse Gaussian Graphical Models (sGGMs) jointly for many related tasks (large $K$) under a high-dimensional (large $p$) situation is an important task. Most previous studies for the joint estimation of multiple sGGMs rely on penalized log-likelihood estimators that involve expensive and difficult non-smooth optimizations. We propose a novel approach, FASJEM for \underline{fa}st and \underline{s}calable \underline{j}oint structure-\underline{e}stimation of \underline{m}ultiple sGGMs at a large scale. As the first study of joint sGGM using the Elementary Estimator framework, our work has three major contributions: (1) We solve FASJEM through an entry-wise manner which is parallelizable. (2) We choose a proximal algorithm to optimize FASJEM. This improves the computational efficiency from $O(Kp^3)$ to $O(Kp^2)$ and reduces the memory requirement from $O(Kp^2)$ to $O(K)$. (3) We theoretically prove that FASJEM achieves a consistent estimation with a convergence rate of $O(\log(Kp)/n_{tot})$. On several synthetic and four real-world datasets, FASJEM shows significant improvements over baselines on accuracy, computational complexity, and memory costs.


title: Construction of Unrestricted Rate Parallel Random Input Output Code

abstract: A coding scheme for two-page unrestricted-rate PRIO code that each page may have different code rates is proposed. In the second page, the code for each messages consists of two complementary codewords with code length n. There are a total of 2n-1 codes which are disjoint to guarantees uniquely decodable for 2n-1 messages. In the first page, the code for each message consists of all weight-u vectors with their non-zero elements restricted to (2u-1) same positions, where non-negative integer u is less than or equal to half of code length. Finding codes to be disjoint in first page is equivalent to construction of constant-weight codes, and the numbers of disjoint codes are the best-known numbers of codewords in constant-weight codes. Our coding scheme is constructive, and the code length is arbitrary.The sum rates of our proposed codes are higher than those of previous work.


title: A Characterisation of Smooth Maps into a Homogeneous Space

abstract: We generalize Cartan's logarithmic derivative of a smooth map from a manifold into a Lie group $G$ to smooth maps into a homogeneous space $M=G/H$, and determine the global monodromy obstruction to reconstructing such maps from infinitesimal data. The logarithmic derivative of the embedding of a submanifold $\Sigma \subset M$ becomes an invariant of $\Sigma $ under symmetries of the "Klein geometry" $M$ whose analysis is taken up in [SIGMA 14 (2018), 062, 36 pages, arXiv:1703.03851].


title: Periodic, Quasi-Periodic, Almost Periodic, Almost Automorphic, Birkhoff Recurrent and Poisson Stable Solutions for Stochastic Differential Equations

abstract: The paper is dedicated to studying the problem of Poisson stability (in particular stationarity, periodicity, quasi-periodicity, Bohr almost periodicity, Bohr almost automorphy, Birkhoff recurrence, almost recurrence in the sense of Bebutov, Levitan almost periodicity, pseudo-periodicity, pseudo-recurrence, Poisson stability) of solutions for semi-linear stochastic equation $$ dx(t)=(Ax(t)+f(t,x(t)))dt +g(t,x(t))dW(t)\quad (*) $$ with exponentially stable linear operator $A$ and Poisson stable in time coefficients $f$ and $g$. We prove that if the functions $f$ and $g$ are appropriately "small", then equation $(*)$ admits at least one solution which has the same character of recurrence as the functions $f$ and $g$.


title: Effective face landmark localization via single deep network

abstract: In this paper, we propose a novel face alignment method using single deep network (SDN) on existing limited training data. Rather than using a max-pooling layer followed one convolutional layer in typical convolutional neural networks (CNN), SDN adopts a stack of 3 layer groups instead. Each group layer contains two convolutional layers and a max-pooling layer, which can extract the features hierarchically. Moreover, an effective data augmentation strategy and corresponding training skills are also proposed to over-come the lack of training images on COFW and 300-W da-tasets. The experiment results show that our method outper-forms state-of-the-art methods in both detection accuracy and speed.


title: A theory for calculating the number density distribution of small particles on a flat wall from pressure between the two walls

abstract: Surface force apparatus (SFA) and atomic force microscopy (AFM) can measure a force curve between a substrate and a probe in liquid. However, the force curve had not been transformed to the number density distribution of solvent molecules (colloidal particles) on the substance due to the absence of such a transform theory. Recently, we proposed and developed the transform theories for SFA and AFM. In these theories, the force curve is transformed to the pressure between two flat walls. Next, the pressure is transformed to number density distribution of solvent molecules (colloidal particles). However, pair potential between the solvent molecule (colloidal particle) and the wall is needed as the input of the calculation and Kirkwood superposition approximation is used in the previous theories. In this letter, we propose a new theory that does not use both the pair potential and the approximation. Instead, it makes use of a structure factor between solvent molecules (colloidal particles) which can be obtained by X-ray or neutron scattering.


title: Analytic Theory to Differential Privacy

abstract: The purpose of this paper is to develop a mathematical analysis theory to solve differential privacy problems. The heart of our approaches is to use analytic tools to characterize the correlations among the outputs of different datasets, which makes it feasible to represent a differentially private mechanism with minimal number of parameters. These results are then used to construct differentially private mechanisms analytically. Furthermore, our approaches are universal to almost all query functions. We believe that the approaches and results of this paper are indispensable complements to the current studies of differential privacy that are ruled by the ad hoc and algorithmic approaches.