title: Seismic Signatures of Stellar Magnetic Activity -- What Can We Expect from TESS?

abstract: Asteroseismic methods offer a means to investigate stellar activity and activity cycles as well as to identify those properties of stars which are crucial for the operation of stellar dynamos. With data from CoRoT and \textit{Kepler}, signatures of magnetic activity have been found in the seismic properties of a few dozen stars. Now, NASA's Transiting Exoplanet Survey Satellite (TESS) mission offers the possibility to expand this, so far, rather exclusive group of stars. This promises to deliver new insight into the parameters that govern stellar magnetic activity as a function of stellar mass, age, and rotation rate. We derive a new scaling relation for the amplitude of the activity-related acoustic (p-mode) frequency shifts that can be expected over a full stellar cycle. Building on a catalogue of synthetic TESS time series, we use the shifts obtained from this relation and simulate the yield of detectable frequency shifts in an extended TESS mission. We find that, according to our scaling relation, we can expect to find significant p-mode frequency shifts for a couple hundred main-sequence and early subgiant stars and for a few thousand late subgiant and low-luminosity red giant stars.


title: The TALP-UPC System for the WMT Similar Language Task: Statistical vs Neural Machine Translation

abstract: Although the problem of similar language translation has been an area of research interest for many years, yet it is still far from being solved. In this paper, we study the performance of two popular approaches: statistical and neural. We conclude that both methods yield similar results; however, the performance varies depending on the language pair. While the statistical approach outperforms the neural one by a difference of 6 BLEU points for the Spanish-Portuguese language pair, the proposed neural model surpasses the statistical one by a difference of 2 BLEU points for Czech-Polish. In the former case, the language similarity (based on perplexity) is much higher than in the latter case. Additionally, we report negative results for the system combination with back-translation. Our TALP-UPC system submission won 1st place for Czech-to-Polish and 2nd place for Spanish-to-Portuguese in the official evaluation of the 1st WMT Similar Language Translation task.


title: Edge-transitive embeddings of complete graphs

abstract: Building on earlier work of Biggs, James, Wilson and the author, and using the Graver-Watkins description of the 14 classes of edge-transitive maps, we complete the classification of the edge-transitive embeddings of complete graphs.


title: The Topologically Twisted Index in the 't Hooft Limit and the Dual AdS$_4$ Black Hole Entropy

abstract: We study the topologically twisted index of $\mathcal{N}=6$ supersymmetric Chern-Simons matter theory with $U(N)_k \times U(N)_{-k}$ gauge group in the 't Hooft limit, that is, for $N, k \, \to \infty$ with $\lambda=N/k$ fixed. In the regime where $\lambda$ is fixed and large we find an analytical expression for the leading order term of the index. The leading term of the index matches precisely the Bekenstein-Hawking entropy of the dual asymptotically AdS$_4$ magnetically charged black holes embedded in IIA supergrvity on AdS$_4\times \mathbb{CP}^3$, after a standard Legendre transformation. We numerically explore the genus expansion of the topologically twisteed index beyond the leading order, focusing on the genus one contribution, that is, $N^0$. We find qualitative agreement with the topological expansion of the free energy on $S^3$ at genus one. Our logarithmic in $\lambda$ term constitutes a prediction for the one-loop effective action on the IIA supergravity side.


title: Five dimensional charged rotating minimally gauged supergravity black hole cannot be over-spun and/or over-charged in non-linear accretion

abstract: Generally black hole could be over charged/spun violating the weak cosmic censorship conjecture (WCCC) for linear order accretion while the same is always restored back for non-linear accretion. The only exception however is that of a five dimensional rotating black hole with single rotation that cannot be overspun even at linear order. In this paper we investigate this question for a five dimensional charged rotating minimally gauged supergravity black hole and show that it could not be overspun under non-linear accretion and thereby respecting WCCC. However in the case of single rotation WCCC is however also respected for linear accretion when angular momentum of accreting particle is greater than its charge irrespective of relative dominance of charge and rotation parameters of black hole.


title: Nanoscale magnetic and charge anisotropies at manganite interfaces

abstract: Strong correlated manganites are still under intense research owing to their complex phase diagrams in terms of the Sr-doping and their sensitivity to intrinsic and extrinsic structural deformations. Here, we performed x-ray absorption spectroscopy measurements of manganites bilayers to explore the effects that a local Sr-doping gradient produce on the charge and antiferromagnetic anisotropies. In order to gradually tune the Sr-doping level along the axis perpendicular to the samples we have grown a series of bilayers with different thicknesses of low-doped manganites (from 0 nm to 6 nm) deposited over a La0.7Sr0.3MnO3 metallic layer. This strategy permitted us to resolve with high accuracy the thickness region where the charge and spin anisotropies vary and the critical thickness tc over which the out of plane orbital asymmetry does not have any further modifications. We found that the antiferromagnetic spin axis points preferentially out of the sample plane regardless the capping layer thickness. However, it tilts partially into the sample plane far from this critical thickness, owing to the jointed contributions of the external structural strain and electron doping. Furthermore, we found that the doping level of the capping layer sensibly affects the critical thickness, giving clear evidence of the influence exerted by the electron doping on the orbital and magnetic configurations. These anisotropy changes induce subtle modifications on the domain reorientation of the La0.7Sr0.3MnO3, as evidenced from the magnetic hysteresis cycles.


title: Murray's law for discrete and continuum models of biological networks

abstract: We demonstrate the validity of Murray's law, which represents a scaling relation for branch conductivities in a transportation network, for discrete and continuum models of biological networks. We first consider discrete networks with general metabolic coefficient and multiple branching nodes and derive a generalization of the classical 3/4-law. Next we prove an analogue of the discrete Murray's law for the continuum system obtained in the continuum limit of the discrete model on a rectangular mesh. Finally, we consider a continuum model derived from phenomenological considerations and show the validity of the Murray's law for its linearly stable steady states.


title: Mean value theorems for a class of density-like arithmetic functions

abstract: This paper provides a mean value theorem for arithmetic functions $f$ defined by $$f(n)=\prod_{d|n}g(d),$$ where $g$ is an arithmetic function taking values in $(0, 1]$ and satisfying some generic conditions. As an application of our main result, we prove that the density $\mu_q(n)$ (resp. $\rho_q(n)$) of normal (resp. primitive) elements in the finite field extension $\mathbb{F}_{q^n}$ of $\mathbb{F}_q$ are arithmetic functions of (non zero) mean values.


title: Characters of tangent spaces at torus fixed points and $3d$-mirror symmetry

abstract: Let $X$ be a Nakajima quiver variety and $X'$ its $3d$-mirror. We consider the action of the Picard torus $\mathsf{K}=\mathrm{Pic}(X)\otimes \mathbb{C}^{\times}$ on $X'$. Assuming that $(X')^{\mathsf{K}}$ is finite, we propose a formula for the $\mathsf{K}$-character of the tangent spaces at the fixed points in terms of certain enumerative invariants of $X$ known as vertex functions.


title: Effective Finite-Valued Approximations of General Propositional Logics

abstract: Propositional logics in general, considered as a set of sentences, can be undecidable even if they have "nice" representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple - at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can be approximated by finite-valued logics. It is shown that the minimal $m$-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics.


title: The Equivariant Fundamental Groupoid as an Orbifold Invariant

abstract: We construct a 2-category version of tom Dieck's equivariant fundamental groupoid for representable orbifolds and show that the discrete fundamental groupoid is Morita invariant; hence an orbifold invariant for representable orbifolds.


title: Square the Circle in One Minute

abstract: Since squaring the circle was proved to be impossible, mathematicians have picked up a new hobby to square the circle 'approximately'. The most famous work is due to Ramanujan who gave a construction correct to $8$ decimal places. In his book Mathographics, Dixon gave constructions correct to $3$ decimal places and stated that his method was quite complicated. In this paper, we improve Dixon's method then give a new construction correct to $9$ decimal places, a new record so far.


title: Markovianity of the reference state, complete positivity of the reduced dynamics, and monotonicity of the relative entropy

abstract: Consider the set $\mathcal{S}=\lbrace\rho_{SE}\rbrace$ of possible initial states of the system-environment, steered from a tripartite reference state $\omega_{RSE}$. Buscemi [F. Buscemi, Phys. Rev. Lett. 113, 140502 (2014)] showed that the reduced dynamics of the system, for each $\rho_{S}\in \mathrm{Tr}_{E}\mathcal{S}$, is always completely positive if and only if $\omega_{RSE}$ is a Markov state. There, during the proof, it has been assumed that the dimensions of the system and the environment can vary through the evolution. Here, we show that this assumption is necessary: we give an example for which, though $\omega_{RSE}$ is not a Markov state, the reduced dynamics of the system is completely positive, for any evolution of the system-environment during which the dimensions of the system and the environment remain unchanged. As our next result, we show that the result of Muller-Hermes and Reeb [A. Muller-Hermes and D. Reeb, Ann. Henri Poincare 18, 1777 (2017)], of monotonicity of the quantum relative entropy under positive maps, cannot be generalized to the Hermitian maps, even within their physical domains.


title: Private Sequential Function Computation

abstract: Consider a system, including a user, $N$ servers, and $K$ basic functions which are known at all of the servers. Using the combination of those basic functions, it is possible to construct a wide class of functions. The user wishes to compute a particular combination of the basic functions, by offloading the computation to $N$ servers, while the servers should not obtain any information about which combination of the basic functions is to be computed. The objective is to minimize the total number of queries asked by the user from the servers to achieve the desired result. As a first step toward this problem, in this paper, we consider the case where the user is interested in a class of functions which are composition of the basic functions, while each basic function appears in the composition exactly once. This means that in this case, to ensure privacy, we only require to hide to the order of the basic functions in the desired composition of the user. We further assume that the basic functions are linear and can be represented by (possibly large-scale) matrices. We call this problem as private sequential function computation. We study the capacity $C$, defined as the supremum of the number of desired computations, normalized by the number of computations done at the servers, subject to the privacy constraint. We prove that $(1-\frac{1}{N})/ (1-\frac{1}{\max(K,N)}) \le C \le 1$. For the achievability, we show that the user can retrieve the desired order of composition, by choosing a proper order of inquiries among different servers, while keeping the order of computations for each server fixed, irrespective of the desired order of composition. In the end, we develop an information-theoretic converse which results in an upper bound on the capacity.


title: Limiting absorption principle and scattering matrix for Dirac operators with $\delta$-shell interactions

abstract: We provide a limiting absorption principle for self-adjoint realizations of Dirac operators with electrostatic and Lorentz scalar $\delta$-shell interactions supported on regular compact surfaces. Then we show completeness of the wave operators and give a representation formula for the scattering matrix.


title: NICER Observation of Unusual Burst Oscillations in 4U 1728-34

abstract: The Neutron Star Interior Composition Explorer (NICER) has observed seven thermonuclear X-ray bursts from the Low Mass X-ray Binary (LMXB) neutron star 4U 1728-34 from the start of the mission's operations until February of 2019. Three of these bursts show oscillations in their decaying tail with frequencies that are within 1 Hz of the previously detected burst oscillations from this source. Two of these burst oscillations have unusual properties: They have large fractional rms amplitudes of $ 48 \pm 9 \%$ and $ 46 \pm 9 \%$, and they are detected only at photon energies above 6 keV. By contrast, the third detected burst oscillation is compatible with previous observations of this source, with a fractional rms amplitude of $7.7 \pm 1.5\%$ rms in the 0.3 to 6.2 keV energy band. We discuss the implications of these large-amplitude burst oscillations, finding they are difficult to explain with the current theoretical models for X-ray burst tail oscillations.


title: Predicting Dynamic Embedding Trajectory in Temporal Interaction Networks

abstract: Modeling sequential interactions between users and items/products is crucial in domains such as e-commerce, social networking, and education. Representation learning presents an attractive opportunity to model the dynamic evolution of users and items, where each user/item can be embedded in a Euclidean space and its evolution can be modeled by an embedding trajectory in this space. However, existing dynamic embedding methods generate embeddings only when users take actions and do not explicitly model the future trajectory of the user/item in the embedding space. Here we propose JODIE, a coupled recurrent neural network model that learns the embedding trajectories of users and items. JODIE employs two recurrent neural networks to update the embedding of a user and an item at every interaction. Crucially, JODIE also models the future embedding trajectory of a user/item. To this end, it introduces a novel projection operator that learns to estimate the embedding of the user at any time in the future. These estimated embeddings are then used to predict future user-item interactions. To make the method scalable, we develop a t-Batch algorithm that creates time-consistent batches and leads to 9x faster training. We conduct six experiments to validate JODIE on two prediction tasks---future interaction prediction and state change prediction---using four real-world datasets. We show that JODIE outperforms six state-of-the-art algorithms in these tasks by at least 20% in predicting future interactions and 12% in state change prediction.


title: High-$T_\textrm{C}$ Superconductivity Originating from Interlayer Coulomb Coupling in Gate-Charged Twisted Bilayer Graphene Moir$\'{e}$ Superlattices

abstract: Unconventional superconductivity in bilayer graphene has been reported for twist angles $\theta$ near the first magic angle and charged electrostatically with holes near half filling of the lower flat bands. A maximum superconducting transition temperature $T_\textrm{C}$ $\approx$ 1.7 K was reported for a device with $\theta$ = 1.05$\deg$ at ambient pressure and a maximum $T_\textrm{C}$ $\approx$ 3.1 K for a device with $\theta$ = 1.27$\deg$ under 1.33 GPa hydrostatic pressure. A high-$T_\textrm{C}$ model for the superconductivity is proposed herein, where pairing is mediated by Coulomb coupling between charges in the two graphene sheets. The expression derived for the optimal transition temperature, $T_\textrm{C0}$ = $k_\textrm{B}^{-1}$$\Lambda$(|$n_\textrm{opt}$ - $n_\textrm{0}$|/2)$^{1/2}$$e^2$/$\zeta$, is a function of mean bilayer separation distance $\zeta$, measured gated charge areal densities $n_\textrm{opt}$ and $n_\textrm{0}$ corresponding to maximum $T_\textrm{C}$ and superconductivity onset, respectively, and the length constant $\Lambda$ = 0.00747(2) $\mathring{\textrm{A}}$. Based on existing experimental carrier densities and theoretical estimates for $\zeta$, $T_\textrm{C0}$ = 1.94(4) K is calculated for the $\theta$ = 1.05$\deg$ ambient-pressure device and $T_\textrm{C0}$ = 3.02(3) K for the $\theta$ = 1.27$\deg$ pressurized device. Experimental mean-field transition temperatures $T_\textrm{C}^\textrm{mf}$ = 1.83(5) K and $T_\textrm{C}^\textrm{mf}$ = 2.86(5) K are determined by fitting superconducting fluctuation theory to resistance transition data for the ambient-pressure and pressurized devices, respectively; the theoretical results for $T_\textrm{C0}$ are in remarkable agreement with these experimental values. Corresponding Berezinskii-Kosterlitz-Thouless temperatures $T_\textrm{BKT}$ of 0.96(3) K and 2.2(2) K are also determined and interpreted.


title: Optimal time-decay estimates for the compressible Navier-Stokes-Poisson equations without additional smallness assumptions

abstract: The present paper is dedicated to the large time asymptotic behavior of global strong solutions near constant equilibrium (away from vacuum) to the compressible Navier-Stokes-Poisson equations. Precisely, we present that under the same regularity assumptions as in \cite{SX2}, a \textit{different} time-decay framework of the $\dot{B}_{p,1}^{s}$ norm of the critical global solutions is established. The proof mainly depends on the pure energy argument \textit{without the spectral analysis}, which allows us to remove \textit{the usual smallness assumption of low frequencies of initial data}.


title: Learning to Predict 3D Objects with an Interpolation-based Differentiable Renderer

abstract: Many machine learning models operate on images, but ignore the fact that images are 2D projections formed by 3D geometry interacting with light, in a process called rendering. Enabling ML models to understand image formation might be key for generalization. However, due to an essential rasterization step involving discrete assignment operations, rendering pipelines are non-differentiable and thus largely inaccessible to gradient-based ML techniques. In this paper, we present {\emph DIB-R}, a differentiable rendering framework which allows gradients to be analytically computed for all pixels in an image. Key to our approach is to view foreground rasterization as a weighted interpolation of local properties and background rasterization as a distance-based aggregation of global geometry. Our approach allows for accurate optimization over vertex positions, colors, normals, light directions and texture coordinates through a variety of lighting models. We showcase our approach in two ML applications: single-image 3D object prediction, and 3D textured object generation, both trained using exclusively using 2D supervision. Our project website is: https://nv-tlabs.github.io/DIB-R/


title: Word2vec to behavior: morphology facilitates the grounding of language in machines

abstract: Enabling machines to respond appropriately to natural language commands could greatly expand the number of people to whom they could be of service. Recently, advances in neural network-trained word embeddings have empowered non-embodied text-processing algorithms, and suggest they could be of similar utility for embodied machines. Here we introduce a method that does so by training robots to act similarly to semantically-similar word2vec encoded commands. We show that this enables them to act appropriately, after training, to previously-unheard commands. Finally, we show that inducing such an alignment between motoric and linguistic similarities can be facilitated or hindered by the mechanical structure of the robot. This points to future, large scale methods that find and exploit relationships between action, language, and robot structure.


title: Typing Tensor Calculus in 2-Categories

abstract: We introduce semiadditive 2-categories, 2-categories with binary 2-biproducts and a zero object, as a suitable framework for typing tensor calculus. Tensors are the generalization of matrices, whose components have more than two indices.


title: Heat current in a dissipative quantum Hall edge

abstract: We explore the heat current in the quantum Hall edge at filling factors $\nu = 1$ and $\nu = 2$ in the presence of dissipation. Dissipation arises in the compressible strip forming at the edge in presence of a smooth confining potential. Such strip was predicted to host an infinite number of hydrodynamic neutral modes, which however were never observed. A possible explanation may be in their dissipative nature, which was not fully considered before. Heat transport measurements are capable of detecting neutral modes and experiment [H. le Sueur et al., Phys. Rev. Lett. 105, 056803 (2010)] at $\nu = 2$ captured additional degrees of freedom transferring heat at the edge. Surprisingly, the breakdown of heat current quantization has been found. We conjecture that the aforementioned dissipative modes might be responsible for this behavior. We build a low-energy effective model and show that the lowest hydrodynamic mode carries a portion of the heat flux quantum which is the same both at $\nu = 1$ and $\nu = 2$. Although our results are consistent with the experiment, a microscopic model of dissipation is needed to confirm the prediction of the low-energy approximation.


title: CR-invariance of the Steinness index

abstract: We characterize the Diederich-Fornaess index and the Steinness index in terms of a special 1-form, which we call D'Angelo 1-form. We then prove that the Diederich-Fornaess and Steinness indices are invariant under CR-diffeomorphisms by showing CR-invariance of D'Angelo 1-forms.


title: Bicategories of fractions revisited: towards small homs and canonical 2-cells

abstract: This paper adresses two issues in dealing with bicategories of fractions. The first is to introduce a set of conditions on a class of arrows in a bicategory which is weaker than the one given in Pronk, Etendues and stacks as bicategories of fractions, but still allows a bicalculus of fractions. These conditions allow us to invert a smaller collection of arrows so that in some cases we may obtain a bicategory of fractions with small hom-categories. We adapt the construction of the bicategory of fractions to work with the weaker conditions. The second issue is the difficulty in dealing with 2-cells, which are defined by equivalence classes. We discuss conditions under which there are canonical representatives for 2-cells, and how pasting of 2-cells can be simplified in the presence of certain pseudo pullbacks. We also discuss how both of these improvements apply in the category of orbispaces.


title: Girth conditions and Rota's basis conjecture

abstract: Rota's basis conjecture (RBC) states that given a collection $\mathcal{B}$ of $n$ bases in a matroid $M$ of rank $n$, one can always find $n$ disjoint rainbow bases with respect to $\mathcal{B}$. In this paper, we show that if $M$ has girth at least $n-o(\sqrt{n})$, and no element of $M$ belongs to more than $o(\sqrt{n})$ bases in $\mathcal{B}$, then one can find at least $n - o(n)$ disjoint rainbow bases with respect to $\mathcal{B}$. This result can be seen as an extension of the work of Geelen and Humphries, who proved RBC in the case where $M$ is paving, and $\mathcal{B}$ is a pairwise disjoint collection. We make extensive use of the cascade idea introduced by Buci\'c et al.


title: Allowed permutation symmetry in atomic and molecular wavefunctions. Simple examples

abstract: It is well known that the allowed wavefunctions for an $N$-electron system should be antisymmetric with respect to the permutation of any pair of electron labels. On the other hand, the Hamiltonian for such system is invariant under any permutation of electron labels and, consequently, its eigenfunctions are basis for the irreducible representations of the symmetric group $S_N$.Here, we investigate which symmetry species of the $S_N$ group are compatible with the antisymmetry principle. We illustrate the conclusions by means of simple $N$-particle one-dimensional models with harmonic interactions.


title: Bounds of the multiplicity of abelian quotient complete intersection singularities

abstract: In this paper, we investigate the multiplicities and the log canonical thresholds of abelian quotient complete intersection singularities in term of the special datum. Moreover we give bounds of the multiplicity of abelian quotient complete intersection singularities.


title: On the Veracity of Cyber Intrusion Alerts Synthesized by Generative Adversarial Networks

abstract: Recreating cyber-attack alert data with a high level of fidelity is challenging due to the intricate interaction between features, non-homogeneity of alerts, and potential for rare yet critical samples. Generative Adversarial Networks (GANs) have been shown to effectively learn complex data distributions with the intent of creating increasingly realistic data. This paper presents the application of GANs to cyber-attack alert data and shows that GANs not only successfully learn to generate realistic alerts, but also reveal feature dependencies within alerts. This is accomplished by reviewing the intersection of histograms for varying alert-feature combinations between the ground truth and generated datsets. Traditional statistical metrics, such as conditional and joint entropy, are also employed to verify the accuracy of these dependencies. Finally, it is shown that a Mutual Information constraint on the network can be used to increase the generation of low probability, critical, alert values. By mapping alerts to a set of attack stages it is shown that the output of these low probability alerts has a direct contextual meaning for Cyber Security analysts. Overall, this work provides the basis for generating new cyber intrusion alerts and provides evidence that synthesized alerts emulate critical dependencies from the source dataset.


title: Random Attractor for Stochastic Hindmarsh-Rose Equations with Multiplicative Noise

abstract: The longtime and global pullback dynamics of stochastic Hindmarsh-Rose equations with multiplicative noise on a three-dimensional bounded domain in neurodynamics is investigated in this work. The existence of a random attractor for this random dynamical system is proved through the exponential transformation and uniform estimates showing the pullback absorbing property and the pullback asymptotically compactness of this cocycle in the $L^2$ Hilbert space.


title: The interaction of inner and outer surface corners during spontaneous wetting

abstract: Real world surfaces can often be modeled as a collection of edges, corners, dents or spikes of varying roundness. These features exhibit individual spontaneous wetting behaviors comprising pinned contact lines, rivulets or cusps. If occurring in proximity to one another, as is often the case in applications, these wetting properties interact, resulting in an overall changed wetting pattern on the surface. Hence, there is considerable interest in understanding when, and to what extent, interactions occur, and how wetting then deviates from the wetting of isolated surface features. The present study addresses these questions by experimentally and theoretically studying the capillary interaction of sharp-edged 90{\deg} (outer) and 270{\deg} (inner) corners in proximity to one another. It is shown that the spontaneous wetting at the convex outer corner is in uenced by the concave inner corner even when they are separated by a distance of several times the capillary length, while the wetting of the inner corner takes place unaffected by the outer corner, except when the separating distance is much smaller than the capillary length. The final contact line shape at the inner corner is measured and theoretically modelled for contact angles up to 90{\deg}.


title: Little hierarchies solve the little fine-tuning problem: a case study in supersymmetry with heavy guinos

abstract: Radiative corrections with new heavy particles coupling to Higgs doublets destabilize the electroweak scale and require an ad-hoc counterterm cancelling the large loop contribution. If the mass scale m1 of these new particles in in the TeV range, this feature constitutes the "little fine-tuning problem". We consider the case that the new-physics spectrum has a little hierarchy with two particle mass scales m1, m2 and m2 = O(10 m1) and no tree-level couplings of the heavier particles to Higgs doublets. As a concrete example we study the (next-to-)minimal supersymmetric standard model ((N)MSSM) for the case that the gluino mass M3 is significantly larger than the stop mass parameters m_{L,R} and show that the usual one-loop fine-tuning analysis breaks down. If m_{L,R} is defined in the dimensional-reduction (DR-bar) or any other fundamental scheme, corrections enhanced by powers of M3^2/m_{L,R}^2 occur in all higher loop orders. After resumming these terms we find the fine-tuning measure substantially improved compared to the usual analyses with M3 <~ m_{L,R}. In our hierarchical scenario the stop self-energies grow like M3^2, so that the stop masses m_{L,R}^{OS} in the on-shell (OS) scheme are naturally much larger than their DR-bar counterparts m_{L,R}^{DR-bar}. This feature permits a novel solution to the little fine-tuning problem: DR-bar stop masses are close to the electroweak scale, but radiative corrections involving the heavy gluino push the OS masses, which are probed in collider searches, above their experimental lower limits. As a byproduct, we clarify which renormalization scheme must be used for squark masses in loop corrections to low-energy quantities such as the B-B-bar mixing amplitude.


title: Faster algorithms for cograph edge modification problems

abstract: In the Cograph Deletion (resp., Cograph Editing) problem the input is a graph $G$ and an integer $k$, and the goal is to decide whether there is a set of edges of size at most $k$ whose removal from $G$ (resp., removal and addition to $G$) results in a graph that does not contain an induced path with four vertices. In this paper we give algorithms for Cograph Deletion and Cograph Editing whose running times are $O^*(2.303^k)$ and $O^*(4.329^k)$, respectively.


title: Smooth Grad-CAM++: An Enhanced Inference Level Visualization Technique for Deep Convolutional Neural Network Models

abstract: Gaining insight into how deep convolutional neural network models perform image classification and how to explain their outputs have been a concern to computer vision researchers and decision makers. These deep models are often referred to as black box due to low comprehension of their internal workings. As an effort to developing explainable deep learning models, several methods have been proposed such as finding gradients of class output with respect to input image (sensitivity maps), class activation map (CAM), and Gradient based Class Activation Maps (Grad-CAM). These methods under perform when localizing multiple occurrences of the same class and do not work for all CNNs. In addition, Grad-CAM does not capture the entire object in completeness when used on single object images, this affect performance on recognition tasks. With the intention to create an enhanced visual explanation in terms of visual sharpness, object localization and explaining multiple occurrences of objects in a single image, we present Smooth Grad-CAM++ \footnote{Simple demo: http://35.238.22.135:5000/}, a technique that combines methods from two other recent techniques---SMOOTHGRAD and Grad-CAM++. Our Smooth Grad-CAM++ technique provides the capability of either visualizing a layer, subset of feature maps, or subset of neurons within a feature map at each instance at the inference level (model prediction process). After experimenting with few images, Smooth Grad-CAM++ produced more visually sharp maps with better localization of objects in the given input images when compared with other methods.


title: Product Formula of Multiple Integrals of Levy Process

abstract: We derive a product formula for the multiple stochastic integrals with respect to Levy process. The idea is to use exponential vectors and the polarization technique which greatly simplify the argument.


title: Computability of the Solutions to Navier-Stokes Equations via Recursive Approximation

abstract: As one of the seven open problems in the addendum to their 1989 book "Computability in Analysis and Physics", Pour-El and Richards proposed ``... the recursion theoretic study of particular nonlinear problems of classical importance. Examples are the Navier-Stokes equation, the KdV equation, and the complex of problems associated with Feigenbaum's constant.'' In this paper, we approach the question of whether the Navier-Stokes Equation admits recursive solutions in the sense of Weihrauch's Type-2 Theory of Effectivity. A natural encoding (``representation'') is constructed for the space of divergence-free vector fields on 2-dimensional open square $\Omega = (-1, 1)^2$. This representation is shown to render first the mild solution to the Stokes Dirichlet problem and then a strong local solution to the nonlinear inhomogeneous incompressible Navier-Stokes initial value problem uniformly computable. Based on classical approaches, the proofs make use of many subtle and intricate estimates which are developed in the paper for establishing the computability results.


title: Modification of the laws of gravity in the DGP model by the presence of a second DGP brane

abstract: We investigate how the laws of gravity change in the DGP model, if we add a second, parallel 3-brane, endowed with a localized gravitational curvature term. We calculate the gravitational potential energy between two static point sources localized on different branes. We discover a new length scale, which is equal to the geometric mean of the DGP cross-over scale and the separation of the two branes in the extra dimension. For distances, which are larger than this new length scale, we recover the original DGP result, but for smaller distances the gravitational potential is weaker. Furthermore, a region emerges, where a 4-dimensional observer measures a distance independent force. We discuss a possible application of the present scenario for deriving rotation curves of low surface brightness galaxies. Using the Kaluza-Klein description, we observe a curious pattern, in which even and odd KK-modes contribute to the attractive and repulsive parts of the gravitational potential, respectively. Finally, since this setup allows for the existence of a sector of particle species that are interacting arbitrarily weakly with "our" sector, we discuss the implications of this phenomenon for black holes and the bound on the number of species. We find that the behavior is qualitatively different from theories with a normalizable zero-mode graviton.


title: Nonparametric Contextual Bandits in an Unknown Metric Space

abstract: Consider a nonparametric contextual multi-arm bandit problem where each arm $a \in [K]$ is associated to a nonparametric reward function $f_a: [0,1] \to \mathbb{R}$ mapping from contexts to the expected reward. Suppose that there is a large set of arms, yet there is a simple but unknown structure amongst the arm reward functions, e.g. finite types or smooth with respect to an unknown metric space. We present a novel algorithm which learns data-driven similarities amongst the arms, in order to implement adaptive partitioning of the context-arm space for more efficient learning. We provide regret bounds along with simulations that highlight the algorithm's dependence on the local geometry of the reward functions.


title: Non-Abelian Gauge-Invariant Cellular Automata

abstract: Gauge-invariance is a mathematical concept that has profound implications in Physics---as it provides the justification of the fundamental interactions. It was recently adapted to the Cellular Automaton (CA) framework, in a restricted case. In this paper, this treatment is generalized to non-abelian gauge-invariance, including the notions of gauge-equivalent theories and gauge-invariants of configurations


title: Faster Guarantees of Evolutionary Algorithms for Maximization of Monotone Submodular Functions

abstract: In this paper, the monotone submodular maximization problem (SM) is studied. SM is to find a subset of size $\kappa$ from a universe of size $n$ that maximizes a monotone submodular objective function $f$. We show using a novel analysis that the Pareto optimization algorithm achieves a worst-case ratio of $(1-\epsilon)(1-1/e)$ in expectation for every cardinality constraint $\kappa < P$, where $P\leq n+1$ is an input, in $O(nP\ln(1/\epsilon))$ queries of $f$. In addition, a novel evolutionary algorithm called the biased Pareto optimization algorithm, is proposed that achieves a worst-case ratio of $(1-\epsilon)(1-1/e)$ in expectation for every cardinality constraint $\kappa < P$ in $O(n\ln(P)\ln(1/\epsilon))$ queries of $f$. Further, the biased Pareto optimization algorithm can be modified in order to achieve a worst-case ratio of $(1-\epsilon)(1-1/e)$ in expectation for cardinality constraint $\kappa$ in $O(n\ln(1/\epsilon))$ queries of $f$. An empirical evaluation corroborates our theoretical analysis of the algorithms, as the algorithms exceed the stochastic greedy solution value at roughly when one would expect based upon our analysis.


title: Asymptotically consistent prediction of extremes in chaotic systems:1 stationary case

abstract: In many real world chaotic systems, the interest is typically in determining when the system will behave in an extreme manner. Flooding and drought, extreme heatwaves, large earthquakes, and large drops in the stock market are examples of the extreme behaviors of interest. For clarity, in this paper we confine ourselves to the case where the chaotic system to be predicted is stationary so theory for asymptotic consistency can be easily illuminated. We will start with a simple case, where the attractor of the chaotic system is of known dimension so the answer is clear from prior work. Some extension will be made to stationary chaotic system with higher dimension where a number of empirical results will be described and a theoretical framework proposed to help explain them.


title: H.E.S.S. Monitoring of PKS 2155-304 in 2015 and 2016

abstract: PKS 2155-304 is one of the brightest blazar located in Southern Hemisphere, monitored with H.E.S.S. since the first light of the experiment. Here we report multiwavelength monitoring observations collected during the period of 2015-2016 with H.E.S.S.,Fermi-LAT, Swift-XRT, Swift-UVOT, and ATOM. Two years of multiwavelength data with very good temporal coverage allowed to characterize broadband emission observed from the region of PKS 2155-304 and study potential multifrequency correlations. During the period of monitoring, PKS 2155-304 revealed complex multiwavelength variability with two outbursts characterized by completely different multiband properties. The 2015 activity of the blazar is characterized by a flare observed at all wavelengths studied. The broadband emission observed during the outburst is well correlated without any time lags. Contrary to 2015, in 2016, only orphan outburst in the optical and ultraviolet wavelengths was observed. Such an orphan activity is reported for the first time for the blazar PKS 2155-304.


title: Geometric Equations for Matroid Varieties

abstract: Each point $x$ in Gr$(r,n)$ corresponds to an $r \times n$ matrix $A_x$ which gives rise to a matroid $M_x$ on its columns. Gel'fand, Goresky, MacPherson, and Serganova showed that the sets $\{y \in \mathrm{Gr}(r,n) | M_y = M_x\}$ form a stratification of Gr$(r,n)$ with many beautiful properties. However, results of Mn\"ev and Sturmfels show that these strata can be quite complicated, and in particular may have arbitrary singularities. We study the ideals $I_x$ of matroid varieties, the Zariski closures of these strata. We construct several classes of examples based on theorems from projective geometry and describe how the Grassmann-Cayley algebra may be used to derive non-trivial elements of $I_x$ geometrically when the combinatorics of the matroid is sufficiently rich.


title: Field models and numerical dosimetry inside an extremely-low-frequency electromagnetic bioreactor: the theoretical link between the electromagnetically induced mechanical forces and the biological mechanisms of the cell tensegrity

abstract: We have implemented field models and performed a detailed numerical dosimetry inside our extremely-low-frequency electromagnetic bioreactor which has been successfully used in $\textit{in vitro}$ Biotechnology and Tissue Engineering researches. The numerical dosimetry permitted to map the magnetic induction field (maximum module equal to about 3.3 mT) and to discuss its biological effects in terms of induced electric currents and induced mechanical forces (compression and traction). So, in the frame of the tensegrity-mechanotransduction theory of Ingber, the study of these electromagnetically induced mechanical forces could be, in our opinion, a powerful tool to understand some effects of the electromagnetic stimulation whose mechanisms remain still elusive.


title: A hierarchical neural hybrid method for failure probability estimation

abstract: Failure probability evaluation for complex physical and engineering systems governed by partial differential equations (PDEs) are computationally intensive, especially when high-dimensional random parameters are involved. Since standard numerical schemes for solving these complex PDEs are expensive, traditional Monte Carlo methods which require repeatedly solving PDEs are infeasible. Alternative approaches which are typically the surrogate based methods suffer from the so-called ``curse of dimensionality'', which limits their application to problems with high-dimensional parameters. For this purpose, we develop a novel hierarchical neural hybrid (HNH) method to efficiently compute failure probabilities of these challenging high-dimensional problems. Especially, multifidelity surrogates are constructed based on neural networks with different levels of layers, such that expensive highfidelity surrogates are adapted only when the parameters are in the suspicious domain. The efficiency of our new HNH method is theoretically analyzed and is demonstrated with numerical experiments. From numerical results, we show that to achieve an accuracy in estimating the rare failure probability (e.g., $10^{-5}$), the traditional Monte Carlo method needs to solve PDEs more than a million times, while our HNH only requires solving them a few thousand times.


title: Experimental evidence for Zeeman spin-orbit coupling in layered antiferromagnetic conductors

abstract: Most of solid-state spin physics arising from spin-orbit coupling, from fundamental phenomena to industrial applications, relies on symmetry-protected degeneracies. So does the Zeeman spin-orbit coupling, expected to manifest itself in a wide range of antiferromagnetic conductors. Yet, experimental proof of this phenomenon has been lacking. Here, we demonstrate that the N\'eel state of the layered organic superconductor $\kappa$-(BETS)$_2$FeBr$_4$ shows no spin modulation of the Shubnikov-de Haas oscillations, contrary to its paramagnetic state. This is unambiguous evidence for the spin degeneracy of Landau levels, a direct manifestation of the Zeeman spin-orbit coupling. Likewise, we show that spin modulation is absent in electron-doped Nd$_{1.85}$Ce$_{0.15}$CuO$_4$, which evidences the presence of N\'eel order in this cuprate superconductor even at optimal doping. Obtained on two very different materials, our results demonstrate the generic character of the Zeeman spin-orbit coupling.


title: The importance of second order deformation potentials in modeling of InAs/GaAs nanostructures

abstract: Accurate modeling of electronic properties of nanostructures is a challenging theoretical problem. Methods making use of continuous media approximation, such as k.p, sometimes struggle to reproduce results obtained with more accurate atomistic approaches. On the contrary, atomistic schemes generally come with a substantially larger cost of computation. Here, we bridge between these two approaches by taking 8-band k.p method augmented with non-linear strain terms fit to reproduce sp3d5s* tight-binding results. We illustrate this method on the example of electron and hole states confined in quantum wells and quantum dots of photonics applications relevant InAs/GaAs material system, and demonstrate a good agreement of a non-linear k.p scheme with empirical tight-binding method. We discuss limits of our procedure as well as provide non-linear 8-band k.p parameter sets for InAs and GaAs. Finally, we propose a parameterization for effective term used to improve the accuracy of the standard effective mass method.


title: Learning Guided Convolutional Network for Depth Completion

abstract: Dense depth perception is critical for autonomous driving and other robotics applications. However, modern LiDAR sensors only provide sparse depth measurement. It is thus necessary to complete the sparse LiDAR data, where a synchronized guidance RGB image is often used to facilitate this completion. Many neural networks have been designed for this task. However, they often na\"{\i}vely fuse the LiDAR data and RGB image information by performing feature concatenation or element-wise addition. Inspired by the guided image filtering, we design a novel guided network to predict kernel weights from the guidance image. These predicted kernels are then applied to extract the depth image features. In this way, our network generates content-dependent and spatially-variant kernels for multi-modal feature fusion. Dynamically generated spatially-variant kernels could lead to prohibitive GPU memory consumption and computation overhead. We further design a convolution factorization to reduce computation and memory consumption. The GPU memory reduction makes it possible for feature fusion to work in multi-stage scheme. We conduct comprehensive experiments to verify our method on real-world outdoor, indoor and synthetic datasets. Our method produces strong results. It outperforms state-of-the-art methods on the NYUv2 dataset and ranks 1st on the KITTI depth completion benchmark at the time of submission. It also presents strong generalization capability under different 3D point densities, various lighting and weather conditions as well as cross-dataset evaluations. The code will be released for reproduction.


title: The tangential cone condition for some coefficient identification model problems in parabolic PDEs

abstract: The tangential condition was introduced in [Hanke et al., 95] as a sufficient condition for convergence of the Landweber iteration for solving ill-posed problems. In this paper we present a series of time dependent benchmark inverse problems for which we can verify this condition.


title: Lifetime renormalization of driven weakly anharmonic superconducting qubits: II. The readout problem

abstract: Recent experiments in superconducting qubit systems have shown an unexpectedly strong dependence of the qubit relaxation rate on the readout drive power. This phenomenon limits the maximum measurement strength and thus the achievable readout speed and fidelity. We address this problem here and provide a plausible mechanism for drive-power dependence of relaxation rates. To this end we introduce a two-parameter perturbative expansion in qubit anharmonicity and the drive amplitude through a unitary transformation technique introduced in Part I. This approach naturally reveals number non-conserving terms in the Josephson potential as a fundamental mechanism through which applied microwave drives can activate additional relaxation mechanisms. We present our results in terms of an effective master equation with renormalized state- and drive-dependent transition frequency and relaxation rates. Comparison of numerical results from this effective master equation to those obtained from a Lindblad master equation which only includes number-conserving terms (i.e. Kerr interactions) shows that number non-conserving terms can lead to significant drive-power dependence of the relaxation rates. The systematic expansion technique introduced here is of general applicability to obtaining effective master equations for driven-dissipative quantum systems that contain weakly non-linear degrees of freedom.


title: Robust Max Entrywise Error Bounds for Tensor Estimation from Sparse Observations via Similarity Based Collaborative Filtering

abstract: Consider the task of estimating a 3-order $n \times n \times n$ tensor from noisy observations of randomly chosen entries in the sparse regime. We introduce a similarity based collaborative filtering algorithm for estimating a tensor from sparse observations and argue that it achieves sample complexity that nearly matches the conjectured computationally efficient lower bound on the sample complexity for the setting of low-rank tensors. Our algorithm uses the matrix obtained from the flattened tensor to compute similarity, and estimates the tensor entries using a nearest neighbor estimator. We prove that the algorithm recovers a finite rank tensor with maximum entry-wise error (MEE) and mean-squared-error (MSE) decaying to $0$ as long as each entry is observed independently with probability $p = \Omega(n^{-3/2 + \kappa})$ for any arbitrarily small $\kappa > 0$. More generally, we establish robustness of the estimator, showing that when arbitrary noise bounded by $\varepsilon \geq 0$ is added to each observation, the estimation error with respect to MEE and MSE degrades by $\text{poly}(\varepsilon)$. Consequently, even if the tensor may not have finite rank but can be approximated within $\varepsilon \geq 0$ by a finite rank tensor, then the estimation error converges to $\text{poly}(\varepsilon)$. Our analysis sheds insight into the conjectured sample complexity lower bound, showing that it matches the connectivity threshold of the graph used by our algorithm for estimating similarity between coordinates.


title: Kannada-MNIST: A new handwritten digits dataset for the Kannada language

abstract: In this paper, we disseminate a new handwritten digits-dataset, termed Kannada-MNIST, for the Kannada script, that can potentially serve as a direct drop-in replacement for the original MNIST dataset. In addition to this dataset, we disseminate an additional real world handwritten dataset (with $10k$ images), which we term as the Dig-MNIST dataset that can serve as an out-of-domain test dataset. We also duly open source all the code as well as the raw scanned images along with the scanner settings so that researchers who want to try out different signal processing pipelines can perform end-to-end comparisons. We provide high level morphological comparisons with the MNIST dataset and provide baselines accuracies for the dataset disseminated. The initial baselines obtained using an oft-used CNN architecture ($96.8\%$ for the main test-set and $76.1\%$ for the Dig-MNIST test-set) indicate that these datasets do provide a sterner challenge with regards to generalizability than MNIST or the KMNIST datasets. We also hope this dissemination will spur the creation of similar datasets for all the languages that use different symbols for the numeral digits.


title: Focusing large spectral bandwidths through scattering media

abstract: Wavefront shaping is a powerful method to refocus light through a scattering medium. Its application to large spectral bandwidths or multiple wavelengths refocusing for nonlinear bio-imaging in-depth is however limited by spectral decorrelations. In this work, we demonstrate ways to access a large spectral memory of a refocus in thin scattering media and thick forward-scattering biological tissues. First, we show that the accessible spectral bandwidth through a scattering medium involves an axial spatio-spectral coupling, which can be minimized when working in a confocal geometry. Second, we show that this bandwidth can be further enlarged when working in a broadband excitation regime. These results open important prospects for multispectral nonlinear imaging through scattering media.


title: Real-time Deep Learning at the Edge for Scalable Reliability Modeling of Si-MOSFET Power Electronics Converters

abstract: With the significant growth of advanced high-frequency power converters, on-line monitoring and active reliability assessment of power electronic devices are extremely crucial. This article presents a transformative approach, named Deep Learning Reliability Awareness of Converters at the Edge (Deep RACE), for real-time reliability modeling and prediction of high-frequency MOSFET power electronic converters. Deep RACE offers a holistic solution which comprises algorithm advances, and full system integration (from the cloud down to the edge node) to create a near real-time reliability awareness. On the algorithm side, this paper proposes a deep learning algorithmic solution based on stacked LSTM for collective reliability training and inference across collective MOSFET converters based on device resistance changes. Deep RACE also proposes an integrative edge-to-cloud solution to offer a scalable decentralized devices-specific reliability monitoring, awareness, and modeling. The MOSFET convertors are IoT devices which have been empowered with edge real-time deep learning processing capabilities. The proposed Deep RACE solution has been prototyped and implemented through learning from MOSFET data set provided by NASA. Our experimental results show an average miss prediction of $8.9\%$ over five different devices which is a much higher accuracy compared to well-known classical approaches (Kalman Filter, and Particle Filter). Deep RACE only requires $26ms$ processing time and $1.87W$ computing power on Edge IoT device.


title: Counting rational points on a Grassmannian

abstract: We prove an estimate on the number of rational points on the Grassmannian variety of bounded twisted height, refining the classical results of Schmidt ([12]) and Thunder ([20]) over the rational field: most importantly, our formula counts all points. Among the consequences are a couple of new implications on the classical subject of counting rational points on flag varieties.


title: Turning point processes in plane partitions with periodic weights of arbitrary period

abstract: We study random plane partitions with respect to volume measures with periodic weights of arbitrarily high period. We show that near the vertical boundary the system develops up to as many turning points as the period of the weights, and that these turning points are separated by vertical facets which can have arbitrary rational slope. In the lozenge tiling formulation of the model the facets consist of only two types of lozenges arranged in arbitrary periodic deterministic patterns. We compute the correlation functions near turning points and show that the point processes at the turning points can be described as several GUE-corners processes which are non-trivially correlated. The weights we study introduce a first order phase transition in the system. We compute the limiting correlation functions near this phase transition and obtain a process which is translation invariant in the vertical direction but not the horizontal.


title: Surface phonon-polaritons enhance thermal conduction in SiN nanomembranes

abstract: Surface phonon-polaritons can carry energy on the surface of dielectric films and thus are expected to contribute to heat conduction. However, the contribution of surface phonon-polaritons (SPhPs) to thermal transport has not been experimentally demonstrated yet. In this work, we experimentally measure the effective in-plane thermal conductivity of amorphous silicon nitride membrane and show that it can indeed be increased by SPhPs significantly when the membrane thickness scales down. In particular, by heating up a thin membrane (<100 nm) from 300 to 800 K, the thermal conductivity increases twice due to SPhPs contribution.


title: Multicritical behavior of the fidelity susceptibility for the 2D quantum transverse-field $XY$ model

abstract: The two-dimensional quantum $XY$ model with a transverse magnetic field was investigated with the exact diagonalization method. Upon turning on the magnetic field $h$ and the $XY$-plane anisotropy $\eta$, there appear a variety of phase boundaries, which meet at the multicritical point $(h,\eta)=(2,0)$. We devote ourselves to the Ising-universality branch, placing an emphasis on the multicritical behavior. As a probe to detect the underlying phase transitions, we adopt the fidelity susceptibility $\chi_F$. The fidelity susceptibility does not rely on any presumptions as to the order parameter involved. We made a finite-size-scaling analysis of $\chi_F$ for $\eta=1$ (Ising limit), where a number of preceding results are available. Thereby, similar analyses with $\eta$ scaled were carried out around the multicritical point. We found that the $\chi_F$ data are described by the crossover scaling theory. A comparison with the preceding studies of the multicriticality is made.


title: Near-optimal sampling strategies for multivariate function approximation on general domains

abstract: In this paper, we address the problem of approximating a multivariate function defined on a general domain in $d$ dimensions from sample points. We consider weighted least-squares approximation in an arbitrary finite-dimensional space $P$ from independent random samples taken according to a suitable measure. In general, least-squares approximations can be inaccurate and ill-conditioned when the number of sample points $M$ is close to $N = \dim(P)$. To counteract this, we introduce a novel method for sampling in general domains which leads to provably accurate and well-conditioned approximations. The resulting sampling measure is discrete, and therefore straightforward to sample from. Our main result shows near-optimal sample complexity for this procedure; specifically, $M = \mathcal{O}(N \log(N))$ samples suffice for a well-conditioned and accurate approximation. Numerical experiments on polynomial approximation in general domains confirm the benefits of this method over standard sampling.


title: Algebraic Groups Constructed from Orders of Quaternion Algebras

abstract: We show that all spin groups of non-definite, quinary quadratic forms over a field with characteristic 0 can be represented as 2 by 2 matrices with entries in an associated quaternion algebra. Over local and global fields, we further study maximal arithmetic subgroups of such groups, and show that examples can be produced by studying orders of the quaternion algebra. In both cases, we relate the algebraic properties of the underlying rings to sufficient and necessary conditions for the groups to be isomorphic and/or conjugate to one another.


title: Measuring the Algorithmic Convergence of Randomized Ensembles: The Regression Setting

abstract: When randomized ensemble methods such as bagging and random forests are implemented, a basic question arises: Is the ensemble large enough? In particular, the practitioner desires a rigorous guarantee that a given ensemble will perform nearly as well as an ideal infinite ensemble (trained on the same data). The purpose of the current paper is to develop a bootstrap method for solving this problem in the context of regression --- which complements our companion paper in the context of classification (Lopes 2019). In contrast to the classification setting, the current paper shows that theoretical guarantees for the proposed bootstrap can be established under much weaker assumptions. In addition, we illustrate the flexibility of the method by showing how it can be adapted to measure algorithmic convergence for variable selection. Lastly, we provide numerical results demonstrating that the method works well in a range of situations.


title: Learning Latent Factors from Diversified Projections and its Applications to Over-Estimated and Weak Factors

abstract: Estimations and applications of factor models often rely on the crucial condition that the number of latent factors is consistently estimated, which in turn also requires that factors be relatively strong, data are stationary and weak serial dependence, and the sample size be fairly large, although in practical applications, one or several of these conditions may fail. In these cases it is difficult to analyze the eigenvectors of the data matrix. To address this issue, we propose simple estimators of the latent factors using cross-sectional projections of the panel data, by weighted averages with pre-determined weights. These weights are chosen to diversify away the idiosyncratic components, resulting in "diversified factors". Because the projections are conducted cross-sectionally, they are robust to serial conditions, easy to analyze and work even for finite length of time series. We formally prove that this procedure is robust to over-estimating the number of factors, and illustrate it in several applications, including post-selection inference, big data forecasts, large covariance estimation and factor specification tests. We also recommend several choices for the diversified weights.


title: Method of Contraction-Expansion (MOCE) for Simultaneous Inference in Linear Models

abstract: Simultaneous inference after model selection is of critical importance to address scientific hypotheses involving a set of parameters. In this paper, we consider high-dimensional linear regression model in which a regularization procedure such as LASSO is applied to yield a sparse model. To establish a simultaneous post-model selection inference, we propose a method of contraction and expansion (MOCE) along the line of debiasing estimation that enables us to balance the bias-and-variance trade-off so that the super-sparsity assumption may be relaxed. We establish key theoretical results for the proposed MOCE procedure from which the expanded model can be selected with theoretical guarantees and simultaneous confidence regions can be constructed by the joint asymptotic normal distribution. In comparison with existing methods, our proposed method exhibits stable and reliable coverage at a nominal significance level with substantially less computational burden, and thus it is trustworthy for its application in solving real-world problems.


title: Thermodynamic Instabilities of Generalized Exotic BTZ Black Holes

abstract: We examine the conjecture that black holes violating the reverse isoperimetric inequality have negative specific heat at constant volume $C_V$. We test this conjecture on the family of generalized exotic Ba\~nados, Teitelbiom and Zanelli (BTZ) black holes and find that $C_V$ can be positive even when the reverse isoperimetric inequality is violated, providing a counter example to the conjecture. However in all cases where $C_V$ is positive, the specific heat at constant pressure $C_P$ is negative, indicating that generalized exotic black holes are thermodynamically unstable, suggesting that a broader version of the conjecture might hold.


title: $L^q(L^p)$-theory of stochastic differential equations

abstract: In this paper we show the weak differentiability of the unique strong solution with respect to the starting point $x$ as well as Bismut-Elworthy-Li's derivative formula for the following stochastic differential equation in $\mathbb R^d$: $$ {\rm d} X_t=b(t,X_t){\rm d} t+\sigma(t,X_t){\rm d} W_t,\ \ X_0=x\in\mathbb R^d, $$ where $\sigma$ is bounded, uniformly continuous and nondegenerate, $\nabla\sigma\in \widetilde{\mathbb L}^{p_1}_{q_1}$ and $b\in \widetilde{\mathbb L}^{p_2}_{q_2}$ for some $p_i,q_i\in[2,\infty)$ with $\frac{d}{p_i}+\frac{2}{q_i}<1$, $i=1,2$, where $\widetilde{\mathbb L}^{p_i}_{q_i}, i=1,2$ are some localized spaces. Moreover, in the endpoint case $b\in \widetilde{\mathbb L}^{d; {\rm uni}}_\infty$, we also show the weak well-posedness.


title: Creation of knowledge through exchanges of knowledge: Evidence from Japanese patent data

abstract: This study shows evidence for collaborative knowledge creation among individual researchers through direct exchanges of their mutual differentiated knowledge. Using patent application data from Japan, the collaborative output is evaluated according to the quality and novelty of the developed patents, which are measured in terms of forward citations and the order of application within their primary technological category, respectively. Knowledge exchange is shown to raise collaborative productivity more through the extensive margin (i.e., the number of patents developed) in the quality dimension, whereas it does so more through the intensive margin in the novelty dimension (i.e., novelty of each patent).


title: On Extensions of the Loomis-Whitney Inequality and Ball's Inequality for Concave, Homogeneous Measures

abstract: The Loomis-Whitney inequality states that the volume of a convex body is bounded by the product of volumes of its projections onto orthogonal hyperplanes. We provide an extension of both this fact and a generalization of this fact due to Ball to the context of $q-$concave, $\frac{1}{q}-$homogeneous measures.


title: 3-Regular Graphs Are 2-Reconstructible

abstract: A graph is $\ell$-reconstructible if it is determined by its multiset of induced subgraphs obtained by deleting $\ell$ vertices. We prove that $3$-regular graphs are $2$-reconstructible.


title: Attentive Normalization

abstract: In state-of-the-art deep neural networks, both feature normalization and feature attention have become ubiquitous. % with significant performance improvement shown in a vast amount of tasks. They are usually studied as separate modules, however. In this paper, we propose a light-weight integration between the two schema and present Attentive Normalization (AN). Instead of learning a single affine transformation, AN learns a mixture of affine transformations and utilizes their weighted-sum as the final affine transformation applied to re-calibrate features in an instance-specific way. The weights are learned by leveraging channel-wise feature attention. In experiments, we test the proposed AN using four representative neural architectures in the ImageNet-1000 classification benchmark and the MS-COCO 2017 object detection and instance segmentation benchmark. AN obtains consistent performance improvement for different neural architectures in both benchmarks with absolute increase of top-1 accuracy in ImageNet-1000 between 0.5\% and 2.7\%, and absolute increase up to 1.8\% and 2.2\% for bounding box and mask AP in MS-COCO respectively. We observe that the proposed AN provides a strong alternative to the widely used Squeeze-and-Excitation (SE) module. The source codes are publicly available at https://github.com/iVMCL/AOGNet-v2 (the ImageNet Classification Repo) and https://github.com/iVMCL/AttentiveNorm\_Detection (the MS-COCO Detection and Segmentation Repo).


title: Full-semiparametric-likelihood-based inference for non-ignorable missing data

abstract: During the past few decades, missing-data problems have been studied extensively, with a focus on the ignorable missing case, where the missing probability depends only on observable quantities. By contrast, research into non-ignorable missing data problems is quite limited. The main difficulty in solving such problems is that the missing probability and the regression likelihood function are tangled together in the likelihood presentation, and the model parameters may not be identifiable even under strong parametric model assumptions. In this paper we discuss a semiparametric model for non-ignorable missing data and propose a maximum full semiparametric likelihood estimation method, which is an efficient combination of the parametric conditional likelihood and the marginal nonparametric biased sampling likelihood. The extra marginal likelihood contribution can not only produce efficiency gain but also identify the underlying model parameters without additional assumptions. We further show that the proposed estimators for the underlying parameters and the response mean are semiparametrically efficient. Extensive simulations and a real data analysis demonstrate the advantage of the proposed method over competing methods.


title: Analysis and Optimization of I/O Cache Coherency Strategies for SoC-FPGA Device

abstract: Unlike traditional PCIe-based FPGA accelerators, heterogeneous SoC-FPGA devices provide tighter integrations between software running on CPUs and hardware accelerators. Modern heterogeneous SoC-FPGA platforms support multiple I/O cache coherence options between CPUs and FPGAs, but these options can have inadvertent effects on the achieved bandwidths depending on applications and data access patterns. To provide the most efficient communications between CPUs and accelerators, understanding the data transaction behaviors and selecting the right I/O cache coherence method is essential. In this paper, we use Xilinx Zynq UltraScale+ as the SoC platform to show how certain I/O cache coherence method can perform better or worse in different situations, ultimately affecting the overall accelerator performances as well. Based on our analysis, we further explore possible software and hardware modifications to improve the I/O performances with different I/O cache coherence options. With our proposed modifications, the overall performance of SoC design can be averagely improved by 20%.


title: A systematic review of fuzzing based on machine learning techniques

abstract: Security vulnerabilities play a vital role in network security system. Fuzzing technology is widely used as a vulnerability discovery technology to reduce damage in advance. However, traditional fuzzing techniques have many challenges, such as how to mutate input seed files, how to increase code coverage, and how to effectively bypass verification. Machine learning technology has been introduced as a new method into fuzzing test to alleviate these challenges. This paper reviews the research progress of using machine learning technology for fuzzing test in recent years, analyzes how machine learning improve the fuzz process and results, and sheds light on future work in fuzzing. Firstly, this paper discusses the reasons why machine learning techniques can be used for fuzzing scenarios and identifies six different stages in which machine learning have been used. Then this paper systematically study the machine learning based fuzzing models from selection of machine learning algorithm, pre-processing methods, datasets, evaluation metrics, and hyperparameters setting. Next, this paper assesses the performance of the machine learning models based on the frequently used evaluation metrics. The results of the evaluation prove that machine learning technology has an acceptable capability of categorize predictive for fuzzing. Finally, the comparison on capability of discovering vulnerabilities between traditional fuzzing tools and machine learning based fuzzing tools is analyzed. The results depict that the introduction of machine learning technology can improve the performance of fuzzing. However, there are still some limitations, such as unbalanced training samples and difficult to extract the characteristics related to vulnerabilities.


title: Matching reads to many genomes with the $r$-index

abstract: The $r$-index is a tool for compressed indexing of genomic databases for exact pattern matching, which can be used to completely align reads that perfectly match some part of a genome in the database or to find seeds for reads that do not. This paper shows how to download and install the programs ri-buildfasta and ri-align; how to call ri-buildfasta on a FASTA file to build an $r$-index for that file; and how to query that index with ri-align. Availability: The source code for these programs is released under GPLv3 and available at https://github.com/alshai/r-index .


title: Magnetic Domain Wall Motion due to AC Bias-Driven Resonances

abstract: Most of the existing researches on the dynamics of a domain wall (DW) have focused on the effect of DC biases, where the induced velocity is determined by the bias strength. Here we show that AC biases such as a field or a current are also able to move a DW via synchronization between the DW angle and the phase of the AC bias. The resulting DW velocity is proportional to the driving frequency of the AC bias, but independent of the bias strength, offering potentially low-power operations of DW devices. The AC-bias-driven DW motion is shown to exhibit a phase locking-unlocking transition, a critical phenomenon akin to the Walker breakdown of a DC-bias-driven DW motion. Our work shows that a DW can be driven resonantly by synchronizing its angle to AC biases, shedding a light on hitherto overlooked utility of internal degree of freedom for driving magnetic textures.


title: Relative Spectral Invariants of Elliptic Operators on Manifolds

abstract: We introduce and study {\it new} relative spectral invariants of {\it two} elliptic partial differential operators of Laplace and Dirac type on compact smooth manifolds without boundary that depend on both the eigenvalues and the eigensections of these operators and contain much more information about geometry. We prove the existence of the homogeneous short time asymptotics of the new invariants with the coefficients of the asymptotic expansion being integrals of some invariants that depend on the symbols of both operators. The first two coefficients of the asymptotic expansion are computed explicitly.


title: Robust Subspace Discovery by Block-diagonal Adaptive Locality-constrained Representation

abstract: We propose a novel and unsupervised representation learning model, i.e., Robust Block-Diagonal Adaptive Locality-constrained Latent Representation (rBDLR). rBDLR is able to recover multi-subspace structures and extract the adaptive locality-preserving salient features jointly. Leveraging on the Frobenius-norm based latent low-rank representation model, rBDLR jointly learns the coding coefficients and salient features, and improves the results by enhancing the robustness to outliers and errors in given data, preserving local information of salient features adaptively and ensuring the block-diagonal structures of the coefficients. To improve the robustness, we perform the latent representation and adaptive weighting in a recovered clean data space. To force the coefficients to be block-diagonal, we perform auto-weighting by minimizing the reconstruction error based on salient features, constrained using a block-diagonal regularizer. This ensures that a strict block-diagonal weight matrix can be obtained and salient features will possess the adaptive locality preserving ability. By minimizing the difference between the coefficient and weights matrices, we can obtain a block-diagonal coefficients matrix and it can also propagate and exchange useful information between salient features and coefficients. Extensive results demonstrate the superiority of rBDLR over other state-of-the-art methods.


title: Most binary matrices have no small defining set

abstract: Consider a matrix $M$ chosen uniformly at random from a class of $m \times n$ matrices of zeros and ones with prescribed row and column sums. A partially filled matrix $D$ is a $\mathit{defining}$ $\mathit{set}$ for $M$ if $M$ is the unique member of its class that contains the entries in $D$. The $\mathit{size}$ of a defining set is the number of filled entries. A $\mathit{critical}$ $\mathit{set}$ is a defining set for which the removal of any entry stops it being a defining set. For some small fixed $\epsilon>0$, we assume that $n\le m=o(n^{1+\epsilon})$, and that $\lambda\le1/2$, where $\lambda$ is the proportion of entries of $M$ that equal $1$. We also assume that the row sums of $M$ do not vary by more than $\mathcal{O}(n^{1/2+\epsilon})$, and that the column sums do not vary by more than $\mathcal{O}(m^{1/2+\epsilon})$. Under these assumptions we show that $M$ almost surely has no defining set of size less than $\lambda mn-\mathcal{O}(m^{7/4+\epsilon})$. It follows that $M$ almost surely has no critical set of size more than $(1-\lambda)mn+\mathcal{O}(m^{7/4+\epsilon})$. Our results generalise a theorem of Cavenagh and Ramadurai, who examined the case when $\lambda=1/2$ and $n=m=2^k$ for an integer $k$.


title: Identify the stiffness of DNA via deep learning

abstract: DNA detection is of great significance in the point-of-care diagnostics. The stiffness of DNA, varying with its sequence and mechanochemical environment, could be a potential marker for DNA identification. The steric configurations of DNA fragments with different stiffness were simulated by employing the Kirchhoff theory of thin elastic rods. We identified the stiffness of DNA with the trained convolutional neural network on the simulated image set. The identification accuracy reached 99.85%. The stiffness-based identification provided a promising approach for DNA detection.


title: Pointing System for the Large Size Telescopes Prototype of the Cherenkov Telescope Array

abstract: The pointing system of the prototype of the Large Size Telescope (LST-1) for the Cherenkov Telescope Array observatory, should ensure mapping of the gamma-ray image of a point-like source in the Cherenkov camera to the sky coordinates with a precision better than 14 arcseconds. Detailed studies of the telescope deformations are performed in order to disentangle different deformations and quantify their contributions to the miss-pointing, to learn how to correct for them, and finally how to design the system for offline and online pointing corrections. The LST-1 pointing precision system consist of several devices mounted at the center of the dish: Starguider Camera (SG), Camera Displacement Monitor (CDM), two inclinometers, four distance meters, and an Optical Axis Reference Laser (OARL), working together with the LEDs mounted in a circle around the Cherenkov camera. The online pointing corrections are based on a bending model as currently done by existing IACTs. The offline corrections will be performed combining measurements done by the SG and CDM cameras. SG will provide the position of the Cherenkov camera center with respect to the sky coordinates with a precision of 5 arcseconds, while CDM will provide the deviation of the telescope optical axis defined by the OARL spots with respect to the Cherenkov camera center with a precision better than 5 arcseconds. Laboratory measurements on dedicated test benches showed that the required pointing precision can be achieved for SG, CDM and inclinometer.


title: Hopfield Neural Network Flow: A Geometric Viewpoint

abstract: We provide gradient flow interpretations for the continuous-time continuous-state Hopfield neural network (HNN). The ordinary and stochastic differential equations associated with the HNN were introduced in the literature as analog optimizers, and were reported to exhibit good performance in numerical experiments. In this work, we point out that the deterministic HNN can be transcribed into Amari's natural gradient descent, and thereby uncover the explicit relation between the underlying Riemannian metric and the activation functions. By exploiting an equivalence between the natural gradient descent and the mirror descent, we show how the choice of activation function governs the geometry of the HNN dynamics. For the stochastic HNN, we show that the so-called "diffusion machine", while not a gradient flow itself, induces a gradient flow when lifted in the space of probability measures. We characterize this infinite dimensional flow as the gradient descent of certain free energy with respect to a Wasserstein metric that depends on the geodesic distance on the ground manifold. Furthermore, we demonstrate how this gradient flow interpretation can be used for fast computation via recently developed proximal algorithms.


title: Surpassing the rate-transmittance linear bound of quantum key distribution

abstract: Quantum key distribution (QKD offers a long-term solution to establish information-theoretically secure keys between two distant users. In practice, with a careful characterization of quantum sources and the decoy-state method, measure-device-independent quantum key distribution (MDI-QKD) provides secure key distribution. While short-distance fibre-based QKD has already been available for real-life implementation, the bottleneck of practical QKD lies on the limited transmission distance. Due to photon losses in transmission, it was believed that the key generation rate is bounded by a linear function of the channel transmittance, $O(\eta)$, without a quantum repeater, which puts an upper bound on the maximal secure transmission distance. Interestingly, a new phase-encoding MDI-QKD scheme, named twin-field QKD, has been suggested to beat the linear bound, while another variant, named phase-matching quantum key distribution (PM-QKD), has been proven to have a quadratic key-rate improvement, $O(\sqrt{\eta})$. In reality, however, the intrinsic optical mode mismatch of independent lasers, accompanied by phase fluctuation and drift, impedes the successful experimental implementation of the new schemes. Here, we solve this problem with the assistance of the laser injection technique and the phase post-compensation method. In the experiment, the key rate surpasses the linear key-rate bound via 302 km and 402 km commercial-fibre channels, achieving a key rate over 4 orders of magnitude higher than the existing results in literature. Furthermore, with a 502 km ultralow-loss fibre, our system yields a secret key rate of 0.118 bps. We expect this new type of QKD schemes to become a new standard for future QKD.


title: Estimating Unobserved Individual Heterogeneity Using Pairwise Comparisons

abstract: We propose a new method for studying environments with unobserved individual heterogeneity. Based on model-implied pairwise inequalities, the method classifies individuals in the sample into groups defined by discrete unobserved heterogeneity with unknown support. We establish conditions under which the groups are identified and consistently estimated through our method. We show that the method performs well in finite samples through Monte Carlo simulation. We then apply the method to estimate a model of lowest-price procurement auctions with unobserved bidder heterogeneity, using data from the California highway procurement market.


title: Affine flag graphs and classification of a family of symmetric graphs with complete quotients

abstract: A graph $\Gamma$ is $G$-symmetric if $G$ is a group of automorphisms of $\Gamma$ which is transitive on the set of ordered pairs of adjacent vertices of $\Gamma$. If $V(\Gamma)$ admits a nontrivial $G$-invariant partition ${\cal B}$ such that for blocks $B, C \in {\cal B}$ adjacent in the quotient graph $\Gamma_{{\cal B}}$ of $\Gamma$ relative to ${\cal B}$, exactly one vertex of $B$ has no neighbour in $C$, then $\Gamma$ is called an almost multicover of $\Gamma_{{\cal B}}$. In this case an incidence structure with point set ${\cal B}$ arises naturally, and it is a $(G, 2)$-point-transitive and $G$-block-transitive 2-design if in addition $\Gamma_{{\cal B}}$ is a complete graph. In this paper we classify all $G$-symmetric graphs $\Gamma$ such that (i) ${\cal B}$ has block size $|B| \ge 3$; (ii) $\Gamma_{{\cal B}}$ is complete and almost multi-covered by $\Gamma$; (iii) the incidence structure involved is a linear space; and (iv) $G$ contains a regular normal subgroup which is elementary abelian. This classification together with earlier results in [A. Gardiner and C. E. Praeger, Australas. J. Combin. 71 (2018) 403--426], [M.~Giulietti et al., J. Algebraic Combin. 38 (2013) 745--765] and [T. Fang et al., Electronic J. Combin. 23 (2) (2016) P2.27] completes the classification of symmetric graphs satisfying (i) and (ii).


title: Excited heavy quarkonium production in Higgs boson decays

abstract: The rare decay channels of Higgs boson to heavy quarkonium offer vital opportunities to explore the coupling of Higgs to heavy quarks. We study the semi-exclusive decay channels of Higgs boson to heavy quarkonia, i.e., $H^0\to |(Q\bar{Q^{\prime}})[n]\rangle+\bar{Q}Q^{\prime}$ ($Q^{(\prime)}=c~\text{or}~b$ quark) within the NRQCD framework. In addition to the lower-level Fock states $|(Q\bar{Q'})[1S]\rangle$ continent, contributions of high excited states $|(Q\bar{Q'})[2S]\rangle$, $|(Q\bar{Q'})[3S]\rangle$, $|(Q\bar{Q'})[4S]\rangle$, $|(Q\bar{Q'})[1P]\rangle$, $|(Q\bar{Q'})[2P]\rangle$, $|(Q\bar{Q'})[3P]\rangle$ and $|(Q\bar{Q'})[4P]\rangle$ are also studied. According to our study, the contributions of high excited Fock states should be considered seriously. Differential distributions of total decay width with respect to invariant-mass and angles, as well as uncertainties caused by non-perturbative hadronic non-perturbative matrix elements are discussed. If all excited heavy quarkonium states decay to the ground spin-singlet state through electromagnetic or hadronic interactions, we obtain the decay widths for $|(Q\bar{Q'})\rangle$ quarkonium production through $H^0$ semi-exclusive decays: $25.10^{+11.6\%}_{-51.6\%}$ keV for $|(b\bar{c})[n]\rangle$ meson, $3.23^{+0\%}_{-62.2\%}$ keV for $|(c\bar{c})[n]\rangle$ and $2.36^{+0\%}_{-57.1\%}$ keV for $|(b\bar{b})[n]\rangle$, where uncertainties are caused by adopting different non-perturbative potential models. At future high energy LHC ($\sqrt{s}=27$ TeV), numerical results show that sizable amounts of events for those high excited states can be produced, which implies that one could also consider exploring the coupling properties of Higgs to heavy quarks in these high excited states channels, especially for the charmonium and bottomonium.


title: A View on Deep Reinforcement Learning in System Optimization

abstract: Many real-world systems problems require reasoning about the long term consequences of actions taken to configure and manage the system. These problems with delayed and often sequentially aggregated reward, are often inherently reinforcement learning problems and present the opportunity to leverage the recent substantial advances in deep reinforcement learning. However, in some cases, it is not clear why deep reinforcement learning is a good fit for the problem. Sometimes, it does not perform better than the state-of-the-art solutions. And in other cases, random search or greedy algorithms could outperform deep reinforcement learning. In this paper, we review, discuss, and evaluate the recent trends of using deep reinforcement learning in system optimization. We propose a set of essential metrics to guide future works in evaluating the efficacy of using deep reinforcement learning in system optimization. Our evaluation includes challenges, the types of problems, their formulation in the deep reinforcement learning setting, embedding, the model used, efficiency, and robustness. We conclude with a discussion on open challenges and potential directions for pushing further the integration of reinforcement learning in system optimization.


title: Enhanced specialization and microlocalization

abstract: Enhanced ind-sheaves provide a suitable framework for the irregular Riemann-Hilbert correspondence. In this paper, we show how Sato's specialization and microlocalization functors have a natural enhancement, and discuss some of their properties.


title: Interactive Visualisation of Hierarchical Quantitative Data: An Evaluation

abstract: We have compared three common visualisations for hierarchical quantitative data, treemaps, icicle plots and sunburst charts as well as a semicircular variant of sunburst charts we call the sundown chart. In a pilot study, we found that the sunburst chart was least preferred. In a controlled study with 12 participants, we compared treemaps, icicle plots and sundown charts. Treemap was the least preferred and had a slower performance on a basic navigation task and slower performance and accuracy in hierarchy understanding tasks. The icicle plot and sundown chart had similar performance with slight user preference for the icicle plot.


title: Discrete Painleve equation, Miwa variables, and string equation in 5d matrix models

abstract: The modern version of conformal matrix model (CMM) describes conformal blocks in the Dijkgraaf-Vafa phase. Therefore it possesses a determinant representation and becomes a Toda chain $\tau$-function only after a peculiar Fourier transform in internal dimensions. Moreover, in CMM Hirota equations arise in a peculiar discrete form (when the couplings of CMM are actually Miwa time-variables). Instead, this integrability property is actually independent on the measure in the original hypergeometric integral. To get hypergeometric functions, one needs to pick up a very special $\tau$-function satisfying an additional "string equation". Usually, its role is played by the lowest $L_{-1}$ Virasoro constraint, but, in the Miwa variables, it turns into a finite-difference equation with respect to the Miwa variables. One can get rid of these differences by rewriting the string equation in terms of some double ratios of the shifted $\tau$-functions, and then these ratios satisfy more sophisticated equations equivalent to the discrete Painlev\'e equations by M. Jimbo and H. Sakai ($q$-PVI equation). They look much simpler in the $q$-deformed ($"5d"$) matrix model, while in the "continuous" limit $q\longrightarrow 1$ to $4d$ one should consider the Miwa variables with non-unit multiplicities, what finally converts the simple discrete Painlev\'e $q$-PVI into sophisticated differential Painlev\'e VI equations, which will be considered elsewhere.


title: Automatic segmentation of kidney and liver tumors in CT images

abstract: Automatic segmentation of hepatic lesions in computed tomography (CT) images is a challenging task to perform due to heterogeneous, diffusive shape of tumors and complex background. To address the problem more and more researchers rely on assistance of deep convolutional neural networks (CNN) with 2D or 3D type architecture that have proven to be effective in a wide range of computer vision tasks, including medical image processing. In this technical report, we carry out research focused on more careful approach to the process of learning rather than on complex architecture of the CNN. We have chosen MICCAI 2017 LiTS dataset for training process and the public 3DIRCADb dataset for validation of our method. The proposed algorithm reached DICE score 78.8% on the 3DIRCADb dataset. The described method was then applied to the 2019 Kidney Tumor Segmentation (KiTS-2019) challenge, where our single submission achieved 96.38% for kidney and 67.38% for tumor Dice scores.


title: Topology of the icosidodecahedral arrangement

abstract: The icosidodecahedral arrangement is introduced by M. Yoshinaga (arXiv:1902.06256) as the first known example that is a hyperplane arrangement whose Milnor fiber has torsions in first integral homology. In this note, we prove that the icosidodecahedral arrangement is $K(\pi,1)$, hence so is its Milnor fiber.


title: Softmax Dissection: Towards Understanding Intra- and Inter-class Objective for Embedding Learning

abstract: The softmax loss and its variants are widely used as objectives for embedding learning, especially in applications like face recognition. However, the intra- and inter-class objectives in the softmax loss are entangled, therefore a well-optimized inter-class objective leads to relaxation on the intra-class objective, and vice versa. In this paper, we propose to dissect the softmax loss into independent intra- and inter-class objective (D-Softmax). With D-Softmax as objective, we can have a clear understanding of both the intra- and inter-class objective, therefore it is straightforward to tune each part to the best state. Furthermore, we find the computation of the inter-class objective is redundant and propose two sampling-based variants of D-Softmax to reduce the computation cost. Training with regular-scale data, experiments in face verification show D-Softmax is favorably comparable to existing losses such as SphereFace and ArcFace. Training with massive-scale data, experiments show the fast variants of D-Softmax significantly accelerates the training process (such as 64x) with only a minor sacrifice in performance, outperforming existing acceleration methods of softmax in terms of both performance and efficiency.


title: Grapheayne: a class of low-energy carbon allotropes with diverse optoelectronic and topological properties

abstract: A series of carbon allotropes with novel optoelectronic and rich topological properties is predicted by systematic first-principles calculations. These fascinating carbon allotropes can be derived by inserting acetylenic linkages (-C$\equiv$C-) into graphite, hence they are termed as grapheaynes. Grapheaynes possess two different space groups, $P$2/$m$ or $C$2/$m$, and contain simultaneously the $sp$, $sp^2$, and $sp^3$ chemical bonds. They have formation energies lower than the already experimentally synthesized graphdiyne and other theoretically predicted carbon allotropes with acetylenic linkages. Particularly, when the width $n$ of grapheayne-$n$ exceeds 15, its cohesive energy is lower than that of diamond, and approaches that of graphite with increasing $n$. Remarkably, we find that some grapheaynes behave as semiconductors with direct narrow band gaps and own the highest absorption coefficients among all known semiconducting carbon allotropes, while some others are topological semimetals with nodal lines. Especially, some grapheaynes can be engineered with tunable direct band gaps in the range of 1.07-1.87 eV and have ideal properties for photovoltaic applications. Our work not only uncovers the unique atomic arrangement and prominent properties of the grapheayne family, but also offers a treasury that provides promising materials for catalyst, energy storage, molecular sieves, solar cell, and electronic devices.


title: Sub-millimetric ultra-low-field MRI detected in situ by a dressed atomic magnetometer

abstract: Magnetic Resonance Imaging (MRI) is universally acknowledged as an excellent tool to extract detailed spatial information with minimally invasive measurements. Efforts toward ultra-low-field (ULF) MRI are made to simplify the scanners and to reduce artefacts and incompatibilities. Optical Atomic Magnetometers (OAMs) are among the sensitive magnetic detectors eligible for ULF operation, however they are not compatible with the strong field gradients used in MRI. We show that a magnetic-dressing technique restores the OAMs operability despite the gradient, and we demonstrate sub-millimetric resolution MRI with a compact experimental setup based on an in situ detection. The proof-of-concept experiment produces unidimensional imaging of remotely magnetized samples with a dual sensor, but the approach is suited to be adapted for 3-D imaging of samples magnetized in loco. An extension to multi-sensor architectures is also possible.


title: Solving equations after dense scan to improve the resolutions of microscopes

abstract: Super-resolution techniques overcome the diffraction-limit and get very high resolutions. A category of these techniques, e.g., STED achieves this by creating an illumination spot smaller than the Airy Disk. As a result, points are distinguishable even if they are as small as the spot. In order to further observe structures smaller than the spot itself, a technique called DDS scans the sample more densely, and recovers the expected image by deconvolution. In that technique, the deconvolution is achieved by filtering which requires some peripheral areas to be scanned together with the region of interest. In this study, an approach is proposed which has the same preprocessing stage as DDS. But it requires to scan only the region of interest. After that, an equation system is got from the scanned data. Finally, the expected image is recovered by solving the equation system. Experiments are performed on simulated data, and the results demonstrate the effectiveness of the proposed approach. The experiments also suggest that the proposed approach is more efficient than the existing one especially when the expected resolution is high.


title: Decay of a Quantum Knot

abstract: We experimentally study the dynamics of quantum knots in a uniform magnetic field in spin-1 Bose-Einstein condensates. The knot is created in the polar magnetic phase, which rapidly undergoes a transition towards the ferromagnetic phase in the presence of the knot. The magnetic order becomes scrambled as the system evolves, and the knot disappears. Strikingly, over long evolution times, the knot decays into a polar-core spin vortex, which is a member of a class of singular SO(3) vortices. The polar-core spin vortex is stable with an observed lifetime comparable to that of the condensate itself. The structure is similar to that predicted to appear in the evolution of an isolated monopole defect, suggesting a possible universality in the observed topological transition.