title: Group divisible designs with block size 4 and type g^u m^1 - II

abstract: We show that the necessary conditions for the existence of 4-GDDs of type g^u m^1 are sufficient for g congruent to 0 (mod h), h = 39, 51, 57, 69, 87, 93, and for g = 13, 17, 19, 23, 25, 29, 31 and 35. More generally, we show that for all g congruent to 3 (mod 6), the possible exceptions occur only when u = 8 and g is not divisible by any of 9, 15, 21, 33, 39, 51, 57, 69, 87 or 93. Consequently we are able to extend the known spectrum for g congruent to 1 and g congruent to 5 (mod 6). Also we complete the spectrum for 4-GDDs of type (3a)^4 (6a)^1 (3b)^1.


title: On the Learning of Deep Local Features for Robust Face Spoofing Detection

abstract: Biometrics emerged as a robust solution for security systems. However, given the dissemination of biometric applications, criminals are developing techniques to circumvent them by simulating physical or behavioral traits of legal users (spoofing attacks). Despite face being a promising characteristic due to its universality, acceptability and presence of cameras almost everywhere, face recognition systems are extremely vulnerable to such frauds since they can be easily fooled with common printed facial photographs. State-of-the-art approaches, based on Convolutional Neural Networks (CNNs), present good results in face spoofing detection. However, these methods do not consider the importance of learning deep local features from each facial region, even though it is known from face recognition that each facial region presents different visual aspects, which can also be exploited for face spoofing detection. In this work we propose a novel CNN architecture trained in two steps for such task. Initially, each part of the neural network learns features from a given facial region. Afterwards, the whole model is fine-tuned on the whole facial images. Results show that such pre-training step allows the CNN to learn different local spoofing cues, improving the performance and the convergence speed of the final model, outperforming the state-of-the-art approaches.


title: Cosmology from a running vacuum model driven by a scalar field

abstract: The possibility that the vacuum energy density $\rho_\Lambda$ is, indeed, varying in time, has been investigated lately from the running vacuum models perspective. Motivated by such models, in the present work, we relate the decaying vacuum energy $\rho_\Lambda(t)$ with a scalar field $\phi$. We derive the equations of motion from such a premise and implement the first-order formalism in order to obtain analytical solutions to the cosmological parameters. We show that those are in agreement with recent Planck observational data. We discuss the physical consequences of having $\rho_\Lambda(t)$ related to $\phi$.


title: Resonant Localized Modes in Electrical Lattices with Second Neighbor Coupling

abstract: We demonstrate experimentally and corroborate numerically that an electrical lattice with nearest-neighbor and second-neighbor coupling can simultaneously support long-lived coherent structures in the form of both standard intrinsic localized modes (ILMs), as well as resonant ILMs. In the latter case, the wings of the ILM exhibit oscillations due to resonance with a degenerate plane-wave mode. This kind of localized mode has also been termed nanopteron. Here we show experimentally and using realistic simulations of the system that the nanopteron can be stabilized via both direct and subharmonic driving. In the case of excitations at the zone center (i.e., at wavenumber $k=0$), we observed stable ILMs, as well as a periodic localization pattern in certain driving regimes. In the zone boundary case (of wavenumber $k=\pi/a$, where $a$ is the lattice spacing), the ILMs are always resonant with a plane-wave mode, but can nevertheless be stabilized by direct (staggered) and subharmonic driving.


title: Joint Neural Entity Disambiguation with Output Space Search

abstract: In this paper, we present a novel model for entity disambiguation that combines both local contextual information and global evidences through Limited Discrepancy Search (LDS). Given an input document, we start from a complete solution constructed by a local model and conduct a search in the space of possible corrections to improve the local solution from a global view point. Our search utilizes a heuristic function to focus more on the least confident local decisions and a pruning function to score the global solutions based on their local fitness and the global coherences among the predicted entities. Experimental results on CoNLL 2003 and TAC 2010 benchmarks verify the effectiveness of our model.


title: Locality in Crisscross Error Correction

abstract: The cover metric is suitable for describing the resilience against correlated errors in arrays, in particular crisscross errors, which makes it interesting for applications such as distributed data storage (DDS). In this work, we consider codes designed for the cover metric that have locality, that means lost symbols can be recovered by using only a few other (local) symbols. We derive and prove a Singleton-like bound on the minimum cover distance of cover-metric codes with locality and propose a bound-achieving construction. Further, we explore the performance of our construction in comparison to a known construction based on rank-metric codes.


title: Fully Automatic Myocardial Segmentation of Contrast Echocardiography Sequence Using Random Forests Guided by Shape Model

abstract: Myocardial contrast echocardiography (MCE) is an imaging technique that assesses left ventricle function and myocardial perfusion for the detection of coronary artery diseases. Automatic MCE perfusion quantification is challenging and requires accurate segmentation of the myocardium from noisy and time-varying images. Random forests (RF) have been successfully applied to many medical image segmentation tasks. However, the pixel-wise RF classifier ignores contextual relationships between label outputs of individual pixels. RF which only utilizes local appearance features is also susceptible to data suffering from large intensity variations. In this paper, we demonstrate how to overcome the above limitations of classic RF by presenting a fully automatic segmentation pipeline for myocardial segmentation in full-cycle 2D MCE data. Specifically, a statistical shape model is used to provide shape prior information that guide the RF segmentation in two ways. First, a novel shape model (SM) feature is incorporated into the RF framework to generate a more accurate RF probability map. Second, the shape model is fitted to the RF probability map to refine and constrain the final segmentation to plausible myocardial shapes. We further improve the performance by introducing a bounding box detection algorithm as a preprocessing step in the segmentation pipeline. Our approach on 2D image is further extended to 2D+t sequence which ensures temporal consistency in the resultant sequence segmentations. When evaluated on clinical MCE data, our proposed method achieves notable improvement in segmentation accuracy and outperforms other state-of-the-art methods including the classic RF and its variants, active shape model and image registration.


title: Defining Locality for Surrogates in Post-hoc Interpretablity

abstract: Local surrogate models, to approximate the local decision boundary of a black-box classifier, constitute one approach to generate explanations for the rationale behind an individual prediction made by the back-box. This paper highlights the importance of defining the right locality, the neighborhood on which a local surrogate is trained, in order to approximate accurately the local black-box decision boundary. Unfortunately, as shown in this paper, this issue is not only a parameter or sampling distribution challenge and has a major impact on the relevance and quality of the approximation of the local black-box decision boundary and thus on the meaning and accuracy of the generated explanation. To overcome the identified problems, quantified with an adapted measure and procedure, we propose to generate surrogate-based explanations for individual predictions based on a sampling centered on particular place of the decision boundary, relevant for the prediction to be explained, rather than on the prediction itself as it is classically done. We evaluate the novel approach compared to state-of-the-art methods and a straightforward improvement thereof on four UCI datasets.


title: Optimal Dividend Distribution Under Drawdown and Ratcheting Constraints on Dividend Rates

abstract: We consider the optimal dividend problem under a habit formation constraint that prevents the dividend rate to fall below a certain proportion of its historical maximum, the so-called drawdown constraint. This is an extension of the optimal Duesenberry's ratcheting consumption problem, studied by Dybvig (1995) [Review of Economic Studies 62(2), 287-313], in which consumption is assumed to be nondecreasing. Our problem differs from Dybvig's also in that the time of ruin could be finite in our setting, whereas ruin was impossible in Dybvig's work. We formulate our problem as a stochastic control problem with the objective of maximizing the expected discounted utility of the dividend stream until bankruptcy, in which risk preferences are embodied by power utility. We semi-explicitly solve the corresponding Hamilton-Jacobi-Bellman variational inequality, which is a nonlinear free-boundary problem. The optimal (excess) dividend rate $c^*_t$ - as a function of the company's current surplus $X_t$ and its historical running maximum of the (excess) dividend rate $z_t$ - is as follows: There are constants $0 < w_{\alpha} < w_0 < w^*$ such that (1) for $0 < X_t \le w_{\alpha} z_t$, it is optimal to pay dividends at the lowest rate $\alpha z_t$, (2) for $w_{\alpha} z_t < X_t < w_0 z_t$, it is optimal to distribute dividends at an intermediate rate $c^*_t \in (\alpha z_t, z_t)$, (3) for $w_0 z_t < X_t < w^* z_t$, it is optimal to distribute dividends at the historical peak rate $z_t$, (4) for $X_t > w^* z_t$, it is optimal to increase the dividend rate above $z_t$, and (5) it is optimal to increase $z_t$ via singular control as needed to keep $X_t \le w^* z_t$. Because, the maximum (excess) dividend rate will eventually be proportional to the running maximum of the surplus, "mountains will have to move" before we increase the dividend rate beyond its historical maximum.


title: A locking-free face-centred finite volume (FCFV) method for linear elasticity

abstract: A face-centred finite volume (FCFV) method is proposed for the linear elasticity equation. The FCFV is a mixed hybrid formulation, featuring a system of first-order equations, that defines the unknowns on the faces (edges in two dimensions) of the mesh elements. The symmetry of the stress tensor is strongly enforced using the well-known Voigt notation and the displacement and stress fields inside each cell are obtained element-wise by means of explicit formulas. The resulting FCFV method is robust and locking-free in the nearly incompressible limit. Numerical experiments in two and three dimensions show optimal convergence of the displacement and the stress fields without any reconstruction. Moreover, the accuracy of the FCFV method is not sensitive to mesh distortion and stretching. Classical benchmark tests including Kirch's plate and Cook's membrane problems in two dimensions as well as three dimensional problems involving shear phenomenons, pressurised thin shells and complex geometries are presented to show the capability and potential of the proposed methodology.


title: Experimental Simulation of Dust Impacts at Starflight Velocities

abstract: The problem of simulating the interaction of spacecraft travelling at velocities necessary for starflight with the interplanetary and interstellar medium is considered. Interaction of protons, atoms, and ions at kinetic energies relative to the spacecraft (MeV per nucleon) is essentially a problem of sputtering. More problematic is the impact of dust grains, macroscopic objects on the order of 10 nm ($10^{-21}$ kg) to 1 $\mu$m ($10^{-15}$ kg), the effects of which are difficult to calculate, and thus experiments are needed. The maximum velocity of dust grains that can be achieved at present in the laboratory using electrostatic methods is approximately 100 km/s, two orders of magnitude below starflight velocities. The attainment of greater velocities has been previously considered in connection with the concept of impact fusion and was concluded to be technologically very challenging. The reasons for this are explained in terms of field emission, which limits the charge-to-mass ratio on the macroscopic particle being accelerated as well as the voltage potential gradient of the accelerating electrostatic field, resulting in the accelerator needing to be hundreds to thousands of kilometers long for $\mu$m-sized grains. Use of circular accelerators (cyclotrons and synchrotrons) is not practical due to limitations on magnetic field strength making the accelerator thousands of kilometers in size for $\mu$m-sized grains. Electromagnetic launchers (railguns, coilguns) have not been able to produce velocities greater than conventional gas guns (< 10 km/s). The nearest feasible technologies (tandem accelerators, macromolecular accelerators) to reach the regime of projectile mass and velocity of interest are reviewed. Pulsed lasers are found to be the only facilities able to accelerate condensed phase matter to velocities approaching 1000 km/s but unlikely to be able to reach greater speeds.


title: Time-dependent polynomials with one double root, and related new solvable systems of nonlinear evolution equations

abstract: Recently new solvable systems of nonlinear evolution equations -- including ODEs, PDEs and systems with discrete time -- have been introduced. These findings are based on certain convenient formulas expressing the $k$-th time-derivative of a root of a time-dependent monic polynomial in terms of the $k$-th time-derivative of the coefficients of the same polynomial and of the roots of the same polynomial as well as their time-derivatives of order less than $k$. These findings were restricted to the case of generic polynomials without any multiple root. In this paper some of these findings -- those for $k=1$ and $k=2$ -- are extended to polynomials featuring one double root; and a few representative examples are reported of new solvable systems of nonlinear evolution equations.


title: Perturbation theory for selfadjoint relations

abstract: We study Weyl-type perturbation theorems in the context of linear closed relations. We establish general results on perturbations for dissipative relations. In the particular case of selfadjoint relations, we study finite-rank perturbations and carry out a detailed analysis of the corresponding changes in the spectrum.


title: A Latent Variable Approach to Gaussian Process Modeling with Qualitative and Quantitative Factors

abstract: Computer simulations often involve both qualitative and numerical inputs. Existing Gaussian process (GP) methods for handling this mainly assume a different response surface for each combination of levels of the qualitative factors and relate them via a multiresponse cross-covariance matrix. We introduce a substantially different approach that maps each qualitative factor to an underlying numerical latent variable (LV), with the mapped value for each level estimated similarly to the correlation parameters. This provides a parsimonious GP parameterization that treats qualitative factors the same as numerical variables and views them as effecting the response via similar physical mechanisms. This has strong physical justification, as the effects of a qualitative factor in any physics-based simulation model must always be due to some underlying numerical variables. Even when the underlying variables are many, sufficient dimension reduction arguments imply that their effects can be represented by a low-dimensional LV. This conjecture is supported by the superior predictive performance observed across a variety of examples. Moreover, the mapped LVs provide substantial insight into the nature and effects of the qualitative factors.


title: Orientational migration of halide ion in lead halide perovskites

abstract: With the rapid evolution of lead halide perovskite solar cells, there are considerable evidences that the mobile ions strongly impact their properties. However, except the activation energy, the other properties of ionic migration are mostly explored with first principle calculations. Here we investigate the migration of halide ion (vacancy) in lead bromide perovskite single crystalline microplates. In contrast to conventional studies with external bias voltages, we introduce built-in potentials into the microplates via low-energy electron beams and study the corresponding ionic migrations. By aligning the potentials along particular crystal planes, the reduction of Pb2+ to Pb0 has been observed at the un-irradiated center of each cell, demonstrating that the migration of halide ion has preferred directions for the first time. Our observations are consistent with the recent theoretical models and shall open up a new route to improve the performances of perovskite solar cells.


title: A Simple Fusion of Deep and Shallow Learning for Acoustic Scene Classification

abstract: In the past, Acoustic Scene Classification systems have been based on hand crafting audio features that are input to a classifier. Nowadays, the common trend is to adopt data driven techniques, e.g., deep learning, where audio representations are learned from data. In this paper, we propose a system that consists of a simple fusion of two methods of the aforementioned types: a deep learning approach where log-scaled mel-spectrograms are input to a convolutional neural network, and a feature engineering approach, where a collection of hand-crafted features is input to a gradient boosting machine. We first show that both methods provide complementary information to some extent. Then, we use a simple late fusion strategy to combine both methods. We report classification accuracy of each method individually and the combined system on the TUT Acoustic Scenes 2017 dataset. The proposed fused system outperforms each of the individual methods and attains a classification accuracy of 72.8% on the evaluation set, improving the baseline system by 11.8%.


title: iCLAP: Shape Recognition by Combining Proprioception and Touch Sensing

abstract: For humans, both the proprioception and touch sensing are highly utilized when performing haptic perception. However, most approaches in robotics use only either proprioceptive data or touch data in haptic object recognition. In this paper, we present a novel method named Iterative Closest Labeled Point (iCLAP) to link the kinesthetic cues and tactile patterns fundamentally and also introduce its extensions to recognize object shapes. In the training phase, the iCLAP first clusters the features of tactile readings into a codebook and assigns these features with distinct label numbers. A 4D point cloud of the object is then formed by taking the label numbers of the tactile features as an additional dimension to the 3D sensor positions; hence, the two sensing modalities are merged to achieve a synthesized perception of the touched object. Furthermore, we developed and validated hybrid fusion strategies, product based and weighted sum based, to combine decisions obtained from iCLAP and single sensing modalities. Extensive experimentation demonstrates a dramatic improvement of object recognition using the proposed methods and it shows great potential to enhance robot perception ability.


title: Reducibility and Computational Lower Bounds for Problems with Planted Sparse Structure

abstract: The prototypical high-dimensional statistics problem entails finding a structured signal in noise. Many of these problems exhibit an intriguing phenomenon: the amount of data needed by all known computationally efficient algorithms far exceeds what is needed for inefficient algorithms that search over all possible structures. A line of work initiated by Berthet and Rigollet in 2013 has aimed to explain these statistical-computational gaps by reducing from conjecturally hard average-case problems in computer science. However, the delicate nature of average-case reductions has limited the applicability of this approach. In this work we introduce several new techniques to give a web of average-case reductions showing strong computational lower bounds based on the planted clique conjecture using natural problems as intermediates. These include tight lower bounds for Planted Independent Set, Planted Dense Subgraph, Sparse Spiked Wigner, Sparse PCA, a subgraph variant of the Stochastic Block Model and a biased variant of Sparse PCA. We also give algorithms matching our lower bounds and identify the information-theoretic limits of the models we consider.

categories: cs.CC cs.DS cs.IT math.IT math.ST stat.TH


title: Comparative analysis of information measures of the Dirichlet and Neumann two-dimensional quantum dots

abstract: Analytic representation of both position as well as momentum waveforms of the two-dimensional (2D) circular quantum dots with the Dirichlet and Neumann boundary conditions (BCs) allowed an efficient computation in either space of Shannon $S$, R\'{e}nyi $R(\alpha)$ and Tsallis $T(\alpha)$ entropies, Onicescu energies $O$ and Fisher informations $I$. It is shown that a transition to the 2D geometry lifts the 1D degeneracy of the position components $S_\rho$, $O_\rho$, $R_\rho(\alpha)$. Among many other findings, it is established that the lower limit $\alpha_{TH}$ of the semi-infinite range of the dimensionless R\'{e}nyi/Tsallis coefficient where one-parameter momentum entropies exist is equal to 2/5 for the Dirichlet requirement and 2/3 for the Neumann one. Since their 1D counterparts are $1/4$ and $1/2$, respectively, this simultaneously reveals that this critical value crucially depends not only on the position BC but the dimensionality of the structure too. As the 2D Neumann threshold $\alpha_{TH}^N$ is greater than one half, its R\'{e}nyi uncertainty relation for the sum of the position and wave vector components $R_\rho(\alpha)+R_\gamma\left(\frac{\alpha}{2\alpha-1}\right)$ is valid in the range $[1/2,2)$ only with its logarithmic divergence at the right edge whereas for all other systems it is defined at any coefficient $\alpha$ not smaller than one half. For both configurations, the lowest-energy level at $\alpha=1/2$ does saturate R\'{e}nyi and Tsallis entropic inequalities. Other properties are discussed and analyzed from the mathematical and physical points of view.

categories: quant-ph cond-mat.mes-hall math-ph math.MP physics.data-an


title: Three-dimensional particle-in-cell modeling of parametric instabilities near the quarter-critical density in plasmas

abstract: The nonlinear regime of laser-plasma interaction including both two-plasmon--decay (TPD) and stimulated Raman scattering (SRS) instabilities has been studied in three-dimensional (3-D) particle-in-cell simulations with parameters relevant to the inertial confinement fusion (ICF) experiments. SRS and TPD develop in the same region in plasmas, and the generation of fast electrons can be described accurately with only the full model including both SRS and TPD. The growth of instabilities in the linear stage is found to be in good agreement with analytical theories. In the saturation stage the enhanced low-frequency density perturbations driven by the daughter waves of the SRS sidescattering can saturate the TPD and consequently inhibit the fast-electron generation. The fast-electron flux in 3-D modeling is up to an order of magnitude smaller than previously reported in 2-D TPD simulations, bringing it close to the results of ICF experiments.


title: Planar graphs without 4-cycles and close triangles are (2,0,0)-colorable

abstract: For a set of nonnegative integers $c_1, \ldots, c_k$, a $(c_1, c_2,\ldots, c_k)$-coloring of a graph $G$ is a partition of $V(G)$ into $V_1, \ldots, V_k$ such that for every $i$, $1\le i\le k, G[V_i]$ has maximum degree at most $c_i$. We prove that all planar graphs without 4-cycles and no less than two edges between triangles are $(2,0,0)$-colorable.


title: A Young Ultramassive White Dwarf in the AB Doradus Moving Group

abstract: We use Gaia DR2 kinematic data and white dwarf evolutionary models to determine that the young and ultramassive white dwarf GD 50 is a likely member of the AB Doradus moving group. Comparison with the Montr\'eal white dwarf evolutionary models and the MIST main-sequence lifetimes imply a total age of 117 $\pm$ 26 ($\pm$ 13 statistic, $\pm$ 22 systematic) Myr, accounting for all possible C/O/Ne core compositions and using the Pleiad white dwarf LB 1497 as a comparison benchmark. This is the first white dwarf cosmochronology age for a nearby young moving group, and allows us to refine the age of the AB Doradus moving group at 133$_{-20}^{+15}$ Myr by combining it with its independent isochronal age. GD 50 is the first white dwarf member of the AB Doradus moving group and is located at only 31 pc from the Sun, making it an important benchmark to better understand the star-formation history of the Solar neighborhood.


title: Finite Rank Perturbations of Linear Relations and Matrix Pencils

abstract: We elaborate on the deviation of the Jordan structures of two linear relations that are finite-dimensional perturbations of each other. We compare their number of Jordan chains of length at least $n$. In the operator case, it was recently proved that the difference of these numbers is independent of $n$ and is at most the defect between the operators. One of the main results of this paper shows that in the case of linear relations this number has to be multiplied by $n+1$ and that this bound is sharp. The reason for this behavior is the existence of singular chains. We apply our results to one-dimensional perturbations of singular and regular matrix pencils. This is done by representing matrix pencils via linear relations. This technique allows for both proving known results for regular pencils as well as new results for singular ones.


title: Asymmetric Transmission in Photonic Structures with Phase-Change Components

abstract: We consider the scattering problem for an asymmetric composite photonic structure with a component experiencing a thermally driven phase transition. Using a numerical example, we show that if the heating is caused by the incident light, the transmittance can become highly asymmetric within a broad range of light intensities. This effect can be utilized for directional light transmission, asymmetric optical limiting, or power switching.


title: Torsion of abelian varieties and Lubin-Tate extensions

abstract: We show that, for an abelian variety defined over a $p$-adic field $K$ which has potential good reduction, its torsion subgroup with values in the composite field of $K$ and a certain Lubin-Tate extension over a $p$-adic field is finite.


title: The Rise of Guardians: Fact-checking URL Recommendation to Combat Fake News

abstract: A large body of research work and efforts have been focused on detecting fake news and building online fact-check systems in order to debunk fake news as soon as possible. Despite the existence of these systems, fake news is still wildly shared by online users. It indicates that these systems may not be fully utilized. After detecting fake news, what is the next step to stop people from sharing it? How can we improve the utilization of these fact-check systems? To fill this gap, in this paper, we (i) collect and analyze online users called guardians, who correct misinformation and fake news in online discussions by referring fact-checking URLs; and (ii) propose a novel fact-checking URL recommendation model to encourage the guardians to engage more in fact-checking activities. We found that the guardians usually took less than one day to reply to claims in online conversations and took another day to spread verified information to hundreds of millions of followers. Our proposed recommendation model outperformed four state-of-the-art models by 11%~33%. Our source code and dataset are available at https://github.com/nguyenvo09/CombatingFakeNews.


title: Helical FOFO Snake for Initial Six-Dimensional Cooling of Muons

abstract: The helical FOFO snake six-dimensional muon ionization cooling channel design is presented which incorporates wedge absorbers in such a way that simultaneous cooling of both signs of muons is possible.


title: Eakin-Sathaye type theorems for joint reductions and good filtrations of ideals

abstract: Analogues of Eakin-Sathaye theorem for reductions of ideals are proved for ${\mathbb N}^s$-graded good filtrations. These analogues yield bounds on joint reduction vectors for a family of ideals and reduction numbers for $\mathbb N$-graded filtrations. Several examples related to lex-segment ideals, contracted ideals in $2$-dimensional regular local rings and the filtration of integral and tight closures of powers of ideals in hypersurface rings are constructed to show effectiveness of these bounds.


title: On category $\mathcal{O}$ for affine Grassmannian slices and categorified tensor products

abstract: Truncated shifted Yangians are a family of algebras which naturally quantize slices in the affine Grassmannian. These algebras depend on a choice of two weights $\lambda$ and $\mu$ for a Lie algebra $\mathfrak{g}$, which we will assume is simply-laced. In this paper, we relate the category $\mathcal{O}$ over truncated shifted Yangians to categorified tensor products: for a generic integral choice of parameters, category $\mathcal{O}$ is equivalent to a weight space in the categorification of a tensor product of fundamental representations defined by the third author using KLRW algebras. We also give a precise description of category $\mathcal{O}$ for arbitrary parameters using a new algebra which we call the parity KLRW algebra. In particular, we confirm the conjecture of the authors that the highest weights of category $\mathcal{O}$ are in canonical bijection with a product monomial crystal depending on the choice of parameters. This work also has interesting applications to classical representation theory. In particular, it allows us to give a classification of simple Gelfand-Tsetlin modules of $U(\mathfrak{gl}_n)$ and its associated W-algebras.


title: Dimensional reduction via a novel Higgs mechanism

abstract: Many theories of quantum gravity live in higher dimensions, and their reduction to four dimensions via mechanisms such as Kaluza-Klein compactification or brane world models have associated problems. We propose a novel mechanism of dimensional reduction via spontaneous symmetry breaking of a higher dimensional local Lorentz group to one in lower dimensions. Working in the gauge theory formulation of gravity, we couple a scalar field to spin connections, include a potential for the field, and show that for a suitable choice of scalar vacuum, the local Lorentz symmetry of the action gets spontaneously reduced to one in a lower dimension. Thus effectively the dimension of spacetime gets reduced by one. This provides a viable mechanism for the dimensional reduction, and may have applications in theories of quantum gravity.


title: TMCI with Resonator Wakes

abstract: Transverse mode-coupling instability (TMCI) with a high-frequency resonator wake is examined by the Nested Head-Tail Vlasov solver (NHT), where a Gaussian bunch in a parabolic potential (GP model) is represented by concentric rings in the longitudinal phase space. It is shown that multiple mode couplings and decouplings make impossible an unambiguous definition of the threshold, unless Landau damping is taken into account. To address this problem, instead of a single instability threshold, an interval of thresholds is suggested, bounded by the low and high intensity ones. For the broadband impedance model, the high intensity threshold is shown to follow Zotter's scaling, but smaller by about a factor of two. The same scaling, this time smaller than Zotter's by a factor of four, is found for the ABS model (Air Bag Square well).


title: Tight Closure of powers of ideals and tight Hilbert polynomials

abstract: Let $(R,\mathfrak m)$ be an analytically unramified local ring of positive prime characteristic $p.$ For an ideal $I$, let $I^*$ denote its tight closure. We introduce the tight Hilbert function $H^*_I(n)=\ell(R/(I^n)^*)$ and the corresponding tight Hilbert polynomial $P_I^*(n)$ where $I$ is an $\mathfrak m$-primary ideal. It is proved that $F$-rationality can be detected by the vanishing of the first coefficient of $P_I^*(n).$ We find the tight Hilbert polynomial of certain parameter ideals in hypersurface rings and Stanley-Reisner rings of simplicial complexes.


title: Schematic Polymorphism in the Abella Proof Assistant

abstract: The Abella interactive theorem prover has proven to be an effective vehicle for reasoning about relational specifications. However, the system has a limitation that arises from the fact that it is based on a simply typed logic: formalizations that are identical except in the respect that they apply to different types have to be repeated at each type. We develop an approach that overcomes this limitation while preserving the logical underpinnings of the system. In this approach object constructors, formulas and other relevant logical notions are allowed to be parameterized by types, with the interpretation that they stand for the (infinite) collection of corresponding constructs that are obtained by instantiating the type parameters. The proof structures that we consider for formulas that are schematized in this fashion are limited to ones whose type instances are valid proofs in the simply typed logic. We develop schematic proof rules that ensure this property, a task that is complicated by the fact that type information influences the notion of unification that plays a key role in the logic. Our ideas, which have been implemented in an updated version of the system, accommodate schematic polymorphism both in the core logic of Abella and in the executable specification logic that it embeds.


title: Developing a Temporal Bibliographic Data Set for Entity Resolution

abstract: Entity resolution is the process of identifying groups of records within or across data sets where each group represents a real-world entity. Novel techniques that consider temporal features to improve the quality of entity resolution have recently attracted significant attention. However, there are currently no large data sets available that contain both temporal information as well as ground truth information to evaluate the quality of temporal entity resolution approaches. In this paper, we describe the preparation of a temporal data set based on author profiles extracted from the Digital Bibliography and Library Project (DBLP). We completed missing links between publications and author profiles in the DBLP data set using the DBLP public API. We then used the Microsoft Academic Graph (MAG) to link temporal affiliation information for DBLP authors. We selected around 80K (1%) of author profiles that cover 2 million (50%) publications using information in DBLP such as alternative author names and personal web profile to improve the reliability of the resulting ground truth, while at the same time keeping the data set challenging for temporal entity resolution research.


title: Electronics Instrumentation for the Greenland Telescope

abstract: The Greenland Telescope project has recently participated in an experiment to image the supermassive black hole shadow at the center of M87 using Very Long Baseline Interferometry technique in April of 2018. The antenna consists of the 12-m ALMA North American prototype antenna that was modified to support two auxiliary side containers and to withstand an extremely cold environment. The telescope is currently at Thule Air Base in Greenland with the long-term goal to move the telescope over the Greenland ice sheet to Summit Station. The GLT currently has a single cryostat which houses three dual polarization receivers that cover 84-96 GHz, 213-243 GHz and 271-377 GHz bands. A hydrogen maser frequency source in conjunction with high frequency synthesizers are used to generate the local oscillator references for the receivers. The intermediate frequency outputs of each receiver cover 4-8 GHz and are heterodyned to baseband for digitization within a set of ROACH-2 units then formatted for recording onto Mark-6 data recorders. A separate set of ROACH-2 units operating in parallel provides the function of auto-correlation for real-time spectral analysis. Due to the stringent instrumental stability requirements for interferometry a diagnostic test system was incorporated into the design. Tying all of the above equipment together is the fiber optic system designed to operate in a low temperature environment and scalable to accommodate a larger distance between the control module and telescope for Summit Station. A report on the progress of the above electronics instrumentation system will be provided.


title: A Survey on the Security of Pervasive Online Social Networks (POSNs)

abstract: Pervasive Online Social Networks (POSNs) are the extensions of Online Social Networks (OSNs) which facilitate connectivity irrespective of the domain and properties of users. POSNs have been accumulated with the convergence of a plethora of social networking platforms with a motivation of bridging their gap. Over the last decade, OSNs have visually perceived an altogether tremendous amount of advancement in terms of the number of users as well as technology enablers. A single OSN is the property of an organization, which ascertains smooth functioning of its accommodations for providing a quality experience to their users. However, with POSNs, multiple OSNs have coalesced through communities, circles, or only properties, which make service-provisioning tedious and arduous to sustain. Especially, challenges become rigorous when the focus is on the security perspective of cross-platform OSNs, which are an integral part of POSNs. Thus, it is of utmost paramountcy to highlight such a requirement and understand the current situation while discussing the available state-of-the-art. With the modernization of OSNs and convergence towards POSNs, it is compulsory to understand the impact and reach of current solutions for enhancing the security of users as well as associated services. This survey understands this requisite and fixates on different sets of studies presented over the last few years and surveys them for their applicability to POSNs...


title: Fluid Annotation: A Human-Machine Collaboration Interface for Full Image Annotation

abstract: We introduce Fluid Annotation, an intuitive human-machine collaboration interface for annotating the class label and outline of every object and background region in an image. Fluid annotation is based on three principles: (I) Strong Machine-Learning aid. We start from the output of a strong neural network model, which the annotator can edit by correcting the labels of existing regions, adding new regions to cover missing objects, and removing incorrect regions. The edit operations are also assisted by the model. (II) Full image annotation in a single pass. As opposed to performing a series of small annotation tasks in isolation, we propose a unified interface for full image annotation in a single pass. (III) Empower the annotator. We empower the annotator to choose what to annotate and in which order. This enables concentrating on what the machine does not already know, i.e. putting human effort only on the errors it made. This helps using the annotation budget effectively. Through extensive experiments on the COCO+Stuff dataset, we demonstrate that Fluid Annotation leads to accurate annotations very efficiently, taking three times less annotation time than the popular LabelMe interface.


title: Uncertainty in Multitask Transfer Learning

abstract: Using variational Bayes neural networks, we develop an algorithm capable of accumulating knowledge into a prior from multiple different tasks. The result is a rich and meaningful prior capable of few-shot learning on new tasks. The posterior can go beyond the mean field approximation and yields good uncertainty on the performed experiments. Analysis on toy tasks shows that it can learn from significantly different tasks while finding similarities among them. Experiments of Mini-Imagenet yields the new state of the art with 74.5% accuracy on 5 shot learning. Finally, we provide experiments showing that other existing methods can fail to perform well in different benchmarks.


title: Prevalence of Delay Embeddings with a Fixed Observation Function

abstract: Let $x_{j+1}=\phi(x_{j})$, $x_{j}\in\mathbb{R}^{d}$, be a dynamical system with $\phi$ being a diffeomorphism. Although the state vector $x_{j}$ is often unobservable, the dynamics can be recovered from the delay vector $\left(o(x_{1}),\ldots,o(x_{D})\right)$, where $o$ is the scalar-valued observation function and $D$ is the embedding dimension. The delay map is an embedding for generic $o$, and more strongly, the embedding property is prevalent. We consider the situation where the observation function is fixed at $o=\pi_{1}$, with $\pi_{1}$ being the projection to the first coordinate. However, we allow polynomial perturbations to be applied directly to the diffeomorphism $\phi$, thus mimicking the way dynamical systems are parametrized. We prove that the delay map is an embedding with probability one with respect to the perturbations. Our proof introduces a new technique for proving prevalence using the concept of Lebesgue points.


title: Internet of Things (IoT) and Cloud Computing Enabled Disaster Management

abstract: Disaster management demands a near real-time information dissemina-tion so that the emergency services can be provided to the right people at the right time. Recent advances in information and communication technologies enable collection of real-time information from various sources. For example, sensors deployed in the fields collect data about the environment. Similarly, social networks like Twitter and Facebook can help to collect data from people in the disaster zone. On one hand, inadequate situation awareness in disasters has been identified as one of the primary factors in human errors with grave consequences such as loss of lives and destruction of critical infrastructure. On the other hand, the growing ubiquity of social media and mobile devices, and pervasive nature of the Internet-of-Things means that there are more sources of outbound traffic, which ultimately results in the creation of a data deluge, beginning shortly after the onset of disaster events, leading to the problem of information tsunami. In addition, security and privacy has crucial role to overcome the misuse of the system for either intrusions into data or overcome the misuse of the information that was meant for a specified purpose. .... In this chapter, we provide such a situation aware application to support disaster management data lifecycle, i.e. from data ingestion and processing to alert dissemination. We utilize cloud computing, Internet of Things and social computing technologies to achieve a scalable, effi-cient, and usable situation-aware application called Cloud4BigData.


title: Unusual phonon density of states and response to the superconducting transition in the In-doped topological crystalline insulator Pb$_{0.5}$Sn$_{0.5}$Te

abstract: We present inelastic neutron scattering results of phonons in (Pb$_{0.5}$Sn$_{0.5}$)$_{1-x}$In$_x$Te powders, with $x=0$ and 0.3. The $x=0$ sample is a topological crystalline insulator, and the $x=0.3$ sample is a superconductor with a bulk superconducting transition temperature $T_c$ of 4.7 K. In both samples, we observe unexpected van Hove singularities in the phonon density of states at energies of 1--2.5 meV, suggestive of local modes. On cooling the superconducting sample through $T_c$, there is an enhancement of these features for energies below twice the superconducting-gap energy. We further note that the superconductivity in (Pb$_{0.5}$Sn$_{0.5}$)$_{1-x}$In$_x$Te occurs in samples with normal-state resistivities of order 10 m$\Omega$~cm, indicative of bad-metal behavior. Calculations based on density functional theory suggest that the superconductivity is easily explainable in terms of electron-phonon coupling; however, they completely miss the low-frequency modes and do not explain the large resistivity. While the bulk superconducting state of (Pb$_{0.5}$Sn$_{0.5}$)$_{0.7}$In$_{0.3}$Te appears to be driven by phonons, a proper understanding will require ideas beyond simple BCS theory.


title: Faraday-cage screening reveals intrinsic aspects of the van der Waals attraction

abstract: General properties of the recently observed screening of the van der Waals (vdW) attraction between a silica substrate and silica tip by insertion of graphene are predicted using basic theory and first-principles calculations. Results are then focused on possible practical applications, as well as an understanding of the nature of vdW attraction, considering recent discoveries showing it competing against covalent and ionic bonding. The traditional view of the vdW attraction as arising from pairwise-additive London dispersion forces is considered using Grimme's "D3" method, comparing results to those from Tkatchenko's more general many-body dispersion (MBD) approach, all interpreted in terms of Dobson's general dispersion framework. Encompassing the experimental results, MBD screening of the vdW force between two silica bilayers is shown to scale up to medium separations as 1.25 de/d, where d is the bilayer separation and de its equilibrium value, depicting antiscreening approaching and inside de. Means of unifying this correlation effect with those included in modern density functionals are urgently required.


title: An Asynchronous Distributed Expectation Maximization Algorithm For Massive Data: The DEM Algorithm

abstract: The family of Expectation-Maximization (EM) algorithms provides a general approach to fitting flexible models for large and complex data. The expectation (E) step of EM-type algorithms is time-consuming in massive data applications because it requires multiple passes through the full data. We address this problem by proposing an asynchronous and distributed generalization of the EM called the Distributed EM (DEM). Using DEM, existing EM-type algorithms are easily extended to massive data settings by exploiting the divide-and-conquer technique and widely available computing power, such as grid computing. The DEM algorithm reserves two groups of computing processes called \emph{workers} and \emph{managers} for performing the E step and the maximization step (M step), respectively. The samples are randomly partitioned into a large number of disjoint subsets and are stored on the worker processes. The E step of DEM algorithm is performed in parallel on all the workers, and every worker communicates its results to the managers at the end of local E step. The managers perform the M step after they have received results from a $\gamma$-fraction of the workers, where $\gamma$ is a fixed constant in $(0, 1]$. The sequence of parameter estimates generated by the DEM algorithm retains the attractive properties of EM: convergence of the sequence of parameter estimates to a local mode and linear global rate of convergence. Across diverse simulations focused on linear mixed-effects models, the DEM algorithm is significantly faster than competing EM-type algorithms while having a similar accuracy. The DEM algorithm maintains its superior empirical performance on a movie ratings database consisting of 10 million ratings.


title: Crowdsensing and privacy in smart city applications

abstract: Smartness in smart cities is achieved by sensing phenomena of interest and using them to make smart decisions. Since the decision makers may not own all the necessary sensing infrastructures, crowdsourced sensing, can help collect important information of the city in near real-time. However, involving people brings of the risk of exposing their private information.This chapter explores crowdsensing in smart city applications and its privacy implications.


title: Spin-valley antiferromagnetism and topological superconductivity in the trilayer graphene Moire super-lattice

abstract: Exotic correlated insulating phases emerge in the ABC-stacked trilayer graphene-boron nitride Moire super-lattice at both quarter and half-filling. A single-band minimal model with valley contrasting staggered-flux is proposed to capture the relevant band structure, where the conspiracy of perfect Fermi-surface nesting and van Hove singularity strongly enhance the valley fluctuation, leading to inter-valley spiral (IVS) order at half filling. In this paper, we consider a strong coupling U(1)$_{v}\times $SU(2)$_{s}$ symmetric spin-valley model to obtain the correlated insulating state and the pairing instability near quarter filling. A significant ingredient in the strong coupling model is the Dzyaloshinsky-Moriya like interaction inherited from the flux, which breaks not only the valley SU(2)$_{v}$ symmetry but also the sub-valley spatial reflection symmetry. We discuss all the possible long-range orders stabilized by the effective spin-valley-exchange interactions, and it turns out that the flux remarkably enhance the ferro-spin inter-valley 120$^{\circ}$ order, which shares the same valley feature as the IVS order. Upon doping, the leading pairing instability lies in the inter-valley channel with a trigonally warped $p\pm ip$-wave form factor in the presence of the sub-valley reflection symmetry breaking. Depending on the sign of Hund's coupling, the total pairing state could be either spin singlet or triplet. While the spin singlet chiral topological pairing state $(p\pm ip)_{\uparrow\downarrow }-(p\pm ip)_{\downarrow \uparrow }$ is necessarily chiral, the spin triplet topological pairing state could be chiral $(p\pm ip)_{\uparrow\uparrow }+(p\pm ip)_{\downarrow \downarrow }$, or helical $(p\pm ip)_{\uparrow \uparrow }+(p\mp ip)_{\downarrow \downarrow }$.


title: Boundary expansion for the Loewner-Nirenberg problem in domains with conic singularities

abstract: We study asymptotic behaviors of solutions to the Loewner-Nirenberg problem in domains with conic singularities and establish asymptotic expansions with respect to two normal directions simultaneously. The spherical domains over which cones are formed are allowed to have singularities. An elliptic operator on such spherical domains with coefficients singular on boundary play an important role. Key step is the study of the eigenvalues growth and eigenfunctions estimates.


title: DeepAffinity: Interpretable Deep Learning of Compound-Protein Affinity through Unified Recurrent and Convolutional Neural Networks

abstract: Motivation: Drug discovery demands rapid quantification of compound-protein interaction (CPI). However, there is a lack of methods that can predict compound-protein affinity from sequences alone with high applicability, accuracy, and interpretability. Results: We present a seamless integration of domain knowledges and learning-based approaches. Under novel representations of structurally-annotated protein sequences, a semi-supervised deep learning model that unifies recurrent and convolutional neural networks has been proposed to exploit both unlabeled and labeled data, for jointly encoding molecular representations and predicting affinities. Our representations and models outperform conventional options in achieving relative error in IC$_{50}$ within 5-fold for test cases and 20-fold for protein classes not included for training. Performances for new protein classes with few labeled data are further improved by transfer learning. Furthermore, separate and joint attention mechanisms are developed and embedded to our model to add to its interpretability, as illustrated in case studies for predicting and explaining selective drug-target interactions. Lastly, alternative representations using protein sequences or compound graphs and a unified RNN/GCNN-CNN model using graph CNN (GCNN) are also explored to reveal algorithmic challenges ahead. Availability: Data and source codes are available at https://github.com/Shen-Lab/DeepAffinity Supplementary Information: Supplementary data are available at http://shen-lab.github.io/deep-affinity-bioinf18-supp-rev.pdf


title: Towards Robust Interpretability with Self-Explaining Neural Networks

abstract: Most recent work on interpretability of complex machine learning models has focused on estimating $\textit{a posteriori}$ explanations for previously trained models around specific predictions. $\textit{Self-explaining}$ models where interpretability plays a key role already during learning have received much less attention. We propose three desiderata for explanations in general -- explicitness, faithfulness, and stability -- and show that existing methods do not satisfy them. In response, we design self-explaining models in stages, progressively generalizing linear classifiers to complex yet architecturally explicit models. Faithfulness and stability are enforced via regularization specifically tailored to such models. Experimental results across various benchmark datasets show that our framework offers a promising direction for reconciling model complexity and interpretability.


title: Gyroscope as quantum angular speed meter

abstract: We found that the measurement sensitivity of an optical integrating gyroscope is fundamentally limited due to ponderomotive action of the light leading to the standard quantum limit of the rotation angle detection. The uncorrelated quantum fluctuations of power of clockwise and counterclockwise electromagnetic waves result in optical power-dependent uncertainty of the angular gyroscope position. We also show that, on the other hand, a quantum back action evading measurement of angular momentum of a gyroscope becomes feasible if proper measurement strategy is selected. The angle is perturbed in this case. This observation hints on fundamental inequivalency of integrating and rate gyroscopes.


title: Exact generator and its high order expansions in the time-convolutionless generalized master equation: Applications to the spin-boson model and exictation energy transfer

abstract: The time-convolutionless (TCL) quantum master equation provides a powerful tool to simulate reduced dynamics of a quantum system coupled to a bath. The key quantity in the TCL master equation is the so-called kernel or generator, which describes effects of the bath degrees of freedom. Since the exact TCL generators are usually hard to calculate analytically, most applications of the TCL generalized master equation have relied on approximate generators using second and fourth order perturbative expansions. By using the hierarchical equation of motion (HEOM) and extended HEOM methods, we present a new approach to calculate the exact TCL generator and its high order perturbative expansions. The new approach is applied to the spin-boson model with different sets of parameters, to investigate the convergence of the high order expansions of the TCL generator. We also discuss circumstances where the exact TCL generator becomes singular for the spin-boson model, and a model of excitation energy transfer in the Fenna-Matthews-Olson complex.


title: Equivalent non-isotopic spheres in 4-manifolds

abstract: We construct infinitely many smooth oriented 4-manifolds containing pairs of homotopic, smoothly embedded 2-spheres that are not topologically isotopic, but that are equivalent by an ambient diffeomorphism inducing the identity on homology. These examples show that Gabai's recent "Generalized" 4D Lightbulb Theorem does not generalize to arbitrary 4-manifolds. In contrast, we also show that there are smoothly embedded 2-spheres that are both equivalent and topologically isotopic, but not smoothly isotopic.


title: Strong Convergence for Discrete Nonlinear Schr\"odinger equations in the Continuum Limit

abstract: We consider discrete nonlinear Schr\"odinger equations (DNLS) on the lattice $h\mathbb{Z}^d$ whose linear part is determined by the discrete Laplacian which accounts only for nearest neighbor interactions, or by its fractional power. We show that in the continuum limit $h\to 0$, solutions to DNLS converge strongly in $L^2$ to those to the corresponding continuum equations, but a precise rate of convergence is also calculated. In particular cases, this result improves weak convergence in Kirkpatrick, Lenzmann and Staffilani \cite{KLS}. Our proof is based on a suitable adjustment of dispersive PDE techniques to a discrete setting. Notably, we employ uniform-in-$h$ Strichartz estimates for discrete linear Schr\"odinger equations in \cite{HY}, which quantitatively measure dispersive phenomena on the lattice. Our approach could be adapted to a more general setting like \cite{KLS} as long as the desired Strichartz estimates are obtained.


title: Effect of secondary swirl in supersonic gas and plasma flows in self-vacuuming vortex tube

abstract: This article presents the results of simulation for a special type of vortex tubes - self-vacuuming vortex tube (SVVT), for which extreme values of temperature separation and vacuum are realized. The main results of this study are the flow structure in the SVVT and energy loss estimations on oblique shock waves, gas friction, instant expansion and organization of vortex bundles in SVVT.


title: Automorphism of solutions to Ramanujan's differential equations and other results

abstract: In part one we prove a theorem about the automorphism of solutions to Ramanujan's differential equations. We also investigate possible applications of the result. In part two we prove a similar theorem about the automorphism of solutions to the first-order system of differential equations associated to the generalised Chazy equation with parameter $k=\frac{3}{2}$.


title: The Korea Microlensing Telescope Network (KMTNet) Alert Algorithm and Alert System

abstract: We describe a new microlensing-event alert algorithm that is tailored to the Korea Microlensing Telescope Network (KMTNet) multi-observatory system. The algorithm focuses on detecting "rising" events, i.e., events whose brightness is increasing as a function of time. The algorithm proceeds in three steps. It first identifies light curves with at least $N_{\rm high}$ points that are at least $3\sigma$ above the median and that had been taken since shortly before the previous search for new events. It then demands that there are at least $N_{\rm high}$ $\textit{consecutive}$ high points when considering any combination of light curves from one, two, or three observatories. Finally, it fits to a "rising microlensing model" consisting of a broken line, i.e., flat before some time $t_{\rm rise}$ and rising linearly afterward. If this fit is better than a flat line by $\Delta\chi^2>\Delta\chi^2_{\rm thresh}$, the light curve is sent for human review. Here, $(N_{\rm high},\Delta\chi^2_{\rm thresh})=(5,250)$ or $(10,400)$, depending on the field cadence. For 2018, KMTNet alerts will initially be restricted to a few northern bulge fields and may gradually extend to the full northern bulge. Further expansion of coverage is expected in 2019.


title: Comparative Analysis of Hybrid DC Breaker and Assembly HVDC Breaker

abstract: Voltage Source Converters (VSC) are becoming more common in modern High Voltage DC (HVDC) transmission systems. One of the major challenges in a multi-terminal VSCHVDC is protection against DC side faults. Two major designs, namely, the hybrid DC breaker and the assembly HVDC breaker, are compared for operational behavior, speed of operation and current carrying capability. The Dual Modular Redundancy (DMR) technique is utilized for decision making of a fault scenario. This uses a dual voting system when one result contradicts the other. This helps in the design of a fail-safe mechanism for the operation of both types of breakers. Current threshold combined with directional change is considered for the breaker operation. A three-terminal bipolar VSC HVDC system is designed in PSCAD/EMTDC and simulation results are utilized to draw a comparison of the two different designs of DC breakers.


title: Self-organized nonlinear gratings for ultrafast nanophotonics

abstract: Modern nonlinear optical materials allow light of one wavelength be efficiently converted into light at another wavelength. However, designing nonlinear optical materials to operate with ultrashort pulses is difficult, because it is necessary to match both the phase velocities and group velocities of the light. Here we show that self-organized nonlinear gratings can be formed with femtosecond pulses propagating through nanophotonic waveguides, providing simultaneous group-velocity matching and quasi-phase-matching for second harmonic generation. We record the first direct microscopy images of photo-induced nonlinear gratings, and demonstrate how these waveguides enable simultaneous $\chi^{(2)}$ and $\chi^{(3)}$ nonlinear processes, which we utilize to stabilize a laser frequency comb. Finally, we derive the equations that govern self-organized grating formation for femtosecond pulses and explain the crucial role of group-velocity matching. In the future, such nanophotonic waveguides could enable scalable, reconfigurable nonlinear optical systems.


title: Analytical description of the excited state phase transition to octupole deformed shape in alternating parity bands

abstract: Angular momentum dependences of the parity splitting and electric dipole transitions in the alternating parity bands of heavy nuclei have been analyzed. It is shown that these dependences can be treated in a universal way with a single parameter of critical angular momentum, which characterizes phase transition from octupole vibrations to the stable octupole deformation. Using the simple but useful model of axially-symmetric reflection-asymmetric mode, the analytical expression for the parity splitting and electric dipole transitional moment have been obtained. The results obtained are in a good agreement with the experimental data for various isotopes of Ra, Th, U, and Pu.


title: Maximum of the characteristic polynomial for a random permutation matrix

abstract: Let $P_N$ be a uniform random $N\times N$ permutation matrix and let $\chi_N(z)=\det(zI_N- P_N)$ denote its characteristic polynomial. We prove a law of large numbers for the maximum modulus of $\chi_N$ on the unit circle, specifically, \[ \sup_{|z|=1}|\chi_N(z)|= N^{x_0 + o(1)} \] with probability tending to one as $N\to \infty$, for a numerical constant $x_0\approx 0.652$. The main idea of the proof is to uncover a logarithmic correlation structure for the distribution of (the logarithm of) $\chi_N$, viewed as a random field on the circle, and to adapt a well-known second moment argument for the maximum of the branching random walk. Unlike the well-studied \emph{CUE field} in which $P_N$ is replaced with a Haar unitary, the distribution of $\chi_N(e^{2\pi it})$ is sensitive to Diophantine properties of the point $t$. To deal with this we borrow tools from the Hardy--Littlewood circle method in analytic number theory.


title: Binary Ensemble Neural Network: More Bits per Network or More Networks per Bit?

abstract: Binary neural networks (BNN) have been studied extensively since they run dramatically faster at lower memory and power consumption than floating-point networks, thanks to the efficiency of bit operations. However, contemporary BNNs whose weights and activations are both single bits suffer from severe accuracy degradation. To understand why, we investigate the representation ability, speed and bias/variance of BNNs through extensive experiments. We conclude that the error of BNNs is predominantly caused by the intrinsic instability (training time) and non-robustness (train & test time). Inspired by this investigation, we propose the Binary Ensemble Neural Network (BENN) which leverages ensemble methods to improve the performance of BNNs with limited efficiency cost. While ensemble techniques have been broadly believed to be only marginally helpful for strong classifiers such as deep neural networks, our analyses and experiments show that they are naturally a perfect fit to boost BNNs. We find that our BENN, which is faster and much more robust than state-of-the-art binary networks, can even surpass the accuracy of the full-precision floating number network with the same architecture.


title: Parton distributions from nonlocal chiral SU(3) effective theory. I. Splitting functions

abstract: We present a new formulation of pseudoscalar meson loop corrections to nucleon parton distributions within a nonlocal covariant chiral effective field theory, including contributions from SU(3) octet and decuplet baryons. The nonlocal Lagrangian, constrained by requirements of local gauge invariance and Lorentz-invariant ultraviolet regularization, generates additional interactions associated with gauge links. We use these to compute the full set of proton $\to$ meson + baryon splitting functions, which in general contain on-shell and off-shell contributions, in addition to $\delta$-function terms at zero momentum, along with nonlocal contributions associated with the finite size of the proton. We illustrate the shapes of the various local and nonlocal functions numerically using a simple example of a dipole regulator.


title: Interpretable to Whom? A Role-based Model for Analyzing Interpretable Machine Learning Systems

abstract: Several researchers have argued that a machine learning system's interpretability should be defined in relation to a specific agent or task: we should not ask if the system is interpretable, but to whom is it interpretable. We describe a model intended to help answer this question, by identifying different roles that agents can fulfill in relation to the machine learning system. We illustrate the use of our model in a variety of scenarios, exploring how an agent's role influences its goals, and the implications for defining interpretability. Finally, we make suggestions for how our model could be useful to interpretability researchers, system developers, and regulatory bodies auditing machine learning systems.


title: Coadjoint orbits of Lie algebras and Cartan class

abstract: We study the coadjoint orbits of a Lie algebra in terms of Cartan class. In fact, the tangent space to a coadjoint orbit $\mathcal{O}(\alpha)$ at the point $\alpha$ corresponds to the characteristic space associated to the left invariant form;$\alpha$ and its dimension is the even part of the Cartan class of $\alpha$. We apply this remark to determine Lie algebras such that all the nontrivial orbits (nonreduced to a point) have the same dimension, in particular when this dimension is 2 or 4. We determine also the Lie algebras of dimension $2n$ or $2n+1$ having an orbit of dimension $2n$.


title: Automatic detection of lumen and media in the IVUS images using U-Net with VGG16 Encoder

abstract: Coronary heart disease is one of the top rank leading cause of mortality in the world which can be because of plaque burden inside the arteries. Intravascular Ultrasound (IVUS) has been recognized as power- ful imaging technology which captures the real time and high resolution images of the coronary arteries and can be used for the analysis of these plaques. The IVUS segmentation involves the extraction of two arterial walls components namely, lumen and media. In this paper, we investi- gate the effectiveness of Convolutional Neural Networks including U-Net to segment ultrasound scans of arteries. In particular, the proposed seg- mentation network was built based on the the U-Net with the VGG16 encoder. Experiments were done for evaluating the proposed segmen- tation architecture which show promising quantitative and qualitative results.


title: Stagewise Safe Bayesian Optimization with Gaussian Processes

abstract: Enforcing safety is a key aspect of many problems pertaining to sequential decision making under uncertainty, which require the decisions made at every step to be both informative of the optimal decision and also safe. For example, we value both efficacy and comfort in medical therapy, and efficiency and safety in robotic control. We consider this problem of optimizing an unknown utility function with absolute feedback or preference feedback subject to unknown safety constraints. We develop an efficient safe Bayesian optimization algorithm, StageOpt, that separates safe region expansion and utility function maximization into two distinct stages. Compared to existing approaches which interleave between expansion and optimization, we show that StageOpt is more efficient and naturally applicable to a broader class of problems. We provide theoretical guarantees for both the satisfaction of safety constraints as well as convergence to the optimal utility value. We evaluate StageOpt on both a variety of synthetic experiments, as well as in clinical practice. We demonstrate that StageOpt is more effective than existing safe optimization approaches, and is able to safely and effectively optimize spinal cord stimulation therapy in our clinical experiments.


title: Is VIX still the investor fear gauge? Evidence for the US and BRIC markets

abstract: We investigate the relationships of the VIX with US and BRIC markets. In detail, we pick up the analysis from the point left off by (Sarwar, 2012), and we focus on the period: Jan 2007 - Feb 2018, thus capturing the relations before, during and after the 2008 financial crisis. Results pinpoint frequent structural breaks in the VIX and suggest an enhancement around 2008 of the fear transmission in response to negative market moves; largely depending on overlaps in trading hours, this has become even stronger post-crisis for the US, while for BRIC countries has gone back towards pre-crisis levels.


title: Modeling continuous levels of resistance to multidrug therapy in cancer

abstract: Multidrug resistance consists of a series of genetic and epigenetic alternations that involve multifactorial and complex processes, which are a challenge to successful cancer treatments. Accompanied by advances in biotechnology and high-dimensional data analysis techniques that are bringing in new opportunities in modeling biological systems with continuous phenotypic structured models, we study a cancer cell population model that considers a multi-dimensional continuous resistance trait to multiple drugs to investigate multidrug resistance. We compare our continuous resistance trait model with classical models that assume a discrete resistance state and classify the cases when the continuum and discrete models yield different dynamical patterns in the emerging heterogeneity in response to drugs. We also compute the maximal fitness resistance trait for various continuum models and study the effect of epimutations. Finally, we demonstrate how our approach can be used to study tumor growth regarding the turnover rate and the proliferating fraction, and show that a continuous resistance level may result in a different dynamics when compared with the predictions of other discrete models.


title: Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors

abstract: Inertial sensors provide crucial feedback for control systems to determine motional status and make timely, automated decisions. Prior efforts tried to control the output of inertial sensors with acoustic signals. However, their approaches did not consider sample rate drifts in analog-to-digital converters as well as many other realistic factors. As a result, few attacks demonstrated effective control over inertial sensors embedded in real systems. This work studies the out-of-band signal injection methods to deliver adversarial control to embedded MEMS inertial sensors and evaluates consequent vulnerabilities exposed in control systems relying on them. Acoustic signals injected into inertial sensors are out-of-band analog signals. Consequently, slight sample rate drifts could be amplified and cause deviations in the frequency of digital signals. Such deviations result in fluctuating sensor output; nevertheless, we characterize two methods to control the output: digital amplitude adjusting and phase pacing. Based on our analysis, we devise non-invasive attacks to manipulate the sensor output as well as the derived inertial information to deceive control systems. We test 25 devices equipped with MEMS inertial sensors and find that 17 of them could be implicitly controlled by our attacks. Furthermore, we investigate the generalizability of our methods and show the possibility to manipulate the digital output through signals with relatively low frequencies in the sensing channel.


title: Prohibitions caused by nonlocality for Alice-Bob Boussinesq-KdV type systems

abstract: It is found that two different celebrate models, the Korteweg de-Vrise (KdV) equation and the Boussinesq equation, are linked to a same model equation but with different nonlocalities. The model equation is called the Alice-Bob KdV (ABKdV) equation which was derived from the usual KdV equation via the so-called consistent correlated bang (CCB) companied by the shifted parity (SP) and delayed time reversal (DTR). The same model can be called as the Alice-Bob Boussinesq (ABB) system if the nonlocality is changed as only one of SP and DTR. For the ABB systems, with help of the bilinear approach and recasting the multi-soliton solutions of the usual Boussinesq equation to an equivalent novel form, the multi-soliton solutions with even numbers and the head on interactions are obtained. However, the multi-soliton solutions with odd numbers and the multi-soliton solutions with even numbers but with pursuant interactions are prohibited. For the ABKdV equation, the multi-soliton solutions exhibit many more structures because an arbitrary odd function of $x+t$ can be introduced as background waves of the usual KdV equation.


title: A computational criterion for the irrationality of some real numbers

abstract: In this paper, we compute the asymptotic average of the decimals of some real numbers. With the help of this computation, we prove that if a real number cannot be represented as a finite decimal and the asymptotic average of its decimals is zero, then it is irrational. We also show that the asymptotic average of the decimals of simply normal numbers is 9/2.


title: Eigenspectra and Statistical Properties of the Klein-Gordon Equation with Cornell Potential: Unequal Mixings of Scalar and Time-Like Vector Potentials

abstract: The D-dimensional Klein-Gordon (KG) wave equation with unequal scalar and time-like vector Cornell interactions is solved by the Laplace transform method. In fact, we obtained the bound state energy eigenvalues of the spinless relativistic heavy quarkonium systems under such potentials. Further, the stationary states are calculated due to the good behavior of wave functions at the origin and at infinity. The statistical properties of this model are also investigated. Our results are found to be of great importance in particle physics.


title: Efficient inference in stochastic block models with vertex labels

abstract: We study the stochastic block model with two communities where vertices contain side information in the form of a vertex label. These vertex labels may have arbitrary label distributions, depending on the community memberships. We analyze a linearized version of the popular belief propagation algorithm. We show that this algorithm achieves the highest accuracy possible whenever a certain function of the network parameters has a unique fixed point. Whenever this function has multiple fixed points, the belief propagation algorithm may not perform optimally. We show that increasing the information in the vertex labels may reduce the number of fixed points and hence lead to optimality of belief propagation.


title: Stochastic homogenization of deterministic control problems

abstract: In this paper we study homogenization of a class of control problems in a stationary and ergodic random environment. This problem has been mostly studied in the calculus of variations setting in connection to the homogenization of the Hamilton-Jacobi equations. We extend the result to the control problems with fairly general state dynamics and macroscopically inhomogeneous Lagrangians. Moreover, our approach proves homogenization under weaker growth assumptions on the Lagrangian even in the well-studied calculus of variations setting.


title: Locating Objects Without Bounding Boxes

abstract: Recent advances in convolutional neural networks (CNN) have achieved remarkable results in locating objects in images. In these networks, the training procedure usually requires providing bounding boxes or the maximum number of expected objects. In this paper, we address the task of estimating object locations without annotated bounding boxes which are typically hand-drawn and time consuming to label. We propose a loss function that can be used in any fully convolutional network (FCN) to estimate object locations. This loss function is a modification of the average Hausdorff distance between two unordered sets of points. The proposed method has no notion of bounding boxes, region proposals, or sliding windows. We evaluate our method with three datasets designed to locate people's heads, pupil centers and plant centers. We outperform state-of-the-art generic object detectors and methods fine-tuned for pupil tracking.


title: Storage, Computation, and Communication: A Fundamental Tradeoff in Distributed Computing

abstract: We consider a MapReduce-like distributed computing system. We derive a lower bound on the communication cost for any given storage and computation costs. This lower bound matches the achievable bound we proposed recently. As a result, we completely characterize the optimal tradeoff between the storage, the computation, and the communication. Our result generalizes the previous one by Li et al. to also account for the number of computed intermediate values.


title: Database Assisted Automatic Modulation Classification Using Sequential Minimal Optimization

abstract: In this paper, we have proposed a novel algorithm for identifying the modulation scheme of an unknown incoming signal in order to mitigate the interference with primary user in Cognitive Radio systems, which is facilitated by using Automatic Modulation Classification (AMC) at the front end of Software Defined Radio (SDR). In this study, we used computer simulations of analog and digital modulations belonging to eleven classes. Spectral based features have been used as input features for Sequential Minimal Optimization (SMO). These features of primary users are stored in the database, then it matches the unknown signal's features with those in the database. Built upon recently proposed AMC, our new database approach inherits the benefits of SMO based approach and makes it much more time efficient in classifying an unknown signal, especially in the case of multiple modulation schemes to overcome the issue of intense computations in constructing features. In various applications, primary users own frequent wireless transmissions having limited their feature size and save few computations. The SMO based classification methodology proves to be over 99 \% accurate for SNR of 15 dB and accuracy of classification is over 95 \% for low SNRs around 5dB.


title: Classically and Asteroseismically constrained 1D Stellar Evolution Models of $\alpha$ Centauri A and B using Empirical Mixing Length Calibrations

abstract: The bright, nearby binary $\alpha$ Centauri provides an excellent laboratory for testing stellar evolution models, as it is one of the few stellar systems for which we have high-precision classical (mass, radius, luminosity) and asteroseismic ($p$-mode) observations. Stellar models are created and fit to the classical and seismic observations of both stars by allowing for the free variation of convective mixing length parameter $\alpha_{\text{MLT}}$. This system is modeled using five different sets of assumptions about the physics governing the stellar models. There are 31 pairs of tracks (out of ${\sim} 150,000$ generated) which fit the classical, binary, and seismic observational constraints of the system within $3\,\sigma$. Models with each tested choice of input physics are found to be viable, but the optimal mixing lengths for Cen A and Cen B remain the same regardless of the physical prescription. The optimal mixing lengths are $\alpha_{\text{MLT,A}} /\alpha_{\odot}= 0.932$ and $\alpha_{\text{MLT,B}}/\alpha_{\odot} = 1.095$. That Cen A and Cen B require sub- and super-solar mixing lengths, respectively, to fit the observations is a trend consistent with recent findings, such as in Kervella et al. (2017), Joyce and Chaboyer (2018), and Viani et al. (2018). The optimal models find an age for $\alpha$ Centauri of $5.3 \pm 0.3$ Gyr.


title: Doubly Nested Network for Resource-Efficient Inference

abstract: We propose doubly nested network(DNNet) where all neurons represent their own sub-models that solve the same task. Every sub-model is nested both layer-wise and channel-wise. While nesting sub-models layer-wise is straight-forward with deep-supervision as proposed in \cite{xie2015holistically}, channel-wise nesting has not been explored in the literature to our best knowledge. Channel-wise nesting is non-trivial as neurons between consecutive layers are all connected to each other. In this work, we introduce a technique to solve this problem by sorting channels topologically and connecting neurons accordingly. For the purpose, channel-causal convolutions are used. Slicing doubly nested network gives a working sub-network. The most notable application of our proposed network structure with slicing operation is resource-efficient inference. At test time, computing resources such as time and memory available for running the prediction algorithm can significantly vary across devices and applications. Given a budget constraint, we can slice the network accordingly and use a sub-model for inference within budget, requiring no additional computation such as training or fine-tuning after deployment. We demonstrate the effectiveness of our approach in several practical scenarios of utilizing available resource efficiently.


title: A Distributed Second-Order Algorithm You Can Trust

abstract: Due to the rapid growth of data and computational resources, distributed optimization has become an active research area in recent years. While first-order methods seem to dominate the field, second-order methods are nevertheless attractive as they potentially require fewer communication rounds to converge. However, there are significant drawbacks that impede their wide adoption, such as the computation and the communication of a large Hessian matrix. In this paper we present a new algorithm for distributed training of generalized linear models that only requires the computation of diagonal blocks of the Hessian matrix on the individual workers. To deal with this approximate information we propose an adaptive approach that - akin to trust-region methods - dynamically adapts the auxiliary model to compensate for modeling errors. We provide theoretical rates of convergence for a wide class of problems including L1-regularized objectives. We also demonstrate that our approach achieves state-of-the-art results on multiple large benchmark datasets.


title: Energy Efficient Tri-State CNFET Ternary Logic Gates

abstract: Traditional silicon binary circuits continue to face challenges such as high leakage power dissipation and large area of interconnections. Multiple-Valued Logic (MVL) and nano devices are two feasible solutions to overcome these problems. In this paper, a novel method is presented to design ternary logic circuits based on Carbon Nanotube Field Effect Transistors (CNFETs). The proposed designs use the unique properties of CNFETs, for example, adjusting the Carbon Nanontube (CNT) diameters to have the desired threshold voltage and have the same mobility of P-FET and N-FET transistors. Each of our designed logic circuits implements a logic function and its complementary via a control signal. Also, these circuits have a high impedance state which saves power while the circuits are not in use. In an effort to show a more detailed application of our approach, we design a 2-digit adder-subtractor circuit. We simulate the proposed ternary circuits using HSPICE via standard 32nm CNFET technology. The simulation results indicate the correct operation of the designs under different process, voltage and temperature (PVT) variations. Moreover, a power efficient ternary logic ALU has been design based on the proposed gates.


title: Detections of massive stars in the cluster MCM2005b77, in the star-forming regions GRS G331.34$-$00.36 (S62) and GRS G337.92$-$00.48 (S36)

abstract: Large infrared and millimeter wavelength surveys of the Galactic plane have unveiled more than 600 new bubble HII regions and more than 3000 candidate star clusters. We present a study of the candidate clusters MCM2005b72, DBS2003-157, DBS2003-172, and MCM2005b77, based on near-infrared spectroscopy taken with SofI on the NTT and infrared photometry from the 2MASS, VVV, and GLIMPSE surveys. We find that (1) MCM2005b72 and DBS2003-157 are subregions of the same star-forming region, HII GRS G331.34-00.36 (bubble S62). MCM2005b72 coincides with the central part of this HII region, while DBS2003-157 is a bright mid-infrared knot of the S62 shell. We detected two O-type stars at extinction \Aks=1.0-1.3 mag. Their spectrophotometric properties are consistent with the near-kinematic distance to GRS G331.34-00.36 of 3.9pm0.3 kpc. (2) DBS2003-172 coincides with a bright mid-infrared knot in the S36 shell (GRS G337.92-00.48), where we detected a pair of candidate He I stars embedded in a small cometary nebula. (3) The stellar cluster MCM2005b77 is rich in B-type stars, has an average Aks of 0.91 mag, and is adjacent to the HII region IRAS 16137-5025. The average spectrophotometric distance of $\sim 5.0$ kpc matches the near-kinematic distance to IRAS 16137-5025 of 5.2pm0.1 kpc.


title: Neural Tangent Kernel: Convergence and Generalization in Neural Networks

abstract: At initialization, artificial neural networks (ANNs) are equivalent to Gaussian processes in the infinite-width limit, thus connecting them to kernel methods. We prove that the evolution of an ANN during training can also be described by a kernel: during gradient descent on the parameters of an ANN, the network function $f_\theta$ (which maps input vectors to output vectors) follows the kernel gradient of the functional cost (which is convex, in contrast to the parameter cost) w.r.t. a new kernel: the Neural Tangent Kernel (NTK). This kernel is central to describe the generalization features of ANNs. While the NTK is random at initialization and varies during training, in the infinite-width limit it converges to an explicit limiting kernel and it stays constant during training. This makes it possible to study the training of ANNs in function space instead of parameter space. Convergence of the training can then be related to the positive-definiteness of the limiting NTK. We prove the positive-definiteness of the limiting NTK when the data is supported on the sphere and the non-linearity is non-polynomial. We then focus on the setting of least-squares regression and show that in the infinite-width limit, the network function $f_\theta$ follows a linear differential equation during training. The convergence is fastest along the largest kernel principal components of the input data with respect to the NTK, hence suggesting a theoretical motivation for early stopping. Finally we study the NTK numerically, observe its behavior for wide networks, and compare it to the infinite-width limit.


title: Extracting News Events from Microblogs

abstract: Twitter stream has become a large source of information for many people, but the magnitude of tweets and the noisy nature of its content have made harvesting the knowledge from Twitter a challenging task for researchers for a long time. Aiming at overcoming some of the main challenges of extracting the hidden information from tweet streams, this work proposes a new approach for real-time detection of news events from the Twitter stream. We divide our approach into three steps. The first step is to use a neural network or deep learning to detect news-relevant tweets from the stream. The second step is to apply a novel streaming data clustering algorithm to the detected news tweets to form news events. The third and final step is to rank the detected events based on the size of the event clusters and growth speed of the tweet frequencies. We evaluate the proposed system on a large, publicly available corpus of annotated news events from Twitter. As part of the evaluation, we compare our approach with a related state-of-the-art solution. Overall, our experiments and user-based evaluation show that our approach on detecting current (real) news events delivers a state-of-the-art performance.


title: Classifying Object Manipulation Actions based on Grasp-types and Motion-Constraints

abstract: In this work, we address a challenging problem of fine-grained and coarse-grained recognition of object manipulation actions. Due to the variations in geometrical and motion constraints, there are different manipulations actions possible to perform different sets of actions with an object. Also, there are subtle movements involved to complete most of object manipulation actions. This makes the task of object manipulation action recognition difficult with only just the motion information. We propose to use grasp and motion-constraints information to recognise and understand action intention with different objects. We also provide an extensive experimental evaluation on the recent Yale Human Grasping dataset consisting of large set of 455 manipulation actions. The evaluation involves a) Different contemporary multi-class classifiers, and binary classifiers with one-vs-one multi- class voting scheme, b) Differential comparisons results based on subsets of attributes involving information of grasp and motion-constraints, c) Fine-grained and Coarse-grained object manipulation action recognition based on fine-grained as well as coarse-grained grasp type information, and d) Comparison between Instance level and Sequence level modeling of object manipulation actions. Our results justifies the efficacy of grasp attributes for the task of fine-grained and coarse-grained object manipulation action recognition.


title: Inverse coefficients problem for a magnetohydrodynamics system

abstract: In this article, we consider a magnetohydrodynamics system for incompressible flow in a three-dimensional bounded domain. Firstly, we give the stability results for our inverse coefficients problem. Secondly, we establish and prove two Carleman estimates for both direct problem and inverse problem. Finally, we complete the proof of stability result in terms of the above Carleman estimates.


title: Carleman estimates for a magnetohydrodynamics system and application to inverse source problems

abstract: In this article, we consider a linearized magnetohydrodynamics system for incompressible flow in a three-dimensional bounded domain. We first prove two kinds of Carleman estimates. This is done by combining the Carleman estimates for the parabolic and the elliptic equations. Then we apply the Carleman estimates to prove Holder type stability results for some inverse source problems.


title: Noncommutative matrix factorizations with an application to skew exterior algebras

abstract: Theory of matrix factorizations is useful to study hypersurfaces in commutative algebra. To study noncommutative hypersurfaces, which are important objects of study in noncommutative algebraic geometry, we introduce a notion of noncommutative matrix factorization for an arbitrary nonzero non-unit element of a ring. First we show that the category of noncommutative graded matrix factorizations is invariant under the operation called twist (this result is a generalization of the result by Cassidy-Conner-Kirkman-Moore). Then we give two category equivalences involving noncommutative matrix factorizations and totally reflexive modules (this result is analogous to the famous result by Eisenbud for commutative hypersurfaces). As an application, we describe indecomposable noncommutative graded matrix factorizations over skew exterior algebras.


title: Modelling line ratios and continuum SED of NGC4993 and other short GRB host galaxies

abstract: We present a detailed spectral modelling of NGC4993 -- the host galaxy of GW170817 -- and other SGRB host galaxies. In order to determine their physical conditions and the element abundances, we have gathered spectroscopic and photometric data from the literature. The observation data are sometimes missing preventing us from fully constraining the model. However, for most of the SGRB hosts the [OIII]5007/Hb and [NII]6548/Ha line ratios are reported. The analysis of NGC4993 by a composite model (photoionization+shock) confirms that an AGN, most probably a LINER or a LLAGN, is the gas photoionization source. Shock velocities and preshock densities are similar to those found in the narrow line region of AGN. O/H and N/H have solar values. For the other SGRB of the sample we have found that O/H ratios are nearly solar, while N/H cover a much larger range of values at redshifts close to 0.4. In NGC4993, the relative contribution to the SED of an old stellar population, characterized by a black body temperature of Tbb=4000K, with respect to Bremsstrahlung is higher by a factor >100 than in most of the local AGN and SB galaxies. For the other SGRB composing the sample, Tbb ranges between 2000K for SGRB100206A and 8000K for SGRB111117A.


title: Weight distribution of cyclic codes with arbitrary number of generalized Niho type zeroes with corrigendum

abstract: Cyclic codes are an important class of linear codes, whose weight distribution have been extensively studied. Most previous results obtained so far were for cyclic codes with no more than three zeroes. Inspired by the works \cite{Li-Zeng-Hu} and \cite{gegeng2}, we study two families of cyclic codes over $\mathbb{F}_p$ with arbitrary number of zeroes of generalized Niho type, more precisely $\ca$ (for $p=2$) of $t+1$ zeroes, and $\cb$ (for any prime $p$) of $t$ zeroes for any $t$. We find that the first family has at most $(2t+1)$ non-zero weights, and the second has at most $2t$ non-zero weights. Their weight distribution are also determined in the paper.


title: Toward demonstrating super-sensitive angular displacement estimation by using orbital angular momentum coherent state and SU(1,1)-SU(2) hybrid interferometer

abstract: In this paper, we propose a protocol for angular displacement estimation based upon orbital angular momentum coherent state and a SU(1,1)-SU(2) hybrid interferometer. This interferometer consists of an optical parametric amplifier, a beam splitter and reflection mirrors, hereon we use a quantum detection strategy $\---$ balanced homodyne detection. The results indicate that super-resolution and super-sensitivity can be realized with ideal condition. Additionally, we study the impact of photon loss on the resolution and the sensitivity, and the robustness of our protocol is also discussed. Finally, we demonstrate the advantage of our protocol over SU(1,1) and summarize the merits of orbital angular momentum-enhanced protocol.


title: Resilient Disaster Recovery Logistics of Distribution Systems: Co-Optimize Service Restoration with Repair Crew and Mobile Power Source Dispatch

abstract: Repair crews (RCs) and mobile power sources (MPSs) are critical resources for distribution system (DS) outage management after a natural disaster. However, their logistics is not well investigated. We propose a resilient scheme for disaster recovery logistics to co-optimize DS restoration with dispatch of RCs and MPSs. A novel co-optimization model is formulated to route RCs and MPSs in the transportation network, schedule them in the DS, and reconfigure the DS for microgrid formation coordinately, etc. The model incorporates different timescales of DS restoration and RC/MPS dispatch, the coupling of transportation and power networks, etc. To ensure radiality of the DS with variable physical structure and MPS allocation, we also model topology constraints based on the concept of spanning forest. The model is convexified equivalently and linearized into a mixed-integer linear programming. To reduce its computation time, preprocessing methods are proposed to pre-assign a minimal set of repair tasks to depots and reduce the number of candidate nodes for MPS connection. Resilient recovery strategies thus are generated to enhance service restoration, especially by dynamic formation of microgrids that are powered by MPSs and topologized by repair actions of RCs and network reconfiguration of the DS. Case studies demonstrate the proposed methodology.


title: Many-body forces with the envelope theory

abstract: Many-body forces are sometimes a relevant ingredient in various fields, such as atomic, nuclear or hadronic physics. Their precise structure is generally difficult to uncover. So, phenomenological effective forces are often used in practice. Nevertheless, they are always very heavy to treat numerically. The envelope theory, also known as the auxiliary field method, is a very efficient technique to obtain approximate, but reliable, solutions of many-body systems interacting via one- or two-body forces. It is adapted here to allow the treatment of a special form of many-body forces. In the most favourable cases, the approximate eigenvalues are analytical lower or upper bounds. Otherwise, numerical approximation can always be computed. Two examples of many-body forces are presented, and the critical coupling constants for generic attractive many-body potentials are computed. Finally, a semiclassical interpretation is given for the generic formula of the eigenvalues.