title: On existence and stability of equilibria of DC Microgrid with constant power loads

abstract: The problem of existence and stability of equilibria of DC microgirds with constant power loads methods is addressed in this paper. Constant power loads (CPLs) often cause instability due to its negative impedance characteristics. What is the worse, CPLs may cause that the system admits no equilibria for its nonlinearity. The purpose of paper can be summarized as: A) designing a controller to overcome CPLs instability; B) obtaining the sufficient conditions to guarantee the existence of the equilibria; C) Under the conditions of equilibria existing, obtaining the sufficient conditions of local stability. For the first objective, the method based on virtual resistance and virtual inductance is proposed. For the second objective, we transform the problem of solvability of quadratic equations into the existence of the fixed point of a mapping. Thus, the analytical sufficient conditions is obtained based on Tarski fixed point theorem. Moreover, a numerical method is also provided to reduce conservatism. For the third objective, the small-signal model is established to predict the system qualitative behavior around equilibria. The stability conditions are obtained by using quadratic eigenvalue problem (GEP) theorem. These explicit conditions are obtained as a function of system parameters and it lead to build reliable microgrid.


title: Dynamic cavity effect in Topological Insulator Bi2Te3 based Passive Q-switched Solid State Laser

abstract: Dynamic cavity effect of a Topological Insulator Bi2Te3 based Passive Q-switched (QS) solid state laser was investigated. With a saturation intensity as low as a few kW, Bi2Te3 processed by hydrothermal exfoliation serves a sensitive saturable absorber to initiate Q-switching. Without material damage, a transition from QS state to CW state was observed when the pumping strength increases which was explained by the modulation instability spectrum of laser rate equation.


title: Differential characters and cohomology of the moduli of flat Connections

abstract: Let $\pi\colon P\to M$ be a principal bundle and $p$ an invariant polynomial of degree r on the Lie algebra of the structure group. The theory of Chern-Simons differential characters is exploited to define an homology map $\chi^{k} : H_{2r-k-1}(M)\times H_{k}(\mathcal{F}/\mathcal{G})\to \mathbb{R}/\mathbb{Z}$, for $k<r-1$, where $\mathcal{F} /\mathcal{G}$ is the moduli space of flat connections of $\pi$ under the action of a subgroup $\mathcal{G}$ of the gauge group. The differential characters of first order are related to the Dijkgraaf-Witten action for Chern-Simons Theory. The second order characters are interpreted geometrically as the holonomy of a connection in a line bundle over $\mathcal{F}/\mathcal{G})$. The relationship with other constructions in the literature is also analyzed.


title: The $L^p$-dissipativity of certain differential and integral operators

abstract: The first part of the paper is a survey of some of the results previously obtained by the authors concerning the $L^p$-dissipativity of scalar and matrix partial differential operators. In the second part we give new necessary and, separately, sufficient conditionsfor the $L^p$-dissipativity of the "complex oblique derivative" operator. In the case of real coefficients we provide a necessary and sufficient condition. We prove also the $L^p$-positivity for a certain class of integral operators.


title: Generation of circular polarization in CMB radiation via nonlinear photon-photon interaction

abstract: Standard cosmological models do predict a measurable amount of anisotropies in the intensity and linear polarization of the Cosmic Microwave Background radiation (CMB) via Thomson scattering, even though these theoretical models do not predict circular polarization for CMB radiation. In other hand, the circular polarization of CMB has not been excluded in observational evidences. Here we estimate the circular polarization power spectrum $C_{l}^{V(S)}$ in CMB radiation due to Compton scattering and non-linear photon-photon forward scattering via Euler-Heisenberg Effective Lagrangian. We have estimated the average value of circular power spectrum is $1(l+1)\,C_{l}^{V(S)}/(2\pi)\sim 10^{-4}\mu\,K^2$ for $l\sim300$ at present time which is smaller than recently reported data (SPIDER collaboration) but in the range of the future achievable experimental data. We also show that the generation of B-mode polarization for CMB photons in the presence of the primordial scalar perturbation via Euler-Heisenberg interaction is possible however this contribution for B-mode polarization is not remarkable.


title: Kill Two Birds with One Stone: Weakly-Supervised Neural Network for Image Annotation and Tag Refinement

abstract: The number of social images has exploded by the wide adoption of social networks, and people like to share their comments about them. These comments can be a description of the image, or some objects, attributes, scenes in it, which are normally used as the user-provided tags. However, it is well-known that user-provided tags are incomplete and imprecise to some extent. Directly using them can damage the performance of related applications, such as the image annotation and retrieval. In this paper, we propose to learn an image annotation model and refine the user-provided tags simultaneously in a weakly-supervised manner. The deep neural network is utilized as the image feature learning and backbone annotation model, while visual consistency, semantic dependency, and user-error sparsity are introduced as the constraints at the batch level to alleviate the tag noise. Therefore, our model is highly flexible and stable to handle large-scale image sets. Experimental results on two benchmark datasets indicate that our proposed model achieves the best performance compared to the state-of-the-art methods.


title: Conditionally conjugate mean-field variational Bayes for logistic models

abstract: Variational Bayes (VB) is a common strategy for approximate Bayesian inference, but simple methods are only available for specific classes of models including, in particular, representations having conditionally conjugate constructions within an exponential family. Models with logit components are an apparently notable exception to this class, due to the absence of conjugacy between the logistic likelihood and the Gaussian priors for the coefficients in the linear predictor. To facilitate approximate inference within this widely used class of models, Jaakkola and Jordan (2000) proposed a simple variational approach which relies on a family of tangent quadratic lower bounds of logistic log-likelihoods, thus restoring conjugacy between these approximate bounds and the Gaussian priors. This strategy is still implemented successfully, but less attempts have been made to formally understand the reasons underlying its excellent performance. To cover this key gap, we provide a formal connection between the above bound and a recent P\'olya-gamma data augmentation for logistic regression. Such a result places the computational methods associated with the aforementioned bounds within the framework of variational inference for conditionally conjugate exponential family models, thereby allowing recent advances for this class to be inherited also by the methods relying on Jaakkola and Jordan (2000).


title: Phase-space interference in extensive and non-extensive quantum heat engines

abstract: Quantum interference is at the heart of what sets the quantum and classical worlds apart. We demonstrate that quantum interference effects involving a many-body working medium is responsible for genuinely non-classical features in the performance of a quantum heat engine. The features with which quantum interference manifests itself in the work output of the engine depends strongly on the extensive nature of the working medium. While identifying the class of work substances that optimize the performance of the engine, our results shed light on the optimal size of such media of quantum workers to maximize the work output and efficiency of quantum energy machines.


title: On the commutative center of Moufang loops

abstract: We construct two infinite series of Moufang loops of exponent $3$ whose commutative center (i.e. the set of elements that commute with all elements of the loop) is not a normal subloop. In particular, we obtain examples of such loops of orders $3^8$ and $3^{11}$ one of which can be defined as the Moufang triplication of the free Burnside group $B(3,3)$.


title: Molecular orientational melting within a lead-halide octahedra framework - the order-disorder transition in CH3NH3PbBr3

abstract: Lead-halide organic-inorganic perovskites consist of an inorganic host framework with an organic molecule occupying the interstitial space. The structure and dynamics of these materials have been heavily studied recently due to interest in their exceptional photovoltaic properties. We combine inelastic neutron scattering, Raman spectroscopy, and quasielastic neutron scattering to study the temperature dependent dynamics of the molecular cation in CH3NH3PbBr3. By applying high resolution quasielastic neutron scattering, we confirm the [CH3NH3]+ ions are static in the low temperature orthorhombic phase yet become dynamic above 150 K where a series of structural transitions occur. This molecular melting is accompanied by a temporal broadening in the intra-molecular modes probed through high energy inelastic spectroscopy. Simultaneous Raman measurements, a strictly |Q|=0 probe, are suggestive that this broadening is due to local variations in the crystal field environment around the hydrogen atoms. These results confirm the strong role of hydrogen bonding and also a coupling between molecular and framework dynamics.


title: Baryon interactions from lattice QCD with physical masses --- strangeness $S=-1$ sector ---

abstract: We present our recent results of baryon interactions with strangeness $S=-1$ based on Nambu-Bethe-Salpeter (NBS) correlation functions calculated from lattice QCD with almost physical quark masses corresponding to $(m_\pi,m_K)\approx(146,525)$ MeV and large volume $(La)^4=(96a)^4\approx$ (8.1 fm)$^4$. In order to perform a comprehensive study of baryon interactions, a large number of NBS correlation functions from NN to $\Xi\Xi$ are calculated simultaneously by using large scale computer resources. In this contribution, we focus on the strangeness $S=-1$ channels of the hyperon interactions by means of HAL QCD method. Four sets of three potentials (the $^3S_1-^3D_1$ central, $^3S_1-^3D_1$ tensor, and the $^1S_0$ central potentials) are presented for the $\Sigma N - \Sigma N$ (the isospin $I=3/2$) diagonal, the $\Lambda N - \Lambda N$ diagonal, the $\Lambda N \rightarrow \Sigma N$ transition, and the $\Sigma N - \Sigma N$ ($I=1/2$) diagonal interactions. Scattering phase shifts for $\Sigma N$ $(I=3/2)$ system are presented.


title: Estimating the Largest Lyapunov Exponent Based on Conditional Number

abstract: The Lyapunov exponent is used to characterize the stability of the dynamic response of the system, and it is often employed to verify if a system is chaotic. Since its discovery in the nineteenth century, various methods have been proposed and developed for its calculation. The present work proposes a method for the calculation of the largest Lyapunov exponent, based on conditional number of the function, which describes the loss of bits in the simulation based on relative rounding error. Four discrete maps are used to show the effectiveness of the proposed method.


title: Convergence Analysis of the Dynamics of a Special Kind of Two-Layered Neural Networks with $\ell_1$ and $\ell_2$ Regularization

abstract: In this paper, we made an extension to the convergence analysis of the dynamics of two-layered bias-free networks with one $ReLU$ output. We took into consideration two popular regularization terms: the $\ell_1$ and $\ell_2$ norm of the parameter vector $w$, and added it to the square loss function with coefficient $\lambda/2$. We proved that when $\lambda$ is small, the weight vector $w$ converges to the optimal solution $\hat{w}$ (with respect to the new loss function) with probability $\geq (1-\varepsilon)(1-A_d)/2$ under random initiations in a sphere centered at the origin, where $\varepsilon$ is a small value and $A_d$ is a constant. Numerical experiments including phase diagrams and repeated simulations verified our theory.


title: Probabilistic approach to quantum separation effect for Feynman-Kac semigroup

abstract: Quantum tunnelling phenomenon allows a particle in Schr\"odinger mechanics tunnels through a barrier that it classically could not overcome. Even the infinite potentials do not always form impenetrable barriers. We discuss an answer to the following question: What is a critical magnitude of potential, which creates impenetrable barrier and for which the corresponding Schr\"odinger evolution system separates? In addition we describe some quantitative estimates for the separating effect in terms of cut-off potentials.


title: Coherence-based Time Series Clustering for Brain Connectivity Visualization

abstract: We develop the hierarchical cluster coherence (HCC) method for brain signals, a procedure for characterizing connectivity in a network by clustering nodes or groups of channels that display high level of coordination as measured by "cluster-coherence". While the most common approach to measuring dependence between clusters is through pairs of single time series, our method proposes cluster coherence which measures dependence between whole clusters rather than between single elements. Thus it takes into account both the dependence between clusters and within channels in a cluster. Using our method, the identified clusters contain time series that exhibit high cross-dependence in the spectral domain. That is, these clusters correspond to connected brain regions with synchronized oscillatory activity. In the simulation studies, we show that the proposed HCC outperforms commonly used clustering algorithms, such as average coherence and minimum coherence based methods. To study clustering in a network of multichannel electroencephalograms (EEG) during an epileptic seizure, we applied the HCC method and identified connectivity in alpha (8-12) Hertz and beta (16-30) Hertz bands at different phases of the recording: before an epileptic seizure, during the early and middle phases of the seizure episode. To increase the potential impact of this work in neuroscience, we also developed the HCC-Vis, an R-Shiny app (RStudio), which can be downloaded from this https://carolinaeuan.shinyapps.io/hcc-vis/.


title: Phase transition of AdS Schwarzschild black hole and gauge theory dual in presence of external string cloud

abstract: We study the thermodynamics of AdS-Schwarzschild black hole in the presence of an external string cloud. We observe that, at any temperature, the black hole configuration is stable with non-zero entropy. We further notice that, when the value of the curvature constant equals to one, if the string cloud density has less than a critical value, within a certain range of temperature three black holes configuration exist. One of these black holes is unstable and other two are stable. At a critical temperature, a transition between these two stable black holes takes place which leads us to conclude that the bound state of quark and anti-quark pairs may not exist. By studying the corresponding dual gauge theory we confirm that the instability of the bound state of quark and anti-quark pair in the dual gauge theory.


title: Hybrid light-emitting polymer/SiNx platform for photonic integration

abstract: Organic semiconductors have potentials for a broad range of applications; however, it is difficult to be integrated with traditional inorganic material to meet the need of further application. Based on low-temperature silicon nitride (SiNx) deposition technique, here we demonstrate a hybrid structure fabricated by directly depositing high-quality SiNx on organic polymer film Poly[2-(2',5'-bis(2"-ethylhexyloxy)- phenyl) -1,4-phenylene vinylene] (BEHP-PPV). Stacked BEHP-PPV/SiNx hybrid structures with different periods are obtained and their optical properties are systematically characterized. Moreover, a group of BEHP/PPV embedded SiNx micro-disk is fabricated and amplification of spontaneous emission (ASE) is observed under optical pumping, further confirming that the gain properties of BEHP/PPV are well preserved. Our technique offers a platform to fabricate organic/inorganic hybrid optical devices compatible with integrated components.


title: A Discourse-Level Named Entity Recognition and Relation Extraction Dataset for Chinese Literature Text

abstract: Named Entity Recognition and Relation Extraction for Chinese literature text is regarded as the highly difficult problem, partially because of the lack of tagging sets. In this paper, we build a discourse-level dataset from hundreds of Chinese literature articles for improving this task. To build a high quality dataset, we propose two tagging methods to solve the problem of data inconsistency, including a heuristic tagging method and a machine auxiliary tagging method. Based on this corpus, we also introduce several widely used models to conduct experiments. Experimental results not only show the usefulness of the proposed dataset, but also provide baselines for further research. The dataset is available at https://github.com/lancopku/Chinese-Literature-NER-RE-Dataset


title: MicroExpNet: An Extremely Small and Fast Model For Expression Recognition From Face Images

abstract: This paper is aimed at creating extremely small and fast convolutional neural networks (CNN) for the problem of facial expression recognition (FER) from frontal face images. To this end, we employed the popular knowledge distillation (KD) method and identified two major shortcomings with its use: 1) a fine-grained grid search is needed for tuning the temperature hyperparameter and 2) to find the optimal size-accuracy balance, one needs to search for the final network size (or the compression rate). On the other hand, KD is proved to be useful for model compression for the FER problem, and we discovered that its effects gets more and more significant with the decreasing model size. In addition, we hypothesized that translation invariance achieved using max-pooling layers would not be useful for the FER problem as the expressions are sensitive to small, pixel-wise changes around the eye and the mouth. However, we have found an intriguing improvement on generalization when max-pooling is used. We conducted experiments on two widely-used FER datasets, CK+ and Oulu-CASIA. Our smallest model (MicroExpNet), obtained using knowledge distillation, is less than 1MB in size and works at 1851 frames per second on an Intel i7 CPU. Despite being less accurate than the state-of-the-art, MicroExpNet still provides significant insights for designing a microarchitecture for the FER problem.


title: New quasibound states of the compound nucleus in $\alpha$-particle capture by the nucleus

abstract: We generalize the theory of nuclear decay and capture of Gamow that is based on tunneling through the barrier and internal oscillations inside the nucleus. In our formalism an additional factor is obtained, which describes distribution of the wave function of the $\alpha$ particle inside the nuclear region. We discover new most stable states (called quasibound states) of the compound nucleus (CN) formed during the capture of $\alpha$ particle by the nucleus. With a simple example, we explain why these states cannot appear in traditional calculations of the $\alpha$ capture cross sections based on monotonic penetrabilities of a barrier, but they appear in a complete description of the evolution of the CN. Our result is obtained by a complete description of the CN evolution, which has the advantages of (1) a clear picture of the formation of the CN and its disintegration, (2) a detailed quantum description of the CN, (3) tests of the calculated amplitudes based on quantum mechanics (not realized in other approaches), and (4) high accuracy of calculations (not achieved in other approaches). These peculiarities are shown with the capture reaction of $\alpha + ^{44}{\rm Ca}$. We predict quasibound energy levels and determine fusion probabilities for this reaction. The difference between our approach and theory of quasistationary states with complex energies applied for the $\alpha$ capture is also discussed. We show (1) that theory does not provide calculations for the cross section of $\alpha$ capture (according to modern models of the $\alpha$ capture), in contrast with our formalism, and (2) these two approaches describe different states of the $\alpha$ capture (for the same $\alpha$-nucleus potential).


title: Diferencijalna geometrija krivih i povr\v{s}i u trodimenzionalnom euklidskom prostoru

abstract: This manuscript, titled Differential Geometry of Curves and Surfaces in Three-dimensional Euclidean Space, is intended for undergraduate students of mathematics and other sciences with the need of use of Euclidean differential geometry. We deal with the differential geometry of curves and surfaces in three dimensions, covering all the main definitions, ideas and concepts needed for successful understanding and further application of this fundamental branch of mathematics. Many concrete examples with solutions are given with illustrations. ----- Ova knjiga namijenjena je dodiplomskim studentima matematike i drugih nauka sa potrebom upotrebe euklidske diferencijalne geometrije. Upoznat \'cemo se sa diferencijalnom geometrijom krivih i povr\v{s}i u tri dimenzije, pokrivaju\'ci sve glavne definicije, ideje i koncepte potrebne za razumijevanje i uspje\v{s}nu dalju primjenu ove fundamentalne grane matematike. Dati su mnogi konkretni problemi sa rje\v{s}enjima i mno\v{s}tvom ilustracija.


title: Superefficient long-lived multiresonator quantum memory

abstract: In this paper, we propose a scheme of a long-lived broadband superefficient multiresonator quantum memory in which a common resonator is connected with an external waveguide and with a system of high-quality miniresonators containing long-lived resonant electron spin ensembles. The scheme with 4 miniresonators has been analyzed in details and it was shown that it is possible to store an input broadband signal field to the electron spin ensembles with quantum efficiency 99.99%. The considered multiresonator system opens the way to elaboration of efficient multiqubit quantum memory devices for superconducting quantum computer.


title: AdS and Lifshitz black hole solutions in conformal gravity sourced with a scalar field

abstract: In this paper we obtain exact asymptotically anti-de Sitter black hole solutions and asymptotically Lifshitz black hole solutions with dynamical exponents $z=0$ and $z=4$ of four-dimensional conformal gravity coupled with a self-interacting conformally invariant scalar field. Then, we compute their thermodynamical quantities, such as the mass, the Wald entropy and the Hawking temperature. The mass expression is obtained by using the generalized off-shell Noether potential formulation. It is found that the anti-de Sitter black holes as well as the Lifshitz black holes with $z=0$ have zero mass and zero entropy, although they have non-zero temperature. A similar behavior has been observed in previous works, where the integration constant is not associated with a conserved charge, and it can be interpreted as a kind of gravitational hair. On the other hand, the Lifshitz black holes with dynamical exponent $z=4$ have non-zero conserved charges, and the first law of black hole thermodynamics holds. Also, we analyze the horizon thermodynamics for the Lifshitz black holes with $z=4$, and we show that the first law of black hole thermodynamics arises from the field equations evaluated on the horizon. Furthermore, we study the propagation of a conformally coupled scalar field on these backgrounds and we find the quasinormal modes analytically in several cases. We find that for anti-de Sitter black holes and Lifshitz black holes with $z=4$, there is a continuous spectrum of frequencies for Dirichlet boundary condition; however, we show that discrete sets of well defined quasinormal frequencies can be obtained by considering Neumann boundary conditions.


title: A note on Hadamard fractional differential equations with varying coefficients and their applications in probability

abstract: In this paper we show several connections between special functions arising from generalized COM-Poisson-type statistical distributions and integro-differential equations with varying coefficients involving Hadamard-type operators. New analytical results are obtained, showing the particular role of Hadamard-type derivatives in connection with a recently introduced generalization of the Le Roy function. We are also able to prove a general connection between fractional hyper-Bessel-type equations involving Hadamard operators and Le Roy functions.


title: Remarks on numerical integration, discrepancy, and diaphony

abstract: The goal of this paper is twofold. First, we present a unified way of formulating numerical integration problems from both approximation theory and discrepancy theory. Second, we show how techniques, developed in approximation theory, work in proving lower bounds for recently developed new type of discrepancy -- the smooth discrepancy.


title: Searching for the Transit of the Earth--mass exoplanet Proxima~Centauri~b in Antarctica: Preliminary Result

abstract: Proxima Centauri is known as the closest star from the Sun. Recently, radial velocity observations revealed the existence of an Earth-mass planet around it. With an orbital period of ~11 days, the surface of Proxima Centauri b is temperate and might be habitable. We took a photometric monitoring campaign to search for its transit, using the Bright Star Survey Telescope at the Zhongshan Station in Antarctica. A transit-like signal appearing on 2016 September 8th, is identified tentatively. Its midtime, $T_{C}=2,457,640.1990\pm0.0017$ HJD, is consistent with the predicted ephemeris based on RV orbit in a 1$\sigma$ confidence interval. Time-correlated noise is pronounced in the light curve of Proxima Centauri, affecting detection of transits. We develop a technique, in a Gaussian process framework, to gauge the statistical significance of potential transit detection. The tentative transit signal reported here, has a confidence level of $2.5\sigma$. Further detection of its periodic signals is necessary to confirm the planetary transit of Proxima Centauri b. We plan to monitor Proxima Centauri in next Polar night at Dome A in Antarctica, taking the advantage of continuous darkness. \citet{Kipping17} reported two tentative transit-like signals of Proxima Centauri b, observed by the Microvariability and Oscillation of Stars space Telescope in 2014 and 2015, respectively. The midtransit time of our detection is 138 minutes later than that predicted by their transit ephemeris. If all the signals are real transits, the misalignment of the epochs plausibly suggests transit timing variations of Proxima Centauri b induced by an outer planet in this system.


title: Incorporating Syntactic Uncertainty in Neural Machine Translation with Forest-to-Sequence Model

abstract: Incorporating syntactic information in Neural Machine Translation models is a method to compensate their requirement for a large amount of parallel training text, especially for low-resource language pairs. Previous works on using syntactic information provided by (inevitably error-prone) parsers has been promising. In this paper, we propose a forest-to-sequence Attentional Neural Machine Translation model to make use of exponentially many parse trees of the source sentence to compensate for the parser errors. Our method represents the collection of parse trees as a packed forest, and learns a neural attentional transduction model from the forest to the target sentence. Experiments on English to German, Chinese and Persian translation show the superiority of our method over the tree-to-sequence and vanilla sequence-to-sequence neural translation models.


title: Zero Dynamics for Port-Hamiltonian Systems

abstract: The zero dynamics of infinite-dimensional systems can be difficult to characterize. The zero dynamics of boundary control systems are particularly problematic. In this paper the zero dynamics of port-Hamiltonian systems are studied. A complete characterization of the zero dynamics for a port-Hamiltonian systems with invertible feedthrough as another port-Hamiltonian system on the same state space is given. It is shown that the zero dynamics for any port-Hamiltonian system with commensurate wave speeds are well-defined, and are also a port-Hamiltonian system. Examples include wave equations with uniform wave speed on a network. A constructive procedure for calculation of the zero dynamics, that can be used for very large system order, is provided.


title: Extremal graphs with respect to the total-eccentricity index

abstract: In a connected graph G, the distance between two vertices of G is the length of a shortest path between these vertices. The eccentricity of a vertex u in G is the largest distance between u and any other vertex of G. The total-eccentricity index {\tau}(G) is the sum of eccentricities of all vertices of G. In this paper, we find extremal trees, unicyclic and bicyclic graphs with respect to total-eccentricity index. Moreover, we find extremal conjugated trees with respect to total-eccentricity index.


title: Thermomechanical Behavior of the HL-LHC 11 Tesla Nb3Sn Magnet Coil Constituents during Reaction Heat Treatment

abstract: The knowledge of the temperature induced changes of the superconductor volume, and of the thermo-mechanical behaviour of the different coil and tooling materials is required for predicting the coil geometry and the stress distribution in the coil after the Nb3Sn reaction heat treatment. In the present study we have measured the Young's and shear moduli of the HL-LHC 11 T Nb3Sn dipole magnet coil and reaction tool constituents during in situ heat cycles with the dynamic resonance method. The thermal expansion behaviours of the coil components and of a free standing Nb3Sn wire were compared based on dilation experiments.


title: Verification of PCP-Related Computational Reductions in Coq

abstract: We formally verify several computational reductions concerning the Post correspondence problem (PCP) using the proof assistant Coq. Our verifications include a reduction of a string rewriting problem generalising the halting problem for Turing machines to PCP, and reductions of PCP to the intersection problem and the palindrome problem for context-free grammars. Interestingly, rigorous correctness proofs for some of the reductions are missing in the literature.


title: On the mass of static metrics with positive cosmological constant -- II

abstract: This is the second of two works, in which we discuss the definition of an appropriate notion of mass for static metrics, in the case where the cosmological constant is positive and the model solutions are compact. In the first part, we have established a positive mass statement, characterising the de Sitter solution as the only static vacuum metric with zero mass. In this second part, we prove optimal area bounds for horizons of black hole type and of cosmological type, corresponding to Riemannian Penrose inequalities and to cosmological area bounds \`a la Boucher-Gibbons-Horowitz, respectively. Building on the related rigidity statements, we also deduce a uniqueness result for the Schwarzschild--de Sitter spacetime.


title: Two distinct components of the delayed single electron background signals in liquid xenon emission detectors

abstract: Single electron background signals with millisecond timescales are known to follow ionizing events in liquid/gas xenon emission detectors. Due to the long timescale, these signals can present a limiting background to the low-energy threshold of dark matter searches, and prevent discovery-class searches for MeV scale hidden sector dark matter. A systematic study reveals a fast (tau_1) and slow (tau_2) component to the background. The fast component is compatible with electrons which were trapped at the liquid surface, and can be reduced by increasing the electric field. However, the slow component increases linearly with electric field. Hypotheses for the origin of the effect are discussed, and techniques for mitigation are suggested.


title: On Milne-Barbier-Uns\"old relationships

abstract: This short review aims to clarify upon the origins of the so-called Eddington-Barbier relationships, which relate the emergent specific intensity and the flux to the photospheric source function at specific optical depths. Here we discuss about the assumptions behind the original derivation of Barbier (1943). We also point to the fact that Milne had already formulated these two relations in 1921.


title: Image-Image Domain Adaptation with Preserved Self-Similarity and Domain-Dissimilarity for Person Re-identification

abstract: Person re-identification (re-ID) models trained on one domain often fail to generalize well to another. In our attempt, we present a "learning via translation" framework. In the baseline, we translate the labeled images from source to target domain in an unsupervised manner. We then train re-ID models with the translated images by supervised methods. Yet, being an essential part of this framework, unsupervised image-image translation suffers from the information loss of source-domain labels during translation. Our motivation is two-fold. First, for each image, the discriminative cues contained in its ID label should be maintained after translation. Second, given the fact that two domains have entirely different persons, a translated image should be dissimilar to any of the target IDs. To this end, we propose to preserve two types of unsupervised similarities, 1) self-similarity of an image before and after translation, and 2) domain-dissimilarity of a translated source image and a target image. Both constraints are implemented in the similarity preserving generative adversarial network (SPGAN) which consists of an Siamese network and a CycleGAN. Through domain adaptation experiment, we show that images generated by SPGAN are more suitable for domain adaptation and yield consistent and competitive re-ID accuracy on two large-scale datasets.


title: Mixed-integer linear representability, disjunctions, and Chvatal functions --- modeling implications

abstract: Jeroslow and Lowe gave an exact geometric characterization of subsets of $\mathbb{R}^n$ that are projections of mixed-integer linear sets, also known as MILP-representable or MILP-R sets. We give an alternate algebraic characterization by showing that a set is MILP-R {\em if and only if} the set can be described as the intersection of finitely many {\em affine Chvatal inequalities} in continuous variables (termed AC sets). These inequalities are a modification of a concept introduced by Blair and Jeroslow. Unlike the case for linear inequalities, allowing for integer variables in Chvatal inequalities and projection does not enhance modeling power. We show that the MILP-R sets are still precisely those sets that are modeled as affine Chvatal inequalites with integer variables. Furthermore, the projection of a set defined by affine Chvatal inequalites with integer variables is still an MILP-R set. We give a sequential variable elimination scheme that, when applied to a MILP-R set yields the AC set characterization. This is related to the elimination scheme of Williams and Williams-Hooker, who describe projections of integer sets using \emph{disjunctions} of affine Chvatal systems. We show that disjunctions are unnecessary by showing how to find the affine Chvatal inequalities that cannot be discovered by the Williams-Hooker scheme. This allows us to answer a long-standing open question due to Ryan (1991) on designing an elimination scheme to represent finitely-generated integral monoids as a system of Chvatal inequalities \emph{without} disjunctions. Finally, our work can be seen as a generalization of the approach of Blair and Jeroslow, and Schrijver for constructing consistency testers for integer programs to general AC sets.


title: Universal Cycles of Restricted Words

abstract: A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian, this baseline result is used as the basis of existence proofs for universal cycles (also known as generalized deBruijn cycles or U-cycles) of several combinatorial objects. We extend the body of known results by presenting new results on the existence of universal cycles of monotone, "augmented onto", and Lipschitz functions in addition to universal cycles of certain types of lattice paths and random walks.


title: On Infinity Type Hyperplane Arrangements and Convex Positive Bijections

abstract: In this article we prove in main Theorem A that any infinity type real hyperplane arrangement $\mathcal{H}_n^m$ (Definition 2.11) with the associated normal system $\mathcal{N}$ (Definitions [2.2,2.4] can be represented isomorphically (Definition 2.6) by another infinity type hyperplane arrangement $\tilde{\mathcal{H}}_n^m$ with a given associated normal system $\tilde{\mathcal{N}}$ if and only if the normal systems $\mathcal{N}$ and $\tilde{\mathcal{N}}$ are isomorphic, that is, there is a convex positive bijection (Definition 2.5) between a pair of associated sets of normal antipodal pairs of vectors of $\mathcal{N}$ and $\tilde{\mathcal{N}}$.


title: Two-level schemes for the advection equation

abstract: The advection equation is the basis for mathematical models of continuum mechanics. In the approximate solution of nonstationary problems it is necessary to inherit main properties of the conservatism and monotonicity of the solution. In this paper, the advection equation is written in the symmetric form, where the advection operator is the half-sum of advection operators in conservative (divergent) and non-conservative (characteristic) forms. The advection operator is skew-symmetric. Standard finite element approximations in space are used. The standart explicit two-level scheme for the advection equation is absolutly unstable. New conditionally stable regularized schemes are constructed, on the basis of the general theory of stability (well-posedness) of operator-difference schemes, the stability conditions of the explicit Lax-Wendroff scheme are established. Unconditionally stable and conservative schemes are implicit schemes of the second (Crank-Nicolson scheme) and fourth order. The conditionally stable implicit Lax-Wendroff scheme is constructed. The accuracy of the investigated explicit and implicit two-level schemes for an approximate solution of the advection equation is illustrated by the numerical results of a model two-dimensional problem.


title: Eigenvalues of Sturm-Liouville Operators with Distributional Potentials

abstract: We introduce a novel approach for dealing with eigenvalue problems of Sturm-Liouville operators generated by the differential expression \begin{equation*} Ly=\frac{1}{r}\left( -(p\left[ y^{\prime }+sy\right] )^{\prime }+sp\left[ y^{\prime }+sy\right] +qy\right) \end{equation*} which is based on norm resolvent convergence of classical Sturm-Liouville operators. This enables us to describe the continuous dependence of the $n$-th eigenvalue on the space of self-adjoint boundary conditions and the coefficients of the differential equation after giving the inequalities among the eigenvalues. Moreover, oscillation properties of the eigenfunctions are also characterized. In particular, our main results can be applied to solve a class of Sturm-Liouville problems with transmission conditions.


title: Decentralized High-Dimensional Bayesian Optimization with Factor Graphs

abstract: This paper presents a novel decentralized high-dimensional Bayesian optimization (DEC-HBO) algorithm that, in contrast to existing HBO algorithms, can exploit the interdependent effects of various input components on the output of the unknown objective function f for boosting the BO performance and still preserve scalability in the number of input dimensions without requiring prior knowledge or the existence of a low (effective) dimension of the input space. To realize this, we propose a sparse yet rich factor graph representation of f to be exploited for designing an acquisition function that can be similarly represented by a sparse factor graph and hence be efficiently optimized in a decentralized manner using distributed message passing. Despite richly characterizing the interdependent effects of the input components on the output of f with a factor graph, DEC-HBO can still guarantee no-regret performance asymptotically. Empirical evaluation on synthetic and real-world experiments (e.g., sparse Gaussian process model with 1811 hyperparameters) shows that DEC-HBO outperforms the state-of-the-art HBO algorithms.


title: Tropicalizing tame degree three coverings of the projective line

abstract: In this paper, we study the problem of tropicalizing tame degree three coverings of the projective line. Given any degree three covering $C\longrightarrow{\mathbb{P}^{1}}$, we give an algorithm that produces the Berkovich skeleton of $C$. In particular, this gives an algorithm for finding the Berkovich skeleton of a genus $3$ curve. The algorithm uses a continuity statement for inertia groups of semistable Galois coverings, which we prove first. After that we give a formula for the decomposition group of an irreducible component $\Gamma\subset{\mathcal{C}_{s}}$ for a semistable Galois covering $\mathcal{C}\longrightarrow{\mathcal{D}}$. We conclude the paper with a simple application of these $S_{3}$-coverings to elliptic curves, giving another proof of the familiar semistability criterion for elliptic curves using a natural degree three morphism to $\mathbb{P}^{1}$ instead of the usual degree two morphism.


title: Realizing an Epitaxial Stanene with an Insulating Bandgap

abstract: Stanene, a single atomic layer of Sn in a honeycomb lattice, is predicted a candidate wide bandgap two-dimensional (2D) topological insulator and can host intriguing topological states of matter such as quantum anomalous Hall effect and topological superconductivity with different surface modifications. Despite intensive research efforts, one still cannot obtain bulk-insulating stanene samples-a prerequisite for any transport studies and applications of stanene. Here we show the experimental realization of an epitaxial stanene with an insulating bulk bandgap by using PbTe(111) substrates. With low-temperature molecular beam epitaxy, we are able to grow single layer stanene on PbTe(111). In-situ angle-resolved photoemission spectroscopy shows the characteristic stanene bands with its Fermi level lying in the bandgap. Doping Sr in PbTe removes the substrate states located in the stanene gap, resulting in a stanene sample with truly insulating bulk. This experimental progress paves the way for studies of stanene-based topological quantum effects.


title: Analytical calculations of ground and excited states of unequal mass heavy pseudoscalar and vector mesons mass spectra using Bethe-Salpeter formalism

abstract: Considering the fact that, a wide range of variation in masses of various states of heavy pseudoscalar and vector mesons can be seen in different models and the experimental data on masses of many of these states is not yet currently available, in this paper, we study the analytical calculation of heavy pseudoscalar and vector mesons mass spectra ( such as $\eta_{c}$, $B_{c}$, $\eta_{b}$, $J/\psi$, $B^{*}_{c}$ and $\Upsilon$) and their corresponding wave functions in the framework of Bethe-Salpeter equation under the covariant instantaneous ansatz. The parameters of the framework were determined by a fit to the heavy pseudoscalar and vector mesons mass spectrum of ground states. These input parameters so fixed were found to give good agreements with data on mass spectra of ground and excited states of these mesons mass spectra.


title: Ultrafast near-field imaging of exciton-polariton dynamics in WSe_2 waveguides at room temperature

abstract: Van der Waals (vdW) materials, weakly bound layered compounds, have received enormous interest as they offer a malleable playground for a wide range of physical properties in thermal, electronic and optical devices. In particular, owing to their inherent deep subwavelength light confinement, they support a variety of light-matter interactions phenomena such as plasmons, excitons and phonons conveyed as polaritonic modes. Specifically, semiconductor vdW materials such as WSe_2 are particularly attractive for photonic and quantum integrated technologies since they sustain VIS-NIR exciton-polariton modes at room temperature. In the quest to unravel the underlying physics of these intriguing phenomena, advanced subdiffraction imaging techniques such as SNOM has provided valuable insights on the nature of the EP coupling mechanism to the waveguide modes sustained in vdW materials. While most of these works focused on the steady state of the EP, the spatio-temporal dynamics of EP formation, happening in the sub-picosecond regime, remains largely unexplored. Hence, a direct imaging at the femtosecond-nanoscale of the EP evolution is critical to the understanding of these coupled light-matter states. Here we report for the first time the ultrafast and deep-subwavelength imaging of EP formation and propagation in WSe2 waveguides. Our method, based on a novel ultrafast pump-probe near-field imaging, allows to directly visualize the EP time evolution at room temperature. More specifically, and in agreement with our time dependent model, we directly observe a significantly slow EP wave packet group velocity of v_g~0.017c which is attributed to the bandgap renormalization originating in the light coupling near the exciton transition. These findings suggest that vdW materials could be used for slow light with applications in light storage for memory, enhanced optical nonlinearity, sensing and more.


title: A Coordinate-wise Optimization Algorithm for Sparse Inverse Covariance Selection

abstract: Sparse inverse covariance selection is a fundamental problem for analyzing dependencies in high dimensional data. However, such a problem is difficult to solve since it is NP-hard. Existing solutions are primarily based on convex approximation and iterative hard thresholding, which only lead to sub-optimal solutions. In this work, we propose a coordinate-wise optimization algorithm to solve this problem which is guaranteed to converge to a coordinate-wise minimum point. The algorithm iteratively and greedily selects one variable or swaps two variables to identify the support set, and then solves a reduced convex optimization problem over the support set to achieve the greatest descent. As a side contribution of this paper, we propose a Newton-like algorithm to solve the reduced convex sub-problem, which is proven to always converge to the optimal solution with global linear convergence rate and local quadratic convergence rate. Finally, we demonstrate the efficacy of our method on synthetic data and real-world data sets. As a result, the proposed method consistently outperforms existing solutions in terms of accuracy.


title: Electronic Structure of Fe$_{1.08}$Te bulk crystals and epitaxial FeTe thin films on Bi$_2$Te$_3$

abstract: The electronic structure of thin films of FeTe grown on Bi$_2$Te$_3$ is investigated using angle-resolved photoemission spectroscopy, scanning tunneling microscopy and first principles calculations. As a comparison, data from cleaved bulk \FeTe taken under the same experimental conditions is also presented. Due to the substrate and thin film symmetry, FeTe thin films grow on Bi$_2$Te$_3$ in three domains, rotated by 0$^{\circ}$, 120$^{\circ}$, and 240$^{\circ}$. This results in a superposition of photoemission intensity from the domains, complicating the analysis. However, by combining bulk and thin film data, it is possible to partly disentangle the contributions from three domains. We find a close similarity between thin film and bulk electronic structure and an overall good agreement with first principles calculations, assuming a p-doping shift of 65~meV for the bulk and a renormalization factor of around 2. By tracking the change of substrate electronic structure upon film growth, we find indications of an electron transfer from the FeTe film to the substrate. No significant change of the film's electronic structure or doping is observed when alkali atoms are dosed onto the surface. This is ascribed to the film's high density of states at the Fermi energy. This behavior is also supported by the ab-initio calculations.


title: Magnetism on the boron-doped Si(111)-$\sqrt 3 \times \sqrt 3$ surface

abstract: We investigate the possible magnetism on the Si(111)-$\sqrt 3 \times \sqrt 3$ surface, which is stabilized for highly boron-doped samples, by using first-principles calculations. When the silicon adatom on top of a boron atom is removed to form a defect structure, three silicon dangling bonds are exposed generating half-filled doubly degenerate energy levels in the band gap which stabilizes a local magnetic moment of 2 $\mu_{\rm B}$. When there are many such defect structures adjacent one another, they are found to align antiferromagnetically. However, we demonstrate that the ferromagnetism can be stabilized by adjusting the number of electrons in defects, suggesting a possibility towards spintronic applications of this unique silicon surface structure.


title: SU($N$) spin-wave theory: Application to spin-orbital Mott insulators

abstract: We present the application of the SU($N$) ($N>2$) spin-wave theory to spin-orbital Mott insulators whose ground states exhibit magnetic orders. When taking both the spin and orbital degrees of freedom into account rather than projecting onto the Kramers doublet, the lowest spin-orbital locking energy levels, due to the inevitable spin-orbital multipole exchange interactions, the SU($N$) spin-wave theory should take the place of the SU($2$) one. To implement the application, we introduce an efficient general local mean field approach which involves all the local fluctuations into the SU($N$) linear spin-wave theory. Our approach is tested firstly by calculating the multipolar spin-wave spectra of the SU($4$) antiferromagnetic model. Then we apply it to spin-orbital Mott insulators. It is revealed that the Hund's coupling would influence the effectiveness of the isospin-$1/2$ representation when the spin orbital coupling is not large enough. Besides, we also calculate the spin-wave spectra based on the first principle calculations for two concrete materials, $\alpha$-RuCl$_3$ and Sr$_2$IrO$_4$. The SU($N$) spin-wave theory appropriately depicts the low-energy magnons and the spin-orbital excitations qualitatively.


title: An Improved Oscillating-Error Classifier with Branching

abstract: This paper extends the earlier work on an oscillating error correction technique. Specifically, it extends the design to include further corrections, by adding new layers to the classifier through a branching method. This technique is still consistent with earlier work and also neural networks in general. With this extended design, the classifier can now achieve the high levels of accuracy reported previously.


title: On relative Auslander algebras

abstract: Relative Auslander algebras were introduced and studied by Beligiannis. In this paper, we apply intermediate extension functors associated to certain recollements of functor categories to study them. In particular, we study the existence of tilting-cotilting modules over such algebras. As a consequence, it will be shown that two Gorenstein algebras of G-dimension 1 being of finite Cohen-Macaulay type are Morita equivalent if and only if their Cohen-Macaulay Auslander algebras are Morita equivalent.


title: CPG-Based Control Scheme for Quadruped Robot to Withstand the Lateral Impact

abstract: This paper aims to present a stability control strategy for quadruped robot under lateral impact with the help of lateral trot. We firstly propose five necessary conditions for keeping balance. The classical four-neuron Central Pattern Generator (CPG) network with Hopf oscillators is then extended to eight-neuron network with four more trigger-enabled neurons, which controls the lateral trot. With proper adjustment of network's parameters, such network can coordinate the lateral and longitudinal trot gait. Based on Zero Movement Point (ZMP) theory, the robot is modeled as an inverted pendulum to plan the Center of Gravity (CoG) position and calculate the needed lateral step length. The simulation shows that the lateral acceleration of the quadruped robot after lateral impact regains to the normal range in a short time. Comparison shows that the maximal lateral impact that robot can resist increases about 125% from 0.72g to 1.55g.


title: Towards understanding startup product development as effectual entrepreneurial behaviors

abstract: Software startups face with multiple technical and business challenges, which could make the startup journey longer, or even become a failure. Little is known about entrepreneurial decision making as a direct force to startup development outcome. In this study, we attempted to apply a behaviour theory of entrepreneurial firms to understand the root-cause of some software startup s challenges. Six common challenges related to prototyping and product development in twenty software startups were identified. We found the behaviour theory as a useful theoretical lens to explain the technical challenges. Software startups search for local optimal solutions, emphasise on short-run feedback rather than long-run strategies, which results in vague prototype planning, paradox of demonstration and evolving throw-away prototypes. The finding implies that effectual entrepreneurial processes might require a more suitable product development approach than the current state-of-practice.


title: Defunct Satellites in Nearly Polar Orbits: Long-term Evolution of Attitude Motion

abstract: Low Earth orbits (LEO) are known as a region of high space activity and, consequently, space debris highest density. Launcher upper stages and defunct satellites are the largest space debris objects, whose collisions can result in still greater pollution, rendering further space missions in LEO impossible. Thus, space debris mitigation is necessary, and LEO region is a primary target of active debris removal (ADR) projects. However, ADR planning requires at least an approximate idea of the candidate objects' attitude dynamics, which is one of the incentives for our study. This paper is mainly focused on modeling and simulating defunct satellites. The model takes into account the gravity gradient torque and the torque due to eddy currents induced by the interaction of conductive materials with the geomagnetic field. A better understanding of the intermediate phase of the exponential deceleration is achieved owing to a more accurate model of the eddy currents torque than in most prior research. We also show the existence of other important factors in the studied dynamics such as evolution of the orbit itself and the residual magnetic moment, which both contribute to the overall attitude motion evolution and the variety of the final regimes.


title: Towards a sharp converse of Wall's theorem on arithmetic progressions

abstract: Wall's theorem on arithmetic progressions says that if $0.a_1a_2a_3\dots$ is normal, then for any $k,\ell\in \mathbb{N}$, $0.a_ka_{k+\ell}a_{k+2\ell}\dots$ is also normal. We examine a converse statement and show that if $0.a_{n_1}a_{n_2}a_{n_3}\dots$ is normal for periodic increasing sequences $n_1<n_2<n_3<\dots$ of asymptotic density arbitrarily close to $1$, then $0.a_1a_2a_3\dots$ is normal. We show this is close to sharp in the sense that there are numbers $0.a_1a_2a_3\dots$ that are not normal, but for which $0.a_{n_1}a_{n_2}a_{n_3}\dots$ is normal along a large collection of sequences whose density is bounded a little away from $1$.


title: Symplectic Geometry of Moduli Spaces of Hurwitz Covers

abstract: We extend results by Mirzakhani in [Mir07] to moduli spaces of Hurwitz covers. In particular we obtain equations relating Weil-Petersson volumes of moduli spaces of Hurwitz covers, Hurwitz numbers and certain Hurwitz cycles on Deligne-Mumford space related to those Riemann surfaces admitting Hurwitz covers of a specified branching profile. We state the precise orbifold structure of the moduli space of Hurwitz covers by applying ideas and results from Robbin-Salamon in arXiv:math/0407090. Furthermore we prove compactness of the involved moduli spaces by applying SFT-compactness in the Cieliebak-Mohnke version from [CM05].


title: Coopetition of software firms in Open source software ecosystems

abstract: Software firms participate in an ecosystem as a part of their innovation strategy to extend value creation beyond the firms boundary. Participation in an open and independent environment also implies the competition among firms with similar business models and targeted markets. Hence, firms need to consider potential opportunities and challenges upfront. This study explores how software firms interact with others in OSS ecosystems from a coopetition perspective. We performed a quantitative and qualitative analysis of three OSS projects. Finding shows that software firms emphasize the co-creation of common value and partly react to the potential competitiveness on OSS ecosystems. Six themes about coopetition were identified, including spanning gatekeepers, securing communication, open-core sourcing and filtering shared code. Our work contributes to software engineering research with a rich description of coopetition in OSS ecosystems. Moreover, we also come up with several implications for software firms in pursing a harmony participation in OSS ecosystems.


title: A Classifying Variational Autoencoder with Application to Polyphonic Music Generation

abstract: The variational autoencoder (VAE) is a popular probabilistic generative model. However, one shortcoming of VAEs is that the latent variables cannot be discrete, which makes it difficult to generate data from different modes of a distribution. Here, we propose an extension of the VAE framework that incorporates a classifier to infer the discrete class of the modeled data. To model sequential data, we can combine our Classifying VAE with a recurrent neural network such as an LSTM. We apply this model to algorithmic music generation, where our model learns to generate musical sequences in different keys. Most previous work in this area avoids modeling key by transposing data into only one or two keys, as opposed to the 10+ different keys in the original music. We show that our Classifying VAE and Classifying VAE+LSTM models outperform the corresponding non-classifying models in generating musical samples that stay in key. This benefit is especially apparent when trained on untransposed music data in the original keys.


title: Deep learning for inferring cause of data anomalies

abstract: Daily operation of a large-scale experiment is a resource consuming task, particularly from perspectives of routine data quality monitoring. Typically, data comes from different sub-detectors and the global quality of data depends on the combinatorial performance of each of them. In this paper, the problem of identifying channels in which anomalies occurred is considered. We introduce a generic deep learning model and prove that, under reasonable assumptions, the model learns to identify 'channels' which are affected by an anomaly. Such model could be used for data quality manager cross-check and assistance and identifying good channels in anomalous data samples. The main novelty of the method is that the model does not require ground truth labels for each channel, only global flag is used. This effectively distinguishes the model from classical classification methods. Being applied to CMS data collected in the year 2010, this approach proves its ability to decompose anomaly by separate channels.


title: An Approximating Control Design for Optimal Mixing by Stokes Flows

abstract: We consider an approximating control design for optimal mixing of a non-dissipative scalar field $\theta$ in unsteady Stokes flows. The objective of our approach is to achieve optimal mixing at a given final time $T>0$, via the active control of the flow velocity $v$ through boundary inputs. Due to the zero diffusivity of the scalar field $\theta$, establishing the well-posedness of its G\^{a}teaux derivative requires $\sup_{t\in[0,T]}\|\nabla \theta\|_{L^2}<\infty$, which in turn demands the flow velocity field to satisfy the condition $ \int^{T}_{0}\|\nabla v\|_{L^{\infty}(\Omega)}\, dt<\infty$. This condition results in the need to penalize the time derivative of the boundary control in the cost functional. As a result, the optimality system becomes difficult to solve \cite{hu2017boundary}. Our current approximating approach will provide a more transparent optimality system, with the set of admissible controls being $L^{2}$ in both time and space. This is achieved by first introducing a small diffusivity to the scalar equation and then establishing a rigorous analysis of convergence of the approximating control problem to the original one as the diffusivity approaches to zero. Uniqueness of the optimal solution is obtained for the two dimensional case.


title: Reversible Disjoint Unions of Well Orders and Their Inverses

abstract: A poset ${\mathbb{P}}$ is called reversible iff every bijective homomorphism $f:{\mathbb{P}} \rightarrow {\mathbb{P}}$ is an automorphism. Let ${\mathcal{W}}$ and ${\mathcal{W}} ^*$ denote the classes of well orders and their inverses respectively. We characterize reversibility in the class of posets of the form ${\mathbb{P}} =\bigcup _{i\in I}{\mathbb{L}} _i$, where ${\mathbb{L}} _i, i\in I$, are pairwise disjoint linear orders from ${\mathcal{W}} \cup {\mathcal{W}} ^*$. First, if ${\mathbb{L}} _i \in {\mathcal{W}}$, for all $i\in I$, and ${\mathbb{L}} _i \cong \alpha _i =\gamma_i+n_i\in Ord$, where $\gamma_i\in Lim \cup \{0\}$ and $n_i\in\omega$, defining $I_\alpha := \{ i\in I : \alpha_i = \alpha \}$, for $\alpha \in Ord$, and $J_\gamma := \{ j\in I : \gamma_j = \gamma \}$, for $\gamma\in Lim _0$, we prove that $\bigcup _{i\in I} {\mathbb{L}} _i$ is a reversible poset iff $\langle \alpha _i :i\in I\rangle$ is a finite-to-one sequence, or there is $\gamma =\max \{ \gamma _i : i\in I\}$, for $\alpha \leq \gamma$ we have $|I_\alpha |<\omega $, and $\langle n_i : i\in J_\gamma \setminus I_\gamma \rangle $ is a reversible sequence of natural numbers. The same holds when ${\mathbb{L}} _i \in {\mathcal{W}} ^*$, for all $i\in I$. In the general case, the reversibility of the whole union is equivalent to the reversibility of the union of components from ${\mathcal{W}}$ and the union of components from ${\mathcal{W}} ^*$.


title: Energy transfer in turbulence under rotation

abstract: It is known that rapidly rotating turbulent flows are characterized by the emergence of simultaneous upscale and downscale energy transfer. Indeed, both numerics and experiments show the formation of large-scale anisotropic vortices together with the development of small-scale dissipative structures. However the organization of interactions leading to this complex dynamics remains unclear. Two different mechanisms are known to be able to transfer energy upscale in a turbulent flow. The first is characterized by two-dimensional interactions among triads lying on the two-dimensional, three-component (2D3C) manifold, namely on the Fourier plane perpendicular to the rotation axis. The second mechanism is three-dimensional and consists of interactions between triads with the same sign of helicity (homochiral). Here, we present a detailed numerical study of rotating flows using a suite of high Reynolds number direct numerical simulations within different parameter regimes to analyze both upscale and downscale cascade ranges. We find that the upscale cascade at wave numbers close to the forcing scale is generated by increasingly dominant homochiral interactions which couple the three-dimensional bulk and the 2D3C plane. This coupling produces an accumulation of energy in the 2D3C plane, which then transfers energy to smaller wave numbers thanks to the two-dimensional mechanism. In the forward cascade range, we find that the energy transfer is dominated by heterochiral triads and is dominated primarily by interaction within the fast manifold where $k_z\ne0$. We further analyze the energy transfer in different regions in the real-space domain. In particular, we distinguish high-strain from high-vorticity regions and we uncover that while the mean transfer is produced inside regions of strain, the rare but extreme events of energy transfer occur primarily inside the large-scale column vortices.


title: Reducing time-dependent multifactor Black and Scholes equation with knock-out features to equivalent time-constant coefficient equation, and applications

abstract: We consider the multifactor Black and Scholes equation with time-dependent coefficients, and a knock-out feature contingent on the underlying asset values reaching a limit (reflected by a Dirichlet condition on the boundary). We prove that this equation, which has important applications in finance and insurance, can be reduced to an equivalent time-constant coefficient equation, with coefficients defined as averages of the original ones. Equivalent results are also valid for general second order parabolic equations, with applications in other fields in the natural sciences. The result established in this article has not been documented so far in the presence of boundary conditions. The proof is provided in a general framework, as it invokes techniques from the Functional Analysis theory, namely the Hille-Yosida approximation technique. A main ingredient in the proof is establishing the Exp(-A1 - A2)= Exp(-A1) Exp(- A2) identity, proved here in a general setting for unbounded, commuting, monotone and maximal operators A1, A2. This would in particular allow generalization of the result to more general classes of evolution problems with time dependent generators.


title: A New Form of Williamson's Product Theorem

abstract: A form of Williamson's product theorem which applies to Williamson matrices of even order is presented.


title: Analysis of RLD Circuit by means of Phase Space with a non-ideal diode model

abstract: In this work the non-linear and chaotic behaviour for the RLD circuit is analysed, which is modelled by state space and numerically simulated considering the diode model an association between nonlinear resistances and capacitances. It has been possible to characterize the dynamics of the circuit through period doubles and chaotic behaviour. The Lyapunov exponent is calculated to show the chaotic behaviour of this circuit. Simulated results are in good agreement with experimental data.


title: The Causal Action in Minkowski Space and Surface Layer Integrals

abstract: The Lagrangian of the causal action principle is computed in Minkowski space for Dirac wave functions interacting with classical electromagnetism and linearized gravity in the limiting case when the ultraviolet cutoff is removed. Various surface layer integrals are computed in this limiting case.


title: Morphisms of open games

abstract: We define a notion of morphisms between open games, exploiting a surprising connection between lenses in computer science and compositional game theory. This extends the more intuitively obvious definition of globular morphisms as mappings between strategy profiles that preserve best responses, and hence in particular preserve Nash equilibria. We construct a symmetric monoidal double category in which the horizontal 1-cells are open games, vertical 1-morphisms are lenses, and 2-cells are morphisms of open games. States (morphisms out of the monoidal unit) in the vertical category give a flexible solution concept that includes both Nash and subgame perfect equilibria. Products in the vertical category give an external choice operator that is reminiscent of products in game semantics, and is useful in practical examples. We illustrate the above two features with a simple worked example from microeconomics, the market entry game.


title: A New Approach To Estimate The Collision Probability For Automotive Applications

abstract: We revisit the computation of a probability of collision in the context of automotive collision avoidance (also referred to as conflict detection in other contexts). After reviewing existing approaches to the definition and computation of a collision probability we argue that the question "What is the probability of collision within the next three seconds?" can be answered on the basis of a collision probability rate. Using results on level crossings for vector stochastic processes we derive a general expression for the upper bound of the distribution of the collision probability rate. This expression is valid for arbitrary prediction models including process noise. We demonstrate in several examples that distributions obtained by large-scale Monte-Carlo simulations obey this bound and in many cases approximately saturate the bound. We derive an approximation for the distribution of the collision probability rate that can be computed on an embedded platform. An upper bound of the probability of collision is then obtained by one-dimensional numerical integration over the time period of interest. A straightforward application of this method applies to the collision of an extended object with a second point-like object. Using an abstraction of the second object by salient points of its boundary we propose an application of this method to two extended objects with arbitrary orientation. Finally, the distribution of the collision probability rate is compared to approximations of time-to-collision distributions for one-dimensional motions that have been obtained previously.


title: On characteristic polynomials for a generalized chiral random matrix ensemble with a source

abstract: We evaluate averages involving characteristic polynomials, inverse characteristic polynomials and ratios of characteristic polynomials for a $N\times N$ random matrix taken from a $L$-deformed Chiral Gaussian Unitary Ensemble with an external source $\Omega$. Relation to a recently studied statistics of bi-orthogonal eigenvectors in the complex Ginibre ensemble, see Y.V. Fyodorov arXiv:1710.04699, is briefly discussed as a motivation to study asymptotics of these objects in the case of external source proportional to the identity matrix. In particular, for an associated 'complex bulk/chiral edge' scaling regime we retrieve the kernel related to Bessel/Macdonald functions.


title: A Morse theoretic description of the Goresky-Hingston product

abstract: The Goresky-Hingston coproduct was first introduced by D. Sullivan and later extended by M. Goresky and N. Hingston. In this article we give a Morse theoretic description of the coproduct. Using the description we prove homotopy invariance property of the coproduct. We describe a connection between our Morse theoretic coproduct and a coproduct on Floer homology of cotangent bundle.


title: Trajectory-Optimized Sensing for Active Search of Tissue Abnormalities in Robotic Surgery

abstract: In this work, we develop an approach for guiding robots to automatically localize and find the shapes of tumors and other stiff inclusions present in the anatomy. Our approach uses Gaussian processes to model the stiffness distribution and active learning to direct the palpation path of the robot. The palpation paths are chosen such that they maximize an acquisition function provided by an active learning algorithm. Our approach provides the flexibility to avoid obstacles in the robot's path, incorporate uncertainties in robot position and sensor measurements, include prior information about location of stiff inclusions while respecting the robot-kinematics. To the best of our knowledge this is the first work in literature that considers all the above conditions while localizing tumors. The proposed framework is evaluated via simulation and experimentation on three different robot platforms: 6-DoF industrial arm, da Vinci Research Kit (dVRK), and the Insertable Robotic Effector Platform (IREP). Results show that our approach can accurately estimate the locations and boundaries of the stiff inclusions while reducing exploration time.


title: DeblurGAN: Blind Motion Deblurring Using Conditional Adversarial Networks

abstract: We present DeblurGAN, an end-to-end learned method for motion deblurring. The learning is based on a conditional GAN and the content loss . DeblurGAN achieves state-of-the art performance both in the structural similarity measure and visual appearance. The quality of the deblurring model is also evaluated in a novel way on a real-world problem -- object detection on (de-)blurred images. The method is 5 times faster than the closest competitor -- DeepDeblur. We also introduce a novel method for generating synthetic motion blurred images from sharp ones, allowing realistic dataset augmentation. The model, code and the dataset are available at https://github.com/KupynOrest/DeblurGAN


title: Prior-aware Dual Decomposition: Document-specific Topic Inference for Spectral Topic Models

abstract: Spectral topic modeling algorithms operate on matrices/tensors of word co-occurrence statistics to learn topic-specific word distributions. This approach removes the dependence on the original documents and produces substantial gains in efficiency and provable topic inference, but at a cost: the model can no longer provide information about the topic composition of individual documents. Recently Thresholded Linear Inverse (TLI) is proposed to map the observed words of each document back to its topic composition. However, its linear characteristics limit the inference quality without considering the important prior information over topics. In this paper, we evaluate Simple Probabilistic Inverse (SPI) method and novel Prior-aware Dual Decomposition (PADD) that is capable of learning document-specific topic compositions in parallel. Experiments show that PADD successfully leverages topic correlations as a prior, notably outperforming TLI and learning quality topic compositions comparable to Gibbs sampling on various data.


title: The XXL Survey: XXIII. The Mass Scale of XXL Clusters from Ensemble Spectroscopy

abstract: An X-ray survey with the XMM-Newton telescope, XMM-XXL, has identified hundreds of galaxy groups and clusters in two 25 deg$^2$ fields. Combining spectroscopic and X-ray observations in one field, we determine how the kinetic energy of galaxies scales with hot gas temperature and also, by imposing prior constraints on the relative energies of galaxies and dark matter, infer a power-law scaling of total mass with temperature. Our goals are: i) to determine parameters of the scaling between galaxy velocity dispersion and X-ray temperature, $T_{\rm 300kpc}$, for the halos hosting XXL-selected clusters, and; ii) to infer the log-mean scaling of total halo mass with temperature, $\langle \ln M_{200} \, | \, T, z \rangle$. We apply an ensemble velocity likelihood to a sample of $> 1500$ spectroscopic redshifts within $132$ spectroscopically confirmed clusters with redshifts $z < 0.6$ to model, $\langle \ln \sigma_{\rm gal}\,|\,T,z\rangle$, where $\sigma_{\rm gal}$ is the velocity dispersion of XXL cluster member galaxies and $T$ is a 300 kpc aperture temperature. To infer total halo mass we use a precise virial relation for massive halos calibrated by N-body simulations along with a single degree of freedom summarizing galaxy velocity bias with respect to dark matter. For the XXL-N cluster sample, we find $\sigma_{\rm gal} \propto T^{0.63\pm0.05}$, a slope significantly steeper than the self-similar expectation of $0.5$. Assuming scale-independent galaxy velocity bias, we infer a mean logarithmic mass at a given X-ray temperature and redshift, $\langle\ln (E(z) M_{200}/10^{14}\,{\rm M}_{\odot})|T,z\rangle=\pi+\alpha \ln(T/T_p )+\beta\ln (E(z)/E(z_p) )$ using pivot values ${\rm k}T_{p}=2.2\,{\rm keV}$ and $z_p=0.25$, with normalization $\pi=0.45\pm0.24$ and slope $\alpha=1.89\pm0.15$. We obtain only weak constraints on redshift evolution, $\beta=-1.29\pm1.14$.


title: Dynamics and ordering of weakly Brownian particles in directional drying

abstract: Drying of particle suspensions is an ubiquitous phenomenon with many natural and practical applications. In particular, in unidirectional drying, the evaporation of the solvent induces flows which accumulate particles at the liquid/air interface. The progressive build-up of a dense region of particles can be used, in particular, in the processing of advanced materials and architectures while the development of heterogeneities and defects in such systems is critical to their function. A lot of attention has thus been paid to correlate the flow and particles dynamics to the ordering of particles. However, dynamic observation at the particle scale and its correlation with local particle ordering are still missing. Here we show by measuring the particle velocities with high frame rate laser scanning confocal microscopy that the ordering of weakly Brownian particles during directional drying in a Hele-Shaw cell opened on one side depends on the particle velocity. Under the ambient and experimental conditions presented in the following, the particle velocities accumulate in two branches. A higher degree of ordering is found for the branch of faster particle velocity which we explain by an increase in the pressure drop which drags the particles into a denser packing as the flow velocity increases. This counter-intuitive behaviour is the opposite to what is found with Brownian particles, which can reorganize by Brownian motion into denser packing during drying, as long as the flow velocity is not too high. These results show that different kinetic conditions can be used to obtain dense, defect-free regions of particles after drying. In particular, it suggests that rapid, directional drying could be used to control the crystallinity of particle deposits.


title: Diverse and Accurate Image Description Using a Variational Auto-Encoder with an Additive Gaussian Encoding Space

abstract: This paper explores image caption generation using conditional variational auto-encoders (CVAEs). Standard CVAEs with a fixed Gaussian prior yield descriptions with too little variability. Instead, we propose two models that explicitly structure the latent space around $K$ components corresponding to different types of image content, and combine components to create priors for images that contain multiple types of content simultaneously (e.g., several kinds of objects). Our first model uses a Gaussian Mixture model (GMM) prior, while the second one defines a novel Additive Gaussian (AG) prior that linearly combines component means. We show that both models produce captions that are more diverse and more accurate than a strong LSTM baseline or a "vanilla" CVAE with a fixed Gaussian prior, with AG-CVAE showing particular promise.


title: On Kasner solution in Bianchi I $f(T)$ cosmology

abstract: Recently cosmological dynamics of anisotropic Universe in $f(T)$ gravity became an area of intense investigations. Some earlier papers devoted to this issue contain contradictory claims about the nature and propertied of vacuum solutions in this theory. The goal of the present paper is to clarify this situation. We compare properties of $f(T)$ and $f(R)$ vacuum solutions and outline differences between them. The Kasner solution appears to be an exact solution for the $T=0$ branch, and an asymptotic solution for $T \ne 0$ branch. It is shown that Kasner solution is the past attractor if $T<0$, being past and future attractor for $T>0$ branch.


title: Ferroelectric Negative Capacitance Domain Dynamics

abstract: Transient negative capacitance effects in epitaxial ferroelectric Pb(Zr$_{0.2}$Ti$_{0.8}$)O$_3$ capacitors are investigated with a focus on the dynamical switching behavior governed by domain nucleation and growth. Voltage pulses are applied to a series connection of the ferroelectric capacitor and a resistor to directly measure the ferroelectric negative capacitance during switching. A time-dependent Ginzburg-Landau approach is used to investigate the underlying domain dynamics. The transient negative capacitance is shown to originate from reverse domain nucleation and unrestricted domain growth. However, with the onset of domain coalescence, the capacitance becomes positive again. The persistence of the negative capacitance state is therefore limited by the speed of domain wall motion. By changing the applied electric field, capacitor area or external resistance, this domain wall velocity can be varied predictably over several orders of magnitude. Additionally, detailed insights into the intrinsic material properties of the ferroelectric are obtainable through these measurements. A new method for reliable extraction of the average negative capacitance of the ferroelectric is presented. Furthermore, a simple analytical model is developed, which accurately describes the negative capacitance transient time as a function of the material properties and the experimental boundary conditions.


title: The destiny of constant structure discrete time closed semantic systems

abstract: Constant structure closed semantic systems are the systems each element of which receives its definition through the correspondent unchangeable set of other elements of the system. Discrete time means here that the definitions of the elements change iteratively and simultaneously based on the "neighbor portraits" from the previous iteration. I prove that the iterative redefinition process in such class of systems will quickly degenerate into a series of pairwise isomorphic states and discuss some directions of further research.


title: Controllable generation of photons and phonons in a coupled BEC-optomechanical-cavity via the parametric dynamical Casimir effect

abstract: We theoretically propose and investigate a feasible experimental scheme for the realization of the dynamical Casimir effect (DCE) in a hybrid optomechanical cavity with a moving end mirror containing an interacting cigar-shaped Bose-Einstein condensate (BEC). We show that in the red-detuned regime of cavity optomechanics together with the weak optomechanical coupling limit by \textit{coherent} modulation of the \textit{s}-wave scattering frequency of the BEC and the mechanical spring coefficient of the mechanical oscillator (MO), the mechanical and atomic quantum vacuum fluctuations are parametrically amplified, which consequently lead to the generation of the mechanical/Bogoliubov-type Casimir phonons. Interestingly, in the coherent regime corresponding to the case of largely different optomechanical coupling strengths of the cavity field to the BEC and the MO, or equivalently largely different cooperativities, one can generate a large number of Casimir photons due to the amplification of the intracavity vacuum fluctuations \textit{induced} by the time modulations of the BEC and the MO. The number of generated Casimir particles are externally controllable by the cooperativities, and the modulation amplitudes of the atomic collisions rate and the mechanical spring coefficient.


title: On the 6j-symbols for SL(2,C) group

abstract: We study 6j-symbols, or Racah coefficients for tensor products of infinite-dimensional unitary principal series representations of the group SL(2,C). These symbols were constructed earlier by Ismagilov and we rederive his result (up to some slight difference associated with equivalent representations) using the Feynman diagrams technique. The resulting 6j-symbols are expressed either as a triple integral over complex plane with a symmetric kernel or as an infinite bilateral sum of integrals of the Mellin-Barnes type.


title: Node Balanced Steady States: Unifying and Generalizing Complex and Detailed Balanced Steady States

abstract: We introduce a unifying and generalizing framework for complex and detailed balanced steady states in chemical reaction network theory. To this end, we generalize the graph commonly used to represent a reaction network. Specifically, we introduce a graph, called a reaction graph, that has one edge for each reaction but potentially multiple nodes for each complex. A special class of steady states, called node balanced steady states, is naturally associated with such a reaction graph. We show that complex and detailed balanced steady states are special cases of node balanced steady states by choosing appropriate reaction graphs. Further, we show that node balanced steady states have properties analogous to complex balanced steady states, such as uniqueness and asymptotical stability in each stoichiometric compatibility class. Moreover, we associate an integer, called the deficiency, to a reaction graph that gives the number of independent relations in the reaction rate constants that need to be satisfied for a positive node balanced steady state to exist. The set of reaction graphs (modulo isomorphism) is equipped with a partial order that has the complex balanced reaction graph as minimal element. We relate this order to the deficiency and to the set of reaction rate constants for which a positive node balanced steady state exists.


title: On convergence rate for an infinite-channel queuing system with Poisson input flow

abstract: Obtaining estimates of the convergence rate of the regenerating process $Q(t)$ whose value at time $t$ is equal to the number of claims in the system $ M \backslash G \backslash \infty $ at this moment, to the limit (stationary) regime.


title: Does mitigating ML's impact disparity require treatment disparity?

abstract: Following related work in law and policy, two notions of disparity have come to shape the study of fairness in algorithmic decision-making. Algorithms exhibit treatment disparity if they formally treat members of protected subgroups differently; algorithms exhibit impact disparity when outcomes differ across subgroups, even if the correlation arises unintentionally. Naturally, we can achieve impact parity through purposeful treatment disparity. In one thread of technical work, papers aim to reconcile the two forms of parity proposing disparate learning processes (DLPs). Here, the learning algorithm can see group membership during training but produce a classifier that is group-blind at test time. In this paper, we show theoretically that: (i) When other features correlate to group membership, DLPs will (indirectly) implement treatment disparity, undermining the policy desiderata they are designed to address; (ii) When group membership is partly revealed by other features, DLPs induce within-class discrimination; and (iii) In general, DLPs provide a suboptimal trade-off between accuracy and impact parity. Based on our technical analysis, we argue that transparent treatment disparity is preferable to occluded methods for achieving impact parity. Experimental results on several real-world datasets highlight the practical consequences of applying DLPs vs. per-group thresholds.


title: Estimation Considerations in Contextual Bandits

abstract: Contextual bandit algorithms are sensitive to the estimation method of the outcome model as well as the exploration method used, particularly in the presence of rich heterogeneity or complex outcome models, which can lead to difficult estimation problems along the path of learning. We study a consideration for the exploration vs. exploitation framework that does not arise in multi-armed bandits but is crucial in contextual bandits; the way exploration and exploitation is conducted in the present affects the bias and variance in the potential outcome model estimation in subsequent stages of learning. We develop parametric and non-parametric contextual bandits that integrate balancing methods from the causal inference literature in their estimation to make it less prone to problems of estimation bias. We provide the first regret bound analyses for contextual bandits with balancing in the domain of linear contextual bandits that match the state of the art regret bounds. We demonstrate the strong practical advantage of balanced contextual bandits on a large number of supervised learning datasets and on a synthetic example that simulates model mis-specification and prejudice in the initial training data. Additionally, we develop contextual bandits with simpler assignment policies by leveraging sparse model estimation methods from the econometrics literature and demonstrate empirically that in the early stages they can improve the rate of learning and decrease regret.


title: Building an Entrepreneurship Data Warehouse

abstract: The main principle of the Lean Startup movement is that static business planning should be replaced by a dynamic development, where products, services, business model elements, business objectives and activities are frequently changed based on constant customer feedback. Our ambition is to empirically measure if such changes of the business idea, the business model elements, the project management and close interaction with customers really increases the success rate of entrepreneurs, and in what way. Our first paper, Does Lean Startup really work? - Foundation for an empirical study presented the first attempt to model the relations we want to measure. This paper will focus on how to build and set up a test harness (from now on called the Entrepreneurship Platform or EP) to gather empirical data from Companies and how to store these data together with demographical and financial data from the PROFF-portal in the Entrepreneurial Data Warehouse (from now called the EDW). We will end the paper by discussing the potential methodological problems with our method, before we document a test run of our set-up to verify that we are actually able to populate the Data Warehouse with time series data


title: A note on existence results for a nonlinear fourth-order integral boundary value problem

abstract: In this short note, we present some new existence results for a nonlinear fourth-order two-point boundary value problem with integral condition. The existence results are obtained by using the Leray-Schauder fixed point theorem. Our work improves the main results of Benaicha and Haddouchi \cite% {Benai}. In addition, examples are included to show the validity of our results.


title: Ab initio Translationally Invariant Nonlocal One-body Densities from No-core Shell-model Theory

abstract: [Background:] It is well known that effective nuclear interactions are in general nonlocal. Thus if nuclear densities obtained from {\it ab initio} no-core-shell-model (NCSM) calculations are to be used in reaction calculations, translationally invariant nonlocal densities must be available. [Purpose:] Though it is standard to extract translationally invariant one-body local densities from NCSM calculations to calculate local nuclear observables like radii and transition amplitudes, the corresponding nonlocal one-body densities have not been considered so far. A major reason for this is that the procedure for removing the center-of-mass component from NCSM wavefunctions up to now has only been developed for local densities. [Results:] A formulation for removing center-of-mass contributions from nonlocal one-body densities obtained from NCSM and symmetry-adapted NCSM (SA-NCSM) calculations is derived, and applied to the ground state densities of $^4$He, $^6$Li, $^{12}$C, and $^{16}$O. The nonlocality is studied as a function of angular momentum components in momentum as well as coordinate space [Conclusions:] We find that the nonlocality for the ground state densities of the nuclei under consideration increases as a function of the angular momentum. The relative magnitude of those contributions decreases with increasing angular momentum. In general, the nonlocal structure of the one-body density matrices we studied is given by the shell structure of the nucleus, and can not be described with simple functional forms.


title: Equiangular tight frames that contain regular simplices

abstract: An equiangular tight frame (ETF) is a type of optimal packing of lines in Euclidean space. A regular simplex is a special type of ETF in which the number of vectors is one more than the dimension of the space they span. In this paper, we consider ETFs that contain a regular simplex, that is, have the property that a subset of its vectors forms a regular simplex. As we explain, such ETFs are characterized as those that achieve equality in a certain well-known bound from the theory of compressed sensing. We then consider the so-called binder of such an ETF, namely the set of all regular simplices that it contains. We provide a new algorithm for computing this binder in terms of products of entries of the ETF's Gram matrix. In certain circumstances, we show this binder can be used to produce a particularly elegant Naimark complement of the corresponding ETF. Other times, an ETF is a disjoint union of regular simplices, and we show this leads to a certain type of optimal packing of subspaces known as an equichordal tight fusion frame. We conclude by considering the extent to which these ideas can be applied to numerous known constructions of ETFs, including harmonic ETFs.


title: Second-Order Variational Analysis of Parametric Constraint and Variational Systems

abstract: This paper is devoted to the generalized differential study of the normal cone mappings associated with a large class of parametric constraint systems (PCS) that appear, in particular, in nonpolyhedral conic programming. Conducting a local second-order analysis of such systems, we focus on computing the (primal-dual) graphical derivative of the normal cone mapping under the $C^2$-cone reducibility of the constraint set together with the fairly weak metric subregularity constraint qualification and its uniform parametric counterpart known as Robinson stability. The obtained precise formulas for computing the underlying second-order object are applied to the derivation of comprehensive conditions ensuring the important stability property of isolated calmness for solution maps to parametric variational systems associated with the given PCS.


title: Interpolatory pointwise estimates for monotone polynomial approximation

abstract: Given a nondecreasing function $f$ on $[-1,1]$, we investigate how well it can be approximated by nondecreasing algebraic polynomials that interpolate it at $\pm 1$. We establish pointwise estimates of the approximation error by such polynomials that yield interpolation at the endpoints (i.e., the estimates become zero at $\pm 1$). We call such estimates "interpolatory estimates". In 1985, DeVore and Yu were the first to obtain this kind of results for monotone polynomial approximation. Their estimates involved the second modulus of smoothness $\omega_2(f,\cdot)$ of $f$ evaluated at $\sqrt{1-x^2}/n$ and were valid for all $n\ge1$. The current paper is devoted to proving that if $f\in C^r[-1,1]$, $r\ge1$, then the interpolatory estimates are valid for the second modulus of smoothness of $f^{(r)}$, however, only for $n\ge N$ with $N= N(f,r)$, since it is known that such estimates are in general invalid with $N$ independent of $f$. Given a number $\alpha>0$, we write $\alpha=r+\beta$ where $r$ is a nonnegative integer and $0<\beta\le1$, and denote by $Lip^*\alpha$ the class of all functions $f$ on $[-1,1]$ such that $\omega_2(f^{(r)}, t) = O(t^\beta)$. Then, one important corollary of the main theorem in this paper is the following result that has been an open problem for $\alpha\geq 2$ since 1985: If $\alpha>0$, then a function $f$ is nondecreasing and in $Lip^*\alpha$, if and only if, there exists a constant $C$ such that, for all sufficiently large $n$, there are nondecreasing polynomials $P_n$, of degree $n$, such that \[ |f(x)-P_n(x)| \leq C \left(\frac{\sqrt{1-x^2}}{n}\right)^\alpha, \quad x\in [-1,1]. \]


title: Superexponential estimates and weighted lower bounds for the square function

abstract: We prove the following superexponential distribution inequality: for any integrable $g$ on $[0,1)^{d}$ with zero average, and any $\lambda>0$ \[ |\{ x \in [0,1)^{d} \; :\; g \geq\lambda \}| \leq e^{- \lambda^{2}/(2^{d}\|S(g)\|_{\infty}^{2})}, \] where $S(g)$ denotes the classical dyadic square function in $[0,1)^{d}$. The estimate is sharp when dimension $d$ tends to infinity in the sense that the constant $2^{d}$ in the denominator cannot be replaced by $C2^{d}$ with $0<C<1$ independent of $d$ when $d \to \infty$. For $d=1$ this is a classical result of Chang--Wilson--Wolff [4]; however, in the case $d>1$ they work with a special square function $S_\infty$, and their result does not imply the estimates for the classical square function. Using good $\lambda$ inequalities technique we then obtain unweighted and weighted $L^p$ lower bounds for $S$; to get the corresponding good $\lambda$ inequalities we need to modify the classical construction. We also show how to obtain our superexponential distribution inequality (although with worse constants) from the weighted $L^2$ lower bounds for $S$, obtained in [5].


title: Infinitesimal finiteness obstructions

abstract: Does a space enjoying good finiteness properties admit an algebraic model with commensurable finiteness properties? In this note, we provide a rational homotopy obstruction for this to happen. As an application, we show that the maximal metabelian quotient of a very large, finitely generated group is not finitely presented. Using the theory of 1-minimal models, we also show that a finitely generated group $\pi$ admits a connected 1-model with finite-dimensional degree 1 piece if and only if the Malcev Lie algebra $\mathfrak{m}(\pi)$ is the lower central series completion of a finitely presented Lie algebra.


title: Physical interpretation of pp-waves with axial torsion

abstract: We consider generalised pp-waves with purely axial torsion, which we previously showed to be new vacuum solutions of quadratic metric-affine gravity. Our analysis shows that classical pp-waves of parallel Ricci curvature should not be viewed on their own. They are a particular representation of a wider class of solutions, namely generalised pp-waves of parallel Ricci curvature. We compare our pp-waves with purely axial torsion to solutions of Einstein-Weyl theory, the classical model describing the interaction of gravitational and massless neutrino fields.