title: Block Kronecker Linearizations of Matrix Polynomials and their Backward Errors

abstract: We introduce a new family of strong linearizations of matrix polynomials---which we call "block Kronecker pencils"---and perform a backward stability analysis of complete polynomial eigenproblems. These problems are solved by applying any backward stable algorithm to a block Kronecker pencil, such as the staircase algorithm for singular pencils or the QZ algorithm for regular pencils. This stability analysis allows us to identify those block Kronecker pencils that yield a computed complete eigenstructure which is exactly that of a slightly perturbed matrix polynomial. The global backward error analysis in this work presents for the first time the following key properties: it is a rigurous analysis valid for finite perturbations (i.e., it is not a first order analysis), it provides precise bounds, it is valid simultaneously for a large class of linearizations, and it establishes a framework that may be generalized to other classes of linearizations. These features are related to the fact that block Kronecker pencils are a particular case of the new family of "strong block minimal bases pencils", which are robust under certain perturbations and, so, include certain perturbations of block Kronecker pencils. We hope that this robustness property will allow us to extend the results in this paper to other contexts.


title: Phase unwinding, or invariant subspace decompositions of Hardy spaces

abstract: We consider orthogonal decompositions of invariant subspaces of Hardy spaces, these relate to the Blaschke based phase unwinding decompositions. We prove convergence in Lp. In particular we build an explicit multiscale wavelet basis. We also obtain an explicit unwindinig decomposition for the singular inner function, exp 2i\pi/x.


title: Measurement of deep-subwavelength emitter separation in a waveguide-QED system

abstract: In the waveguide quantum electrodynamics (QED) system, emitter separation plays an important role for its functionality. Here, we present a method to measure the deep-subwavelength emitter separation in a waveguide-QED system. In this method, we can also determine the number of emitters within one diffraction-limited spot. In addition, we also show that ultrasmall emitter separation change can be detected in this system which may then be used as a waveguide-QED-based sensor to measure tiny local temperature/strain variation.


title: On the classification of four-dimensional gradient Ricci solitons

abstract: In this paper, we prove some classification results for four-dimensional gradient Ricci solitons. For a four-dimensional gradient shrinking Ricci soliton with $div^4Rm^\pm=0$, we show that it is either Einstein or a finite quotient of $\mathbb{R}^4$, $\mathbb{S}^2\times\mathbb{R}^2$ or $\mathbb{S}^3\times\mathbb{R}$. The same result can be obtained under the condition of $div^4W^\pm=0$. We also present some classification results of four-dimensional complete non-compact gradient expanding Ricci soliton with non-negative Ricci curvature and gradient steady Ricci solitons under certain curvature conditions.


title: A Godbillon-Vey type invariant for a 3-dimensional manifold with a plane field

abstract: We consider a 3-dimensional smooth manifold $M$ equipped with an arbitrary, \textit{a priori} non-integrable, distribution (plane field) ${\cal D}$ and a vector field $T$ transverse to ${\cal D}$. Using a 1-form $\omega$ such that ${\cal D} = \ker\,\omega$ and $\omega(T)=1$ we construct a 3-form analogous to that defining the Godbillon-Vey class of a foliation, and show how does this form depend on $\omega$ and~$T$. For a compatible Riemannian metric on $M$, we express this 3-form in terms of the curvature and torsion of normal curves and the non-symmetric second fundamental form of ${\cal D}$. We deduce Euler-Lagrange equations of associated functionals: for variable $({\cal D},T)$ on $M$, and for variable Riemannian or Randers metric on $(M,{\cal D})$. We show that for a geodesic field $T$ (e.g., for a contact structure) such $({\cal D},T)$ is critical, characterize critical pairs when ${\cal D}$ is integrable, and prove that these critical pairs are not extrema.


title: Do Neural Nets Learn Statistical Laws behind Natural Language?

abstract: The performance of deep learning in natural language processing has been spectacular, but the reasons for this success remain unclear because of the inherent complexity of deep learning. This paper provides empirical evidence of its effectiveness and of a limitation of neural networks for language engineering. Precisely, we demonstrate that a neural language model based on long short-term memory (LSTM) effectively reproduces Zipf's law and Heaps' law, two representative statistical properties underlying natural language. We discuss the quality of reproducibility and the emergence of Zipf's law and Heaps' law as training progresses. We also point out that the neural language model has a limitation in reproducing long-range correlation, another statistical property of natural language. This understanding could provide a direction for improving the architectures of neural networks.


title: Minimax deviation strategies for machine learning and recognition with short learning samples

abstract: The article is devoted to the problem of small learning samples in machine learning. The flaws of maximum likelihood learning and minimax learning are looked into and the concept of minimax deviation learning is introduced that is free of those flaws.


title: Moderate Deviation Asymptotics for Variable-Length Codes with Feedback

abstract: We consider data transmission across discrete memoryless channels (DMCs) using variable-length codes with feedback. We consider the family of such codes whose rates are $\rho_N$ below the channel capacity $C$, where $\rho_N$ is a positive sequence that tends to zero slower than the reciprocal of the square root of the expectation of the (random) blocklength $N$. This is known as the moderate deviations regime and we establish the optimal moderate deviations constant. We show that in this scenario, the error probability decays sub-exponentially with speed $\exp(-(B/C)N\rho_N)$, where $B$ is the maximum relative entropy between output distributions of the DMC.


title: Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis

abstract: In this paper we propose an improvement for flowpipe-construction-based reachability analysis techniques for hybrid systems. Such methods apply iterative successor computations to pave the reachable region of the state space by state sets in an over-approximative manner. As the computational costs steeply increase with the dimension, in this work we analyse the possibilities for improving scalability by dividing the search space in sub-spaces and execute reachability computations in the sub-spaces instead of the global space. We formalise such an algorithm and provide experimental evaluations to compare the efficiency as well as the precision of our sub-space search to the original search in the global space.


title: Julia sets as buried Julia components

abstract: Let $f$ be a rational map with degree $d\geq 2$ whose Julia set is connected but not equal to the whole Riemann sphere. It is proved that there exists a rational map $g$ such that $g$ contains a buried Julia component on which the dynamics is quasiconformally conjugate to that of $f$ on the Julia set if and only if $f$ does not have parabolic basins and Siegel disks. If such $g$ exists, then the degree can be chosen such that $\text{deg}(g)\leq 7d-2$. In particular, if $f$ is a polynomial, then $g$ can be chosen such that $\text{deg}(g)\leq 4d+4$. Moreover, some quartic and cubic rational maps whose Julia sets contain buried Jordan curves are also constructed.


title: Overcoming Catastrophic Interference by Conceptors

abstract: Catastrophic interference has been a major roadblock in the research of continual learning. Here we propose a variant of the back-propagation algorithm, "conceptor-aided back-prop" (CAB), in which gradients are shielded by conceptors against degradation of previously learned tasks. Conceptors have their origin in reservoir computing, where they have been previously shown to overcome catastrophic forgetting. CAB extends these results to deep feedforward networks. On the disjoint MNIST task CAB outperforms two other methods for coping with catastrophic interference that have recently been proposed in the deep learning field.


title: Competing magnetic and spin gap-less semiconducting behaviour in fully compensated ferrimagnet CrVTiAl: Theory and Experiment

abstract: We report the structural, magnetic and transport properties of polycrystalline CrVTiAl alloy along with first principles calculations. It crystallizes in the LiMgPdSn type structure with lattice parameter 6.14 \AA\ at room temperature. Absence of (111) peak along with the presence of a weak (200) peak indicates the antisite disorder of Al with Cr and V atoms. The magnetization measurements reveal a ferrimagnetic transition near 710 K and a coercive field of 100 Oe at 3 K. Very low moment and coercive field indicate fully compensated ferrimagnetism in the alloy. Temperature coefficient of resistivity is found to be negative, indicating a characteristic of semiconducting nature. Absence of exponential dependence of resistivity on temperature indicates a gapless/spin-gapless semiconducting behaviour. Electronic and magnetic properties of CrVTiAl for three possible crystallograpic configurations are studied theoretically. All the three configurations are found to be different forms of semiconductors. Ground state configuration is a fully compensated ferrimagnet with band gaps 0.58 eV and 0.30 eV for up and down spin bands respectively. The next higher energy configuration is also ferrimagnetic, but has spin-gapless semiconducting nature. The highest energy configuration corresponds to a non-magnetic gapless semiconductor. The energy differences among these configurations are quite small ($<$ 1 $\mathrm{mRy/atom}$) which hints that at finite temperatures, the alloy exists in a disordered phase, which is a mixture of the three configurations. By taking into account the theoretical and the experimental findings, we conclude that CrVTiAl is a fully compensated ferrimagnet with predominantly spin gap-less semiconductor nature.


title: Integrable lifts for transitive Lie algebroids

abstract: Inspired by the work of Molino, we show that the integrability obstruction for transitive Lie algebroids can be made to vanish by adding extra dimensions. In particular, we prove that the Weinstein groupoid of a non-integrable transitive and abelian Lie algebroid, is the quotient of a finite dimensional Lie groupoid. Two constructions as such are given: First, explaining the counterexample to integrability given by Almeida and Molino, we see that it can be generalized to the construction of an "Almeida-Molino" integrable lift when the base manifold is simply connected. On the other hand, we notice that the classical de Rham isomorphism provides a universal integrable algebroid. Using it we construct a "de Rham" integrable lift for any given transitive Abelian Lie algebroid.


title: A fractal perspective on optimal antichains and intersecting subsets of the unit $n$-cube

abstract: An \emph{$n$-cube antichain} is a subset of the unit $n$-cube $[0,1]^n$ that does not contain two elements $\mathbf{x}=(x_1, x_2,\ldots, x_n)$ and $\mathbf{y}=(y_1, y_2,\ldots, y_n)$ satisfying $x_i\le y_i$ for all $i\in \{1,\ldots,n\}$. Using a chain partition of an adequate finite poset we show that the Hausdorff dimension of an $n$-cube antichain is at most $n-1$.We conjecture that the $(n-1)$-dimensional Hausdorff measure of an $n$-cube antichain is at most $n$ times the Hausdorff measure of a facet of the unit $n$-cube and we verify this conjecture for $n=2$ as well as under the assumption that the $n$-cube antichain is a smooth surface. Our proofs employ estimates on the Hausdorff measure of an $n$-cube antichain in terms of the sum of the Hausdorff measures of its injective projections. Moreover, by proceeding along devil's staircase, we construct a $2$-cube antichain whose $1$-dimensional Hausdorff measure equals $2$. Additionally, we discuss a problem with an intersection condition in a similar setting.


title: The "Folk Theorem" on Effective Field Theory: How Does It Fare in Nuclear Physics?

abstract: This is a brief history of what I consider as very important, some of which truly seminal, contributions made by young Korean nuclear theorists, mostly graduate students working on PhD thesis in 1990's and early 2000's, to nuclear effective field theory, nowadays heralded as the first-principle approach to nuclear physics. The theoretical framework employed is an effective field theory anchored on a scale-invariant hidden local symmetric Lagrangian constructed along the line of Weinberg's "Folk Theorem" on effective field theory. The problems addressed are the high-precision calculations on the thermal $np$ capture, the solar $pp$ fusion process, the solar $hep$ process -- John Bahcall's challenge to nuclear theorists -- and the quenching of $g_A$ in giant Gamow-Teller resonances and the whopping enhancement of first-forbidden beta transitions in astrophysical processes. Extending adventurously the strategy to a wild uncharted domain in which a systematic implementation of the "theorem" is far from obvious, the same effective Lagrangian is applied to the structure of compact stars. A surprising result on the properties of massive stars, totally different from what has been obtained up to day in the literature, is predicted, such as the precocious onset of conformal sound velocity together with the possible emergence of hidden symmetries such as scale symmetry and hidden local symmetry.


title: On Approximating the Number of $k$-cliques in Sublinear Time

abstract: We study the problem of approximating the number of $k$-cliques in a graph when given query access to the graph. We consider the standard query model for general graphs via (1) degree queries, (2) neighbor queries and (3) pair queries. Let $n$ denote the number of vertices in the graph, $m$ the number of edges, and $C_k$ the number of $k$-cliques. We design an algorithm that outputs a $(1+\varepsilon)$-approximation (with high probability) for $C_k$, whose expected query complexity and running time are $O\left(\frac{n}{C_k^{1/k}}+\frac{m^{k/2}}{C_k}\right)\poly(\log n,1/\varepsilon,k)$. Hence, the complexity of the algorithm is sublinear in the size of the graph for $C_k = \omega(m^{k/2-1})$. Furthermore, we prove a lower bound showing that the query complexity of our algorithm is essentially optimal (up to the dependence on $\log n$, $1/\varepsilon$ and $k$). The previous results in this vein are by Feige (SICOMP 06) and by Goldreich and Ron (RSA 08) for edge counting ($k=2$) and by Eden et al. (FOCS 2015) for triangle counting ($k=3$). Our result matches the complexities of these results. The previous result by Eden et al. hinges on a certain amortization technique that works only for triangle counting, and does not generalize for larger cliques. We obtain a general algorithm that works for any $k\geq 3$ by designing a procedure that samples each $k$-clique incident to a given set $S$ of vertices with approximately equal probability. The primary difficulty is in finding cliques incident to purely high-degree vertices, since random sampling within neighbors has a low success probability. This is achieved by an algorithm that samples uniform random high degree vertices and a careful tradeoff between estimating cliques incident purely to high-degree vertices and those that include a low-degree vertex.


title: Constructions of Optimal and Near-Optimal Quasi-Complementary Sequence Sets from an Almost Difference Set

abstract: Compared with the perfect complementary sequence sets, quasi-complementary sequence sets (QCSSs) can support more users to work in multicarrier CDMA communications. A near-optimal periodic QCSS is constructed in this paper by using an optimal quaternary sequence set and an almost difference set. With the change of the values of parameters in the almost difference set, the near-optimal QCSS can become asymptotically optimal and the number of users supported by the subcarrier channels in CDMA system has an exponential growth.


title: Automated Detection of Non-Relevant Posts on the Russian Imageboard "2ch": Importance of the Choice of Word Representations

abstract: This study considers the problem of automated detection of non-relevant posts on Web forums and discusses the approach of resolving this problem by approximation it with the task of detection of semantic relatedness between the given post and the opening post of the forum discussion thread. The approximated task could be resolved through learning the supervised classifier with a composed word embeddings of two posts. Considering that the success in this task could be quite sensitive to the choice of word representations, we propose a comparison of the performance of different word embedding models. We train 7 models (Word2Vec, Glove, Word2Vec-f, Wang2Vec, AdaGram, FastText, Swivel), evaluate embeddings produced by them on dataset of human judgements and compare their performance on the task of non-relevant posts detection. To make the comparison, we propose a dataset of semantic relatedness with posts from one of the most popular Russian Web forums, imageboard "2ch", which has challenging lexical and grammatical features.


title: Strongly modular models of $\mathbb Q$-curves

abstract: Let $E$ be a $\mathbb Q$-curve without complex multiplication. We address the problem of deciding whether $E$ is geometrically isomorphic to a strongly modular $\mathbb Q$-curve. We show that the question has a positive answer if and only if $E$ has a model that is completely defined over an abelian number field. Next, if $E$ is completely defined over a quadratic or biquadratic number field $L$, we classify all strongly modular twists of $E$ over $L$ in terms of the arithmetic of $L$. Moreover, we show how to determine which of these twists come, up to isogeny, from a subfield of $L$.


title: Metabolic plasticity in synthetic lethal mutants: viability at higher cost

abstract: The most frequent form of pairwise synthetic lethality (SL) in metabolic networks is known as plasticity synthetic lethality (PSL). It occurs when the simultaneous inhibition of paired functional and silent metabolic reactions or genes is lethal, while the default of the functional reaction or gene in the pair is backed up by the activation of the silent one. Based on a complex systems approach and by using computational techniques on bacterial genome-scale metabolic reconstructions, we found that the failure of the functional PSL partner triggers a critical reorganization of fluxes to ensure viability in the mutant which not only affects the SL pair but a significant fraction of other interconnected reactions forming what we call a SL cluster. Interestingly, SL clusters show a strong entanglement both in terms of silent coessential reactions, which band together to form backup systems, and of other functional and silent reactions in the metabolic network. This strong overlap, also detected at the level of genes, mitigates the acquired vulnerabilities and increased structural and functional costs that pay for the robustness provided by essential plasticity. Finally, the participation of coessential reactions and genes in different SL clusters is very heterogeneous and those at the intersection of many SL clusters could serve as supertargets for more efficient drug action in the treatment of complex diseases and to elucidate improved strategies directed to reduce undesired resistance to chemicals in pathogens.


title: Uncertainty principles and optimally sparse wavelet transforms

abstract: In this paper we introduce a new localization framework for wavelet transforms, such as the 1D wavelet transform and the Shearlet transform. Our goal is to design nonadaptive window functions that promote sparsity in some sense. For that, we introduce a framework for analyzing localization aspects of window functions. Our localization theory diverges from the conventional theory in two ways. First, we distinguish between the group generators, and the operators that measure localization (called observables). Second, we define the uncertainty of a signal transform based on a window as a whole, instead of defining the uncertainty of an individual window. We show that the uncertainty of a window function, in the signal space, is closely related to the localization of the reproducing kernel of the wavelet transform, in phase space. As a result, we show that using uncertainty minimizing window functions, results in representations which are optimally sparse in some sense.


title: Testing bounded arboricity

abstract: In this paper we consider the problem of testing whether a graph has bounded arboricity. The family of graphs with bounded arboricity includes, among others, bounded-degree graphs, all minor-closed graph classes (e.g. planar graphs, graphs with bounded treewidth) and randomly generated preferential attachment graphs. Graphs with bounded arboricity have been studied extensively in the past, in particular since for many problems they allow for much more efficient algorithms and/or better approximation ratios. We present a tolerant tester in the sparse-graphs model. The sparse-graphs model allows access to degree queries and neighbor queries, and the distance is defined with respect to the actual number of edges. More specifically, our algorithm distinguishes between graphs that are $\epsilon$-close to having arboricity $\alpha$ and graphs that $c \cdot \epsilon$-far from having arboricity $3\alpha$, where $c$ is an absolute small constant. The query complexity and running time of the algorithm are $\tilde{O}\left(\frac{n}{\sqrt{m}}\cdot \frac{\log(1/\epsilon)}{\epsilon} + \frac{n\cdot \alpha}{m} \cdot \left(\frac{1}{\epsilon}\right)^{O(\log(1/\epsilon))}\right)$ where $n$ denotes the number of vertices and $m$ denotes the number of edges. In terms of the dependence on $n$ and $m$ this bound is optimal up to poly-logarithmic factors since $\Omega(n/\sqrt{m})$ queries are necessary (and $\alpha = O(\sqrt{m}))$. We leave it as an open question whether the dependence on $1/\epsilon$ can be improved from quasi-polynomial to polynomial. Our techniques include an efficient local simulation for approximating the outcome of a global (almost) forest-decomposition algorithm as well as a tailored procedure of edge sampling.


title: First Principles Study of the Giant Magnetic Anisotropy Energy in Bulk Na4IrO4

abstract: In 5d transition metal oxides, novel properties arise from the interplay of electron correlations and spin--orbit interactions. Na4IrO4, where 5d transition-metal Ir atom occupies the center of the square-planar coordination environment, is synthesized. Based on density functional theory, we calculate its electronic and magnetic properties. Our numerical results show that the Ir-5d bands are quite narrow, and the bands around the Fermi level are mainly contributed by d_{xy},d_{yz} and d_{zx} orbitals. The magnetic easy-axis is perpendicular to the IrO4 plane, and the magnetic anisotropy energy (MAE) of Na4IrO4 is found to be very giant. We estimate the magnetic parameters by mapping the calculated total energy for different spin configurations onto a spin model. The next nearest neighbor exchange interaction J2 is much larger than other intersite exchange interactions and results in the magnetic ground state configuration. Our study clearly demonstrates that the huge MAE comes from the single-ion anisotropy rather than the anisotropic interatomic spin exchange. This compound has a large spin gap but very narrow spin-wave dispersion, due to the large single-ion anisotropy and relatively small exchange couplings. Noticing this remarkable magnetic feature originated from its highly isolated IrO4 moiety, we also explore the possiblity to further enhance the MAE.


title: Separated monic representations II: Frobenius subcategories and RSS equivalences

abstract: This paper aims at looking for Frobenius subcategories, via the separated monomorphism category ${\rm smon}(Q, I, \x)$, and on the other hand, to establish an {\rm RSS} equivalence from ${\rm smon}(Q, I, \x)$ to its dual ${\rm sepi}(Q, I, \x)$. For a bound quiver $(Q, I)$ and an algebra $A$, where $Q$ is acyclic and $I$ is generated by monomial relations, let $\Lambda=A\otimes_k kQ/I$. For any additive subcategory $\x$ of $A$-mod, we construct ${\rm smon}(Q, I, \x)$ combinatorially. This construction describe Gorenstein-projective $\m$-modules as $\mathcal {GP}(\m) = {\rm smon}(Q, I, \mathcal {GP}(A))$. It admits a homological interpretation, and enjoys a reciprocity ${\rm smon}(Q, I, \ ^\bot T)= \ ^\bot (T\otimes kQ/I)$ for a cotilting $A$-module $T$. As an application, ${\rm smon}(Q, I, \x)$ has Auslander-Reiten sequences if $\x$ is resolving and contravariantly finite with $\widehat{\x}=A$-mod. In particular, ${\rm smon}(Q, I, A)$ has Auslander-Reiten sequences. It also admits a filtration interpretation as ${\rm smon}(Q, I, \mathscr{X})={\rm Fil}(\mathscr{X}\otimes \mathcal P(kQ/I))$, provided that $\x$ is extension-closed. As an application, ${\rm smon}(Q, I, \x)$ is an extension-closed Frobenius subcategory if and only if so is $\x$. This gives "new" Frobenius subcategories of $\m$-mod in the sense that they are not $\mathcal{GP}(\m)$. Ringel-Schmidmeier-Simson equivalence ${\rm smon}(Q, I, \x)\cong{\rm sepi}(Q, I, \x)$ is introduced and the existence is proved for arbitrary extension-closed subcategories $\x$. In particular, the Nakayama functor $\mathcal N_\m$ gives an {\rm RSS} equivalence ${\rm smon}(Q, I, A)\cong{\rm sepi}(Q, I, A)$ if and only if $A$ is Frobenius. For a chain $Q$ with arbitrary $I$, an explicit formula of an {\rm RSS} equivalence is found for arbitrary additive subcategories $\x$.


title: Near Optimal Sized Weight Tolerant Subgraph for Single Source Shortest Path

abstract: In this paper we address the problem of computing a sparse subgraph of a weighted directed graph such that the exact distances from a designated source vertex to all other vertices are preserved under bounded weight increment. Finding a small sized subgraph that preserves distances between any pair of vertices is a well studied problem. Since in the real world any network is prone to failures, it is natural to study the fault tolerant version of the above problem. Unfortunately, it turns out that there may not always exist such a sparse subgraph even under single edge failure [Demetrescu \emph{et al.} '08]. However in real applications it is not always the case that a link (edge) in a network becomes completely faulty. Instead, it can happen that some links become more congested which can easily be captured by increasing weight on the corresponding edges. Thus it makes sense to try to construct a sparse distance preserving subgraph under the above weight increment model. To the best of our knowledge this problem has not been studied so far. In this paper we show that given any weighted directed graph with $n$ vertices and a source vertex, one can construct a subgraph that contains at most $e \cdot (k-1)!2^kn$ many edges such that it preserves distances between the source and all other vertices as long as the total weight increment is bounded by $k$ and we are allowed to have only integer valued (can be negative) weight on each edge and also weight of an edge can only be increased by some positive integer. Next we show a lower bound of $c\cdot 2^kn$, for some constant $c \ge 5/4$, on the size of the subgraph. We also argue that restriction of integer valued weight and integer valued weight increment are actually essential by showing that if we remove any one of these two restrictions we may need to store $\Omega(n^2)$ edges to preserve distances.


title: Forecasting the U.S. Real House Price Index

abstract: The 2006 sudden and immense downturn in U.S. House Prices sparked the 2007 global financial crisis and revived the interest about forecasting such imminent threats for economic stability. In this paper we propose a novel hybrid forecasting methodology that combines the Ensemble Empirical Mode Decomposition (EEMD) from the field of signal processing with the Support Vector Regression (SVR) methodology that originates from machine learning. We test the forecasting ability of the proposed model against a Random Walk (RW) model, a Bayesian Autoregressive and a Bayesian Vector Autoregressive model. The proposed methodology outperforms all the competing models with half the error of the RW model with and without drift in out-of-sample forecasting. Finally, we argue that this new methodology can be used as an early warning system for forecasting sudden house prices drops with direct policy implications.


title: Space-time-unified GIRM (Generalized Integral Representation Method) for unsteady advective diffusion

abstract: The Generalized Integral Representation Method (GIRM) for Space-Time-Separated Method (STSM) and Space-Time-Unified Method (STUM) are discussed. STSM and STUM give explicit and implicit time evolutions, respectively. The algorithm of STSM is much simpler than STUM. However, the implicit time evolution of STUM could give us much more efficient computation. Numerical calculations using STUM for Dirichlet and Neumann problems in 2D space-time are conducted using a Traditional Fundamental Solution (TFS). The results seem very satisfactory. However, in case of Neumann problem, the time increment must be smaller than in case of Dirichlet problem.


title: Environmental impact assessment for climate change policy with the simulation-based integrated assessment model E3ME-FTT-GENIE

abstract: A high degree of consensus exists in the climate sciences over the role that human interference with the atmosphere is playing in changing the climate. Following the Paris Agreement, a similar consensus exists in the policy community over the urgency of policy solutions to the climate problem. The context for climate policy is thus moving from agenda setting, which has now been mostly established, to impact assessment, in which we identify policy pathways to implement the Paris Agreement. Most integrated assessment models currently used to address the economic and technical feasibility of avoiding climate change are based on engineering perspectives with a normative systems optimisation philosophy, suitable for agenda setting, but unsuitable to assess the socio-economic impacts of a realistic baskets of climate policies. Here, we introduce a fully descriptive, simulation-based integrated assessment model designed specifically to assess policies, formed by the combination of (1) a highly disaggregated macro-econometric simulation of the global economy based on time series regressions (E3ME), (2) a family of bottom-up evolutionary simulations of technology diffusion based on cross-sectional discrete choice models (FTT), and (3) a carbon cycle and atmosphere circulation model of intermediate complexity (GENIE-1). We use this combined model to create a detailed global and sectoral policy map and scenario that sets the economy on a pathway that achieves the goals of the Paris Agreement with >66% probability of not exceeding 2$^\circ$C of global warming. We propose a blueprint for a new role for integrated assessment models in this upcoming policy assessment context.


title: Cardinal Invariants for the $G_\delta$ topology

abstract: We prove upper bounds for the spread, the Lindel\"of number and the weak Lindel\"of number of the $G_\delta$-topology on a topological space and apply a few of our bounds to give a short proof to a recent result of Juh\'asz and van Mill regarding the cardinality of a $\sigma$-countably tight homogeneous compactum.


title: On loose Legendrian knots in rational homology spheres

abstract: We prove that loose Legendrian knots in a rational homology contact 3-sphere, satisfying some additional hypothesis, are Legendrian isotopic if and only if they have the same classical invariants. The proof requires a result of Dymara on loose Legendrian knots and Eliashberg's classification of overtwisted contact structures on 3-manifolds.


title: Efficient Architecture Search by Network Transformation

abstract: Techniques for automatically designing deep neural network architectures such as reinforcement learning based approaches have recently shown promising results. However, their success is based on vast computational resources (e.g. hundreds of GPUs), making them difficult to be widely used. A noticeable limitation is that they still design and train each network from scratch during the exploration of the architecture space, which is highly inefficient. In this paper, we propose a new framework toward efficient architecture search by exploring the architecture space based on the current network and reusing its weights. We employ a reinforcement learning agent as the meta-controller, whose action is to grow the network depth or layer width with function-preserving transformations. As such, the previously validated networks can be reused for further exploration, thus saves a large amount of computational cost. We apply our method to explore the architecture space of the plain convolutional neural networks (no skip-connections, branching etc.) on image benchmark datasets (CIFAR-10, SVHN) with restricted computational resources (5 GPUs). Our method can design highly competitive networks that outperform existing networks using the same design scheme. On CIFAR-10, our model without skip-connections achieves 4.23\% test error rate, exceeding a vast majority of modern architectures and approaching DenseNet. Furthermore, by applying our method to explore the DenseNet architecture space, we are able to achieve more accurate networks with fewer parameters.


title: Regularity of Powers of edge ideal of very well-covered graphs

abstract: Let $k\geq 3$ be an integer and $G$ be a very well-covered graph with ${\rm odd-girth}(G)\geq 2k+1$. Assume that $I(G)$ is the edge ideal of $G$. We show that for every integer $s$ with $1\leq s\leq k-2$, we have ${\rm reg}(I(G)^s)=2s+\nu(G)-1$, where $\nu (G)$ is the induced matching number of $G$.


title: Coding sets with asymmetric information

abstract: We study the following one-way asymmetric transmission problem, also a variant of model-based compressed sensing: a resource-limited encoder has to report a small set $S$ from a universe of $N$ items to a more powerful decoder (server). The distinguishing feature is asymmetric information: the subset $S$ is comprised of i.i.d. samples from a prior distribution $\mu$, and $\mu$ is only known to the decoder. The goal for the encoder is to encode $S$ obliviously, while achieving the information-theoretic bound of $|S| \cdot H(\mu)$, i.e., the Shannon entropy bound. We first show that any such compression scheme must be {\em randomized}, if it gains non-trivially from the prior $\mu$. This stands in contrast to the symmetric case (when both the encoder and decoder know $\mu$), where the Huffman code provides a near-optimal deterministic solution. On the other hand, a rather simple argument shows that, when $|S|=k$, a random linear code achieves near-optimal communication rate of about $k\cdot H(\mu)$ bits. Alas, the resulting scheme has prohibitive decoding time: about ${N\choose k} \approx (N/k)^k$. Our main result is a computationally efficient and linear coding scheme, which achieves an $O(\lg\lg N)$-competitive communication ratio compared to the optimal benchmark, and runs in $\text{poly}(N,k)$ time. Our "multi-level" coding scheme uses a combination of hashing and syndrome-decoding of Reed-Solomon codes, and relies on viewing the (unknown) prior $\mu$ as a rather small convex combination of uniform ("flat") distributions.


title: Rigged configuration bijection and proof of the $X=M$ conjecture for nonexceptional affine types

abstract: We establish a bijection between rigged configurations and highest weight elements of a tensor product of Kirillov-Reshetikhin crystals for all nonexceptional types. A key idea for the proof is to embed both objects into bigger sets for simply-laced types $A_n^{(1)}$ or $D_n^{(1)}$, whose bijections have already been established. As a consequence we settle the $X=M$ conjecture in full generality for nonexceptional types. Furthermore, the bijection extends to a classical crystal isomorphism and sends the combinatorial $R$-matrix to the identity map on rigged configurations.


title: Optical Music Recognition with Convolutional Sequence-to-Sequence Models

abstract: Optical Music Recognition (OMR) is an important technology within Music Information Retrieval. Deep learning models show promising results on OMR tasks, but symbol-level annotated data sets of sufficient size to train such models are not available and difficult to develop. We present a deep learning architecture called a Convolutional Sequence-to-Sequence model to both move towards an end-to-end trainable OMR pipeline, and apply a learning process that trains on full sentences of sheet music instead of individually labeled symbols. The model is trained and evaluated on a human generated data set, with various image augmentations based on real-world scenarios. This data set is the first publicly available set in OMR research with sufficient size to train and evaluate deep learning models. With the introduced augmentations a pitch recognition accuracy of 81% and a duration accuracy of 94% is achieved, resulting in a note level accuracy of 80%. Finally, the model is compared to commercially available methods, showing a large improvements over these applications.


title: Bayesian nonparametric spectral density estimation using B-spline priors

abstract: We present a new Bayesian nonparametric approach to estimating the spectral density of a stationary time series. A nonparametric prior based on a mixture of B-spline distributions is specified and can be regarded as a generalization of the Bernstein polynomial prior of Petrone (1999a,b) and Choudhuri et al. (2004). Whittle's likelihood approximation is used to obtain the pseudo-posterior distribution. This method allows for a data-driven choice of the number of mixture components and the location of knots. Posterior samples are obtained using a Metropolis-within-Gibbs Markov chain Monte Carlo algorithm, and mixing is improved using parallel tempering. We conduct a simulation study to demonstrate that for complicated spectral densities, the B-spline prior provides more accurate Monte Carlo estimates in terms of $L_1$-error and uniform coverage probabilities than the Bernstein polynomial prior. We apply the algorithm to annual mean sunspot data to estimate the solar cycle. Finally, we demonstrate the algorithm's ability to estimate a spectral density with sharp features, using real gravitational wave detector data from LIGO's sixth science run, recoloured to match the Advanced LIGO target sensitivity.


title: Listening while Speaking: Speech Chain by Deep Learning

abstract: Despite the close relationship between speech perception and production, research in automatic speech recognition (ASR) and text-to-speech synthesis (TTS) has progressed more or less independently without exerting much mutual influence on each other. In human communication, on the other hand, a closed-loop speech chain mechanism with auditory feedback from the speaker's mouth to her ear is crucial. In this paper, we take a step further and develop a closed-loop speech chain model based on deep learning. The sequence-to-sequence model in close-loop architecture allows us to train our model on the concatenation of both labeled and unlabeled data. While ASR transcribes the unlabeled speech features, TTS attempts to reconstruct the original speech waveform based on the text from ASR. In the opposite direction, ASR also attempts to reconstruct the original text transcription given the synthesized speech. To the best of our knowledge, this is the first deep learning model that integrates human speech perception and production behaviors. Our experimental results show that the proposed approach significantly improved the performance more than separate systems that were only trained with labeled data.


title: Convergence analysis of Adaptive Biasing Potential methods for diffusion processes

abstract: This article is concerned with the mathematical analysis of a family of adaptive importance sampling algorithms applied to diffusion processes. These methods, referred to as Adaptive Biasing Potential methods, are designed to efficiently sample the invariant distribution of the diffusion process, thanks to the approximation of the associated free energy function (relative to a reaction coordinate). The bias which is introduced in the dynamics is computed adaptively; it depends on the past of the trajectory of the process through some time-averages. We give a detailed and general construction of such methods. We prove the consistency of the approach (almost sure convergence of well-chosen weighted empirical probability distribution). We justify the efficiency thanks to several qualitative and quantitative additional arguments. To prove these results , we revisit and extend tools from stochastic approximation applied to self-interacting diffusions, in an original context.


title: Generative Adversarial Network based on Resnet for Conditional Image Restoration

abstract: The GANs promote an adversarive game to approximate complex and jointed example probability. The networks driven by noise generate fake examples to approximate realistic data distributions. Later the conditional GAN merges prior-conditions as input in order to transfer attribute vectors to the corresponding data. However, the CGAN is not designed to deal with the high dimension conditions since indirect guide of the learning is inefficiency. In this paper, we proposed a network ResGAN to generate fine images in terms of extremely degenerated images. The coarse images aligned to attributes are embedded as the generator inputs and classifier labels. In generative network, a straight path similar to the Resnet is cohered to directly transfer the coarse images to the higher layers. And adversarial training is circularly implemented to prevent degeneration of the generated images. Experimental results of applying the ResGAN to datasets MNIST, CIFAR10/100 and CELEBA show its higher accuracy to the state-of-art GANs.


title: High-energy gamma-ray studying with GAMMA-400

abstract: Extraterrestrial gamma-ray astronomy is now a source of new knowledge in the fields of astrophysics, cosmic-ray physics, and the nature of dark matter. The next absolutely necessary step in the development of extraterrestrial high-energy gamma-ray astronomy is the improvement of the physical and technical characteristics of gamma-ray telescopes, especially the angular and energy resolutions. Such a new generation telescope will be GAMMA-400. GAMMA-400, currently developing gamma-ray telescope, together with X-ray telescope will precisely and detailed observe in the energy range of ~20 MeV to ~1000 GeV and 3-30 keV the Galactic plane, especially, Galactic Center, Fermi Bubbles, Crab, Cygnus, etc. The GAMMA- 400 will operate in the highly elliptic orbit continuously for a long time with the unprecedented angular (~0.01{\deg} at E{\gamma} = 100 GeV) and energy (~1% at E{\gamma} = 100 GeV) resolutions better than the Fermi-LAT, as well as ground gamma-ray telescopes, by a factor of 5-10. GAMMA-400 will permit to resolve gamma rays from annihilation or decay of dark matter particles, identify many discrete sources (many of which are variable), to clarify the structure of extended sources, to specify the data on the diffuse emission.


title: The high-performance data acquisition system for the GAMMA-400 satellite-borne gamma-ray telescope

abstract: The future GAMMA-400 space mission is aimed for the study of gamma rays in the energy range from ~20 MeV up to ~1 TeV. The observations will carry out with GAMMA-400 gamma-ray telescope installed on-board the Russian Space Observatory. We present the detailed description of the architecture and performances of scientific data acquisition system (SDAQ) developing by SRISA for the GAMMA-400 instrument. SDAQ provides the collection of the data from telescope detector subsystems (up to 100 GB per day), the preliminary processing of scientific information and its accumulation in mass memory, transferring the information from mass memory to the satellite high-speed radio line for its transmission to the ground station, the control and monitoring of the telescope subsystems. SDAQ includes special space qualified chipset designed by SRISA and has scalable modular net structure based on fast and high-reliable serial interfaces.


title: Multispin interaction of plaquette lattice in SU(N) system

abstract: This article consider a situation of SU(N) system with broken symmetry, and therefore the spin-liquid phase is exist in the phase transition stage. And explore the antiferromagnetic spin interaction with long range order in a two dimension square lattice using the two alkaline earth atoms state short range interaction. The appearance of spin liquid due to noncolline mechanism which causing by destruction of long range order in this model is mentioned. In a N-site fermion-model system, I analyse the effect of fluctuation on order and phase transition. As well as this N-component spin system with disordered spin, the critical phenomenon is showed to reflect the fluctuation effection on process of phase transtion.


title: Improved deep learning based macromolecules structure classification from electron cryo tomograms

abstract: Cellular processes are governed by macromolecular complexes inside the cell. Study of the native structures of macromolecular complexes has been extremely difficult due to lack of data. With recent breakthroughs in Cellular electron cryo tomography (CECT) 3D imaging technology, it is now possible for researchers to gain accesses to fully study and understand the macromolecular structures single cells. However, systematic recovery of macromolecular structures from CECT is very difficult due to high degree of structural complexity and practical imaging limitations. Specifically, we proposed a deep learning based image classification approach for large-scale systematic macromolecular structure separation from CECT data. However, our previous work was only a very initial step towards exploration of the full potential of deep learning based macromolecule separation. In this paper, we focus on improving classification performance by proposing three newly designed individual CNN models: an extended version of (Deep Small Receptive Field) DSRF3D, donated as DSRF3D-v2, a 3D residual block based neural network, named as RB3D and a convolutional 3D(C3D) based model, CB3D. We compare them with our previously developed model (DSRF3D) on 12 datasets with different SNRs and tilt angle ranges. The experiments show that our new models achieved significantly higher classification accuracies. The accuracies are not only higher than 0.9 on normal datasets, but also demonstrate potentials to operate on datasets with high levels of noises and missing wedge effects presented.


title: Chiral symmetry and the properties of hadrons in the Generalised Nambu-Jona-Lasinio model

abstract: Various aspects of the Generalised Nambu-Jona-Lasinio model for QCD in four dimensions are reviewed. The properties of mesonic excitations are discussed in detail, with special attention paid to the chiral pion. The spontaneous chiral symmetry breaking in the vacuum and the effective chiral symmetry restoration in the spectrum of highly excited mesons and baryons are described microscopically.


title: Unquenching and unitarising mesons in quark models and on the lattice

abstract: Mesons with masses below their lowest OZI-allowed strong-decay thresholds have very small widths. Thus, it is usually believed that they can be safely treated as pure quark-antiquark bound states in spectroscopy models. However, unitarised and coupled-channel models from decades ago already indicated that this may not be the case, owing to significant virtual meson-loop contributions. Recent unquenched lattice calculations that include two-meson interpolators besides the usual $q\bar{q}$ ones confirm the latter conclusion, in particular for the enigmatic narrow $D_{s0}^\star(2317)$, $D_{s1}(2460)$, and $X(3872)$ states. Here, we briefly review some predictions of some old and new quark models that go beyond the static description of mesons, also in comparison with up-to-date lattice results.


title: Background-free 3D nanometric localisation and sub-nm asymmetry detection of single plasmonic nanoparticles by four-wave mixing interferometry with optical vortices

abstract: Single nanoparticle tracking using optical microscopy is a powerful technique with many applications in biology, chemistry and material sciences. Despite significant advances, localising objects with nanometric position accuracy in a scattering environment remains challenging. Applied methods to achieve contrast are dominantly fluorescence based, with fundamental limits in the emitted photon fluxes arising from the excited-state lifetime as well as photobleaching. Furthermore, every localisation method reported to date requires signal acquisition from multiple spatial points, with consequent speed limitations. Here, we show a new four-wave mixing interferometry technique, whereby the position of a single non-fluorescing gold nanoparticle is determined with better than 20 nm accuracy in plane and 1 nm axially from rapid single-point acquisition measurements by exploiting optical vortices. The technique is also uniquely sensitive to particle asymmetries of only 0.5% aspect ratio, corresponding to a single atomic layer of gold, as well as particle orientation, and the detection is background-free even inside biological cells. This method opens new ways of of unraveling single-particle trafficking within complex 3D architectures.


title: Radiative rotational lifetimes and state-resolved relative detachment cross sections from photodetachment thermometry of molecular anions in a cryogenic storage ring

abstract: Photodetachment thermometry on a beam of OH$^-$ in a cryogenic storage ring cooled to below 10 K is carried out using two-dimensional, frequency and time dependent photodetachment spectroscopy over 20 minutes of ion storage. In equilibrium with the low-level blackbody field, we find an effective radiative temperature near 15 K with about 90% of all ions in the rotational ground state. We measure the J = 1 natural lifetime (about 193 s) and determine the OH$^-$ rotational transition dipole moment with 1.5% uncertainty. We also measure rotationally dependent relative near-threshold photodetachment cross sections for photodetachment thermometry.


title: About de Polignac's conjecture

abstract: In this note we present a method to bound gaps between primes via the divergence of the series of reciprocals of the prime numbers, a consequence of a version of the Bertrand's test for convergence of series of positive numbers and a suitable series of positive terms related to the logarithmic integral function. Using this proposed method we discuss the Polignac's conjecture and present some consequences.


title: Effective dielectric response of dispersions of graded particles

abstract: Based upon our compact group approach and the Hashin-Shtrikman variational theorem, we propose a new solution, which effectively incorporates many-particle effects in concentrated systems, to the problem of the effective quasistatic permittivity of dispersions of graded dielectric particles. After the theory is shown to recover existing analytical results and simulation data for dispersions of hard dielectric spheres with power-law permittivity profiles, we use it to describe the effective dielectric response of nonconducting polymer-ceramic composites modeled as dispersions of dielectric core-shell particles. Possible generalizations of the results are specified.


title: A secure approach for embedding message text on an elliptic curve defined over prime fields, and building 'EC-RSA-ELGamal' Cryptographic System

abstract: This paper presents a new probabilistic approach to embedding message text on an elliptic curve, by using the concept of the RSA Algorithm and its security, and such approach allows us discovering the message from the point, only according to the security of the RSA Algorithm. By mixing between the concept of this approach and the concept of EC-ELGamal Cryptographic System, we have built a cryptographic System and we named it 'EC-RSA-ELGamal'


title: Derivative formulas and applications for degenerate SDEs with fractional noises

abstract: For degenerate stochastic differential equations driven by fractional Brownian motions with Hurst parameter $H>1/2$, the derivative formulas are established by using Malliavin calculus and coupling method, respectively. Furthermore, we find some relation between these two approaches. As applications, the (log) Harnack inequalities and the hyperbounded property are presented.


title: Further Formalization of the Process Algebra CCS in HOL4

abstract: In this project, we have extended previous work on the formalization of the process algebra CCS in HOL4. We have added full supports on weak bisimulation equivalence and observation congruence (rooted weak equivalence), with related definitions, theorems and algebraic laws. Some deep lemmas were also formally proved in this project, including Deng Lemma, Hennessy Lemma and several versions of the "Coarsest congruence contained in weak equivalence". For the last theorem, we have proved the full version (without any assumption) based on ordinals.


title: Intermittency for the stochastic heat equation with L\'evy noise

abstract: We investigate the moment asymptotics of the solution to the stochastic heat equation driven by a $(d+1)$-dimensional L\'evy space--time white noise. Unlike the case of Gaussian noise, the solution typically has no finite moments of order $1+2/d$ or higher. Intermittency of order $p$, that is, the exponential growth of the $p$th moment as time tends to infinity, is established in dimension $d=1$ for all values $p\in(1,3)$, and in higher dimensions for some $p\in(1,1+2/d)$. The proof relies on a new moment lower bound for stochastic integrals against compensated Poisson measures. The behavior of the intermittency exponents when $p\to 1+2/d$ further indicates that intermittency in the presence of jumps is much stronger than in equations with Gaussian noise. The effect of other parameters like the diffusion constant or the noise intensity on intermittency will also be analyzed in detail.


title: An Accelerated Testing Approach for Automated Vehicles with Background Traffic Described by Joint Distributions

abstract: This paper proposes a new framework based on joint statistical models for evaluating risks of automated vehicles in a naturalistic driving environment. The previous studies on the Accelerated Evaluation for automated vehicles are extended from multi-independent-variate models to joint statistics. The proposed toolkit includes exploration of the rare event (e.g. crash) sets and construction of accelerated distributions for Gaussian Mixture models using Importance Sampling techniques. Furthermore, the monotonic property is used to avoid the curse of dimensionality introduced by the joint distributions. Simulation results show that the procedure is effective and has a great potential to reduce the test cost for automated vehicles.


title: Towards Affordable On-track Testing for Autonomous Vehicle - A Kriging-based Statistical Approach

abstract: This paper discusses the use of Kriging model in Automated Vehicle evaluation. We explore how a Kriging model can help reduce the number of experiments or simulations in the Accelerated Evaluation procedure. We also propose an adaptive sampling scheme for selecting samples to construct the Kriging model. Application examples in the lane change scenario are presented to illustrate the proposed methods.


title: Partial Domination in Graphs

abstract: Let $G=(V,E)$ be a graph. For some $\alpha$ with $0<\alpha \leq 1$, a subset $S$ of $V$ is said to be a $\alpha$-partial dominating set if $|N[S]|\geq \alpha |V|$. The size of a smallest such $S$ is called the $\alpha$-partial domination number and is denoted by $\mathsf{pd}_\alpha(G)$. In this paper, we introduce $\alpha$-partial domination number in a graph $G$ and study different bounds on the partial domination number of a graph $G$ with respect to its order, maximum degree, domination number etc., Moreover, $\alpha$-partial domination spectrum is introduced and Nordhaus-Gaddum bounds on the partial domination number are studied.


title: Realizing Majorana zero modes in superconductor-semiconductor heterostructures

abstract: Realizing topological superconductivity and Majorana zero modes in the laboratory is one of the major goals in condensed matter physics. We review the current status of this rapidly-developing field, focusing on semiconductor-superconductor proposals for topological superconductivity. Material science progress and robust signatures of Majorana zero modes in recent experiments are discussed. After a brief introduction to the subject, we outline several next-generation experiments probing exotic properties of Majorana zero modes, including fusion rules and non-Abelian exchange statistics. Finally, we discuss prospects for implementing Majorana-based topological quantum computation in these systems.


title: Schwarzschild-de Sitter spacetime: the role of Temperature in the emission of Hawking radiation

abstract: We consider a Schwarzschild-de Sitter (SdS) black hole, and focus on the emission of massless scalar fields either minimally or non-minimally coupled to gravity. We use six different temperatures, two black-hole and four effective ones for the SdS spacetime, as the question of the proper temperature for such a background is still debated in the literature. We study their profiles under the variation of the cosmological constant, and derive the corresponding Hawking radiation spectra. We demonstrate that only few of these temperatures may support significant emission of radiation. We finally compute the total emissivities for each temperature, and show that the non-minimal coupling constant of the scalar field to gravity also affects the relative magnitudes of the energy emission rates.


title: A Monolithic Topologically Protected Phononic Circuit

abstract: Precise control of elastic waves in modes and coherences is of great use in reinforcing nowadays elastic energy harvesting/storage, nondestructive testing, wave-mater interaction, high sensitivity sensing and information processing, etc. All these implementations are expected to have elastic transmission with lower transmission losses and higher degree of freedom in transmission path. Inspired by topological states of quantum matters, especially quantum spin Hall effects (QSHEs) providing passive solutions of unique disorder-immune surface states protected by underlying nontrivial topological invariants of the bulk, thus solving severe performance trade-offs in experimentally realizable topologically ordered states. Here, we demonstrate experimentally the first elastic analogue of QSHE, by a concise phononic crystal plate with only perforated holes. Strong elastic spin-orbit coupling is realized accompanied by the first topologically-protected phononic circuits with both robustness and negligible propagation loss overcoming many circuit- and system-level performance limits induced by scattering. This elegant approach in a monolithic substrate opens up the possibility of realizing topological materials for phonons in both static and time-dependent regimes, can be immediately applied to multifarious chip-scale devices with both topological protection and massive integration, such as on-chip elastic wave-guiding, elastic splitter, elastic resonator with high quality factor, and even (pseudo-)spin filter.


title: About gravitational-wave generation by a three-body system

abstract: We highlight some subtleties that affect naive implementations of quadrupolar and octupolar gravitational waveforms from numerically-integrated trajectories of three-body systems. Some of those subtleties arise from the requirement that the source be contained in its "coordinate near zone" when applying the standard PN formulae for gravitational-wave emission, and from the need to use the non-linear Einstein equations to correctly derive the quadrupole emission formula. We show that some of these subtleties were occasionally overlooked in the literature, with consequences for published results. We also provide prescriptions that lead to correct and robust predictions for the waveforms computed from numerically-integrated orbits.


title: Tunnel Effects in Cognition: A new Mechanism for Scientific Discovery and Education

abstract: It is quite exceptional, if it ever happens, that a new conceptual domain be built from scratch. Usually, it is developed and mastered in interaction, both positive and negative, with other more operational existing domains. Few reasoning mechanisms have been proposed to account for the interplay of different conceptual domains and the transfer of information from one to another. Analogical reasoning is one, blending is another. This paper presents a new mechanism, called 'tunnel effect', that may explain, in part, how scientists and students reason while constructing a new conceptual domain. One experimental study with high school students and analyses from the history of science, particularly about the birth of classical thermodynamics, provide evidence and illustrate this mechanism. The knowledge organization, processes and conditions for its appearance are detailed and put into the perspective of a computational model. Specifically, we put forward the hypothesis that two levels of knowledge, notional and conceptual, cooperate in the scientific discovery process when a new conceptual domain is being built. The type of conceptual learning that can be associated with tunnel effect is discussed and a thorough comparison is made with analogical reasoning in order to underline the main features of the new proposed mechanism.


title: Chinese Typography Transfer

abstract: In this paper, we propose a new network architecture for Chinese typography transformation based on deep learning. The architecture consists of two sub-networks: (1)a fully convolutional network(FCN) aiming at transferring specified typography style to another in condition of preserving structure information; (2)an adversarial network aiming at generating more realistic strokes in some details. Unlike models proposed before 2012 relying on the complex segmentation of Chinese components or strokes, our model treats every Chinese character as an inseparable image, so pre-processing or post-preprocessing are abandoned. Besides, our model adopts end-to-end training without pre-trained used in other deep models. The experiments demonstrates that our model can synthesize realistic-looking target typography from any source typography both on printed style and handwriting style.


title: Expected exponential loss for gaze-based video and volume ground truth annotation

abstract: Many recent machine learning approaches used in medical imaging are highly reliant on large amounts of image and ground truth data. In the context of object segmentation, pixel-wise annotations are extremely expensive to collect, especially in video and 3D volumes. To reduce this annotation burden, we propose a novel framework to allow annotators to simply observe the object to segment and record where they have looked at with a \$200 eye gaze tracker. Our method then estimates pixel-wise probabilities for the presence of the object throughout the sequence from which we train a classifier in semi-supervised setting using a novel Expected Exponential loss function. We show that our framework provides superior performances on a wide range of medical image settings compared to existing strategies and that our method can be combined with current crowd-sourcing paradigms as well.


title: Modeling the SBC Tanzania Production-Distribution Logistics Network

abstract: The increase in customer expectation in terms of cost and services rendered, coupled with competitive business environment and uncertainty in cost of raw materials have posed challenges on effective supply chain engineering making it essential to do cost-benefit analysis before making final decisions on production distribution logistics. This paper provides a conceptual model that provide guidance in supply chain decision making for business expansion. It presents a mathematical model for production-distribution of an integrated supply chain derived from current operations of SBC Tanzania Ltd which is a major supply chain that manages products' distribution in whole of Tanzania. In addition to finding the optimal cost, we also carried out a sensitivity analysis on the model so as to find ways in which the company can expand at optimal cost, while meeting customers' demands. Genetic algorithms is used to run the simulation for their efficient in solving combinatorial problems.


title: Some useful theorems for asymptotic formulas and their applications to skew plane partitions and cylindric partitions

abstract: Inspired by the works of Dewar, Murty and Kot\v{e}\v{s}ovec, we establish some useful theorems for asymptotic formulas. As an application, we obtain asymptotic formulas for the numbers of skew plane partitions and cylindric partitions. We prove that the order of the asymptotic formula for the skew plane partitions of fixed width depends only on the width of the region, not on the profile (the skew zone) itself, while this is not true for cylindric partitions.


title: Polylogarithmic Approximation Algorithms for Weighted-$\mathcal{F}$-Deletion Problems

abstract: For a family of graphs $\cal F$, the canonical Weighted $\cal F$ Vertex Deletion problem is defined as follows: given an $n$-vertex undirected graph $G$ and a weight function $w: V(G)\rightarrow\mathbb{R}$, find a minimum weight subset $S\subseteq V(G)$ such that $G-S$ belongs to $\cal F$. We devise a recursive scheme to obtain $O(\log^{O(1)}n)$-approximation algorithms for such problems, building upon the classic technique of finding balanced separators in a graph. Roughly speaking, our scheme applies to problems where an optimum solution $S$, together with a well-structured set $X$, form a balanced separator of $G$. We obtain the first $O(\log^{O(1)}n)$-approximation algorithms for the following problems. * We give an $O(\log^2n)$-factor approximation algorithm for Weighted Chordal Vertex Deletion (WCVD), the vertex deletion problem to the family of chordal graphs. On the way, we also obtain a constant factor approximation algorithm for Multicut on chordal graphs. * We give an $O(\log^3n)$-factor approximation algorithm for Weighted Distance Hereditary Vertex Deletion (WDHVD). This is the vertex deletion problem to the family of distance hereditary graphs, or equivalently, the family of graphs of rankwidth 1. Our methods also allow us to obtain in a clean fashion a $O(\log^{1.5}n)$-approximation algorithm for the Weighted $\cal F$ Vertex Deletion problem when $\cal F$ is a minor closed family excluding at least one planar graph. For the unweighted version of the problem constant factor approximation algorithms are were known~[Fomin et al., FOCS~2012], while for the weighted version considered here an $O(\log n \log\log n)$-approximation algorithm follows from~[Bansal et al., SODA~2017]. We believe that our recursive scheme can be applied to obtain $O(\log^{O(1)}n)$-approximation algorithms for many other problems as well.


title: Solutions of Einstein Field Equation for an Extra-Dimensional Anisotropic Metric with Two Scale Factors

abstract: The manuscript studies a 3+N+1-dimensional space in which the N extra dimensions are dynamically compact. The 3 large dimensions, behaving as the spacial part of the FRW metric, possess a different scale factor in comparison with the N extra ones, making the whole space anisotropic. The possible effects caused by the existence of a common time-like coordinate between the compact dimensions and our 3-dimensional hypersurface are investigated. The higher dimensional Friedmann-Like equations of the mentioned model are achieved. The continuity equation is reached at the special case of 3+4+1-dimensional metric. It is shown that not only the existence of the extra dimensions itself but also the pressure difference between the 3-dimensional hypersurface and the compact dimensions might get probed on the hypersurface as an additive source of gravity with the same behavior as baryonic matter. Furthermore, the relation between the coupling constant of the higher-dimensional universe and the Newton's constant of gravitation is investigated to reach an estimated limit for it. As another aim, the literature studies the role of dimensionality on the behavior of the higher-dimensional Friedmann equations.


title: Packing chromatic number versus chromatic and clique number

abstract: The packing chromatic number $\chi_{\rho}(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in [k]$, where each $V_i$ is an $i$-packing. In this paper, we investigate for a given triple $(a,b,c)$ of positive integers whether there exists a graph $G$ such that $\omega(G) = a$, $\chi(G) = b$, and $\chi_{\rho}(G) = c$. If so, we say that $(a, b, c)$ is realizable. It is proved that $b=c\ge 3$ implies $a=b$, and that triples $(2,k,k+1)$ and $(2,k,k+2)$ are not realizable as soon as $k\ge 4$. Some of the obtained results are deduced from the bounds proved on the packing chromatic number of the Mycielskian. Moreover, a formula for the independence number of the Mycielskian is given. A lower bound on $\chi_{\rho}(G)$ in terms of $\Delta(G)$ and $\alpha(G)$ is also proved.


title: Comparing Topology of Engineered and Natural Drainage Networks

abstract: We investigated the scaling and topology of engineered urban drainage networks (UDNs) in two cities, and further examined UDN evolution over decades. UDN scaling was analyzed using two power-law characteristics widely employed for river networks: (1) Hack's law of length ($L$)-area ($A$) scaling [$L \propto A^{h}$], and (2) exceedance probability distribution of upstream contributing area $(\delta)$ [$P(A\geq \delta) \sim a \delta^{-\epsilon}$]. For the smallest UDNs ($<2 \>\text{km}^2$), length-area scales linearly ($h\sim 1$), but power-law scaling emerges as the UDNs grow. While $P(A\geq \delta)$ plots for river networks are abruptly truncated, those for UDNs display exponential tempering [$P(A\geq \delta) \>\text{=}\> a \delta^{-\epsilon}\exp(-c\delta)$]. The tempering parameter $c$ decreases as the UDNs grow, implying that the distribution evolves in time to resemble those for river networks. However, the power-law exponent $\epsilon$ for large UDNs tends to be slightly larger than the range reported for river networks. Differences in generative processes and engineering design constraints contribute to observed differences in the evolution of UDNs and river networks, including subnet heterogeneity and non-random branching.


title: Improving Deep Pancreas Segmentation in CT and MRI Images via Recurrent Neural Contextual Learning and Direct Loss Function

abstract: Deep neural networks have demonstrated very promising performance on accurate segmentation of challenging organs (e.g., pancreas) in abdominal CT and MRI scans. The current deep learning approaches conduct pancreas segmentation by processing sequences of 2D image slices independently through deep, dense per-pixel masking for each image, without explicitly enforcing spatial consistency constraint on segmentation of successive slices. We propose a new convolutional/recurrent neural network architecture to address the contextual learning and segmentation consistency problem. A deep convolutional sub-network is first designed and pre-trained from scratch. The output layer of this network module is then connected to recurrent layers and can be fine-tuned for contextual learning, in an end-to-end manner. Our recurrent sub-network is a type of Long short-term memory (LSTM) network that performs segmentation on an image by integrating its neighboring slice segmentation predictions, in the form of a dependent sequence processing. Additionally, a novel segmentation-direct loss function (named Jaccard Loss) is proposed and deep networks are trained to optimize Jaccard Index (JI) directly. Extensive experiments are conducted to validate our proposed deep models, on quantitative pancreas segmentation using both CT and MRI scans. Our method outperforms the state-of-the-art work on CT [11] and MRI pancreas segmentation [1], respectively.


title: End-to-End Information Extraction without Token-Level Supervision

abstract: Most state-of-the-art information extraction approaches rely on token-level labels to find the areas of interest in text. Unfortunately, these labels are time-consuming and costly to create, and consequently, not available for many real-life IE tasks. To make matters worse, token-level labels are usually not the desired output, but just an intermediary step. End-to-end (E2E) models, which take raw text as input and produce the desired output directly, need not depend on token-level labels. We propose an E2E model based on pointer networks, which can be trained directly on pairs of raw input and output text. We evaluate our model on the ATIS data set, MIT restaurant corpus and the MIT movie corpus and compare to neural baselines that do use token-level labels. We achieve competitive results, within a few percentage points of the baselines, showing the feasibility of E2E information extraction without the need for token-level labels. This opens up new possibilities, as for many tasks currently addressed by human extractors, raw input and output data are available, but not token-level labels.


title: HIFI Spectroscopy of ${\rm H_2O}$ submm Lines in Nuclei of Actively Star Forming Galaxies

abstract: We present a systematic survey of multiple velocity-resolved H$_2$O spectra using Herschel/HIFI towards nine nearby actively star forming galaxies. The ground-state and low-excitation lines (E$_{\rm up}\,\le 130\,{\rm K}$) show profiles with emission and absorption blended together, while absorption-free medium-excitation lines ($130\,{\rm K}\, \le\, E_{\rm up}\,\le\,350\,{\rm K}$) typically display line shapes similar to CO. We analyze the HIFI observation together with archival SPIRE/PACS H$_2$O data using a state-of-the-art 3D radiative transfer code which includes the interaction between continuum and line emission. The water excitation models are combined with information on the dust- and CO spectral line energy distribution to determine the physical structure of the interstellar medium (ISM). We identify two ISM components that are common to all galaxies: A warm ($T_{\rm dust}\,\sim\,40-70\,{\rm K}$), dense ($n({\rm H})\,\sim\,10^5-10^6\,{\rm cm^{-3}}$) phase which dominates the emission of medium-excitation H$_2$O lines. This gas phase also dominates the FIR emission and the CO intensities for $J_{\rm up} > 8$. In addition a cold ($T_{\rm dust}\,\sim\,20-30\,{\rm K}$), dense ($n({\rm H})\sim\,10^4- 10^5\,{\rm cm^{-3}}$) more extended phase is present. It outputs the emission in the low-excitation H$_2$O lines and typically also produces the prominent line absorption features. For the two ULIRGs in our sample (Arp 220 and Mrk 231) an even hotter and more compact (R$_s\,\le\,100$ pc) region is present which is possibly linked to AGN activity. We find that collisions dominate the water excitation in the cold gas and for lines with $E_{\rm up}\le300\,{\rm K}$ and $E_{\rm up}\le800\,{\rm K}$ in the warm and hot component, respectively. Higher energy levels are mainly excited by IR pumping.


title: GRAVITY spectro-interferometric study of the massive multiple stellar system HD 93 206 A

abstract: Characterization of the dynamics of massive star systems and the astrophysical properties of the interacting components are a prerequisite for understanding their formation and evolution. Optical interferometry at milliarcsecond resolution is a key observing technique for resolving high-mass multiple compact systems. Here we report on VLTI/GRAVITY, Magellan/FIRE, and MPG2.2m/FEROS observations of the late-O/early-B type system HD 93206 A, which is a member of the massive cluster Collinder 228 in the Carina nebula complex. With a total mass of about 90 M_sun, it is one of the most compact massive-quadruple systems known. In addition to measuring the separation and position angle of the outer binary Aa - Ac, we observe BrG and HeI variability in phase with the orbital motion of the two inner binaries. From the differential phases analysis, we conclude that the BrG emission arises from the interaction regions within the components of the individual binaries, which is consistent with previous models for the X-ray emission of the system based on wind-wind interaction. With an average 3-sigma deviation of ~15 deg, we establish an upper limit of p ~ 0.157 mas (0.35 AU) for the size of the BrG line-emitting region. Future interferometric observations with GRAVITY using the 8m UTs will allow us to constrain the line-emitting regions down to angular sizes of 20 uas (0.05 AU at the distance of the Carina nebula).


title: Multi-label Music Genre Classification from Audio, Text, and Images Using Deep Features

abstract: Music genres allow to categorize musical items that share common characteristics. Although these categories are not mutually exclusive, most related research is traditionally focused on classifying tracks into a single class. Furthermore, these categories (e.g., Pop, Rock) tend to be too broad for certain applications. In this work we aim to expand this task by categorizing musical items into multiple and fine-grained labels, using three different data modalities: audio, text, and images. To this end we present MuMu, a new dataset of more than 31k albums classified into 250 genre classes. For every album we have collected the cover image, text reviews, and audio tracks. Additionally, we propose an approach for multi-label genre classification based on the combination of feature embeddings learned with state-of-the-art deep learning methodologies. Experiments show major differences between modalities, which not only introduce new baselines for multi-label genre classification, but also suggest that combining them yields improved results.


title: Feedback Vertex Set Inspired Kernel for Chordal Vertex Deletion

abstract: Given a graph $G$ and a parameter $k$, the Chordal Vertex Deletion (CVD) problem asks whether there exists a subset $U\subseteq V(G)$ of size at most $k$ that hits all induced cycles of size at least 4. The existence of a polynomial kernel for CVD was a well-known open problem in the field of Parameterized Complexity. Recently, Jansen and Pilipczuk resolved this question affirmatively by designing a polynomial kernel for CVD of size $O(k^{161}\log^{58}k)$, and asked whether one can design a kernel of size $O(k^{10})$. While we do not completely resolve this question, we design a significantly smaller kernel of size $O(k^{12}\log^{10}k)$, inspired by the $O(k^2)$-size kernel for Feedback Vertex Set. Furthermore, we introduce the notion of the independence degree of a vertex, which is our main conceptual contribution.


title: Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances

abstract: The ultimate objective of medical cyber-physical systems is to enhance the safety and effectiveness of patient care. To ensure safe and effective care during emergency patient transfer from rural areas to center tertiary hospitals, reliable and real-time communication is essential. Unfortunately, real-time monitoring of patients involves transmission of various clinical multimedia data including videos, medical images, and vital signs, which requires use of mobile network with high-fidelity communication bandwidth. However, the wireless networks along the roads in rural areas range from 4G to 2G to low speed satellite links, which poses a significant challenge to transmit critical patient information. In this paper, we present a bandwidth-compliant criticality-aware system for transmission of massive clinical multimedia data adaptive to varying bandwidths during patient transport. Model-based clinical automata are used to determine the criticality of clinical multimedia data. We borrow concepts from DASH, and propose physiology-aware adaptation techniques to transmit more critical clinical data with higher fidelity in response to changes in disease, clinical states, and bandwidth condition. In collaboration with Carle's ambulance service center, we develop a bandwidth profiler, and use it as proof of concept to support our experiments. Our preliminary evaluation results show that our solutions ensure that most critical patient's clinical data are communicated with higher fidelity.


title: A reduction of integer factorization to modular tetration

abstract: Let $a,k\in\mathbb{N}$. For the $k-1$-th iterate of the exponential function $x\mapsto a^x$, also known as tetration, we write \[ ^k a:=a^{a^{.^{.^{.^{a}}}}}. \] In this paper, we show how an efficient algorithm for tetration modulo natural numbers $N$ may be used to compute the prime factorization of $N$. In particular, we prove that the problem of computing the squarefree part of integers is deterministically polynomial-time reducible to modular tetration.


title: Versatile Large-Area Custom-Feature van der Waals Epitaxy of Topological Insulators

abstract: As the focus of applied research in topological insulators (TI) evolves, the need to synthesize large-area TI films for practical device applications takes center stage. However, constructing scalable and adaptable processes for high-quality TI compounds remains a challenge. To this end, a versatile van der Waals epitaxy (vdWE) process for custom-feature Bismuth Telluro-Sulfide TI growth and fabrication is presented, achieved through selective-area fluorination and modification of surface free-energy on mica. The TI features grow epitaxially in large single-crystal trigonal domains, exhibiting armchair or zigzag crystalline edges highly oriented with the underlying mica lattice and only two preferred domain orientations mirrored at $180^\circ$. As-grown feature thickness dependence on lateral dimensions and denuded zones at boundaries are observed, as explained by a semi-empirical two-species surface migration model with robust estimates of growth parameters and elucidating the role of selective-area surface modification. Topological surface states contribute up to 60% of device conductance at room-temperature, indicating excellent electronic quality. High-yield microfabrication and the adaptable vdWE growth mechanism with readily alterable precursor and substrate combinations, lend the process versatility to realize crystalline TI synthesis in arbitrary shapes and arrays suitable for facile integration with processes ranging from rapid prototyping to scalable manufacturing.


title: Reorientations, relaxations, metastabilities and multidomains of skyrmion lattices

abstract: Magnetic skyrmions are nano-sized topologically protected spin textures with particle-like properties. They can form lattices perpendicular to the magnetic field and the orientation of these skyrmion lattices with respect to the crystallographic lattice is governed by spin-orbit coupling. By performing small angle neutron scattering measurements, we investigate the coupling between the crystallographic and skyrmion lattices in both Cu$_2$OSeO$_3$ and the archetype chiral magnet MnSi. The results reveal that the orientation of the skyrmion lattice is primarily determined by the magnetic field direction with respect to the crystallographic lattice. In addition, it is also influenced by the magnetic history of the sample which can induce metastable lattices. Kinetic measurements show that these metastable skyrmion lattices may or may not relax to their equilibrium positions under macroscopic relaxation times. Furthermore, multidomain lattices may form when two or more equivalent crystallographic directions are favored by spin-orbit coupling and oriented perpendicular to the magnetic field.


title: Self-contracted curves have finite length

abstract: A curve $\theta$: $I\to E$ in a metric space $E$ equipped with the distance $d$, where $I\subset \R$ is a (possibly unbounded) interval, is called self-contracted, if for any triple of instances of time $\{t_i\}_{i=1}^3\subset I$ with $t_1\leq t_2\leq t_3$ one has $d(\theta(t_3),\theta(t_2))\leq d(\theta(t_3),\theta(t_1))$. We prove that if $E$ is a finite-dimensional normed space with an arbitrary norm, the trace of $\theta$ is bounded, then $\theta$ has finite length, i.e. is rectifiable, thus answering positively the question raised in~\cite{Lemenant16sc-rectif}.


title: A Sliceness Criterion for Odd Free Knots

abstract: The main goal of this paper is to prove that for odd free knots - that is free knots with all odd crossings - the problem of sliceness (the existence of a spanning disc) has an explicit answer based on the pairing of the knot diagram chords.


title: The Dependence of Halo Mass on Galaxy Size at Fixed Stellar Mass Using Weak Lensing

abstract: Stellar mass has been shown to correlate with halo mass, with non-negligible scatter. The stellar mass-size and luminosity-size relationships of galaxies also show significant scatter in galaxy size at fixed stellar mass. It is possible that, at fixed stellar mass and galaxy colour, the halo mass is correlated with galaxy size. Galaxy-galaxy lensing allows us to measure the mean masses of dark matter haloes for stacked samples of galaxies. We extend the analysis of the galaxies in the CFHTLenS catalogue by fitting single S\'{e}rsic surface brightness profiles to the lens galaxies in order to recover half-light radius values, allowing us to determine halo masses for lenses according to their size. Comparing our halo masses and sizes to baselines for that stellar mass yields a differential measurement of the halo mass-galaxy size relationship at fixed stellar mass, defined as $M_{h}(M_{*}) \propto r_{\mathrm{eff}}^{\eta}(M_{*})$. We find that on average, our lens galaxies have an $\eta = 0.42\pm0.12$, i.e. larger galaxies live in more massive dark matter haloes. The $\eta$ is strongest for high mass luminous red galaxies (LRGs). Investigation of this relationship in hydrodynamical simulations suggests that, at a fixed $M_{*}$, satellite galaxies have a larger $\eta$ and greater scatter in the $M_{\mathrm{h}}$ and $r_{\mathrm{eff}}$ relationship compared to central galaxies.


title: Directional optical switching and transistor functionality using optical parametric oscillation in a spinor polariton fluid

abstract: Over the past decade, spontaneously emerging patterns in the density of polaritons in semiconductor microcavities were found to be a promising candidate for all-optical switching. But recent approaches were mostly restricted to scalar fields, did not benefit from the polariton's unique spin-dependent properties, and utilized switching based on hexagon far-field patterns with 60{\deg} beam switching (i.e. in the far field the beam propagation direction is switched by 60{\deg}). Since hexagon far-field patterns are challenging, we present here an approach for a linearly polarized spinor field, that allows for a transistor-like (e.g., crucial for cascadability) orthogonal beam switching, i.e. in the far field the beam is switched by 90{\deg}. We show that switching specifications such as amplification and speed can be adjusted using only optical means.


title: Theoretical insights into the optimization landscape of over-parameterized shallow neural networks

abstract: In this paper we study the problem of learning a shallow artificial neural network that best fits a training data set. We study this problem in the over-parameterized regime where the number of observations are fewer than the number of parameters in the model. We show that with quadratic activations the optimization landscape of training such shallow neural networks has certain favorable characteristics that allow globally optimal models to be found efficiently using a variety of local search heuristics. This result holds for an arbitrary training data of input/output pairs. For differentiable activation functions we also show that gradient descent, when suitably initialized, converges at a linear rate to a globally optimal model. This result focuses on a realizable model where the inputs are chosen i.i.d. from a Gaussian distribution and the labels are generated according to planted weight coefficients.


title: Blocks in the Asymmetric Simple Exclusion Process

abstract: In earlier work the authors obtained formulas for the probability in the asymmetric simple exclusion process that the $m$th particle from the left is at site $x$ at time $t$. They were expressed in general as sums of multiple integrals and, for the case of step initial condition, as an integral involving a Fredholm determinant. In the present work these results are generalized to the case where the $m$th particle is the left-most one in a contiguous block of $L$ particles. The earlier work depended in a crucial way on two combinatorial identities, and the present work begins with a generalization of these identities to general $L$.


title: The Multivariate Hawkes Process in High Dimensions: Beyond Mutual Excitation

abstract: The Hawkes process is a class of point processes whose future depends on their own history. Previous theoretical work on the Hawkes process is limited to a special case in which a past event can only increase the occurrence of future events, and the link function is linear. However, in neuronal networks and other real-world applications, inhibitory relationships may be present, and the link function may be non-linear. In this paper, we develop a new approach for investigating the properties of the Hawkes process without the restriction to mutual excitation or linear link functions. To this end, we employ a thinning process representation and a coupling construction to bound the dependence coefficient of the Hawkes process. Using recent developments on weakly dependent sequences, we establish a concentration inequality for second-order statistics of the Hawkes process. We apply this concentration inequality to cross-covariance analysis in the high-dimensional regime, and we verify the theoretical claims with simulation studies.


title: Projected Power Iteration for Network Alignment

abstract: The network alignment problem asks for the best correspondence between two given graphs, so that the largest possible number of edges are matched. This problem appears in many scientific problems (like the study of protein-protein interactions) and it is very closely related to the quadratic assignment problem which has graph isomorphism, traveling salesman and minimum bisection problems as particular cases. The graph matching problem is NP-hard in general. However, under some restrictive models for the graphs, algorithms can approximate the alignment efficiently. In that spirit the recent work by Feizi and collaborators introduce EigenAlign, a fast spectral method with convergence guarantees for Erd\H{o}s-Reny\'i graphs. In this work we propose the algorithm Projected Power Alignment, which is a projected power iteration version of EigenAlign. We numerically show it improves the recovery rates of EigenAlign and we describe the theory that may be used to provide performance guarantees for Projected Power Alignment.


title: High-power collective charging of a solid-state quantum battery

abstract: Quantum information theorems state that it is possible to exploit collective quantum resources to greatly enhance the charging power of quantum batteries (QBs) made of many identical elementary units. We here present and solve a model of a QB that can be engineered in solid-state architectures. It consists of $N$ two-level systems coupled to a single photonic mode in a cavity. We contrast this collective model ("Dicke QB"), whereby entanglement is genuinely created by the common photonic mode, to the one in which each two-level system is coupled to its own separate cavity mode ("Rabi QB"). By employing exact diagonalization, we demonstrate the emergence of a quantum advantage in the charging power of Dicke QBs, which scales like $\sqrt{N}$ for $N\gg 1$.


title: Pathological OCT Retinal Layer Segmentation using Branch Residual U-shape Networks

abstract: The automatic segmentation of retinal layer structures enables clinically-relevant quantification and monitoring of eye disorders over time in OCT imaging. Eyes with late-stage diseases are particularly challenging to segment, as their shape is highly warped due to pathological biomarkers. In this context, we propose a novel fully Convolutional Neural Network (CNN) architecture which combines dilated residual blocks in an asymmetric U-shape configuration, and can segment multiple layers of highly pathological eyes in one shot. We validate our approach on a dataset of late-stage AMD patients and demonstrate lower computational costs and higher performance compared to other state-of-the-art methods.


title: Free-space quantum links under diverse weather conditions

abstract: Free-space optical communication links are promising channels for establishing secure quantum communication. Here we study the transmission of nonclassical light through a turbulent atmospheric link under diverse weather conditions, including rain or haze. To include these effects, the theory of light transmission through atmospheric links in the elliptic-beam approximation presented by Vasylyev et al. [D. Vasylyev et al., Phys. Rev. Lett. 117, 090501 (2016); arXiv:1604.01373] is further generalized.It is demonstrated, with good agreement between theory and experiment, that low-intensity rain merely contributes additional deterministic losses, whereas haze also introduces additional beam deformations of the transmitted light. Based on these results, we study theoretically the transmission of quadrature squeezing and Gaussian entanglement under these weather conditions.


title: Social Clustering in Epidemic Spread on Coevolving Networks

abstract: Even though transitivity is a central structural feature of social networks, its influence on epidemic spread on coevolving networks has remained relatively unexplored. Here we introduce and study an adaptive SIS epidemic model wherein the infection and network coevolve with non-trivial probability to close triangles during edge rewiring, leading to substantial reinforcement of network transitivity. This new model provides a unique opportunity to study the role of transitivity in altering the SIS dynamics on a coevolving network. Using numerical simulations and Approximate Master Equations (AME), we identify and examine a rich set of dynamical features in the new model. In many cases, the AME including transitivity reinforcement provides accurate predictions of stationary-state disease prevalences and network degree distributions. Furthermore, for some parameter settings, the AME accurately trace the temporal evolution of the system. We show that higher transitivity reinforcement in the model leads to lower levels of infective individuals in the population, when closing a triangle is the dominant rewiring mechanism. These methods and results may be useful in developing ideas and modeling strategies for controlling SIS type epidemics.


title: Regulator dependence of fixed points in quantum Einstein gravity with $R^2$ truncation

abstract: We performed a functional renormalization group analysis for the quantum Einstein gravity including a quadratic term in the curvature. The ultraviolet non-gaussian fixed point and its critical exponent for the correlation length are identified for different forms of regulators in case of dimension 3. We searched for that optimized regulator where the physical quantities show the least regulator parameter dependence. It is shown that the Litim regulator satisfies this condition. The infrared fixed point has also been investigated, it is found that the exponent is insensitive to the third coupling introduced by the $R^2$ term.


title: Automatized Generation of Alphabets of Symbols

abstract: In this paper, we discuss the generation of symbols (and alphabets) based on specific user requirements (medium, priorities, type of information that needs to be conveyed). A framework for the generation of alphabets is proposed, and its use for the generation of a shorthand writing system is explored. We discuss the possible use of machine learning and genetic algorithms to gather inputs for generation of such alphabets and for optimization of already generated ones. The alphabets generated using such methods may be used in very different fields, from the creation of synthetic languages and constructed scripts to the creation of sensible commands for multimodal interaction through Human-Computer Interfaces, such as mouse gestures, touchpads, body gestures, eye-tracking cameras, and brain-computing Interfaces, especially in applications for elderly care and people with disabilities.


title: Highly accurate bound state calculations of the two-center molecular ions by using the universal variational expansion for three-body systems

abstract: The universal variational expansion for the non-relativistic three-body systems is explicitly constructed. Three-body universal expansion can be used to perform highly accurate numerical computations of the bound state spectra in arbitrary three-body systems, including Coulomb three-body systems with arbitrary particle masses and electric charges. Our main interest is related to the adiabatic three-body systems which contain one bound electron and two heavy nuclei of hydrogen isotopes: the protium $p$, deuterium $d$ and tritium $t$. We also consider the analogous (model) hydrogen ion ${}^{\infty}$H$^{+}_2$ with the two infinitely heavy nuclei. PACS number(s): 36.10.-k and 36.10.Dr