title: Improved Metric Distortion for Deterministic Social Choice Rules

abstract: In this paper, we study the metric distortion of deterministic social choice rules that choose a winning candidate from a set of candidates based on voter preferences. Voters and candidates are located in an underlying metric space. A voter has cost equal to her distance to the winning candidate. Ordinal social choice rules only have access to the ordinal preferences of the voters that are assumed to be consistent with the metric distances. Our goal is to design an ordinal social choice rule with minimum distortion, which is the worst-case ratio, over all consistent metrics, between the social cost of the rule and that of the optimal omniscient rule with knowledge of the underlying metric space. The distortion of the best deterministic social choice rule was known to be between $3$ and $5$. It had been conjectured that any rule that only looks at the weighted tournament graph on the candidates cannot have distortion better than $5$. In our paper, we disprove it by presenting a weighted tournament rule with distortion of $4.236$. We design this rule by generalizing the classic notion of uncovered sets, and further show that this class of rules cannot have distortion better than $4.236$. We then propose a new voting rule, via an alternative generalization of uncovered sets. We show that if a candidate satisfying the criterion of this voting rule exists, then choosing such a candidate yields a distortion bound of $3$, matching the lower bound. We present a combinatorial conjecture that implies distortion of $3$, and verify it for small numbers of candidates and voters by computer experiments. Using our framework, we also show that selecting any candidate guarantees distortion of at most $3$ when the weighted tournament graph is cyclically symmetric.


title: Test for homogeneity with unordered paired observations

abstract: In some applications, an experimental unit is composed of two distinct but related subunits. The response from such a unit is $(X_{1}, X_{2})$ but we observe only $Y_1 = \min\{X_{1},X_{2}\}$ and $Y_2 = \max\{X_{1},X_{2}\}$, i.e., the subunit identities are not observed. We call $(Y_1, Y_2)$ unordered paired observations. Based on unordered paired observations $\{(Y_{1i}, Y_{2i})\}_{i=1}^n$, we are interested in whether the marginal distributions for $X_1$ and $X_2$ are identical. Testing methods are available in the literature under the assumptions that $Var(X_1) = Var(X_2)$ and $Cov(X_1, X_2) = 0$. However, by extensive simulation studies, we observe that when one or both assumptions are violated, these methods have inflated type I errors or much lower powers. In this paper, we study the likelihood ratio test statistics for various scenarios and explore their limiting distributions without these restrictive assumptions. Furthermore, we develop Bartlett correction formulae for these statistics to enhance their precision when the sample size is not large. Simulation studies and real-data examples are used to illustrate the efficacy of the proposed methods.


title: Remove-Win: a Design Framework for Conflict-free Replicated Data Types

abstract: Distributed storage systems employ replication to improve performance and reliability. To provide low latency data access, replicas are often required to accept updates without coordination with each other, and the updates are then propagated asynchronously. This brings the critical challenge of conflict resolution among concurrent updates. Conflict-free Replicated Data Type (CRDT) is a principled approach to addressing this challenge. However, existing CRDT designs are tricky, and hard to be generalized to other data types. A design framework is in great need to guide the systematic design of new CRDTs. To address this challenge, we propose RWF -- the Remove-Win design Framework for CRDTs. RWF leverages the simple but powerful remove-win strategy to resolve conflicting updates, and provides generic design for a variety of data container types. Two exemplar implementations following RWF are given over the Redis data type store, which demonstrate the effectiveness of RWF. Performance measurements of our implementations further show the efficiency of CRDT designs following RWF.


title: Dynamics on the Morse Boundary

abstract: Let $X$ be a proper geodesic metric space and let $G$ be a group of isometries of $X$ which acts geometrically. Cordes constructed the Morse boundary of $X$ which generalizes the contracting boundary for CAT(0) spaces and the visual boundary for hyperbolic spaces. We characterize Morse elements in $G$ by their fixed points on the Morse boundary $\partial_MX$. The dynamics on the Morse boundary is very similar to that of a $\delta$-hyperbolic space. In particular, we show that the action of $G$ on $\partial_MX$ is minimal if $G$ is not virtually cyclic. We also get a uniform convergence result on the Morse boundary which gives us a weak north-south dynamics for a Morse isometry. This generalizes the work of Murray in the case of the contracting boundary of a CAT(0) space.


title: A Feature-Oriented Corpus for Understanding, Evaluating and Improving Fuzz Testing

abstract: Fuzzing is a promising technique for detecting security vulnerabilities. Newly developed fuzzers are typically evaluated in terms of the number of bugs found on vulnerable programs/binaries. However,existing corpora usually do not capture the features that prevent fuzzers from finding bugs, leading to ambiguous conclusions on the pros and cons of the fuzzers evaluated. A typical example is that Driller detects more bugs than AFL, but its evaluation cannot establish if the advancement of Driller stems from the concolic execution or not, since, for example, its ability in resolving a dataset`s magic values is unclear. In this paper, we propose to address the above problem by generating corpora based on search-hampering features. As a proof-of-concept, we have designed FEData, a prototype corpus that currently focuses on four search-hampering features to generate vulnerable programs for fuzz testing. Unlike existing corpora that can only answer "how", FEData can also further answer "why" by exposing (or understanding) the reasons for the identified weaknesses in a fuzzer. The "why" information serves as the key to the improvement of fuzzers.


title: Uncertainty relations for a non-canonical phase-space noncommutative algebra

abstract: We consider a non-canonical phase-space deformation of the Heisenberg-Weyl algebra that was recently introduced in the context of quantum cosmology. We prove the existence of minimal uncertainties for all pairs of non-commuting variables. We also show that the states which minimize each uncertainty inequality are ground states of certain positive operators. The algebra is shown to be stable and to violate the usual Heisenberg-Pauli-Weyl inequality for position and momentum. The techniques used are potentially interesting in the context of time-frequency analysis.


title: Time evolution of the behaviour of Brazilian legislative Representatives using a complex network approach

abstract: The follow up of Representative behavior after elections is imperative for a democratic Representative system, at the very least to punish betrayal with no re-election. Our goal was to show how to follow Representatives' and how to show behavior in real situations and observe trends in political crises including the onset of game changing political instabilities. We used correlation and correlation distance matrices of Brazilian Representative votes during four presidential terms. Re-ordering these matrices with Minimal Spanning Trees displays the dynamical formation of clusters for the sixteen year period, which includes one Presidential impeachment. The reordered matrices, colored by correlation strength and by the parties clearly show the origin of observed clusters and their evolution over time. When large clusters provide government support cluster breaks, political instability arises, which could lead to an impeachment, a trend we observed three years before the Brazilian President was impeached. We believe this method could be applied to foresee other political storms.


title: Model reconstruction from temporal data for coupled oscillator networks

abstract: In a complex system, the interactions between individual agents often lead to emergent collective behavior like spontaneous synchronization, swarming, and pattern formation. The topology of the network of interactions can have a dramatic influence over those dynamics. In many studies, researchers start with a specific model for both the intrinsic dynamics of each agent and the interaction network, and attempt to learn about the dynamics that can be observed in the model. Here we consider the inverse problem: given the dynamics of a system, can one learn about the underlying network? We investigate arbitrary networks of coupled phase-oscillators whose dynamics are characterized by synchronization. We demonstrate that, given sufficient observational data on the transient evolution of each oscillator, one can use machine learning methods to reconstruct the interaction network and simultaneously identify the parameters of a model for the intrinsic dynamics of the oscillators and their coupling.


title: Enhancing the cosmic-ray mass sensitivity of air-shower arrays by combining radio and muon detectors

abstract: The muonic and electromagnetic components of air showers are sensitive to the mass of the primary cosmic particle. The sizes of the components can be measured with particle detectors on ground, and the electromagnetic component in addition indirectly via its radio emission in the atmosphere. The electromagnetic particles do not reach the ground for very inclined showers. On the contrary, the atmosphere is transparent for the radio emission and its footprint on ground increases with the zenith angle. Therefore, the radio technique offers a reliable detection over the full range of zenith angles, and in particular for inclined showers. In this work, the mass sensitivity of a combination of the radio emission with the muons is investigated in a case study for the site of the Pierre Auger Observatory using CORSIKA Monte Carlo simulations of showers in the EeV energy range. It is shown, that the radio-muon combination features superior mass separation power in particular for inclined showers, when compared to established mass observables such as a combination of muons and electrons or the shower maximum Xmax. Accurate measurements of the energy-dependent mass composition of ultra-high energy cosmic rays are essential to understand their still unknown origin. Thus, the combination of muon and radio detectors can enhance the scientific performance of future air-shower arrays and offers a promising upgrade option for existing arrays.


title: Towards a Theory of Multi-Parameter Geometrical Variational Problems: Fibre Bundles, Differential Forms and Riemannian Quasiconvexity

abstract: We are concerned with the relaxation and existence theories of a general class of geometrical minimisation problems, with action integrals defined via differential forms over fibre bundles. We find natural algebraic and analytic conditions which give rise to a relaxation theory. Moreover, we propose the notion of ``Riemannian quasiconvexity'' for cost functions whose variables are differential forms on Riemannian manifolds, which extends the classical quasiconvexity condition in the Euclidean settings. The existence of minimisers under the Riemannian quasiconvexity condition has been established. This work may serve as a tentative generalisation of the framework developed in the recent paper: B. Dacorogna and W. Gangbo, Quasiconvexity and relaxation in optimal transportation of closed differential forms, \textit{Arch. Ration. Mech. Anal.} (2019), to appear. DOI: \texttt{https://doi.org/10.1007/s00205-019-01390-9}.


title: Optimal bounds for B\"uchi's problem in modular arithmetic II

abstract: Given a prime $p\ge5$ and an integer $s\ge1$, we show that there exists an integer $M$ such that for any quadratic polynomial $f$ with coefficients in the ring of integers modulo $p^s$, such that $f$ is not a square, if a sequence $(f(1),\dots,f(N))$ is a sequence of squares, then $N$ is at most $M$. We obtain this result by reducing to the case where $f$ has an invertible dominant coefficient.


title: On optimal weak algebraic manipulation detection codes and weighted external difference families

abstract: This paper provides a combinatorial characterization of weak algebraic manipulation detection (AMD) codes via a kind of generalized external difference families called bounded standard weighted external difference families (BSWEDFs). By means of this characterization, we improve a known lower bound on the maximum probability of successful tampering for the adversary's all possible strategies in weak AMD codes. We clarify the relationship between weak AMD codes and BSWEDFs with various properties. We also propose several explicit constructions for BSWEDFs, some of which can generate new optimal weak AMD codes.


title: ARSM: Augment-REINFORCE-Swap-Merge Estimator for Gradient Backpropagation Through Categorical Variables

abstract: To address the challenge of backpropagating the gradient through categorical variables, we propose the augment-REINFORCE-swap-merge (ARSM) gradient estimator that is unbiased and has low variance. ARSM first uses variable augmentation, REINFORCE, and Rao-Blackwellization to re-express the gradient as an expectation under the Dirichlet distribution, then uses variable swapping to construct differently expressed but equivalent expectations, and finally shares common random numbers between these expectations to achieve significant variance reduction. Experimental results show ARSM closely resembles the performance of the true gradient for optimization in univariate settings; outperforms existing estimators by a large margin when applied to categorical variational auto-encoders; and provides a "try-and-see self-critic" variance reduction method for discrete-action policy gradient, which removes the need of estimating baselines by generating a random number of pseudo actions and estimating their action-value functions.


title: Highest weight vectors in plethysms

abstract: We realize the $\mathrm{GL}_n(\mathbb{C})$-modules $S^k(S^m(\mathbb{C}^n))$ and $\Lambda^k(S^m(\mathbb{C}^n))$ as spaces of polynomial functions on $n\times k$ matrices. In the case $k=3$, we describe explicitly all the $\mathrm{GL}_n(\mathbb{C})$-highest weight vectors which occur in $S^3(S^m(\mathbb{C}^n))$ and in $\Lambda^3(S^m(\mathbb{C}^n))$ respectively.


title: An optimal control problem for the Navier-Stokes-$\alpha$ system

abstract: In this paper we study a distributed optimal control problem for a three-dimensional Navier-Stokes-$\alpha$ model. We prove the solvability of the optimal control problem, and derive first-order optimality conditions by using a Lagrange multipliers Theorem. Finally, considering a velocity tracking control problem for the three-dimensional Navier-Stokes-$\alpha$ model, we analyze the relation of its optimality system to the corresponding one associated to the Navier-Stokes model by proving a convergence theorem, which establishes that, as the length scale $\alpha$ goes to zero, the optimality system of the three-dimensional Navier-Stokes-$\alpha$ model converges to the optimality system associated with the velocity tracking control problem of the Navier-Stokes equations.


title: SinReQ: Generalized Sinusoidal Regularization for Low-Bitwidth Deep Quantized Training

abstract: Deep quantization of neural networks (below eight bits) offers significant promise in reducing their compute and storage cost. Albeit alluring, without special techniques for training and optimization, deep quantization results in significant accuracy loss. To further mitigate this loss, we propose a novel sinusoidal regularization, called SinReQ1, for deep quantized training. SinReQ adds a periodic term to the original objective function of the underlying training algorithm. SinReQ exploits the periodicity, differentiability, and the desired convexity profile in sinusoidal functions to automatically propel weights towards values that are inherently closer to quantization levels. Since, this technique does not require invasive changes to the training procedure, SinReQ can harmoniously enhance quantized training algorithms. SinReQ offers generality and flexibility as it is not limited to a certain bitwidth or a uniform assignment of bitwidths across layers. We carry out experimentation using the AlexNet, CIFAR-10, ResNet-18, ResNet-20, SVHN, and VGG-11 DNNs with three to five bits for quantization and show the versatility of SinReQ in enhancing multiple quantized training algorithms, DoReFa [32] and WRPN [24]. Averaging across all the bit configurations shows that SinReQ closes the accuracy gap between these two techniques and the full-precision runs by 32.4% and 27.5%, respectively. That is improving the absolute accuracy of DoReFa and WRPN by 2.8% and 2.1%, respectively.


title: Satellite Image Tasking Under Orbit Prediction Uncertainty

abstract: Small satellites have proven to be viable Earth observation platforms. These satellites operate in regimes of increased trajectory uncertainty where traditional planning approaches can lead to sub-optimal task plans, limiting science return. Previous formulations of the space mission planning problem decouple trajectory prediction and planning, which leads to task plans that are less robust to uncertainty. We present a Markov decision process formulation of the problem that accounts for uncertainties by incorporating a distribution of possible collection windows characterized through Monte Carlo simulation. An approximate solution technique yields tasking schedules with rewards comparable to the conventional methods while simultaneously reducing the variations caused by uncertainties and improving runtime.


title: Goussarov-Polyak-Viro Conjecture for degree three case

abstract: Although it is known that the dimension of the Vassiliev invariants of degree three of long virtual knots is seven, the complete list of seven distinct Gauss diagram formulas have been unknown explicitly, where only one known formula was revised without proof. In this paper, we give seven Gauss diagram formulas to present the seven invariants of the degree three (Proposition 4). We further give 23 Gauss diagram formulas of classical knots (Proposition 5). In particular, the Polyak-Viro Gauss diagram formula [19] is not a long virtual knot invariant; however, it is included in the list of 23 formulas. It has been unknown whether this formula would be available by arrow diagram calculus automatically. In consequence, as it relates to the conjecture of Goussarov-Polyak-Viro [8, Conjecture 3.C], for all the degree three finite type long virtual knot invariants, each Gauss diagram formula is represented as those of Vassiliev invariants of classical knots (Theorem 1).


title: A Wide and Deep Exploration of Radio Galaxies with Subaru HSC (WERGS). II. Physical Properties derived from the SED Fitting with Optical, Infrared, and Radio Data

abstract: We present physical properties of radio galaxies (RGs) with $f_{\rm 1.4 GHz} >$ 1 mJy discovered by Subaru Hyper Supreme-Cam (HSC) and VLA Faint Images of the Radio Sky at Twenty-Centimeters (FIRST) survey. For 1056 FIRST RGs at $0 < z \leq 1.7$ with HSC counterparts in about 100 deg$^2$, we compiled multi-wavelength data of optical, near-infrared (IR), mid-IR, far-IR, and radio (150 MHz). We derived their color excess ($E (B-V)_{*}$), stellar mass, star formation rate (SFR), IR luminosity, the ratio of IR and radio luminosity ($q_{\rm IR}$), and radio spectral index ($\alpha_{\rm radio}$) that are derived from the SED fitting with CIGALE. We also estimated Eddington ratio based on stellar mass and integration of the best-fit SEDs of AGN component. We found that $E (B-V)_{*}$, SFR, and IR luminosity clearly depend on redshift while stellar mass, $q_{\rm IR}$, and $\alpha_{\rm radio}$ do not significantly depend on redshift. Since optically-faint ($i_{\rm AB} \geq 21.3$) RGs that are newly discovered by our RG survey tend to be high redshift, they tend to not only have a large dust extinction and low stellar mass but also have high SFR and AGN luminosity, high IR luminosity, and high Eddington ratio compared to optically-bright ones. The physical properties of a fraction of RGs in our sample seem to differ from a classical view of RGs with massive stellar mass, low SFR, and low Eddington ratio, demonstrating that our RG survey with HSC and FIRST provides us curious RGs among entire RG population.


title: Contextualization of Morphological Inflection

abstract: Critical to natural language generation is the production of correctly inflected text. In this paper, we isolate the task of predicting a fully inflected sentence from its partially lemmatized version. Unlike traditional morphological inflection or surface realization, our task input does not provide ``gold'' tags that specify what morphological features to realize on each lemmatized word; rather, such features must be inferred from sentential context. We develop a neural hybrid graphical model that explicitly reconstructs morphological features before predicting the inflected forms, and compare this to a system that directly predicts the inflected forms without relying on any morphological annotation. We experiment on several typologically diverse languages from the Universal Dependencies treebanks, showing the utility of incorporating linguistically-motivated latent variables into NLP models.


title: Temperature-induced atomic-structure modifications in UO$_{2}$ and UO$_{2+x}$

abstract: UO$_{2}$ and UO$_{2.07}$ were characterized from 25-1000$\,^{\circ}\mathrm{C}$ using neutron total scattering in order to evaluate effects of temperature and phase boundaries on local and average structures. Analyses of unit cell parameters showed that both materials exhibit very similar thermal expansion behavior and thermal expansion data lay along the upper bound of uncertainty for standard empirical models, indicating a slightly faster thermal expansion rate. Atomic displacement parameters of UO$_{2.07}$ showed evidence for U$_{4}$O$_{9}$ phase boundaries in accordance with the established phase diagram, despite the suppression of U$_{4}$O$_{9}$ superlattice peaks in the measured diffraction patterns. Pair distribution functions revealed that the differences in local structure between UO$_{2}$ and UO$_{2.07}$ were very small and PDF features are dominated by thermal effects. The rate of contraction of the first nearest-neighbor U-O distances of UO$_{2}$ and UO$_{2.07}$ between 25-1000$\,^{\circ}\mathrm{C}$ were shown to agree with molecular dynamics simulations and local structure analyses previously performed on UO$_{2}$ above 1000$\,^{\circ}\mathrm{C}$.


title: An Adaptive Remote Stochastic Gradient Method for Training Neural Networks

abstract: We present the remote stochastic gradient (RSG) method, which computes the gradients at configurable remote observation points, in order to improve the convergence rate and suppress gradient noise at the same time for different curvatures. RSG is further combined with adaptive methods to construct ARSG for acceleration. The method is efficient in computation and memory, and is straightforward to implement. We analyze the convergence properties by modeling the training process as a dynamic system, which provides a guideline to select the configurable observation factor without grid search. ARSG yields $O(1/\sqrt{T})$ convergence rate in non-convex settings, that can be further improved to $O(\log(T)/T)$ in strongly convex settings. Numerical experiments demonstrate that ARSG achieves both faster convergence and better generalization, compared with popular adaptive methods, such as ADAM, NADAM, AMSGRAD, and RANGER for the tested problems. In particular, for training ResNet-50 on ImageNet, ARSG outperforms ADAM in convergence speed and meanwhile it surpasses SGD in generalization.


title: Regular ternary polygonal forms

abstract: Inspired by Dickson's classification of regular ternary quadratic forms, we prove that there are no primitive regular $m$-gonal forms when $m$ is sufficiently large. In order to do so, we construct sequences of primes that are inert in a certain quadratic field and show that they satisfy a certain inequality bounding the next prime by the product of the previous primes, a question of independent interest.


title: Theoretical Study on Four-fold Symmetric Anisotropic Magnetoresistance Effect in Cubic Single-crystal Ferromagnetic Model

abstract: In this study, we present a theoretical interpretation of the experimental results that the anisotropic magnetoresistance (AMR) effect has a four-fold symmetric component, $c_4$, in cubic ferromagnetic metals. The theoretical model that we employ is based on the Anderson impurity model that includes a four-fold symmetric crystalline electric field, and we assume that the impurities have 3d electron orbitals and spin--orbit interaction (SOI). We describe the DC conductivity on the basis of the Kubo formula, and we investigate $c_4$ by analyzing the magnetization direction dependence of the resultant AMR ratio. Analytical and numerical calculations are performed; the analytical calculation reveals that $c_4$ arises from the fourth-order contribution of the SOI, and the numerical calculation provides the parameter dependencies of $c_{4}$ in our model. From the calculation results, we observe that the splitting of impurity 3d levels due to SOI is responsible for the existence of $c_{4}$ in cubic ferromagnetic metals.


title: Learning Functional Dependencies with Sparse Regression

abstract: We study the problem of discovering functional dependencies (FD) from a noisy dataset. We focus on FDs that correspond to statistical dependencies in a dataset and draw connections between FD discovery and structure learning in probabilistic graphical models. We show that discovering FDs from a noisy dataset is equivalent to learning the structure of a graphical model over binary random variables, where each random variable corresponds to a functional of the dataset attributes. We build upon this observation to introduce AutoFD a conceptually simple framework in which learning functional dependencies corresponds to solving a sparse regression problem. We show that our methods can recover true functional dependencies across a diverse array of real-world and synthetic datasets, even in the presence of noisy or missing data. We find that AutoFD scales to large data instances with millions of tuples and hundreds of attributes while it yields an average F1 improvement of 2 times against state-of-the-art FD discovery methods.


title: Matrix Product State Based Quantum Classifier

abstract: In recent years, interest in expressing the success of neural networks to the quantum computing has increased significantly. Tensor network theory has become increasingly popular and widely used to simulate strongly entangled correlated systems. Matrix product state (MPS) is the well-designed class of tensor network states, which plays an important role in processing of quantum information. In this paper, we have shown that matrix product state as one-dimensional array of tensors can be used to classify classical and quantum data. We have performed binary classification of classical machine learning dataset Iris encoded in a quantum state. Further, we have investigated the performance by considering different parameters on the ibmqx4 quantum computer and proved that MPS circuits can be used to attain better accuracy. Further, the learning ability of MPS quantum classifier is tested to classify evapotranspiration ($ET_{o}$) for Patiala meteorological station located in Northern Punjab (India), using three years of historical dataset (Agri). Furthermore, we have used different performance metrics of classification to measure its capability. Finally, the results are plotted and degree of correspondence among values of each sample is shown.


title: No small hairs in anisotropic power-law Gauss-Bonnet inflation

abstract: We will examine whether anisotropic hairs exist in a string-inspired scalar-Gauss-Bonnet gravity model with the absence of potential of scalar field during the inflationary phase. As a result, we are able to obtain the Bianchi type I power-law solution to this model under the assumption that the scalar field acts as the phantom field, whose kinetic is negative definite. However, the obtained anisotropic hair of this model turns out to be large, which is inconsistent with the observational data. We will therefore introduce a nontrivial coupling between scalar and vector fields such as $f^2(\phi)F_{\mu\nu}F^{\mu\nu}$ into the scalar-Gauss-Bonnet model with the expectation that the anisotropic hair would be reduced to a small one. Unfortunately, the magnitude of the obtained anisotropic hair is still large. These results indicate that the scalar-Gauss-Bonnet gravity model with the absence of potential of scalar field might not be suitable to generate small anisotropic hairs during the inflationary phase.


title: Pandora's Problem with Nonobligatory Inspection

abstract: Martin Weitzman's "Pandora's problem" furnishes the mathematical basis for optimal search theory in economics. Nearly 40 years later, Laura Doval introduced a version of the problem in which the searcher is not obligated to pay the cost of inspecting an alternative's value before selecting it. Unlike the original Pandora's problem, the version with nonobligatory inspection cannot be solved optimally by any simple ranking-based policy, and it is unknown whether there exists any polynomial-time algorithm to compute the optimal policy. This motivates the study of approximately optimal policies that are simple and computationally efficient. In this work we provide the first non-trivial approximation guarantees for this problem. We introduce a family of "committing policies" such that it is computationally easy to find and implement the optimal committing policy. We prove that the optimal committing policy is guaranteed to approximate the fully optimal policy within a $1-\frac1e = 0.63\ldots$ factor, and for the special case of two boxes we improve this factor to 4/5 and show that this approximation is tight for the class of committing policies.


title: Revealing electrically undetectable room temperature surface-mobility of bulky topological insulators by spectroscopic techniques

abstract: High surface-mobility, which is attributable to topological protection, is a trademark of three-dimensional topological insulators (3DTIs). Exploiting surface-mobility indicates successful application of topological properties for practical purposes. However, the detection of the surface-mobility has been hindered by the inevitable bulk conduction. Even in the case of high-quality crystals, the bulk state forms the dominant channel of the electrical current. Therefore, with electrical transport measurement, the surface-mobility can be resolved only below-micrometer-thick crystals. The evaluation of the surface-mobility becomes more challenging at higher temperatures, where phonons can play a role. Here, using spectroscopic techniques, we successfully evaluated the surface-mobility of Bi2Te3 (BT) at room temperature (RT). We acquired the effective masses and mean scattering times for both the surface and bulk states using angle-resolved photoemission and terahertz time-domain spectroscopy. We revealed a record-high surface-mobility for BT, exceeding 33,000 cm^2/(Vs) per surface sheet, despite intrinsic limitations by the coexisting bulk state as well as phonons at RT. Our findings partially support the interesting conclusion that the topological protection persists at RT. Our approach could be applicable to other topological materials possessing multiband structures near the Fermi level.


title: When Attackers Meet AI: Learning-empowered Attacks in Cooperative Spectrum Sensing

abstract: Defense strategies have been well studied to combat Byzantine attacks that aim to disrupt cooperative spectrum sensing by sending falsified versions of spectrum sensing data to a fusion center. However, existing studies usually assume network or attackers as passive entities, e.g., assuming the prior knowledge of attacks is known or fixed. In practice, attackers can actively adopt arbitrary behaviors and avoid pre-assumed patterns or assumptions used by defense strategies. In this paper, we revisit this security vulnerability as an adversarial machine learning problem and propose a novel learning-empowered attack framework named Learning-Evaluation-Beating (LEB) to mislead the fusion center. Based on the black-box nature of the fusion center in cooperative spectrum sensing, our new perspective is to make the adversarial use of machine learning to construct a surrogate model of the fusion center's decision model. We propose a generic algorithm to create malicious sensing data using this surrogate model. Our real-world experiments show that the LEB attack is effective to beat a wide range of existing defense strategies with an up to 82% of success ratio. Given the gap between the proposed LEB attack and existing defenses, we introduce a non-invasive method named as influence-limiting defense, which can coexist with existing defenses to defend against LEB attack or other similar attacks. We show that this defense is highly effective and reduces the overall disruption ratio of LEB attack by up to 80%.


title: Rational solutions for three semi-discrete modified Korteweg-de Vries type equations

abstract: In this paper, we consider three semi-discrete modified Korteweg-de Vries type equations which are the nonlinear lumped self-dual network equation,the semi-discrete lattice potential modified Korteweg-de Vries equation and a semi-discrete modified Korteweg-de Vries equation. We derive several kinds of exact solutions, in particular rational solutions, in terms of the Casorati determinant for these three equations respectively. For some rational solutions, we present the related asymptotic analysis to understand their dynamics better.


title: Littlewood--Paley--Stein inequalities on $\textup{RCD}(K,\infty)$ spaces

abstract: The $L^p$ boundedness on vertical Littlewood--Paley square functions for heat flows on $\textup{RCD}(K,\infty)$ spaces with $K\in\mathbb{R}$ is proved. With regards to the proof, for $1<p\leq 2$, Stein's analytical method is applied, while for $2<p<\infty$, the probabilistic approach in the sense of Ba\~{n}uelos--Bogdan--Luks introduced recently is employed.


title: Deep+Wide Lensing Surveys will Provide Exquisite Measurements of the Dark Matter Halos of Dwarf Galaxies

abstract: The advent of new deep+wide photometric lensing surveys will open up the possibility of direct measurements of the dark matter halos of dwarf galaxies. The HSC wide survey will be the first with the statistical capability of measuring the lensing signal with high signal-to-noise at log(M*)=8. At this same mass scale, LSST will have the most overall constraining power with a predicted signal-to-noise for the galaxy-galaxy lensing signal around dwarfs of SN=200. WFIRST and LSST will have the greatest potential to push below the log(M*) = 7 mass scale thanks to the depth of their imaging data. Studies of the dark matter halos of dwarf galaxies at z=0.1 with gravitational lensing are soon within reach. However, further work will be required to develop optimized strategies for extracting dwarfs samples from these surveys, determining redshifts, and accurately measuring lensing on small radial scales. Dwarf lensing will be a new and powerful tool to constrain the halo masses and inner density slopes of dwarf galaxies and to distinguish between baryonic feedback and modified dark matter scenarios.


title: Projection Theorems and Estimating Equations for Power-Law Models

abstract: We extend projection theorems concerning Hellinger and Jones et al. divergences to the continuous case. These projection theorems reduce certain estimation problems on generalized exponential models to linear problems. We introduce the notion of regularity for generalized exponential models and show that the projection theorems in this case are similar to the ones in discrete and canonical case. We also apply these ideas to solve certain estimation problems concerning Student and Cauchy distributions.


title: Tight Regret Bounds for Infinite-armed Linear Contextual Bandits

abstract: Linear contextual bandit is an important class of sequential decision making problems with a wide range of applications to recommender systems, online advertising, healthcare, and many other machine learning related tasks. While there is a lot of prior research, tight regret bounds of linear contextual bandit with infinite action sets remain open. In this paper, we address this open problem by considering the linear contextual bandit with (changing) infinite action sets. We prove a regret upper bound on the order of $O(\sqrt{d^2T\log T})\times \text{poly}(\log\log T)$ where $d$ is the domain dimension and $T$ is the time horizon. Our upper bound matches the previous lower bound of $\Omega(\sqrt{d^2 T\log T})$ in [Li et al., 2019] up to iterated logarithmic terms.


title: Edge-labeling Graph Neural Network for Few-shot Learning

abstract: In this paper, we propose a novel edge-labeling graph neural network (EGNN), which adapts a deep neural network on the edge-labeling graph, for few-shot learning. The previous graph neural network (GNN) approaches in few-shot learning have been based on the node-labeling framework, which implicitly models the intra-cluster similarity and the inter-cluster dissimilarity. In contrast, the proposed EGNN learns to predict the edge-labels rather than the node-labels on the graph that enables the evolution of an explicit clustering by iteratively updating the edge-labels with direct exploitation of both intra-cluster similarity and the inter-cluster dissimilarity. It is also well suited for performing on various numbers of classes without retraining, and can be easily extended to perform a transductive inference. The parameters of the EGNN are learned by episodic training with an edge-labeling loss to obtain a well-generalizable model for unseen low-data problem. On both of the supervised and semi-supervised few-shot image classification tasks with two benchmark datasets, the proposed EGNN significantly improves the performances over the existing GNNs.


title: A comparative theoretical study on physical properties of synthesized AVO3 (A = Ba, Sr, Ca, Pb) perovskites

abstract: In this paper, we employ CASTEP based on DFT (density functional theory) calculations to investigate various physical properties of BaVO3, SrVO3, CaVO3 and PbVO3. The elastic constants, bulk modulus, Shear modulus, Young's modulus, Pugh's ratio, Poisson's ratio, Vickers hardness, universal anisotropy index and Peierls stress are calculated to rationalize the mechanical behavior of the aforementioned compounds. The study of electronic band structure and density of states (DOS) reveal the strong evidence of metallic behavior for all the perovskites. The analysis of bonding properties exhibits the existence of covalent, ionic and metallic bonds. The optical properties of AVO3 have been carried out and are discussed in this paper as well. The analysis of phonon property implies the dynamical stability of BaVO3 but not for SrVO3, CaVO3 and PbVO3. The values of Debye temperature and minimum thermal conductivity imply that only PbVO3 compound has potential to be used as TBC material.


title: IVO: Inverse Velocity Obstacles for Real Time Navigation

abstract: In this paper, we present "IVO: Inverse Velocity Obstacles" an ego-centric framework that improves the real time implementation. The proposed method stems from the concept of velocity obstacle and can be applied for both single agent and multi-agent system. It focuses on computing collision free maneuvers without any knowledge or assumption on the pose and the velocity of the robot. This is primarily achieved by reformulating the velocity obstacle to adapt to an ego-centric framework. This is a significant step towards improving real time implementations of collision avoidance in dynamic environments as there is no dependency on state estimation techniques to infer the robot pose and velocity. We evaluate IVO for both single agent and multi-agent in different scenarios and show it's efficacy over the existing formulations. We also show the real time scalability of the proposed methodology.


title: Oscillation properties of one boundary problem of fourth order with a spectral parameter in the boundary conditions

abstract: For one boundary problem of fourth order with a spectral parameter in the boundary condition we prove the simplicity of the spectrum and the oscillation properties of the system of the eigenfunctions derivatives.


title: Higher analogs of simplicial and combinatorial complexity

abstract: We introduce higher simplicial complexity of a simplicial complex $K$ and higher combinatorial complexity of a finite space $P$ (i.e. $P$ is a finite poset). We relate higher simplicial complexity with higher topological complexity of $|K|$ and higher combinatorial complexity with higher simplicial complexity of the order complex of $P$.


title: Compactness of first-order fuzzy logics

abstract: One of the nice properties of the first-order logic is the compactness of satisfiability. It state that a finitely satisfiable theory is satisfiable. However, different degrees of satisfiability in many-valued logics, poses various kind of the compactness in these logics. One of this issues is the compactness of $K$-satisfiability. Here, after an overview on the results around the compactness of satisfiability and compactness of $K$-satisfiability in many-valued logic based on continuous t-norms (basic logic), we extend the results around this topic. To this end, we consider a reverse semantical meaning for basic logic. Then we introduce a topology on $[0,1]$ and $[0,1]^2$ that the interpretation of all logical connectives are continuous with respect to these topologies. Finally using this fact we extend the results around the compactness of satisfiability in basic ogic.


title: Analytic solution for one dimensional inverse heat conduction problem of semi-infinite bar

abstract: We present analytical formula along with its existence theorem for solution of inverse heat conduction problem of semi-infinite bar, equivalent to a Volterra integral equation of first kind, as an infinite series of fractional derivatives. The mathematical method is based on some properties of function space M[0, T] (proved here) with respect to fractional integration and derivatives.


title: Job Edge-Fog Interconnection Network Creation Game in Internet of Things

abstract: This is the first paper to address the topology structure of Job Edge-Fog interconnection network in the perspective of network creation game. A two level network creation game model is given, in which the first level is similar to the traditional network creation game with total length objective to other nodes. The second level adopts two types of cost functions, one is created based on the Jackson-Wolinsky type of distance based utility, another is created based on the Network-Only Cost in the IoT literature. We show the performance of this two level game (Price of Anarchy). This work discloses how the selfish strategies of each individual device can influence the global topology structure of the job edge-fog interconnection network and provides theoretical foundations of the IoT infrastructure construction. A significant advantage of this framework is that it can avoid solving the traditional expensive and impractical quadratic assignment problem, which was the typical framework to study this task. Furthermore, it can control the systematic performance based only on one or two cost parameters of the job edge-fog networks, independently and in a distributed way.


title: Energy correlations in the end-point region

abstract: The energy-energy correlation (EEC) measures the angular distribution of the energy that flows through two calorimeters separated by some relative angle in the final state created by a source. We study this observable in the limit of small and large angles when it describes the correlation between particles belonging, respectively, to the same jet and to two almost back-to-back jets. We present a new approach to resumming large logarithmically enhanced corrections in both limits that exploits the relation between the energy correlations and four-point correlation functions of conserved currents. At large angle, we derive the EEC from the behaviour of the correlation function in the limit when four operators are light-like separated in a sequential manner. At small angle, in a conformal theory, we obtain the EEC from resummation of the conformal partial wave expansion of the correlation function at short-distance separation between the calorimeters. In both cases, we obtain a concise representation of the EEC in terms of the conformal data of twist-two operators and verify it by comparing with the results of explicit calculation at next-to-next-to-leading order in maximally supersymmetric Yang-Mills theory. As a byproduct of our analysis, we predict the maximal weight part of the analogous QCD expression in the back-to-back limit.


title: An Efficient Strategy to Generate Atom Connecting Positions

abstract: Atom connecting positions(ACPs) are positions where an atom is connecting to another one or a few atoms, which is needed when constructing final state used in chain-of-state(CoS) methods for transition state(TS) locating and minimum energy path(MEP) searching, especially with bond formation. However, ACPs are generated with chemical insight and experience, which is not only low efficient and time wasting, but the manually generated structure may be far from the optimized one. A efficient method is presented here for generating ACPs which is based on spherical optimization and VSEPR theory without manual interfering. Several examples are testified to prove the efficiency and robustness of the method.


title: Clustering-aware Graph Construction: A Joint Learning Perspective

abstract: Graph-based clustering methods have demonstrated the effectiveness in various applications. Generally, existing graph-based clustering methods first construct a graph to represent the input data and then partition it to generate the clustering result. However, such a stepwise manner may make the constructed graph not fit the requirements for the subsequent decomposition, leading to compromised clustering accuracy. To this end, we propose a joint learning framework, which is able to learn the graph and the clustering result simultaneously, such that the resulting graph is tailored to the clustering task. The proposed model is formulated as a well-defined nonnegative and off-diagonal constrained optimization problem, which is further efficiently solved with convergence theoretically guaranteed. The advantage of the proposed model is demonstrated by comparing with 19 state-of-the-art clustering methods on 10 datasets with 4 clustering metrics.


title: Leveraging Crowdsourced GPS Data for Road Extraction from Aerial Imagery

abstract: Deep learning is revolutionizing the mapping industry. Under lightweight human curation, computer has generated almost half of the roads in Thailand on OpenStreetMap (OSM) using high-resolution aerial imagery. Bing maps are displaying 125 million computer-generated building polygons in the U.S. While tremendously more efficient than manual mapping, one cannot map out everything from the air. Especially for roads, a small prediction gap by image occlusion renders the entire road useless for routing. Misconnections can be more dangerous. Therefore computer-based mapping often requires local verifications, which is still labor intensive. In this paper, we propose to leverage crowdsourced GPS data to improve and support road extraction from aerial imagery. Through novel data augmentation, GPS rendering, and 1D transpose convolution techniques, we show almost 5% improvements over previous competition winning models, and much better robustness when predicting new areas without any new training data or domain adaptation.


title: Self-similar solutions for finite size advection-dominated accretion flows

abstract: We investigated effects on flow variables of transonic advection-dominated accretion flows (ADAFs) for different outer boundary locations (BLs) with a changing energy constant ($E$) of the flow. We used the ADAF solutions and investigated a general power index rule of a radial bulk velocity $(\vr\propto r^{-p})$ with different BLs, but the power index with radius for a rotation velocity and sound speed is unchanged. Here, $p\geq0.5$ is a power index. This power rule gives two types of self-similar solutions; first, when $p=0.5$ gives a self-similar solution of a first kind and exists for infinite length, which has already been discovered for the ADAFs by Narayan \& Yi, and second, when $p>0.5$ gives a self-similar solution of a second kind and exists for finite length, which corresponds to our new solutions for the ADAFs. By using this index rule in fluid equations, we found that the Mach number ($M$) and advection factor ($\fadv$) vary with the radius when $p>0.5$. The local energies of the ADAFs and the Keplerian disk are matched very well at the BLs. So, this theoretical study is supporting a two-zone configuration theory of the accretion disk, and we also discussed other possible hybrid disk geometries. The present study can have two main implications with a variation of the $p$; first, one that can help with the understanding of outflows and non-thermal spectrum variations in black hole candidates, and second, one that can help with solving partial differential equations for any sized advective disk.


title: A Nonpositive Curvature Property of Modular Semilattices

abstract: The orthoscheme complex of a graded poset is a metrization of its order complex such that the simplex of each maximal chain is isometric to the Euclidean simplex of vertices $0, e_1,e_1+e_2,\ldots, e_1+e_2+ \cdots + e_n$. This notion was introduced by Brady and McCammond in geometric group theory, and has applications in discrete optimization and submodularity theory. We address a question of what posets to yield the orthoscheme complex having CAT(0) property. The orthoscheme complex of a modular lattice is shown to be CAT(0), and it is conjectured that this is the case for a modular semilattice. In this paper, we prove this conjecture affirmatively. This result implies that a larger class of weakly modular graphs yields CAT(0) complexes.


title: Superconducting properties in a candidate topological nodal line semimetal SnTaS$_2$ with a centrosymmetric crystal structure

abstract: We report the magnetization, electrical resistivity, specific heat measurements and band structure calculations of layered superconductor SnTaS$_2$. The experiments are performed on single crystals grown by chemical vapor transport method. The resistivity and magnetic susceptibility indicate that SnTaS$_2$ is a type-II superconductor with transition temperature $T_c = 3$ K. The upper critical field ($H_{c2}$) shows large anisotropy for magnetic field parallel to $ab$ plane ($H//ab$) and $c$ axis ($H//c$), and the temperature dependence of $H_{c2}$ for $H//ab$ shows obvious unconventional upward feature at low temperature. Band structure of SnTaS$_2$ shows several band crossings near the Fermi level, which form three nodal lines in the k$_z$ = 0 plane resulting in drumhead-like surface states when spin-orbit coupling is not considered. These results indicate that SnTaS$_2$ is a superconductor with possible topological nodal line semimetal character.


title: Pressure-induced electro-switching of polymer/nano-graphene composites

abstract: The pressure and temperature dependency of the electrical conductivity of poly(vinyl alcohol)/poly(vinyl pyrrolidone) (1/1, w/w) and poly(vinyl alcohol) and composites with dispersed nano-graphene platelets were studied. Above the critical platelet fraction for electric charge percolation, the composites function as pressure-induced electro-switches. The conductor to insulator transition is optimally intense and stable. The electrical conductivity drops by two orders of magnitude at a critical pressure around 750 bars. The transition is stable over tenths of degrees above room temperature. The reduction of the conductivity upon pressure results from the competition between the pressure dependencies of the polarizability of the polymer matrix and the inter-platelet separation, respectively. Both contributions control the fluctuation induced tunneling of electrons through the polymer barrier separating adjusting conductive platelets. The role of the local electric field at the polymer-platelet interfaces by assisting tunneling is suppressed by the decrease of the polarizability upon pressure.


title: Extensions of Bonnet-Myers' type theorems with the Bakry-Emery Ricci curvature

abstract: In this paper, we prove the extensions of Bonnet--Myers' type theorems obtained by Calabi and Cheeger--Gromov--Taylor via Bakry--Emery Ricci curvature, which generalize the results of \cite{FG, Lim1, Wan, Wang, WW, Wu}.


title: A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping

abstract: Context-Oriented Programming (COP) is a programming paradigm to encourage modularization of context-dependent software. Key features of COP are layers---modules to describe context-dependent behavioral variations of a software system---and their dynamic activation, which can modify the behavior of multiple objects that have already been instantiated. Typechecking programs written in a COP language is difficult because the activation of a layer can even change objects' interfaces. Inoue et al. have informally discussed how to make JCop, an extension of Java for COP by Appeltauer et al., type-safe. In this article, we formalize a small COP language called ContextFJ$_{<:}$ with its operational semantics and type system and show its type soundness. The language models main features of the type-safe version of JCop, including dynamically activated first-class layers, inheritance of layer definitions, layer subtyping, and layer swapping.


title: Magnetic structure and high-field magnetization of the distorted kagome lattice antiferromagnet Cs$_2$Cu$_3$SnF$_{12}$

abstract: High-resolution time-of-flight powder neutron diffraction and high-field magnetization were measured to investigate the magnetic structure and existence of a field-induced magnetic phase transition in the distorted kagome antiferromagnet Cs$_2$Cu$_3$SnF$_{12}$. Upon cooling from room temperature, the compound undergoes a structural phase transition at $T_\textrm{t}=185$ K from the rhombohedral space group $R\bar{3}m$ with the perfect kagome spin network to the monoclinic space group $P2_1/n$ with the distorted kagome planes. The distortion results in three inequivalent exchange interactions among the $S=1/2$ Cu$^{2+}$ spins that magnetically order below $T_\textrm{N}=20.2$ K. Magnetization measured with a magnetic field applied within the kagome plane reveals small in-plane ferromagnetism resulting from spin canting. On the other hand, the out-of-plane magnetization does not show a clear hysteresis loop of the ferromagnetic component nor a prominent anomaly up to 170 T, with the exception of the subtle knee-like bend around 90 T, which could indicate the 1/3 magnetization plateau. The combined analysis using the irreducible representations of the magnetic space groups and magnetic structure refinement on the neutron powder diffraction data suggests that the magnetic moments order in the magnetic space group $P2_1'/n'$ with the all-in-all-out spin structure, which by symmetry allows for the in-plane canting, consistent with the in-plane ferromagnetism observed in the magnetization.


title: Regularized estimation for highly multivariate log Gaussian Cox processes

abstract: Statistical inference for highly multivariate point pattern data is challenging due to complex models with large numbers of parameters. In this paper, we develop numerically stable and efficient parameter estimation and model selection algorithms for a class of multivariate log Gaussian Cox processes. The methodology is applied to a highly multivariate point pattern data set from tropical rain forest ecology.


title: Absolute cross sections of ultra-soft x-ray radiation in at electron scattering upon atoms and the soft-photons approximation

abstract: The cross sections of ultra-soft x-ray bremsstrahlung in at electron scattering by Ar, Kr and Xe are theoretically calculated. The results are consistent with the absolute values of the differential cross sections measured by Gnatchenko et al [Phys. Rev. A 80, 022707 (2009)] for scattering electrons with an energy of 600 eV on these atoms.


title: A class of second-order geometric quasilinear hyperbolic PDEs and their application in imaging science

abstract: In this paper, we study damped second-order dynamics, which are quasilinear hyperbolic partial differential equations (PDEs). This is inspired by the recent development of second-order damping systems for accelerating energy decay of gradient flows. We concentrate on two equations: one is a damped second-order total variation flow, which is primarily motivated by the application of image denoising; the other is a damped second-order mean curvature flow for level sets of scalar functions, which is related to a non-convex variational model capable of correcting displacement errors in image data (e.g. dejittering). For the former equation, we prove the existence and uniqueness of the solution. For the latter, we draw a connection between the equation and some second-order geometric PDEs evolving the hypersurfaces which are described by level sets of scalar functions, and show the existence and uniqueness of the solution for a regularized version of the equation. The latter is used in our algorithmic development. A general algorithm for numerical discretization of the two nonlinear PDEs is proposed and analyzed. Its efficiency is demonstrated by various numerical examples, where simulations on the behavior of solutions of the new equations and comparisons with first-order flows are also documented.


title: On the Parallel Reconstruction from Pooled Data

abstract: In the pooled data problem the goal is to efficiently reconstruct a binary signal from additive measurements. Given a signal $\sigma \in \{ 0,1 \}^n$, we can query multiple entries at once and get the total number of non-zero entries in the query as a result. We assume that queries are time-consuming and therefore focus on the setting where all queries are executed in parallel. For the regime where the signal is sparse such that $ || \sigma ||_1 = o(n)$ our results are twofold: First, we propose and analyze a simple and efficient greedy reconstruction algorithm. Secondly, we derive a sharp information-theoretic threshold for the minimum number of queries required to reconstruct $\sigma$ with high probability. Our first result matches the performance guarantees of much more involved constructions (Karimi et al. 2019). Our second result extends a result of Alaoui et al. (2014) and Scarlett & Cevher (2017) who studied the pooled data problem for dense signals. Finally, our theoretical findings are complemented with empirical simulations. Our data not only confirm the information-theoretic thresholds but also hint at the practical applicability of our pooling scheme and the simple greedy reconstruction algorithm.


title: Skyrmion quantum spin Hall effect

abstract: The quantum spin Hall effect is conventionally thought to require a strong spin-orbit coupling, producing an effective spin-dependent magnetic field. However, spin currents can also be present without transport of spins, for example, in spin-waves or skyrmions. In this paper, we show that topological skyrmionic spin textures can be used to realize a quantum spin Hall effect. From basic arguments relating to the single-valuedness of the wave function, we deduce that loop integrals of the derivative of the Hamiltonian must have a spectrum that is integer multiples of $ 2 \pi $. By relating this to the spin current, we form a new quantity called the quantized spin current which obeys a precise quantization rule. This allows us to derive a quantum spin Hall effect, which we illustrate with an example of a spin-1 Bose-Einstein condensate.


title: Charting the phase diagram of QCD$_\mathbf{3}$

abstract: We study the phase diagram of $SU(N)$ gauge theory in three space-time dimensions with a Chern-Simons term at level $k$, coupled to two sets of fundamental fermions with masses $m_1$ and $m_2$, respectively. The two-dimensional phase diagram that we propose shows a rich structure and widens in an interesting way previous results in the literature, to which it reduces in some limits. We present several checks of our proposal, including consistency with boson/fermion dualities. In this respect, we extensively comment on the structure of the scalar potential which is needed on the bosonic side of the duality.


title: $^{21}$Ne level structure in the resonance $^{17}$O+$\alpha$ elastic scattering

abstract: The first study of resonances in $^{17}$O+$\alpha$ elastic scattering was carried out using the Thick Target Inverse Kinematics (TTIK) method. The data were analyzed in the framework of an $\textit{R}$-matrix approach. Many $\alpha$-cluster states were found in the $^{21}$Ne excitation region of the 9-13 MeV excitation energy including the first observation of a broad $\textit{l}$=0 state in an odd-even nucleus, which is likely the analog of the broad 0$^+$ at 8 MeV in $^{20}$Ne. The observed structure in $^{21}$Ne appeared to be strikingly similar to that in $^{20}$Ne populated in the resonance $^{16}$O+$\alpha$ scattering. The results are also useful for refinement of data on an $^{17}$O($\alpha$,$\textit{n}$) reaction important for astrophysics.


title: Wild Galois representations: elliptic curves over a $2$-adic field with non-abelian inertia action

abstract: In this paper we present a description of the Galois representation attached to an elliptic curve defined over a $2$-adic field $K$, in the case where the image of inertia is non-abelian. There are two possibilities for the image of inertia, namely $Q_8$ and $SL_2(\mathbb{F}_3)$, and in each case we need to distinguish whether the inertia degree of $K$ over $\mathbb{Q}_2$ is even or odd. The result presented here can be implemented in an algorithm to compute explicitly the Galois representation in these four cases.


title: Centrally Stable Algebras

abstract: We define an algebra $A$ to be centrally stable if, for every epimorhism $\varphi$ from $A$ to another algebra $B$, the center $Z(B)$ of $B$ is equal to $\varphi(Z(A))$, the image of the center of $A$. After providing some examples and basic observations, we consider in somewhat greater detail central stability in tensor products of algebras, and finally establish our main result which states that a finite-dimensional unital algebra $A$ over a perfect field $F$ is centrally stable if and only if $A$ is isomorphic to a direct product of algebras of the form $C_i\otimes_{F_i}A_i$, where $F_i$ is a field extension of $F$, $C_i$ is a commutative $F_i$-algebra, and $A_i$ is a central simple $F_i$-algebra.


title: The search for empirical formulae for the aftershocks descriptions of a strong earthquake

abstract: The paper is based on the report read by the author on October 24, 2018 at the meeting of the Scientific Council of the Institute of Earth Physics of the Russian Academy of Sciences. The report was dedicated to the 150th anniversary of the outstanding Japanese seismologist Fusakichi Omori. As is known, Omori established the first empirical law of the earthquakes physics, bearing his name. The Omori law states that the frequency of aftershocks on average decreases hyperbolically over the time. Three versions of Omori law are described briefly. The recent version allows to poses the inverse problem of the earthquake source, that cools down after the main shock. Keywords: earthquake source, aftershocks equation, deactivation coefficient, inverse problem


title: Comparison About EEG Signals Processing in BCI Applications

abstract: In the context of a Brain Computer Interface platform implemented for the arm rehabilitation of mildly impaired stroke patients, two methods of EEG signals processing are compared in terms of (i) their identification performance rate and (ii) their computational complexity with the overall goal to select the most efficient and feasible real-time procedure. An effective signal processing is, indeed, one of the most critical issue for such kind of technology which aims to establish a real-time communication between the subject's brain and a machine, i.e. a computer, a robotic arm or another device, that should implement his/her intention to move in place of his/her impaired arm.


title: Efficient Electrocatalytic Reduction of CO2 by Nitrogen-Doped Nanoporous Carbon-Carbon Nanotube Membranes - A Step Towards the Electrochemical CO2 Refinery

abstract: The search for earth abundant, efficient and stable electrocatalysts that can enable the chemical reduction of CO2 to value-added chemicals and fuels at an industrially relevant scale, is a high priority for the development of a global network of renewable energy conversion and storage systems that can meaningfully impact greenhouse gas induced climate change. Here we introduce a straightforward, low cost, scalable and technologically relevant method to manufacture an all-carbon, electroactive, nitrogen-doped nanoporous carbon-carbon nanotube composite membrane, dubbed "HNCM-CNT". The membrane is demonstrated to function as a binder-free, high-performance electrode for the electrocatalytic reduction of CO2 to formate. The Faradaic efficiency for the production of formate is 81%. Furthermore, the robust structural and electrochemical properties of the membrane endow it with excellent long-term stability.


title: Defining Smart Contract Defects on Ethereum

abstract: Smart contracts are programs running on a blockchain. They are immutable to change, and hence can not be patched for bugs once deployed. Thus it is critical to ensure they are bug-free and well-designed before deployment. A Contract defect is an error, flaw or fault in a smart contract that causes it to produce an incorrect or unexpected result, or to behave in unintended ways. The detection of contract defects is a method to avoid potential bugs and improve the design of existing code. Since smart contracts contain numerous distinctive features, such as the gas system. decentralized, it is important to find smart contract specified defects. To fill this gap, we collected smart-contract-related posts from Ethereum StackExchange, as well as real-world smart contracts. We manually analyzed these posts and contracts; using them to define 20 kinds of contract defects. We categorized them into indicating potential security, availability, performance, maintainability and reusability problems. To validate if practitioners consider these contract as harmful, we created an online survey and received 138 responses from 32 different countries. Feedback showed these contract defects are harmful and removing them would improve the quality and robustness of smart contracts. We manually identified our defined contract defects in 587 real world smart contract and publicly released our dataset. Finally, we summarized 5 impacts caused by contract defects. These help developers better understand the symptoms of the defects and removal priority.


title: New reduction rules for the tree bisection and reconnection distance

abstract: Recently it was shown that, if the subtree and chain reduction rules have been applied exhaustively to two unrooted phylogenetic trees, the reduced trees will have at most 15k-9 taxa where k is the TBR (Tree Bisection and Reconnection) distance between the two trees, and that this bound is tight. Here we propose five new reduction rules and show that these further reduce the bound to 11k-9. The new rules combine the ``unrooted generator'' approach introduced in [Kelk and Linz 2018] with a careful analysis of agreement forests to identify (i) situations when chains of length 3 can be further shortened without reducing the TBR distance, and (ii) situations when small subtrees can be identified whose deletion is guaranteed to reduce the TBR distance by 1. To the best of our knowledge these are the first reduction rules that strictly enhance the reductive power of the subtree and chain reduction rules.


title: An experiment with denotational semantics

abstract: The paper is devoted to showing how to systematically design a programming language in 'reverse order', i.e. from denotations to syntax. This construction is developed in an algebraic framework consisting of three many-sorted algebras: of denotations, of an abstract syntax and of a concrete syntax. These algebras are constructed in such a way that there is a unique homomorphism from concrete syntax to denotations, which constitutes the denotational semantics of the language. Besides its algebraic framework, the model is set-theoretic, i.e. the denotational domains are just sets, rather than Scott's reflexive domains. The method is illustrated by a layer-by-layer development of a virtual language Lingua: an applicative layer, an imperative layer (with recursive procedures) and an SQL layer where Lingua is regarded as an API (Application Programming Interface) for an SQL engine. The latter is given a denotational semantics as well. The langue is equipped with a strong typing mechanism which covers basic types (numbers, Booleans, etc.), lists, arrays, record and their arbitrary combinations plus SQL-like types: rows, tables and databases. The model of types includes SQL integrity constraints.


title: Evolving generalists via dynamic sculpting of rugged landscapes

abstract: Evolving systems, be it an antibody repertoire in the face of mutating pathogens or a microbial population exposed to varied antibiotics, constantly search for adaptive solutions in time-varying fitness landscapes. Generalists correspond to genotypes that remain fit across diverse selective pressures; cross-reactive antibodies are much wanted but rare, while multi-drug resistant microbes are undesired yet prevalent. However, little is known about under what conditions such solutions with a high capacity to adapt would be efficiently discovered by evolution, as environmental changes alter the relative fitness and accessibility of neighboring genotypes. In addition, can epistasis --- the source of landscape ruggedness and path constraints --- play a different role, if the environments are correlated in time? We present a generative model to estimate the propensity of evolving generalists in rugged landscapes that are tunably related and cycling relatively slowly. We find that environment cycling can substantially facilitate the search for fit generalists by dynamically enlarging their effective basins of attraction. Importantly, these high performers are most likely to emerge at an intermediate level of both ruggedness and environmental relatedness, trading diversity for fitness and accessibility. Our work provides a conceptual framework to study evolution in correlated varying complex environments, and offers statistical understanding that suggests general strategies for speeding up the generation of broadly neutralizing antibodies or preventing microbes from evolving multi-drug resistance.


title: Stochastic quantization approach to modeling of constrained Ito processes in discrete time

abstract: Stochastic quantization in physics has been considered to provide a path integral representation of a probability distribution for Ito processes. It has been indicated that the stochastic quantization can involve a potential term, if the Ito process is limited to Langevin equation. In this paper, in order to apply the stochastic quantization to engineering problems, we propose a novel method to incorporate a potential term into stochastic quantization of the general Ito process. This method indicates that weighted distribution gives rise to the potential term for the discrete-time path integral and preserves the role of the path integral as the probability distribution, without making any assumptions on the drift term. A second order approximation on the stochastic fluctuations for the path integral gives difference equations which represent the time evolution of expectation value and covariance matrix for the stochastic processes. The difference equations explicitly derive Extended Kalman Filter and models on the constrained Ito processes by the identification of the potential function with a penalty or barrier function. The numerical simulations of the constrained stochastic systems show that the potential term can constrain the nonlinear dynamics towards a minimum or a decreasing direction of the potential function.


title: An Improved Accurate Solver for the Time-Dependent RTE in Underwater Optical Wireless Communications

abstract: In this paper, an improved numerical solver to evaluate the time-dependent radiative transfer equation (RTE) for underwater optical wireless communications (UOWC) is investigated. The RTE evaluates the optical path-loss of light wave in an underwater channel in terms of the inherent optical properties related to the environments, namely the absorption and scattering coefficients as well as the phase scattering function (PSF). The proposed numerical algorithm was improved based on the ones proposed in [1]-[4], by modifying the finite difference scheme proposed in [1] as well as an enhancement of the quadrature method proposed in [2] by involving a more accurate 7-points quadrature scheme in order to calculate the quadrature weight coefficients corresponding to the integral term of the RTE. Furthermore, the scattering angular discretization algorithm used in [3] and [4] was modified, based on which the receiver's field of view discretization was adapted correspondingly. Interestingly, the RTE solver has been applied to three volume scattering functions, namely: the single-term HG phase function, the two-term HG phase function [5], and the Fournier-Forand phase function [6], over Harbor-I and Harbor-II water types. Based on the normalized received power evaluated through the proposed algorithm, the bit error rate performance of the UOWC system is investigated in terms of system and channel parameters. The enhanced algorithm gives a tightly close performance to its Monte Carlo counterpart improved based on the simulations provided in [7], by adjusting the numerical cumulative distribution function computation method as well as optimizing the number of scattering angles. Matlab codes for the proposed RTE solver are presented in [8].


title: A Denotational Engineering of Programming Languages

abstract: The book is devoted to two research areas: (1) Designing programming languages along with their denotational models. A denotational model of a language consists of two many-sorted algebras - an algebra of syntax and an algebra of denotations - and a (unique) homomorphism from syntax to denotations called the semantics of the language. (2) Designing sound program-constructors for languages with denotational models. In our approach programs syntactically contain their total-correctness specifications. A program is said to be correct if it is correct wrt its specification. A program-constructor is sound if given correct component-programs yields a correct resulting program. Both methods are illustrated on an example-language Lingua.


title: On Mirror Maps for Manifolds of Exceptional Holonomy

abstract: We study mirror symmetry of type II strings on manifolds with the exceptional holonomy groups $G_2$ and Spin(7). Our central result is a construction of mirrors of Spin(7) manifolds realized as generalized connected sums. In parallel to twisted connected sum $G_2$ manifolds, mirrors of such Spin(7) manifolds can be found by applying mirror symmetry to the pair of non-compact manifolds they are glued from. To provide non-trivial checks for such geometric mirror constructions, we give a CFT analysis of mirror maps for Joyce orbifolds in several new instances for both the Spin(7) and the $G_2$ case. For all of these models we find possible assignments of discrete torsion phases, work out the action of mirror symmetry, and confirm the consistency with the geometrical construction. A novel feature appearing in the examples we analyse is the possibility of frozen singularities.


title: Dynamic conformal arcs for lung stereotactic body radiation therapy: a comparison with volumetric modulated arc therapy

abstract: This study evaluates dynamic conformal arc (DCA) therapy as an alternative to volumetric modulated arc therapy (VMAT) for stereotactic body radiation therapy (SBRT) of lung cancer. The rationale for DCA is lower geometric complexity and hence reduced risk for interplay errors induced by respiratory motion. Forward planned DCA and inverse planned DCA based on segment-weight optimization were compared to VMAT for single arc treatments of three lung patients. Analysis of dose-volume histograms and clinical goal fulfillment revealed that DCA can generate satisfactory and near equivalent dosimetric quality to VMAT, except for complex tumor geometries. Segment-weight optimized DCA provided spatial dose distributions qualitatively similar to those for VMAT. Our results show that DCA, and particularly segment-weight optimized DCA, is an attractive alternative to VMAT for lung SBRT treatments, where errors from intrafraction motion cannot be expected to average out over the course of the treatment.


title: A Generalization of Reflexive Rings

abstract: In this paper, we introduce a class of rings which is a generalization of reflexive rings and $J$-reversible rings. Let $R$ be a ring with identity and $J(R)$ denote the Jacobson radical of $R$. A ring $R$ is called {\it $J$-reflexive} if for any $a$, $b \in R$, $aRb = 0$ implies $bRa \subseteq J(R)$. We give some characterizations of a $J$-reflexive ring. We prove that some results of reflexive rings can be extended to $J$-reflexive rings for this general setting. We conclude some relations between $J$-reflexive rings and some related rings. We investigate some extensions of a ring which satisfies the $J$-reflexive property and we show that the $J$-reflexive property is Morita invariant.


title: Analytical Channel Models for Millimeter Wave UAV Networks under Hovering Fluctuations

abstract: The integration of unmanned aerial vehicles (UAVs) and millimeter wave (mmWave) wireless systems has been recently proposed to provide high data rate aerial links for next generation wireless networks. However, establishing UAV-based mmWave links is quite challenging due to the random fluctuations of hovering UAVs which can induce antenna gain mismatch between transmitter and receiver. To assess the benefit of UAV-based mmWave links, in this paper, tractable, closed-form statistical channel models are derived for three UAV communication scenarios: (i) a direct UAV-to-UAV link, (ii) an aerial relay link in which source, relay, and destination are hovering UAVs, and (iii) a relay link in which a hovering UAV connects a ground source to a ground destination. The accuracy of the derived analytical expressions is corroborated by performing Monte-Carlo simulations. Numerical results are then used to study the effect of antenna directivity gain under different channel conditions for establishing reliable UAV-based mmWave links in terms of achieving minimum outage probability. It is shown that the performance of such links is largely dependent on the random fluctuations of hovering UAVs. Moreover, higher antenna directivity gains achieve better performance at low SNR regime. Nevertheless, at the high SNR regime, lower antenna directivity gains result in a more reliable communication link. The developed results can therefore be applied as a benchmark for finding the optimal antenna directivity gain of UAVs under the different levels of instability without resorting to time-consuming simulations.


title: QM/MM-MD analysis of dissociation of Ag+ and H+ mediated cytidines

abstract: We report a biased QM/MM molecular dynamics study of the dissociation process of cytidine-cytidine complexes mediated by Ag+ or H+ ions. We performed calculations under real solvent conditions and obtained the free energy profiles (FEP) by thermodynamic integration technique to give deep insights on the dissociation process. For all geometries corresponding to key points on FEP the noncovalent interaction descriptors (NCI) were calculated and the details of dissociation mechanism were revealed. Our findings by means of energy barrier analysis of FEP for Ag+ -mediated cytidines suggested more favorable cisoid over transoid configuration, in contrast to H+ mediated cytidines. The existence of two energy minima in FEP, local and global, in all Ag+ and H+ complexes before the dissociation transition state was revealed for the first time. We showed that the global minimum of dissociation profiles for both Ag+ -mediated cytidine isomers does not correspond to the previously obtained QM equilibrium geometries. Our results induce future studies of longer silver mediated DNA strands comprising cytosines by QM/MM-MD.


title: Thermal effect on primordial black holes in standard Higgs minimum double-well potential

abstract: We attempt a new scheme to combine the Higgs field in the minimal standard model and the statistic physics with thermal effect together. By introducing the stochastic differential equation in FRW metric frame which is something like the warm inflation model but not exactly the same. By using the previous researches on Fokker-Planck equation with double-well potential, we find the abundance of primordial black holes (PBHs) dominate at a special mass and the PBHs with extremely large or extremely small mass could be almost excluded. In addition, two perturbed model within this frame are employed, one is the model with symmetry breaking and another is stochastic resonance. The former may increase the probability to the generation of PBHs, while the latter may both increase and decrease the probability. Finally, we also discuss the possibility on extension this scenario to other models.


title: Multivariate Signal Modelling with Applications to Inertial Sensor Calibration

abstract: The common approach to inertial sensor calibration for navigation purposes has been to model the stochastic error signals of individual sensors independently, whether as components of a single inertial measurement unit (IMU) in different directions or arrayed in the same direction for redundancy. These signals usually have an extremely complex spectral structure that is often described using latent (or composite) models composed by a sum of underlying models. A large amount of research in this domain has been focused on the latter aspect through the proposal of various methods that have been able to improve the estimation of these models both from a computational and a statistical point of view. However, the separate calibration of the individual sensors is still unable to take into account the dependence between each of them which can have an important impact on the precision of the navigation systems. In this paper, we develop a new approach to simultaneously model both the individual signals and the dependence between them by studying the quantity called Wavelet Cross-Covariance and using it to extend the application of the Generalized Method of Wavelet Moments. This new method can be used in other settings for time series modeling, especially in cases where the dependence among signals may be hard to detect. Moreover, in the field of inertial sensor calibration, this approach can deliver important contributions among which the possibility to test dependence between sensors, integrate their dependence within the navigation filter and construct an optimal virtual sensor that can be used to simplify and improve navigation accuracy. The advantages of this method and its usefulness for inertial sensor calibration are highlighted through a simulation study and an applied example with a small array of XSens MTi-G IMUs.


title: Hausdorff dimension of frequency sets in beta-expansions

abstract: By applying a 2014 result on the distribution of full cylinders, we give a proof of the useful folklore: for any $\beta>1$, the Hausdorff dimension of an arbitrary set in the shift space $S_\beta$ is equal to the Hausdorff dimension of its natural projection in $[0,1]$. It has been used in some former papers without proof. Then we clarify that for calculating the Hausdorff dimension of frequency sets using variational formulae, one only needs to focus on the Markov measures of explicit order when the $\beta$-expansion of $1$ is finite. Concretely, it suffices to optimize a function with finitely many variables under some restrictions. Finally, as an application, we obtain an exact formula for the Hausdorff dimension of frequency sets for an important class of $\beta$'s, which are called pseudo-golden ratios (also called multinacci numbers).


title: Numerical Methods for a System of Coupled Cahn-Hilliard Equations

abstract: In this work, we study a system of coupled Cahn-Hilliard equations describing the phase separation of a copolymer and a homopolymer blend. The numerical methods we propose are based on suitable combinations of existing schemes for the single Cahn-Hilliard equation. As a verification for our approach, we present some tests and a detailed description of the numerical solutions' behaviour obtained by varying the values of the parameters.


title: Subradiance in Multiply Excited States of Dipole-Coupled V-Type Atoms

abstract: We generalize the theoretical modeling of collective atomic super- and subradiance to the multilevel case including spontaneous emission from several excited states towards a common ground state. We show that in a closely packed ensemble of $N$ atoms with $N-1$ distinct excited states each, one can find a new class of non-radiating dark states,, which allows for long-term storage of $N-1$ photonic excitations. Via dipole-dipole coupling only a single atom in the ground state is sufficient in order to suppress the decay of all $N-1$ other atoms. By means of some generic geometric configurations, like a triangle of V-type atoms or a chain of atoms with a $J=0 \to J=1$ transition, we study such subradiance including dipole-dipole interactions and show that even at finite distances long lifetimes can be observed. While generally hard to prepare deterministically, we identify various possibilities for a probabilistic preparation via a phase controlled laser pump and decay.


title: On Legendrian products and twist spuns

abstract: The Legendrian product of two Legendrian knots, as defined by Lambert-Cole, is a Legendrian torus. We show that this Legendrian torus is a twist spun whenever one of the Legendrian knot components is sufficiently large. We then study examples of Legendrian products which are not Legendrian isotopic to twist spuns. In order to do this, we prove a few structural results on the bilinearised Legendrian contact homology and augmentation variety of a twist spun. In addition, we show that the threefold Bohr-Sommerfeld covers of the Clifford torus and Chekanov torus are not twist spuns.


title: Ultrafilters on measurable semigroups

abstract: Let $(S,\cdot)$ be a semigroup and $\mathfrak{m}$ be a $\sigma$-algebra on $S$. We say $(S,\cdot,\mathfrak{m})$ is a measurable semigroup if $\pi:S\times S\longrightarrow S$ by $\pi(x,y)=x\cdot y$ is a measurable function. In this paper , we consider to $\mathfrak{m}^\beta$ as the collection of all ultrafilters on $\mathfrak{m}$. We show that $\mathfrak{m}^\beta$ is a compact right topological semigroup respect to generated topology by $\sigma$-algebra $\mathfrak{m}$ on $\mathfrak{m}^\beta$. Also we study some elementary properties of the algebraic structure of $\mathfrak{m}^\beta$.


title: Observation of nuclear modifications in W$^\pm$ boson production in pPb collisions at $\sqrt{s_\mathrm{NN}} =$ 8.16 TeV

abstract: The production of W$^\pm$ bosons is studied in proton-lead (pPb) collisions at a nucleon-nucleon centre-of-mass energy of $\sqrt{s_\mathrm{NN}} =$ 8.16 TeV. Measurements are performed in the W$^\pm$ $\to$ $\mu^\pm\nu_\mu$ channel using a data sample corresponding to an integrated luminosity of 173.4 $\pm$ 8.7 nb$^{-1}$, collected by the CMS Collaboration at the LHC. The number of positively and negatively charged W bosons is determined separately in the muon pseudorapidity region in the laboratory frame $|\eta^\mu_\mathrm{lab}|$ $<$ 2.4 and transverse momentum $p_\mathrm{T}^\mu$ $>$ 25 GeV/$c$. The W$^\pm$ boson differential cross sections, muon charge asymmetry, and the ratios of W$^\pm$ boson yields for the proton-going over the Pb-going beam directions are reported as a function of the muon pseudorapidity in the nucleon-nucleon centre-of-mass frame. The measurements are compared to the predictions from theoretical calculations based on parton distribution functions (PDFs) at next-to-leading-order. The results favour PDF calculations that include nuclear modifications and provide constraints on the nuclear PDF global fits.


title: Exotic pairing state in quasicrystalline superconductors under magnetic field

abstract: We theoretically study the effect of a magnetic field on quasicrystalline superconductors, by modelling them as the attractive Hubbard model on the Penrose-tiling structure. We find that at low temperatures and under a high magnetic field there appears an exotic superconducting state with the order parameter changing its sign in real space. We discuss the state in comparison with the Fulde-Ferrell-Larkin-Ovchinnikov state proposed many years ago for periodic systems, clarifying commonalities and differences. It is remarkable that, even in the absence of periodicity, the electronic system finds a way to keep a coherent superconducting state with a spatially sign-changing order parameter compatible with the underlying quasiperiodic structure.


title: Adaptive compressive tomography: a numerical study

abstract: We perform several numerical studies for our recently published adaptive compressive tomography scheme [D. Ahn et al. Phys. Rev. Lett. 122, 100404 (2019)], which significantly reduces the number of measurement settings to unambiguously reconstruct any rank-deficient state without any a priori knowledge besides its dimension. We show that both entangled and product bases chosen by our adaptive scheme perform comparably well with recently-known compressed-sensing element-probing measurements, and also beat random measurement bases for low-rank quantum states. We also numerically conjecture asymptotic scaling behaviors for this number as a function of the state rank for our adaptive schemes. These scaling formulas appear to be independent of the Hilbert space dimension. As a natural development, we establish a faster hybrid compressive scheme that first chooses random bases, and later adaptive bases as the scheme progresses. As an epilogue, we reiterate important elements of informational completeness for our adaptive scheme.


title: WoodScape: A multi-task, multi-camera fisheye dataset for autonomous driving

abstract: Fisheye cameras are commonly employed for obtaining a large field of view in surveillance, augmented reality and in particular automotive applications. In spite of their prevalence, there are few public datasets for detailed evaluation of computer vision algorithms on fisheye images. We release the first extensive fisheye automotive dataset, WoodScape, named after Robert Wood who invented the fisheye camera in 1906. WoodScape comprises of four surround view cameras and nine tasks including segmentation, depth estimation, 3D bounding box detection and soiling detection. Semantic annotation of 40 classes at the instance level is provided for over 10,000 images and annotation for other tasks are provided for over 100,000 images. With WoodScape, we would like to encourage the community to adapt computer vision models for fisheye camera instead of using naive rectification.


title: Global Well-posedness for the Cauchy problem of the Zakharov-Kuznetsov equation in 2D

abstract: This paper is concerned with the Cauchy problem of the $2$D Zakharov-Kuznetsov equation. We prove bilinear estimates which imply local in time well-posedness in the Sobolev space $H^s({\mathbb{R}}^2)$ for $s > -1/4$, and these are optimal up to the endpoint. We utilize the nonlinear version of the classical Loomis-Whitney inequality and develop an almost orthogonal decomposition of the set of resonant frequencies. As a corollary, we obtain global well-posedness in $L^2({\mathbb{R}}^2)$.


title: Passive Beamforming and Information Transfer via Large Intelligent Surface

abstract: Large intelligent surface (LIS) has emerged as a promising new solution to improve the energy and spectrum efficiency of wireless networks. A LIS, composed of a large number of low-cost and energy-efficient reconfigurable passive reflecting elements, enhances wireless communications by reflecting impinging electro-magnetic waves. In this paper, we propose a novel passive beamforming and information transfer (PBIT) technique, in which the LIS simultaneously enhances the primary communication and sends information to the receiver. We develop a passive beamforming method to improve the average receive signal-to-noise ratio (SNR).We also establish a two-step approach at the receiver to retrieve the information from both the transmitter and the LIS. Numerical results show that the proposed PBIT system, especially with the optimized passive beamforming, significantly outperforms the system without LIS enhancement. Furthermore, a tradeoff between the passive-beamforming gain and the information rate of the LIS has been demonstrated.


title: SoilingNet: Soiling Detection on Automotive Surround-View Cameras

abstract: Cameras are an essential part of sensor suite in autonomous driving. Surround-view cameras are directly exposed to external environment and are vulnerable to get soiled. Cameras have a much higher degradation in performance due to soiling compared to other sensors. Thus it is critical to accurately detect soiling on the cameras, particularly for higher levels of autonomous driving. We created a new dataset having multiple types of soiling namely opaque and transparent. It will be released publicly as part of our WoodScape dataset \cite{yogamani2019woodscape} to encourage further research. We demonstrate high accuracy using a Convolutional Neural Network (CNN) based architecture. We also show that it can be combined with the existing object detection task in a multi-task learning framework. Finally, we make use of Generative Adversarial Networks (GANs) to generate more images for data augmentation and show that it works successfully similar to the style transfer.


title: Effective counting for discrete lattice orbits in the plane via Eisenstein series

abstract: We prove effective bounds on the rate in the quadratic growth asymptotics for the orbit of a non-uniform lattice of SL(2,R), acting linearly on the plane. This gives an error bound in the count of saddle connection holonomies, for some Veech surfaces. The proof uses Eisenstein series and relies on earlier work of many authors (notably Selberg). Our results improve earlier error bounds for counting in sectors and in smooth star shaped domains.


title: De-biased graphical Lasso for high-frequency data

abstract: This paper develops a new statistical inference theory for the precision matrix of high-frequency data in a high-dimensional setting. The focus is not only on point estimation but also on interval estimation and hypothesis testing for entries of the precision matrix. To accomplish this purpose, we establish an abstract asymptotic theory for the weighted graphical Lasso and its de-biased version without specifying the form of the initial covariance estimator. We also extend the scope of the theory to the case that a known factor structure is present in the data. The developed theory is applied to the concrete situation where we can use the realized covariance matrix as the initial covariance estimator, and we obtain a feasible asymptotic distribution theory to construct (simultaneous) confidence intervals and (multiple) testing procedures for entries of the precision matrix.


title: New Notions and Constructions of Sparsification for Graphs and Hypergraphs

abstract: A sparsifier of a graph $G$ (Bencz\'ur and Karger; Spielman and Teng) is a sparse weighted subgraph $\tilde G$ that approximately retains the cut structure of $G$. For general graphs, non-trivial sparsification is possible only by using weighted graphs in which different edges have different weights. Even for graphs that admit unweighted sparsifiers, there are no known polynomial time algorithms that find such unweighted sparsifiers. We study a weaker notion of sparsification suggested by Oveis Gharan, in which the number of edges in each cut $(S,\bar S)$ is not approximated within a multiplicative factor $(1+\epsilon)$, but is, instead, approximated up to an additive term bounded by $\epsilon$ times $d\cdot |S| + \text{vol}(S)$, where $d$ is the average degree, and $\text{vol}(S)$ is the sum of the degrees of the vertices in $S$. We provide a probabilistic polynomial time construction of such sparsifiers for every graph, and our sparsifiers have a near-optimal number of edges $O(\epsilon^{-2} n {\rm polylog}(1/\epsilon))$. We also provide a deterministic polynomial time construction that constructs sparsifiers with a weaker property having the optimal number of edges $O(\epsilon^{-2} n)$. Our constructions also satisfy a spectral version of the ``additive sparsification'' property. Our construction of ``additive sparsifiers'' with $O_\epsilon (n)$ edges also works for hypergraphs, and provides the first non-trivial notion of sparsification for hypergraphs achievable with $O(n)$ hyperedges when $\epsilon$ and the rank $r$ of the hyperedges are constant. Finally, we provide a new construction of spectral hypergraph sparsifiers, according to the standard definition, with ${\rm poly}(\epsilon^{-1},r)\cdot n\log n$ hyperedges, improving over the previous spectral construction (Soma and Yoshida) that used $\tilde O(n^3)$ hyperedges even for constant $r$ and $\epsilon$.