title: Nanowires for heat conversion

abstract: This review focuses on the investigation and enhancement of the thermoelectric properties of semiconducting nanowires (NWs). NWs are nanostructures with typical diameters between few to hundreds of nm and length of few to several microns, exhibiting a high surface-to-volume ratio. Nowadays an extraordinary control over their growth has been achieved, enabling also the integration of different types of heterostructures, which can lead to the engineering of the functional properties of the NWs. In this review, we discuss all concepts which have been presented and achieved so far for the improvements of the thermoelectric performances of semiconducting NWs. Furthermore, we present a brief survey of the experimental methods which enable the investigation of the thermoelectric properties of these nanostructures.


title: Semiclassical propagation through cone points

abstract: We introduce a general framework for the study of the diffraction of waves by cone points at high frequencies. We prove that semiclassical regularity propagates through cone points with an almost sharp loss even when the underlying operator has leading order terms at the conic singularity which fail to be symmetric. We moreover show improved regularity along strictly diffractive geodesics. Applications include high energy resolvent estimates for complex- or matrix-valued inverse square potentials and for the Dirac-Coulomb equation. We also prove a sharp propagation estimate for the semiclassical conic Laplacian. The proofs use the semiclassical cone calculus, introduced recently by the author, and combine radial point estimates with estimates for a scattering problem on an exact cone. A second microlocal refinement of the calculus captures semiclassical conormal regularity at the cone point and thus facilitates a unified treatment of semiclassical cone and b-regularity.


title: Finite-size effects in a bosonic Josephson junction

abstract: We investigate finite-size quantum effects in the dynamics of $N$ bosonic particles which are tunneling between two sites adopting the two-site Bose-Hubbard model. By using time-dependent atomic coherent states (ACS) we extend the standard mean-field equations of this bosonic Josephson junction, which are based on time-dependent Glauber coherent states. In this way we find $1/N$ corrections to familiar mean-field (MF) results: the frequency of macroscopic oscillation between the two sites, the critical parameter for the dynamical macroscopic quantum self trapping (MQST), and the attractive critical interaction strength for the spontaneous symmetry breaking (SSB) of the ground state. To validate our analytical results we perform numerical simulations of the quantum dynamics. In the case of Josephson oscillations around a balanced configuration we find that also for a few atoms the numerical results are in good agreement with the predictions of time-dependent ACS variational approach, provided that the time evolution is not too long. Also the numerical results of SSB are better reproduced by the ACS approach with respect to the MF one. Instead the onset of MQST is correctly reproduced by ACS theory only in the large $N$ regime and, for this phenomenon, the $1/N$ correction to the MF formula is not reliable.


title: Counting intrinsic Diophantine approximations in simple algebraic groups

abstract: We establish an explicit asymptotic formula for the number of rational solutions of intrinsic Diophantine inequalities on simply-connected simple algebraic groups, at arbitrarily small scales.


title: Rao-Blackwellization in the MCMC era

abstract: Rao-Blackwellization is a notion often occurring in the MCMC literature, with possibly different meanings and connections with the original Rao--Blackwell theorem (Rao, 1945 and Blackwell,1947), including a reduction of the variance of the resulting Monte Carlo approximations. This survey reviews some of the meanings of the term.


title: Bottlenecks to interstellar sulfur chemistry: Sulfur-bearing hydrides in UV-illuminated gas and grains

abstract: Hydride molecules lie at the base of interstellar chemistry, but the synthesis of sulfuretted hydrides is poorly understood. Motivated by new observations of the Orion Bar PDR - 1'' resolution ALMA images of SH+; IRAM 30m detections of H2S, H2S34, and H2S33; H3S+ (upper limits); and SOFIA observations of SH - we perform a systematic study of the chemistry of S-bearing hydrides. We determine their column densities using coupled excitation, radiative transfer as well as chemical formation and destruction models. We revise some of the key gas-phase reactions that lead to their chemical synthesis. This includes ab initio quantum calculations of the vibrational-state-dependent reactions SH+ + H2 <-> H2S+ + H and S + H2 <-> SH + H. We find that reactions of UV-pumped H2 (v>1) with S+ explain the presence of SH+ in a high thermal-pressure gas component, P_th~10^8 cm^-3 K, close to the H2 dissociation front. However, subsequent hydrogen abstraction reactions of SH+, H2S+, and S with vibrationally excited H2, fail to ultimately explain the observed H2S column density (~2.5x10^14 cm^-2, with an ortho-to-para ratio of 2.9+/-0.3). To overcome these bottlenecks, we build PDR models that include a simple network of grain surface reactions leading to the formation of solid H2S (s-H2S). The higher adsorption binding energies of S and SH suggested by recent studies imply that S atoms adsorb on grains (and form s-H2S) at warmer dust temperatures and closer to the UV-illuminated edges of molecular clouds. Photodesorption and, to a lesser extent, chemical desorption, produce roughly the same H2S column density (a few 10^14 cm-^2) and abundance peak (a few 10^-8) nearly independently of n_H and G_0. This agrees with the observed H2S column density in the Orion Bar as well as at the edges of dark clouds without invoking substantial depletion of elemental sulfur abundances.


title: Inverse semigroup from metrics on doubles III. Commutativity and (in)finiteness of idempotents

abstract: We have shown recently that, given a metric space $X$, the coarse equivalence classes of metrics on the two copies of $X$ form an inverse semigroup $M(X)$. Here we study the property of idempotents in $M(X)$ of being finite or infinite, which is similar to this property for projections in C*-algebras. We show that if $X$ is a free group then the unit of $M(X)$ is infinite, while if $X$ is a free abelian group then it is finite. As a by-product, we show that the inverse semigroup $M(X)$ is not a quasi-isometry invariant. More examples of finite and infinite idempotents are provided. We also give a geometric description of spaces, for which their inverse semigroup $M(X)$ is commutative.


title: On the correlation coefficient T(E_e) of the neutron beta decay, caused by the correlation structure invariant under discrete P, C and T symmetries

abstract: We analyze the correlation coefficient T(E_e), which was introduced by Ebel and Feldman (Nucl. Phys. 4, 213 (1957)). The correlation coefficient T(E_e) is induced by the correlations of the neutron spin with the antineutrino 3-momentum and the electron spin with the electron 3-momentum. Such a correlation structure is invariant under discrete P, C and T symmetries. The correlation coefficient T(E_e), calculated to leading order in the large nucleon mass m_N expansion, is equal to T(E_e) = - 2 g_A(1 + g_A)/(1 + 3 g^2_A) = - B_0, i.e. of order |T(E_e)| ~ 1, where $g_A$ is the axial coupling constant. Within the Standard Model (SM) we describe the correlation coefficient $T(E_e)$ at the level of 10^{-3} by taking into the radiative corrections of order O(\alpha/\pi) or the outer model-independent radiative corrections, where \alpha is the fine-structure constant, and the corrections of order O(E_e/m_N), caused by weak magnetism and proton recoil. We calculate also the contributions of interactions beyond the SM, including the contributions of the second class currents.


title: Echelon: Two-Tier Malware Detection for Raw Executables to Reduce False Alarms

abstract: Existing malware detection approaches suffer from a simplistic trade-off between false positive rate (FPR) and true positive rate (TPR) due to a single tier classification approach, where the two measures adversely affect one another. The practical implication for malware detection is that FPR must be kept at an acceptably low level while TPR remains high. To this end, we propose a two-tiered learning, called ``Echelon", from raw byte data with no need for hand-crafted features. The first tier locks FPR at a specified target level, whereas the second tier improves TPR while maintaining the locked FPR. The core of Echelon lies at extracting activation information of the hidden layers of first tier model for constructing a stronger second tier model. Echelon is a framework in that it allows any existing CNN based model to be adapted in both tiers. We present experimental results of evaluating Echelon by adapting the state-of-the-art malware detection model ``Malconv" in the first and second tiers.


title: A Second-Order Nonlocal Approximation for Manifold Poisson Model with Dirichlet Boundary

abstract: Recently, we constructed a class of nonlocal Poisson model on manifold under Dirichlet boundary with global $\mathcal{O}(\delta^2)$ truncation error to its local counterpart, where $\delta$ denotes the nonlocal horizon parameter. In this paper, the well-posedness of such manifold model is studied. We utilize Poincare inequality to control the lower order terms along the $2\delta$-boundary layer in the weak formulation of model. The second order localization rate of model is attained by combining the well-posedness argument and the truncation error analysis. Such rate is currently optimal among all nonlocal models. Besides, we implement the point integral method(PIM) to our nonlocal model through 2 specific numerical examples to illustrate the quadratic rate of convergence on the other side.


title: On dimensions of visible parts of self-similar sets with finite rotation groups

abstract: We derive an upper bound for the Assouad dimension of visible parts of self-similar sets generated by iterated function systems with finite rotation groups and satisfying the open set condition. The bound is valid for all visible parts and it depends on the penetrable part of the set, which is a concept defined in this paper. As a corollary, we obtain in the planar case that if the projection is a finite or countable union of intervals then the visible part is 1-dimensional. We also prove that the Assouad dimension of a visible part is strictly smaller than the Hausdorff dimension of the set provided the projection contains interior points.


title: Anomaly constraint on chiral central charge of (2+1)d topological order

abstract: In this short paper, we argue that the chiral central charge $c_-$ of a (2+1)d topological ordered state is sometimes strongly constrained by 't Hooft anomaly of anti-unitary global symmetry. For example, if a (2+1)d fermionic TQFT has a time reversal anomaly with $T^2=(-1)^F$ labeled as $\nu\in\mathbb{Z}_{16}$, the TQFT must have $c_-=1/4$ mod $1/2$ for odd $\nu$, while $c_-=0$ mod $1/2$ for even $\nu$. This generalizes the fact that the bosonic TQFT with $T$ anomaly in a particular class must carry $c_-=4$ mod $8$ to fermionic cases. We also study such a constraint for fermionic TQFT with $U(1)\times CT$ symmetry, which is regarded as a gapped surface of the topological superconductor in class AIII.


title: The First 3D Coronal Loop Model Heated by MHD Waves against Radiative Losses

abstract: In the quest to solve the long-standing coronal heating problem, it has been suggested half a century ago that coronal loops could be heated by waves. Despite the accumulating observational evidence of the possible importance of coronal waves, still no 3D MHD simulations exist that show significant heating by MHD waves. Here we report on the first 3D coronal loop model heating the plasma against radiative cooling. The coronal loop is driven at the footpoint by transverse oscillations and subsequently the induced Kelvin-Helmholtz instability deforms the loop cross-section and generates small-scale structures. Wave energy is transfered to smaller scales where it is dissipated, overcoming the internal energy losses by radiation. These results open up a new avenue to address the coronal heating problem.


title: The Rise and Emergence of Untwisted Toroidal Flux Ropes on the Sun

abstract: Magnetic flux ropes (MFRs) rising buoyantly through the Sun's convection zone are thought to be subject to viscous forces preventing them from rising coherently. Numerous studies have suggested that MFRs require a minimum twist in order to remain coherent during their rise. Furthermore, even MFRs that get to the photosphere may be unable to successfully emerge into the corona unless they are at least moderately twisted, since the magnetic pressure gradient needs to overcome the weight of the photospheric plasma. To date, however, no lower limit has been placed on the critical minimum twist required for an MFR to rise coherently through the convection zone or emerge through the photosphere. In this paper, we simulate an untwisted toroidal MFR which is able to rise from the convection zone and emerge through the photosphere as an active region that resembles those observed on the Sun. We show that untwisted MFRs can remain coherent during their rise and then pile-up near the photosphere, triggering the undular instability, allowing the MFR to emerge through the photosphere. We propose that the toroidal geometry of our MFR is critical for its coherent rise. Upon emerging, a pair of lobes rises into the corona which interact and reconnect, resulting in a localized high speed jet. The resulting photospheric magnetogram displays the characteristic salt-and-pepper structure often seen in observations. Our major result is that MFRs need not be twisted to rise coherently through the convection zone and emerge through the photosphere.


title: A survey of heavy-antiheavy hadronic molecules

abstract: Many efforts have been made to reveal the nature of the overabundant resonant structures observed by the worldwide experiments in the last two decades. Hadronic molecules attract special attention because many of these seemingly unconventional resonances are located close to the threshold of a pair of hadrons. To give an overall feature of the spectrum of hadronic molecules composed of a pair of heavy-antiheavy hadrons, namely, which pairs are possible to form molecular states, we take charmed hadrons for example to investigate the interaction between them and search for poles by solving the Bethe-Salpeter equation. We consider all possible combinations of hadron pairs of the $S$-wave singly-charmed mesons and baryons as well as the narrow $P$-wave charmed mesons. The interactions, which are assumed to be meson-exchange saturated, are described by constant contact terms which are resummed to generate poles. It turns out that if a system is attractive near threshold by the light meson exchange, there is a pole close to threshold corresponding to a bound state or a virtual state, depending on the strength of interaction and the cutoff. In total, 229 molecular states are predicted. The observed near-threshold structures with hidden-charm, like the famous $X(3872)$ and $P_c$ states, fit into the spectrum we obtain. We also highlight a $\Lambda_c\bar \Lambda_c$ bound state that has a pole consistent with the cross section of the $e^+e^-\to\Lambda_c\bar \Lambda_c$ precisely measured by the BESIII Collaboration.


title: A Two Sub-problem Decomposition for the Optimal Design of Filterless Optical Networks

abstract: Filterless optical transport networks relies on passive optical interconnections between nodes, i.e., on splitters/couplers and amplifiers. While different studies have investigated their design, none of them offer a solution for an optimal design. We propose a one step solution scheme, which combines network provisioning, i.e., routing and wavelength assignment within a single mathematical model. Decomposition into two different types sub-problems is then used in order to conceive an exact solution scheme. The first type of subproblem relies on the generation of filterless subnetworks while the second one takes care of their wavelength assignment. Numerical experiments demonstrate the improved performance of the proposed optimization model and algorithm over the state of the art, with the improvement of the solution for several open source data sets.


title: The term `angle' in the international system of units

abstract: The concept of an angle is one that often causes difficulties in metrology. These are partly caused by a confusing mixture of several mathematical terms, partly by real mathematical difficulties and finally by imprecise terminology. The purpose of this publication is to clarify misunderstandings and to explain why strict terminology is important. It will also be shown that most misunderstandings regarding the `radian' can be avoided if some simple rules are obeyed.


title: Model-free price bounds under dynamic option trading

abstract: In this paper we extend discrete time semi-static trading strategies by also allowing for dynamic trading in a finite amount of options, and we study the consequences for the model-independent super-replication prices of exotic derivatives. These include duality results as well as a precise characterization of pricing rules for the dynamically tradable options triggering an improvement of the price bounds for exotic derivatives in comparison with the conventional price bounds obtained through the martingale optimal transport approach.


title: Some fast algorithms multiplying a matrix by its adjoint

abstract: We present a non-commutative algorithm for the multiplication of a 2 x 2 block-matrix by its adjoint, defined by a matrix ring anti-homomorphism. This algorithm uses 5 block products (3 recursive calls and 2 general products)over C or in positive characteristic. The resulting algorithm for arbitrary dimensions is a reduction of multiplication of a matrix by its adjoint to general matrix product, improving by a constant factor previously known reductions. We prove also that there is no algorithm derived from bilinear forms using only four products and the adjoint of one of them. Second we give novel dedicated algorithms for the complex field and the quaternions to alternatively compute the multiplication taking advantage of the structure of the matrix-polynomial arithmetic involved. We then analyze the respective ranges of predominance of the two strategies. Finally we propose schedules with low memory footprint that support a fast and memory efficient practical implementation over a prime field.


title: Anomalies and symmetric mass generation for Kaehler-Dirac fermions

abstract: We show that massless Kaehler-Dirac (KD) fermions exhibit a mixed gravitational anomaly involving an exact $U(1)$ symmetry which is unique to KD fields. Under this $U(1)$ symmetry the partition function transforms by a phase depending only on the Euler character of the background space. Compactifying flat space to a sphere we learn that the anomaly vanishes in odd dimensions but breaks the symmetry down to $Z_4$ in even dimensions. This $Z_4$ is sufficient to prohibit bilinear terms from arising in the fermionic effective action. Four fermion terms are allowed but require multiples of two flavors of KD field. In four dimensional flat space each KD field can be decomposed into four Dirac spinors and hence these anomaly constraints ensure that eight Dirac fermions or, for real representations, sixteen Majorana fermions are needed for a consistent interacting theory. These constraints on fermion number agree with known results for topological insulators and recent work on discrete anomalies rooted in the Dai-Freed theorem. Our work suggests that KD fermions may offer an independent path to understanding these constraints. Finally we point out that this anomaly survives intact under discretization and hence is relevant in understanding recent numerical results on lattice models possessing massive symmetric phases.


title: A splitting method for SDEs with locally Lipschitz drift: Illustration on the FitzHugh-Nagumo model

abstract: In this article, we construct and analyse an explicit numerical splitting method for a class of semi-linear stochastic differential equations (SDEs) with additive noise, where the drift is allowed to grow polynomially and satisfies a global one-sided Lipschitz condition. The method is proved to be mean-square convergent of order 1 and to preserve important structural properties of the SDE. First, it is hypoelliptic in every iteration step. Second, it is geometrically ergodic and has an asymptotically bounded second moment. Third, it preserves oscillatory dynamics, such as amplitudes, frequencies and phases of oscillations, even for large time steps. Our results are illustrated on the stochastic FitzHugh-Nagumo model and compared with known mean-square convergent tamed/truncated variants of the Euler-Maruyama method. The capability of the proposed splitting method to preserve the aforementioned properties may make it applicable within different statistical inference procedures. In contrast, known Euler-Maruyama type methods commonly fail in preserving such properties, yielding ill-conditioned likelihood-based estimation tools or computationally infeasible simulation-based inference algorithms.


title: Three models of non-perturbative quantum-gravitational binding

abstract: Known quantum and classical perturbative long-distance corrections to the Newton potential are extended into the short-distance regime using evolution equations for a `running' gravitational coupling, which is used to construct examples non-perturbative potentials for the gravitational binding of two particles. Model-I is based on the complete set of the relevant Feynman diagrams. Its potential has a singularity at a distance below which it becomes complex and the system gets black hole-like features. Model-II is based on a reduced set of diagrams and its coupling approaches a non-Gaussian fixed point as the distance is reduced. Energies and eigenfunctions are obtained and used in a study of time-dependent collapse (model-I) and bouncing (both models) of a spherical wave packet. The motivation for such non-perturbative `toy' models stems from a desire to elucidate the mass dependence of binding energies found 25 years ago in an explorative numerical simulation within the dynamical triangulation approach to quantum gravity. Models I \& II suggest indeed an explanation of this mass dependence, in which the Schwarzschild scale plays a role. An estimate of the renormalized Newton coupling is made by matching with the small-mass region. Comparison of the dynamical triangulation results for mass renormalization with `renormalized perturbation theory' in the continuum leads to an independent estimate of this coupling, which is used in an improved analysis of the binding energy data.


title: Rational curves on O'Grady's tenfolds

abstract: We study the existence of ample uniruled divisors on irreducible holomorphic symplectic manifolds that are deformation of the ten dimensional example introduced by O'Grady. In particular, we show that for any polarized OG10 manifold lying in four specific connected components of the moduli space of polarized OG10 manifolds there exists a multiple of the polarization that is the class of a uniruled divisor.


title: Topological vertex for 6d SCFTs with $\mathbb{Z}_2$-twist

abstract: We compute the partition function for 6d $\mathcal{N}=1$ $SO(2N)$ gauge theories compactified on a circle with $\mathbb{Z}_2$ outer automorphism twist. We perform the computation based on 5-brane webs with two O5-planes using topological vertex with two O5-planes. As representative examples, we consider 6d $SO(8)$ and $SU(3)$ gauge theories with $\mathbb{Z}_2$ twist. We confirm that these partition functions obtained from the topological vertex with O5-planes indeed agree with the elliptic genus computations.


title: The KPP equation as a scaling limit of locally interacting Brownian particles

abstract: Fisher-KPP equation is proved to be the scaling limit of a system of Brownian particles with local interaction. Particles proliferate and die depending on the local concentration of other particles. Opposite to discrete models, controlling concentration of particles is a major difficulty in Brownian particle interaction; local interactions instead of mean field or moderate ones makes it more difficult to implement the law of large numbers properties. The approach taken here to overcome these difficulties is largely inspired by A. Hammond and F. Rezakhanlou [10] implemented there in the mean free path case instead of the local interaction regime.


title: Local Black-box Adversarial Attacks: A Query Efficient Approach

abstract: Adversarial attacks have threatened the application of deep neural networks in security-sensitive scenarios. Most existing black-box attacks fool the target model by interacting with it many times and producing global perturbations. However, global perturbations change the smooth and insignificant background, which not only makes the perturbation more easily be perceived but also increases the query overhead. In this paper, we propose a novel framework to perturb the discriminative areas of clean examples only within limited queries in black-box attacks. Our framework is constructed based on two types of transferability. The first one is the transferability of model interpretations. Based on this property, we identify the discriminative areas of a given clean example easily for local perturbations. The second is the transferability of adversarial examples. It helps us to produce a local pre-perturbation for improving query efficiency. After identifying the discriminative areas and pre-perturbing, we generate the final adversarial examples from the pre-perturbed example by querying the targeted model with two kinds of black-box attack techniques, i.e., gradient estimation and random search. We conduct extensive experiments to show that our framework can significantly improve the query efficiency during black-box perturbing with a high attack success rate. Experimental results show that our attacks outperform state-of-the-art black-box attacks under various system settings.


title: Bidimensional linear recursive sequences and universality of unambiguous register automata

abstract: We study the universality and inclusion problems for register automata over equality data. We show that the universality and the inclusion problems can be solved with 2-EXPTIME complexity when the input automata are without guessing and unambiguous, improving on the currently best-known 2-EXPSPACE upper bound by Mottet and Quaas. When the number of registers of both automata is fixed, we obtain a lower EXPTIME complexity, also improving the EXPSPACE upper bound from Mottet and Quaas for fixed number of registers. We reduce inclusion to universality, and then we reduce universality to the problem of counting the number of orbits of runs of the automaton. We show that the orbit-counting function satisfies a system of bidimensional linear recursive equations with polynomial coefficients (linrec), which generalises analogous recurrences for the Stirling numbers of the second kind, and then we show that universality reduces to the zeroness problem for linrec sequences. While such a counting approach is classical and has successfully been applied to unambiguous finite automata and grammars over finite alphabets, its application to register automata over infinite alphabets is novel. We provide two algorithms to decide the zeroness problem for bidimensional linear recursive sequences arising from orbit-counting functions. Both algorithms rely on techniques from linear non-commutative algebra. The first algorithm performs variable elimination and has elementary complexity. The second algorithm is a refined version of the first one and it relies on the computation of the Hermite normal form of matrices over a skew polynomial field. The second algorithm yields an EXPTIME decision procedure for the zeroness problem of linrec sequences, which in turn yields the claimed bounds for the universality and inclusion problems of register automata.


title: Sidon sets for linear forms

abstract: Let $\varphi(x_1,\ldots, x_h) = c_1 x_1 + \cdots + c_h x_h $ be a linear form with coefficients in a field $\mathbf{F}$, and let $V$ be a vector space over $\mathbf{F}$. A nonempty subset $A$ of $V$ is a $\varphi$-Sidon set if, for all $h$-tuples $(a_1,\ldots, a_h) \in A^h$ and $ (a'_1,\ldots, a'_h) \in A^h$, the relation $\varphi(a_1,\ldots, a_h) = \varphi(a'_1,\ldots, a'_h)$ implies $(a_1,\ldots, a_h) = (a'_1,\ldots, a'_h)$. There exist infinite Sidon sets for the linear form $\varphi$ if and only if the set of coefficients of $\varphi$ has distinct subset sums. In a normed vector space with $\varphi$-Sidon sets, every infinite sequence of vectors is asymptotic to a $\varphi$-Sidon set of vectors. Results on $p$-adic perturbations of $\varphi$-Sidon sets of integers and bounds on the growth of $\varphi$-Sidon sets of integers are also obtained.


title: HyperMorph: Amortized Hyperparameter Learning for Image Registration

abstract: We present HyperMorph, a learning-based strategy for deformable image registration that removes the need to tune important registration hyperparameters during training. Classical registration methods solve an optimization problem to find a set of spatial correspondences between two images, while learning-based methods leverage a training dataset to learn a function that generates these correspondences. The quality of the results for both types of techniques depends greatly on the choice of hyperparameters. Unfortunately, hyperparameter tuning is time-consuming and typically involves training many separate models with various hyperparameter values, potentially leading to suboptimal results. To address this inefficiency, we introduce amortized hyperparameter learning for image registration, a novel strategy to learn the effects of hyperparameters on deformation fields. The proposed framework learns a hypernetwork that takes in an input hyperparameter and modulates a registration network to produce the optimal deformation field for that hyperparameter value. In effect, this strategy trains a single, rich model that enables rapid, fine-grained discovery of hyperparameter values from a continuous interval at test-time. We demonstrate that this approach can be used to optimize multiple hyperparameters considerably faster than existing search strategies, leading to a reduced computational and human burden as well as increased flexibility. We also show several important benefits, including increased robustness to initialization and the ability to rapidly identify optimal hyperparameter values specific to a registration task, dataset, or even a single anatomical region, all without retraining the HyperMorph model. Our code is publicly available at http://voxelmorph.mit.edu.


title: VIS30K: A Collection of Figures and Tables from IEEE Visualization Conference Publications

abstract: We present the VIS30K dataset, a collection of 29,689 images that represents 30 years of figures and tables from each track of the IEEE Visualization conference series (Vis, SciVis, InfoVis, VAST). VIS30K's comprehensive coverage of the scientific literature in visualization not only reflects the progress of the field but also enables researchers to study the evolution of the state-of-the-art and to find relevant work based on graphical content. We describe the dataset and our semi-automatic collection process, which couples convolutional neural networks (CNN) with curation. Extracting figures and tables semi-automatically allows us to verify that no images are overlooked or extracted erroneously. To improve quality further, we engaged in a peer-search process for high-quality figures from early IEEE Visualization papers. With the resulting data, we also contribute VISImageNavigator (VIN, visimagenavigator.github.io), a web-based tool that facilitates searching and exploring VIS30K by author names, paper keywords, title and abstract, and years.


title: Sublinearly Morse boundaries from the viewpoint of combinatorics

abstract: We prove that the sublinearly Morse boundary of every known cubulated group continuously injects in the Gromov boundary of a certain hyperbolic graph. We also show that for all CAT(0) cube complexes, convergence to sublinearly Morse geodesic rays has a simple combinatorial description using the hyperplanes crossed by such sequences. As an application of this combinatorial description, we show that a certain subspace of the Roller boundary continously surjects on the subspace of the visual boundary consisting of sublinearly Morse geodesic rays.


title: Topological gap solitons in a 1D non-Hermitian lattice

abstract: Nonlinear topological photonics is an emerging field aiming at extending the fascinating properties of topological states to the realm where interactions between the system constituents cannot be neglected. Interactions can indeed trigger topological phase transitions, induce symmetry protection and robustness properties for the many-body system. Moreover when coupling to the environment via drive and dissipation is also considered, novel collective phenomena are expected to emerge. Here, we report the nonlinear response of a polariton lattice implementing a non-Hermitian version of the Su-Schrieffer-Heeger model. We trigger the formation of solitons in the topological gap of the band structure, and show that these solitons demonstrate robust nonlinear properties with respect to defects, because of the underlying sub-lattice symmetry. Leveraging on the system non-Hermiticity, we engineer the drive phase pattern and unveil bulk solitons that have no counterpart in conservative systems. They are localized on a single sub-lattice with a spatial profile alike a topological edge state. Our results demonstrate a tool to stabilize the nonlinear response of driven dissipative topological systems, which may constitute a powerful resource for nonlinear topological photonics.


title: Improving reference mining in patents with BERT

abstract: In this paper we address the challenge of extracting scientific references from patents. We approach the problem as a sequence labelling task and investigate the merits of BERT models to the extraction of these long sequences. References in patents to scientific literature are relevant to study the connection between science and industry. Most prior work only uses the front-page citations for this analysis, which are provided in the metadata of patent archives. In this paper we build on prior work using Conditional Random Fields (CRF) and Flair for reference extraction. We improve the quality of the training data and train three BERT-based models on the labelled data (BERT, bioBERT, sciBERT). We find that the improved training data leads to a large improvement in the quality of the trained models. In addition, the BERT models beat CRF and Flair, with recall scores around 97% obtained with cross validation. With the best model we label a large collection of 33 thousand patents, extract the citations, and match them to publications in the Web of Science database. We extract 50% more references than with the old training data and methods: 735 thousand references in total. With these patent-publication links, follow-up research will further analyze which types of scientific work lead to inventions.


title: Spacing Homogenization in Lamellar Eutectic Arrays with Anisotropic Interphase Boundaries

abstract: We analyze the effect of interphase boundary anisotropy on the dynamics of lamellar eutectic solidification fronts, in the limit that the lamellar spacing varies slowly along the envelope of the front. In the isotropic case, it is known that the spacing obeys a diffusion equation, which can be obtained theoretically by making two assumptions: (i) the lamellae always grow normal to the large-scale envelope of the front, and (ii) the Jackson-Hunt law that links lamellar spacing and front temperature remains locally valid. For anisotropic boundaries, we replace hypothesis (i) by the symmetric pattern approximation, which has recently been found to yield good predictions for lamellar growth direction in presence of interphase anisotropy. We obtain a generalized Jackson-Hunt law for tilted lamellae, and an evolution equation for the envelope of the front. The latter contains a propagative term if the initial lamellar array is tilted with respect to the direction of the temperature gradient. However, the propagation velocity of the propagative wave modes are found to be small, so that the dynamics of the front can be reasonably described by a diffusion equation with a diffusion coefficient that is modified with respect to the isotropic case.


title: Derivative-Free Policy Optimization for Linear Risk-Sensitive and Robust Control Design: Implicit Regularization and Sample Complexity

abstract: Direct policy search serves as one of the workhorses in modern reinforcement learning (RL), and its applications in continuous control tasks have recently attracted increasing attention. In this work, we investigate the convergence theory of policy gradient (PG) methods for learning the linear risk-sensitive and robust controller. In particular, we develop PG methods that can be implemented in a derivative-free fashion by sampling system trajectories, and establish both global convergence and sample complexity results in the solutions of two fundamental settings in risk-sensitive and robust control: the finite-horizon linear exponential quadratic Gaussian, and the finite-horizon linear-quadratic disturbance attenuation problems. As a by-product, our results also provide the first sample complexity for the global convergence of PG methods on solving zero-sum linear-quadratic dynamic games, a nonconvex-nonconcave minimax optimization problem that serves as a baseline setting in multi-agent reinforcement learning (MARL) with continuous spaces. One feature of our algorithms is that during the learning phase, a certain level of robustness/risk-sensitivity of the controller is preserved, which we termed as the implicit regularization property, and is an essential requirement in safety-critical control systems.


title: Fast Ensemble Learning Using Adversarially-Generated Restricted Boltzmann Machines

abstract: Machine Learning has been applied in a wide range of tasks throughout the last years, ranging from image classification to autonomous driving and natural language processing. Restricted Boltzmann Machine (RBM) has received recent attention and relies on an energy-based structure to model data probability distributions. Notwithstanding, such a technique is susceptible to adversarial manipulation, i.e., slightly or profoundly modified data. An alternative to overcome the adversarial problem lies in the Generative Adversarial Networks (GAN), capable of modeling data distributions and generating adversarial data that resemble the original ones. Therefore, this work proposes to artificially generate RBMs using Adversarial Learning, where pre-trained weight matrices serve as the GAN inputs. Furthermore, it proposes to sample copious amounts of matrices and combine them into ensembles, alleviating the burden of training new models'. Experimental results demonstrate the suitability of the proposed approach under image reconstruction and image classification tasks, and describe how artificial-based ensembles are alternatives to pre-training vast amounts of RBMs.


title: Caching at the Edge: Outage Probability

abstract: Caching at the edge of wireless networks is a keytechnology to reduce traffic in the backhaul link. However, aconcentrated amount of requests during peak-periods may causethe outage of the system, meaning that the network is not ableto serve the whole set of demands. The outage probability is afundamental metric to take into account during the networkdesign. In this paper, we derive the analytical expression ofthe outage probability as a function of the total amount ofusers requests, library size, requests distribution, cache size andcapacity constraints on the backhaul resources. In particular, wefocus on a scenario where end-users have no direct connectionto the master node which holds the complete library of contentthat can be requested. A general formulation of the outage isderived and studied for two relevant caching schemes, i.e. therandom caching scheme and the most popular caching schemes.The exact closed form expressions presented in this paper provideuseful insights on how requests, memory and resources can bebalanced when the parameters of a cache-enabled network haveto designed


title: The Time-Evolution of States in Quantum Mechanics

abstract: It is argued that the Schr\"odinger equation does not yield a correct description of the quantum-mechanical time evolution of states of isolated (open) systems featuring events. A precise general law for the time evolution of states replacing the Schr\"odinger equation is formulated within the so-called ETH-Approach to Quantum Mechanics. This law eliminates the infamous "measurement problem." Our general results are illustrated by an analysis of simple models describing a very heavy atom coupled to the quantized radiation field in a limit where the speed of light tends to infinity. The discussion of these models is the main subject of our paper.


title: Comparing different subgradient methods for solving convex optimization problems with functional constraints

abstract: We consider the problem of minimizing a convex, nonsmooth function subject to a closed convex constraint domain. The methods that we propose are reforms of subgradient methods based on Metel--Takeda's paper [Optimization Letters 15.4 (2021): 1491-1504] and Boyd's works [Lecture notes of EE364b, Stanford University, Spring 2013-14, pp. 1-39]. While the former has complexity $\mathcal{O}(\varepsilon^{-2r})$ for all $r> 1$, the complexity of the latter is $\mathcal{O}(\varepsilon^{-2})$. We perform some comparisons between these two methods using several test examples.


title: Derivation of Darcy's law in randomly punctured domains

abstract: We consider the homogenization of a Poisson problem or a Stokes system in a randomly punctured domain with Dirichlet boundary conditions. We assume that the holes are spherical and have random centres and radii. We impose that the average distance between the balls is of size $\eps$ and their average radius is $\varepsilon^{\alpha}$, $\alpha \in (1; 3)$. We prove that, as in the periodic case [G. Allaire, ``Homogenization of the Navier-Stokes equations in domains perforated with tiny holes. II''], the solutions converge to the solution of Darcy's law (or its scalar analogue in the case of Poisson). In the same spirit of [A. Giunti, R. H\"ofer and J. Vel\'azquez, ``Homogenization of the Poisson equation in randomly perforated domains under minimal assumptions on the size of the holes''], we work under minimal conditions on the integrability of the random radii. These ensure that the problem is well-defined but do not rule out the onset of clusters of holes.


title: Induced THz transitions in Rydberg caesium atoms for application in antihydrogen experiments

abstract: Antihydrogen atoms are produced at CERN in highly excited Rydberg states. However, precision measurements require anti-atoms in ground state. Whereas experiments currently rely on spontaneous emission only, simulations have shown that THz light can be used to stimulate the decay towards ground state and thus increase the number of anti-atoms available for measurements. We review different possibilities at hand to generate light in the THz range required for the purpose of stimulated deexcitation. We demonstrate the effect of a blackbody type light source, which however presents drawbacks for this application including strong photoionization. Further, we report on the first THz transitions in a beam of Rydberg caesium atoms induced by photomixers and conclude with the implications of the results for the antihydrogen case.


title: Reducing the Paging Overhead in Highly Directional Systems

abstract: New Radio (NR) supports operations at high-frequency bands (e.g., millimeter-wave frequencies) by using narrow beam based directional transmissions to compensate high propagation losses at such frequencies. Due to the limited spatial coverage with each beam, the broadcast transmission of paging in NR is performed using beam sweeping, which takes multiple time slots. Thus, the paging procedure used in NR would substantially increase the downlink resource overhead of the network with directional transmissions. Such overhead would further increase as we move higher in the frequency bands, such as terahertz bands, which is being viewed as one of the potential candidates for future generation networks. Therefore, the NR based paging solution is infeasible for supporting highly directional systems. In this paper, we propose a novel minimal feedback enabled paging mechanism, which instead of using all the beams for paging transmissions, only activates sub-set of beams having one or more UEs under the coverage. UE presence indications are implemented to identify the correct set of beams to be activated. Our analytical analysis and simulations show that the proposed solution significantly reduces the downlink paging overhead compared to the NR based solution (e.g., more than 80% gain for a system supporting 64 number of beams at a UE density of 200 UEs per paging occasion) while incurring minimal energy cost at the UE side.


title: Clebsh-Gordan coefficients for the algebra $\mathfrak{gl}_3$ and hypergeometric functions

abstract: The Clebsh-Gordan coefficients for the Lie algebra $\mathfrak{gl}_3$ in the Gelfand-Tsetlin base are calculated. In contrast to previous papers the result is given as an explicit formula. To obtain the result a realization of a representation in the space of functions on the group $GL_3$ is used. The keystone fact that allows to carry the calculation of Clebsh-Gordan coefficients is the theorem that says that functions corresponding to Gelfand-Tsetlin base vectors can be expressed through generalized hypergeometric functions.


title: Analytical bound state solutions of the Dirac equation with the Hulth\'en plus a class of Yukawa potential including a Coulomb-like tensor interaction

abstract: We examine the bound state solutions of the Dirac equation under the spin and pseudospin symmetries for a new suggested combined potential, Hulten plus a class of Yukawa potential including a Coulomb-like tensor interaction. An improved scheme is employed to deal with the centrifugal (pseudo-centrifugal) term. Using the Nikiforov-Uvarov and SUSYQM methods, we analytically develop the relativistic energy eigenvalues and associated Dirac spinor components of wave functions. We find that both methods give entirely the same results. Modifiable of our results into some particular potential cases, useful for other physical systems, are also discussed. We obtain complete agreement with the findings of previous works. The spin and pseudospin bound state energy spectra for various levels are presented in the absence as well as the presence of tensor coupling. Both energy spectrums are sensitive with regards to the quantum numbers $\kappa$ and $n$, as well as the parameter $\delta$. We also notice that the degeneracies between Dirac spin and pseudospin doublet eigenstate partners are completely removed by the tensor interaction. Finally, we present the parameter space of allowable bound state regions of potential strength $V_0$ with constants for both considered symmetry limits $C_S$ and $C_{PS}$.


title: A passively pumped vacuum package sustaining cold atoms for more than 200 days

abstract: Compact cold-atom sensors depend on vacuum technology. One of the major limitations to miniaturizing these sensors are the active pumps -- typically ion pumps -- required to sustain the low pressure needed for laser cooling. Although passively pumped chambers have been proposed as a solution to this problem, technical challenges have prevented successful operation at the levels needed for cold-atom experiments. We present the first demonstration of a vacuum package successfully independent of ion pumps for more than a week; our vacuum package is capable of sustaining a cloud of cold atoms in a magneto-optical trap (MOT) for greater than 200 days using only non-evaporable getters and a rubidium dispenser. Measurements of the MOT lifetime indicate the package maintains a pressure of better than $2\times10^{-7}$ Torr. This result will significantly impact the development of compact atomic sensors, including those sensitive to magnetic fields, where the absence of an ion pump will be advantageous.


title: Imitation Learning for High Precision Peg-in-Hole Tasks

abstract: Industrial robot manipulators are not able to match the precision and speed with which humans are able to execute contact rich tasks even to this day. Therefore, as a means overcome this gap, we demonstrate generative methods for imitating a peg-in-hole insertion task in a 6-DOF robot manipulator. In particular, generative adversarial imitation learning (GAIL) is used to successfully achieve this task with a 10 um, and a 6 um peg-hole clearance on the Yaskawa GP8 industrial robot. Experimental results show that the policy successfully learns within 20 episodes from a handful of human expert demonstrations on the robot (i.e., < 10 tele-operated robot demonstrations). The insertion time improves from > 20 seconds (which also includes failed insertions) to < 15 seconds, thereby validating the effectiveness of this approach.


title: Multi-Instance Aware Localization for End-to-End Imitation Learning

abstract: Existing architectures for imitation learning using image-to-action policy networks perform poorly when presented with an input image containing multiple instances of the object of interest, especially when the number of expert demonstrations available for training are limited. We show that end-to-end policy networks can be trained in a sample efficient manner by (a) appending the feature map output of the vision layers with an embedding that can indicate instance preference or take advantage of an implicit preference present in the expert demonstrations, and (b) employing an autoregressive action generator network for the control layers. The proposed architecture for localization has improved accuracy and sample efficiency and can generalize to the presence of more instances of objects than seen during training. When used for end-to-end imitation learning to perform reach, push, and pick-and-place tasks on a real robot, training is achieved with as few as 15 expert demonstrations.


title: Scene Text Detection for Augmented Reality -- Character Bigram Approach to reduce False Positive Rate

abstract: Natural scene text detection is an important aspect of scene understanding and could be a useful tool in building engaging augmented reality applications. In this work, we address the problem of false positives in text spotting. We propose improving the performace of sliding window text spotters by looking for character pairs (bigrams) rather than single characters. An efficient convolutional neural network is designed and trained to detect bigrams. The proposed detector reduces false positive rate by 28.16% on the ICDAR 2015 dataset. We demonstrate that detecting bigrams is a computationally inexpensive way to improve sliding window text spotters.


title: Stochastic Action Prediction for Imitation Learning

abstract: Imitation learning is a data-driven approach to acquiring skills that relies on expert demonstrations to learn a policy that maps observations to actions. When performing demonstrations, experts are not always consistent and might accomplish the same task in slightly different ways. In this paper, we demonstrate inherent stochasticity in demonstrations collected for tasks including line following with a remote-controlled car and manipulation tasks including reaching, pushing, and picking and placing an object. We model stochasticity in the data distribution using autoregressive action generation, generative adversarial nets, and variational prediction and compare the performance of these approaches. We find that accounting for stochasticity in the expert data leads to substantial improvement in the success rate of task completion.


title: Capturing Travel Mode Adoption in Designing On-demand Multimodal Transit Systems

abstract: This paper studies how to integrate rider mode preferences into the design of On-Demand Multimodal Transit Systems (ODMTS). It is motivated by a common worry in transit agencies that an ODMTS may be poorly designed if the latent demand, i.e., new riders adopting the system, is not captured. The paper proposes a bilevel optimization model to address this challenge, in which the leader problem determines the ODMTS design, and the follower problems identify the most cost efficient and convenient route for riders under the chosen design. The leader model contains a choice model for every potential rider that determines whether the rider adopts the ODMTS given her proposed route. To solve the bilevel optimization model, the paper proposes an exact decomposition method that includes Benders optimal cuts and nogood cuts to ensure the consistency of the rider choices in the leader and follower problems. Moreover, to improve computational efficiency, the paper proposes upper bounds on trip durations for the follower problems and valid inequalities that strenghten the nogood cuts. The proposed method is validated using an extensive computational study on a real data set from AAATA, the transit agency for the broader Ann Arbor and Ypsilanti region in Michigan. The study considers the impact of a number of factors, including the price of on-demand shuttles, the number of hubs, and accessibility criteria. The designed ODMTS feature high adoption rates and significantly shorter trip durations compared to the existing transit system and highlight the benefits in accessibility for low-income riders. Finally, the computational study demonstrates the efficiency of the decomposition method for the case study and the benefits of computational enhancements that improve the baseline method by several orders of magnitude.


title: A Note on the value distribution of a differential monomial and some normality criteria

abstract: In this paper, we prove some value distribution results which lead to some normality criteria for a family of analytic functions. These results improve some recent results.


title: Thermal Resistance at a Twist Boundary and Semicoherent Heterointerface

abstract: Traditional models of interfacial phonon scattering, including the acoustic mismatch model (AMM) and diffuse mismatch model (DMM), take into account the bulk properties of the material surrounding the interface, but not the atomic structure and properties of the interface itself. Here, we derive a theoretical formalism for the phonon scattering at a dislocation grid, or two interpenetrating orthogonal arrays of dislocations, as this is the most stable structure of both the symmetric twist boundary and semicoherent heterointerface. With this approach, we are able to separately examine the contribution to thermal resistance due to the step function change in acoustic properties and due to interfacial dislocation strain fields, which induces diffractive scattering. Both low-angle Si-Si twist boundaries and the Si-Ge heterointerfaces are considered here and compared to previous experimental and simulation results. This work indicates that scattering from misfit dislocation strain fields doubles the thermal boundary resistance of Si-Ge heterointerfaces compared to scattering due to acoustic mismatch alone. Scattering from grain boundary dislocation strain fields is predicted to dominate the thermal boundary resistance of Si-Si twist boundaries. This physical treatment can guide the thermal design of devices by quantifying the relative importance of interfacial strain fields, which can be engineered via fabrication and processing methods, versus acoustic mismatch, which is fixed for a given interface. Additionally, this approach captures experimental and simulation trends such as the dependence of thermal boundary resistance on the grain boundary angle and interfacial strain energy.


title: Nikolai Chebotaryov's "Problems in Modern Galois Theory"

abstract: This is an English translation of Nikolai Chebotaryov's paper "Die Probleme der modernen Galoisschen Theorie" from 1932. An excerpt from this paper was given as a lecture at the International Congress of Mathematicians in Z\"urich in 1932. With the lecture being given to commememorate the centennial of Evariste Galois' death, the paper is a broad survey of various contemporary problems in Galois Theory the author found represented the culminations of work done by Galois and his successors.


title: Personal Privacy Protection via Irrelevant Faces Tracking and Pixelation in Video Live Streaming

abstract: To date, the privacy-protection intended pixelation tasks are still labor-intensive and yet to be studied. With the prevailing of video live streaming, establishing an online face pixelation mechanism during streaming is an urgency. In this paper, we develop a new method called Face Pixelation in Video Live Streaming (FPVLS) to generate automatic personal privacy filtering during unconstrained streaming activities. Simply applying multi-face trackers will encounter problems in target drifting, computing efficiency, and over-pixelation. Therefore, for fast and accurate pixelation of irrelevant people's faces, FPVLS is organized in a frame-to-video structure of two core stages. On individual frames, FPVLS utilizes image-based face detection and embedding networks to yield face vectors. In the raw trajectories generation stage, the proposed Positioned Incremental Affinity Propagation (PIAP) clustering algorithm leverages face vectors and positioned information to quickly associate the same person's faces across frames. Such frame-wise accumulated raw trajectories are likely to be intermittent and unreliable on video level. Hence, we further introduce the trajectory refinement stage that merges a proposal network with the two-sample test based on the Empirical Likelihood Ratio (ELR) statistic to refine the raw trajectories. A Gaussian filter is laid on the refined trajectories for final pixelation. On the video live streaming dataset we collected, FPVLS obtains satisfying accuracy, real-time efficiency, and contains the over-pixelation problems.


title: Experimental Characterization of Air-to-ground Propagation at mm-Wave Frequencies in Dense Urban Environment

abstract: In the present study, a measurement setup utilizing mm-wave transceivers with steerable directive antennas, mounted on both a customized UAV and a ground station has been used to study Air-to-Ground (A2G) radio links and, more generally, full-3D mm-wave propagation in urban environment. We evaluate the double-directional characteristics of the channel by rotating the antennas, deriving Power-Angle Profiles at both link ends. Preliminary results provide useful understanding of A2G propagation, e.g. the influence of the antenna tilt angles, or the mechanisms allowing for the signal to propagate from street canyons to the air.


title: An Abstracted Survey on 6G: Drivers, Requirements, Efforts, and Enablers

abstract: As of today, 5G mobile systems have been already widely rolled out, it is the right time for academia and industry to explore the next generation mobile communication system beyond 5G. To this end, this paper provides an abstracted survey for the 6G mobile system. We shed light on the key driving factors for 6G through predicting the growth trend of mobile traffic and mobile service subscriptions until the year of 2030, envisioning the potential use cases and applications, as well as deriving the potential use scenarios. Then, a number of key performance indicators to support the 6G use cases are identified and their target values are estimated in a quantitatively manner, which is compared with those of 5G clearly in a visualized way. An investigation of the efforts spent on 6G research in different countries and institutions until now is summarized, and a potential roadmap in terms of the definition, specification, standardization, and spectrum regulation is given. Finally, an introduction to potential key 6G technologies is provided. The principle, technical advantages, challenges, and open research issues for each identified technology are discussed.


title: Latitudinal variation of methane mole fraction above clouds in Neptune's atmosphere from VLT/MUSE-NFM: Limb-darkening reanalysis

abstract: We present a reanalysis of visible/near-infrared (480-930 nm) observations of Neptune, made in 2018 with the MUSE instrument at the Very Large Telescope (VLT) in Narrow Field Adaptive Optics mode, reported by Irwin et al., Icarus, 311, 2019. We find that the inferred variation of methane abundance with latitude in our previous analysis, which was based on central meridian observations only, underestimated the retrieval errors when compared with a more complete assessment of Neptune's limb darkening. In addition, our previous analysis introduced spurious latitudinal variability of both the abundance and its uncertainty, which we reassess here. Our reanalysis of these data incorporates the effects of limb-darkening based upon the Minnaert approximation, which provides a much stronger constraint on the cloud structure and methane mole fraction, makes better use of the available data and is more computationally efficient. We find that away from discrete cloud features, the observed reflectivity spectrum from 800-900 nm is very well approximated by a background cloud model that is latitudinally varying, but zonally symmetric, consisting of a H$_2$S cloud layer, based at 3.6-4.7 bar with variable opacity and scale height, and a stratospheric haze. The background cloud model matches the observed limb darkening seen at all wavelengths and latitudes and we find that the mole fraction of methane at 2-4 bar, above the H$_2$S cloud, but below the methane condensation level, varies from 4-6\% at the equator to 2-4\% at near the south pole, consistent with previous analyses, with a equator/pole ratio of $1.9 \pm 0.2$ for our assumed cloud/methane model. The spectra of discrete cloudy regions are fitted, to a very good approximation, by the addition of a single vertically thin methane ice cloud with opacity ranging from 0 - 0.75 and pressure less than $\sim 0.4$ bar.


title: Caching in Heterogeneous Satellite Networks with Fountain Codes

abstract: In this paper we investigate the performance of caching schemes based on fountain codes in a heterogeneous satellite network. We consider multiple cache-aided hubs which are connected to a geostationary satellite through backhaul links. With the aimof reducing the average number of transmissions over the satellite backhaul link, we propose the use of a caching scheme based on fountain codes. We derive a simple analytical expression of the average backhaul transmission rate and provide a tightupper bound on it. Furthermore, we show how the performance of the fountain code based caching scheme is similar to that of a caching scheme based on maximum distance separable codes.


title: Predicting the Performance of a Future United Kingdom Grid and Wind Fleet When Providing Power to a Fleet of Battery Electric Vehicles

abstract: Sales of new petrol and diesel passenger vehicles may not be permitted in the United Kingdom (UK) post-2030. Should this happen, it is likely that vehicles presently powered by hydrocarbons will be progressively replaced by Battery Electric Vehicles (BEVs). This paper describes the use of mathematical modelling, drawing on real time records of the UK electricity grid, to investigate the likely performance of the grid when supplying power to a fleet of up to 35 million BEVs. The model highlights the importance of understanding how the grid will cope when powering a BEV fleet under conditions similar to those experienced during an extended wind lull during the 3rd week of January 2017. Allowing a two-way flow of electricity between the BEVs and the grid, known as the vehicle-to-grid (V2G) configuration, turns out to be of key importance in minimising the need for additional gas turbine generation or energy storage during wind lulls. This study has shown that with the use of V2G, it should be possible to provide power to about 15 million BEVs with the gas turbine capacity currently available. Without V2G, it is likely that the current capacity of the gas turbines and associated gas infrastructure might be overwhelmed by even a relatively small BEV fleet. Since it is anticipated that 80% of BEV owners will be able to park the vehicles at their residences, widespread V2G will enable both the powering of residences when supply from the grid is constrained and the charging of BEVs when supply is in excess. The model shows that this configuration will maintain a constant load on the grid and avoid the use of either expensive alternative storage or hydrogen obtained by reforming methane. There should be no insuperable problem in providing power to the 20% of BEV owners who do not have parking at their residences; their power could come directly from the grid.


title: Unique continuation properties for polyharmonic maps between Riemannian manifolds

abstract: Polyharmonic maps of order k (briefly, k-harmonic maps) are a natural generalization of harmonic and biharmonic maps. These maps are defined as the critical points of suitable higher order functionals which extend the classical energy functional for maps between Riemannian manifolds. The main aim of this paper is to investigate the so-called unique continuation principle. More precisely, assuming that the domain is connected, we shall prove the following extensions of results known in the harmonic and biharmonic case: (i) if a k-harmonic map is harmonic on an open subset, then it is harmonic everywhere; (ii) if two k-harmonic maps agree on a open subset, then they agree everywhere; (iii) if, for a k-harmonic map to the n-dimensional sphere, an open subset of the domain is mapped into the equator, then all the domain is mapped into the equator.


title: A Comparative Study of AHP and Fuzzy AHP Method for Inconsistent Data

abstract: In various cases of decision analysis we use two popular methods: Analytical Hierarchical Process (AHP) and Fuzzy based AHP or Fuzzy AHP. Both the methods deal with stochastic data and can determine decision result through Multi Criteria Decision Making (MCDM) process. Obviously resulting values of the two methods are not same though same set of data is fed into them. In this research work, we have tried to observe similarities and dissimilarities between two methods outputs. Almost same trend or fluctuations in outputs have been seen for both methods for same set of input data which are not consistent. Both method outputs ups and down fluctuations are same for fifty percent cases.


title: Multilayer Haldane model

abstract: We propose the model of layered materials, in which each layer is described by the conventional Haldane model, while the inter - layer hopping parameter corresponds to the ABC stacking. We calculate the topological invariant $N_3$ for the resulting model, which is responsible for the conductivity of intrinsic quantum Hall effect. It has been shown that in a certain range of the values of interlayer hopping parameter, the value of $N_3$ is equal to the number of layers multiplied by the topological invariant of each layer. At the same time this value may be calculated using the low energy effective theory.


title: Annihilators and associated varieties of Harish-Chandra modules for Sp(p,q)

abstract: We show how to compute annihilators and associated varieties of simple Harish-Chandra modules for Sp(p,q) with trivial infinitesimal character from a pair of domino tableaux attached to a parameter for such a module.


title: Quantum string cosmology

abstract: We present a short review of possible applications of the Wheeler-De Witt equation to cosmological models based on the low-energy string effective action, and characterised by an initial regime of asymptotically flat, low energy, weak coupling evolution. Considering in particular a class of duality-related (but classically disconnected) background solutions, we shall discuss the possibility of quantum transitions between the phases of pre-big bang and post-big bang evolution. We will show that it is possible, in such a context, to represent the birth of our Universe as a quantum process of tunneling or "anti-tunneling" from an initial state asymptotically approaching the string perturbative vacuum.


title: Traveling pulses in Class-I excitable media

abstract: We study Class-I excitable $1$-dimensional media showing the appearance of propagating traveling pulses. We consider a general model exhibiting Class-I excitability mediated by two different scenarios: a homoclinic (saddle-loop) and a SNIC (Saddle-Node on the Invariant Circle) bifurcations. The distinct properties of Class-I with respect to Class-II excitability infer unique properties to traveling pulses in Class-I excitable media. We show how the pulse shape inherit the infinite period of the homoclinic and SNIC bifurcations at threshold, exhibiting scaling behaviors in the spatial thickness of the pulses that are equivalent to the scaling behaviors of characteristic times in the temporal case.


title: Commuting with Autonomous Vehicles: A Branch and Cut Algorithm with Redundant Modeling

abstract: This paper studies the benefits of autonomous vehicles in ride-sharing platforms dedicated to serving commuting needs. It considers the Commute Trip Sharing Problem with Autonomous Vehicles (CTSPAV), the optimization problem faced by a reservation-based platform that receives daily commute-trip requests and serves them with a fleet of autonomous vehicles. The CTSPAV can be viewed as a special case of the Dial- A-Ride Problem (DARP). However, this paper recognizes that commuting trips exhibit special spatial and temporal properties that can be exploited in a branch and cut algorithm that leverages a redundant modeling approach. In particular, the branch and cut algorithm relies on a MIP formulation that schedules mini routes representing inbound or outbound trips. This formulation is effective in finding high-quality solutions quickly but its relaxation is relatively weak. To remedy this limitation, the mini-route MIP is complemented by a DARP formulation which is not as effective in obtaining primal solutions but has a stronger relaxation. The benefits of the proposed approach are demonstrated by comparing it with another, more traditional, exact branch and cut procedure and a heuristic method based on mini routes. The methodological contribution is complemented by a comprehensive analysis of a CTSPAV platform for reducing vehicle counts, travel distances, and congestion. In particular, the case study for a medium-sized city reveals that a CTSPAV platform can reduce daily vehicle counts by a staggering 92% and decrease vehicles miles by 30%. The platform also significantly reduces congestion, measured as the number of vehicles on the road per unit time, by 60% during peak times. These benefits, however, come at the expense of introducing empty miles. Hence the paper also highlights the tradeoffs between future ride-sharing and car-pooling platforms.


title: Anomaly Recognition from surveillance videos using 3D Convolutional Neural Networks

abstract: Anomalous activity recognition deals with identifying the patterns and events that vary from the normal stream. In a surveillance paradigm, these events range from abuse to fighting and road accidents to snatching, etc. Due to the sparse occurrence of anomalous events, anomalous activity recognition from surveillance videos is a challenging research task. The approaches reported can be generally categorized as handcrafted and deep learning-based. Most of the reported studies address binary classification i.e. anomaly detection from surveillance videos. But these reported approaches did not address other anomalous events e.g. abuse, fight, road accidents, shooting, stealing, vandalism, and robbery, etc. from surveillance videos. Therefore, this paper aims to provide an effective framework for the recognition of different real-world anomalies from videos. This study provides a simple, yet effective approach for learning spatiotemporal features using deep 3-dimensional convolutional networks (3D ConvNets) trained on the University of Central Florida (UCF) Crime video dataset. Firstly, the frame-level labels of the UCF Crime dataset are provided, and then to extract anomalous spatiotemporal features more efficiently a fine-tuned 3D ConvNets is proposed. Findings of the proposed study are twofold 1)There exist specific, detectable, and quantifiable features in UCF Crime video feed that associate with each other 2) Multiclass learning can improve generalizing competencies of the 3D ConvNets by effectively learning frame-level information of dataset and can be leveraged in terms of better results by applying spatial augmentation.


title: Quantum Anomalous Hall Effect in Magnetic Doped Topological Insulators and Ferromagnetic Spin-Gapless Semiconductors -- A Perspective Review

abstract: Quantum anomalous Hall effect, with a trademark of dissipationless chiral edge states for electronics/spintronics transport applications, can be realized in materials with large spin-orbit coupling and strong intrinsic magnetization. After Haldane seminal proposal, several models have been presented to control/enhance the spin-orbit coupling and intrinsic magnetic exchange interaction. After brief introduction of Haldane model for spineless fermions, following three fundamental quantum anomalous Hall models are discussed in this perspective review: (i) low-energy effective four band model for magnetic-doped topological insulator (Bi,Sb)2Te3 thin films, (ii) four band tight-binding model for graphene with magnetic adatoms, and (iii) two (three) band spinfull tight-binding model for ferromagnetic spin-gapless semiconductors with honeycomb (kagome) lattice where ground state is intrinsically ferromagnetic. These models cover two-dimensional Dirac materials hosting spinless, spinful and spin-degenerate Dirac points where various mass terms open a band gap and lead to quantum anomalous Hall effect. With emphasize on the topological phase transition driven by ferromagnetic exchange interaction and its interplay with spin-orbit-coupling, we discuss various symmetry constraints on the nature of mass term and the materialization of these models. We hope this study will shed light on the fundamental theoretical perspectives of quantum anomalous Hall materials.


title: Compact K\"ahler manifolds with no projective specialization

abstract: We show the existence of a compact K\"ahler manifold which does not fit in a proper flat family over an irreducible base with one projective (possibly singular) fiber. We also give a topological version of this statement. This strengthens our earlier counterexamples to the Kodaira algebraic approximation problem.


title: Unbox the Blackbox: Predict and Interpret YouTube Viewership Using Deep Learning

abstract: Predicting video viewership is a top priority for content creators and video-sharing sites. Content creators live on such predictions to maximize influences and minimize budgets. Video-sharing sites rely on this prediction to promote credible videos and curb violative videos. Although deep learning champions viewership prediction, it lacks interpretability, which is fundamental to increasing the adoption of predictive models and prescribing measurements to improve viewership. Following the design-science paradigm, we propose a novel interpretable IT system, Precise Wide and Deep Learning (PrecWD), to precisely interpret viewership prediction. Improving upon state-of-the-art frameworks, PrecWD offers precise feature effects and designs an unstructured component. PrecWD outperforms benchmarks in two contexts: health video viewership prediction and misinformation viewership prediction. A user study confirms the superior interpretability of PrecWD. This study contributes to IS design theory with generalizable design principles and an interpretable predictive framework. Our findings provide implications to improve video viewership and credibility.


title: HyperDegrade: From GHz to MHz Effective CPU Frequencies

abstract: Performance degradation techniques are an important complement to side-channel attacks. In this work, we propose HyperDegrade -- a combination of previous approaches and the use of simultaneous multithreading (SMT) architectures. In addition to the new technique, we investigate the root causes of performance degradation using cache eviction, discovering a previously unknown slowdown origin. The slowdown produced is significantly higher than previous approaches, which translates into an increased time granularity for Flush+Reload attacks. We evaluate HyperDegrade on different Intel microarchitectures, yielding significant slowdowns that achieve, in select microbenchmark cases, three orders of magnitude improvement over state-of-the-art. To evaluate the efficacy of performance degradation in side-channel amplification, we propose and evaluate leakage assessment metrics. The results evidence that HyperDegrade increases time granularity without a meaningful impact on trace quality. Additionally, we designed a fair experiment that compares three performance degradation strategies when coupled with Flush+Reload from an attacker perspective. We developed an attack on an unexploited vulnerability in OpenSSL in which HyperDegrade excels -- reducing by three times the number of required Flush+Reload traces to succeed. Regarding cryptography contributions, we revisit the recently proposed Raccoon attack on TLS-DH key exchanges, demonstrating its application to other protocols. Using HyperDegrade, we developed an end-to-end attack that shows how a Raccoon-like attack can succeed with real data, filling a missing gap from previous research.


title: Topology-aware Tensor Decomposition for Meta-graph Learning

abstract: Heterogeneous graphs generally refers to graphs with different types of nodes and edges. A common approach for extracting useful information from heterogeneous graphs is to use meta-graphs, which can be seen as a special kind of directed acyclic graph (DAG) with same node and edge types as the heterogeneous graph. However, how to design proper meta-graphs is challenging. Recently, there have been many works on learning suitable meta-graphs from a heterogeneous graph. Existing methods generally introduce continuous weights for edges that are independent of each other, which ignores the topological stucture of meta-graphs and can be ineffective. To address this issue, we propose a new viewpoint from tensor on learning meta-graphs. Such a viewpoint not only helps interpret the limitation of existing works by CANDECOMP/PARAFAC (CP) decomposition, but also inspires us to propose a topology-aware tensor decomposition, called TENSUS, that reflects the structure of DAGs. The proposed topology-aware tensor decomposition is easy to use and simple to implement, and it can be taken as a plug-in part to upgrade many existing works, including node classification and recommendation on heterogeneous graphs. Experimental results on different tasks demonstrate that the proposed method can significantly improve the state-of-the-arts for all these tasks.


title: Counter-terrorism analysis using cooperative game theory

abstract: Game theory has been applied in many fields of study, especially economics and political science. Arce M. and Sandler (2005) analyzed counter-terrorism using non-cooperative game theory (the players are, for example, the US and the EU), which assumes that communication among the players is not allowed, or, if it is allowed, then there is no mechanism to enforce any agreement the players may make. The only solution in the non-cooperative setting would be a Nash equilibrium because the players adopt only self-enforcing strategies. Here we analyze counter-terrorism using cooperative game theory, because there are ways to communicate among the players and to make binding agreements; indeed, countries that oppose terrorism are closely connected to each other in many aspects such as economically and in terms of international politics.


title: A Continuum Manipulator for Open-Source Surgical Robotics Research and Shared Development

abstract: Many have explored the application of continuum robot manipulators for minimally invasive surgery, and have successfully demonstrated the advantages their flexible design provides -- with some solutions having reached commercialisation and clinical practice. However, the usual high complexity and closed-nature of such designs has traditionally restricted the shared development of continuum robots across the research area, thus impacting further progress and the solution of open challenges. In order to close this gap, this paper introduces ENDO, an open-source 3-segment continuum robot manipulator with control and actuation mechanism, whose focus is on simplicity, affordability, and accessibility. This robotic system is fabricated from low cost off-the-shelf components and rapid prototyping methods, and its information for implementation (and that of future iterations), including CAD files and source code, is available to the public on the Open Source Medical Robots initiative's repository on GitHub (https://github.com/OpenSourceMedicalRobots), with the control library also available directly from Arduino. Herein, we present details of the robot design and control, validate functionality by experimentally evaluating its workspace, and discuss possible paths for future development.


title: Additive Link Metrics Identification: Proof of Selected Lemmas and Propositions

abstract: This is a technical report, containing all the lemma and proposition proofs in paper "Topological Constraints on Identifying Additive Link Metrics via End-to-end Paths Measurements" by Liang Ma, Ting He, Kin K. Leung, Don Towsley, and Ananthram Swami, published in Annual Conference of The International Technology Alliance (ACITA), 2012.


title: Learning to solve the single machine scheduling problem with release times and sum of completion times

abstract: In this paper, we focus on the solution of a hard single machine scheduling problem by new heuristic algorithms embedding techniques from machine learning field and scheduling theory. These heuristics transform an instance of the hard problem into an instance of a simpler one solved to optimality. The obtained schedule is then transposed to the original problem. Computational experiments show that they are competitive with state-of-the-art heuristics, notably on large instances.


title: Topology of the energy landscape of sheared amorphous solids and the irreversibility transition

abstract: Recent experiments and simulations of amorphous solids plastically deformed by oscillatory drive have foundsurprising behavior - for small strain amplitudes the dynamics can be reversible, which is contrary to the usual notion of plasticity as an irreversible form of deformation. This reversibility allows the system to reach limit-cycles in which plastic events repeat indefinitely under the oscillatory drive. Reaching reversible limit-cycles, can take a large number of driving cycles and it was surmised that the plastic events encountered during the transient period are not encountered again and are thus irreversible. Using a graph representation of the stable configurations of the system and the plastic events connecting them, we show that the notion of reversibility is more subtle. We find that reversible plastic events are abundant, and that a large portion of the plastic events encountered during the transient period are actually reversible, in the sense that they can be part of a reversible deformation path. We observe that the transition graph can be decomposed into clusters of configurations that are connected by reversible transitions. These clusters are the strongly connected components of the graph and their sizes turn out to be power-law distributed. The largest of these are grouped in regions of reversibility, which in turn are confined by regions of irreversibility whose number proliferates at larger strains. Our results provide an explanation for the irreversibility transition - the divergence of the transient period at a critical forcing amplitude. Long transients result from transition between clusters of reversibility in a search for a cluster large enough to contain a limit-cycle of a specific amplitude. For large enough amplitudes, the search time becomes very large, since sizes of the limit cycles become incompatible with the sizes of the regions of reversibility.


title: An Integrated Optimization Framework for Multi-Component Predictive Analytics in Wind Farm Operations & Maintenance

abstract: Recent years have seen an unprecedented growth in the use of sensor data to guide wind farm operations and maintenance. Emerging sensor-driven approaches typically focus on optimal maintenance procedures for single turbine systems, or model multiple turbines in wind farms as single component entities. In reality, turbines are composed of multiple components that dynamically interact throughout their lifetime. These interactions are central for realistic assessment and control of turbine failure risks. In this paper, an integrated framework that combines i) real-time degradation models used for predicting remaining life distribution of each component, with ii) mixed integer optimization models and solution algorithms used for identifying optimal wind farm maintenance and operations is proposed. Maintenance decisions identify optimal times to repair every component, which in turn, determine the failure risk of the turbines. More specifically, optimization models that characterize a turbine's failure time as the first time that one of its constituent components fail - a systems reliability concept called competing risk is developed. The resulting turbine failures impact the optimization of wind farm operations and revenue. Extensive experiments conducted for multiple wind farms with 300 wind turbines - 1200 components - showcases the performance of the proposed framework over conventional methods.


title: Mind the wealth gap: a new allocation method to match micro and macro statistics for household wealth

abstract: The financial and economic crisis recently experienced by many European countries has increased demand for timely, coherent and consistent distributional information for the household sector. In the Euro area, most of the NCBs collect such information through income and wealth surveys, which are often used to inform their decisions. These surveys, however, can often suffer from biases, usually caused by non-response and under-reporting behaviours, leading to a mismatch with macroeconomic aggregates. In this paper, we develop a novel allocation method which combines information from a power law (Pareto) model and imputation procedures so to address these issues simultaneously, when only limited external information is available. We provide two important contributions: first, we adjust the weights of observed survey households for non-response bias, then, we correct for measurement error. Finally, we produce distributional indicators for four Euro-Area countries.


title: Be Greedy in Multi-Armed Bandits

abstract: The Greedy algorithm is the simplest heuristic in sequential decision problem that carelessly takes the locally optimal choice at each round, disregarding any advantages of exploring and/or information gathering. Theoretically, it is known to sometimes have poor performances, for instance even a linear regret (with respect to the time horizon) in the standard multi-armed bandit problem. On the other hand, this heuristic performs reasonably well in practice and it even has sublinear, and even near-optimal, regret bounds in some very specific linear contextual and Bayesian bandit models. We build on a recent line of work and investigate bandit settings where the number of arms is relatively large and where simple greedy algorithms enjoy highly competitive performance, both in theory and in practice. We first provide a generic worst-case bound on the regret of the Greedy algorithm. When combined with some arms subsampling, we prove that it verifies near-optimal worst-case regret bounds in continuous, infinite and many-armed bandit problems. Moreover, for shorter time spans, the theoretical relative suboptimality of Greedy is even reduced. As a consequence, we subversively claim that for many interesting problems and associated horizons, the best compromise between theoretical guarantees, practical performances and computational burden is definitely to follow the greedy heuristic. We support our claim by many numerical experiments that show significant improvements compared to the state-of-the-art, even for moderately long time horizon.


title: Quantum Criticality Enabled by Intertwined Degrees of Freedom

abstract: Strange metals appear in a wide range of correlated materials. Electronic localization-delocalization and the expected loss of quasiparticles characterize beyond-Landau metallic quantum critical points and the associated strange metals. Typical settings involve local spins. Systems that contain entwined degrees of freedom offer new platforms to realize novel forms of quantum criticality. Here, we study the fate of an SU(4) spin-orbital Kondo state in a multipolar Bose-Fermi Kondo model, which provides an effective description of a multipolar Kondo lattice, using a renormalization-group method. We show that at zero temperature a generic trajectory in the model's parameter space contains two quantum critical points, which are associated with the destruction of Kondo entanglement in the orbital and spin channels respectively. Our asymptotically exact results reveal an overall phase diagram, provide the theoretical basis to understand puzzling recent experiments of a multipolar heavy fermion metal, and point to a means of designing new forms of quantum criticality and strange metallicity in a variety of strongly correlated systems.


title: Medium modified Fragmentation Functions with open source xFitter

abstract: A new analysis of the modification of the hadronization process in the nuclear medium for pions is presented. The effective description is condensed in a set of medium modified fragmentation functions (nFFs) obtained at next-to-leading order (NLO) accuracy. The study was made using the open-source tool xFitter, conveniently modified to incorporate semi-inclusive processes. Theoretical uncertainties for the nFFs are also provided.


title: On the maximum of cotangent sums related to the Riemann Hypothesis in rational numbers in short intervals

abstract: Cotangent sums play a significant role in the Nyman-Beurling criterion for the Riemann Hypothesis. Here we investigate the maximum of the values of these cotangent sums over various sets of rational numbers in short intervals.


title: A higher dimensional Hilbert irreducibility theorem

abstract: Assuming the weak Bombieri-Lang conjecture, we prove that a generalization of Hilbert's irreducibility theorem holds for families of geometrically mordellic varieties (for instance, families of hyperbolic curves). As an application we prove that, assuming Bombieri-Lang, there are no polynomial bijections $\mathbb{Q} \times \mathbb{Q} \to \mathbb{Q}$.


title: The failure of the Fisher Matrix when including tidal terms: Considering construction of template banks of tidally deformed binary neutron stars

abstract: Recent gravitational-wave observations have begun to constrain the internal physics of neutron stars. However, current detection searches for neutron star systems assume that potential neutron stars are low-mass black holes, ignoring any affect on the gravitational-wave signal due to the internal neutron-star physics. We wish to create a template bank of binary neutron star waveforms including the effect of tidal deformability. However, we find that the Fisher matrix, which is commonly used to approximate match calculations when placing template banks, is unsuitable to predict the match between two binary neutron star waveforms. We find that the Fisher matrix can predict errors on the mismatch that are larger than $100\%$ when attempting to identify waveforms with a match of $0.97$. We explore the regime in which the Fisher matrix cannot be trusted and examine why it breaks down. We demonstrate that including higher-order terms in the Taylor series expansion of the match can reliably compute matches for these examples, but that it is prohibitively computationally expensive to do so. Finally, we demonstrate that stochastic placement can still be used to construct a template bank of tidally deformed neutron-star waveforms.


title: Milnor $K$-theory of $p$-adic rings

abstract: We study the mod $p^r$ Milnor $K$-groups of $p$-adically complete and $p$-henselian rings, establishing in particular a Nesterenko-Suslin style description in terms of the Milnor range of syntomic cohomology. In the case of smooth schemes over complete discrete valuation rings we prove the mod $p^r$ Gersten conjecture for Milnor $K$-theory locally in the Nisnevich topology. In characteristic $p$ we show that the Bloch-Kato-Gabber theorem remains true for valuation rings, and for regular formal schemes in a pro sense.


title: Breaking Ties: Regression Discontinuity Design Meets Market Design

abstract: Many schools in large urban districts have more applicants than seats. Centralized school assignment algorithms ration seats at over-subscribed schools using randomly assigned lottery numbers, non-lottery tie-breakers like test scores, or both. The New York City public high school match illustrates the latter, using test scores and other criteria to rank applicants at ``screened'' schools, combined with lottery tie-breaking at unscreened ``lottery'' schools. We show how to identify causal effects of school attendance in such settings. Our approach generalizes regression discontinuity methods to allow for multiple treatments and multiple running variables, some of which are randomly assigned. The key to this generalization is a local propensity score that quantifies the school assignment probabilities induced by lottery and non-lottery tie-breakers. The local propensity score is applied in an empirical assessment of the predictive value of New York City's school report cards. Schools that receive a high grade indeed improve SAT math scores and increase graduation rates, though by much less than OLS estimates suggest. Selection bias in OLS estimates is egregious for screened schools.


title: Improved surrogate bi-parameter maximum principle

abstract: Logarithmic potentials and many other potentials satisfy maximum principle. The dyadic version of logarithmic potential can be easily introduced, it lives on dyadic tree and also satisfies maximum principle. But its analog on bi-tree does not have this property. We prove here that "on average" we can still have something like maximum principle on bi-tree. We use the surrogate maximum principle to prove embedding theorems of Carleson type on bi-disc.


title: A machine-learning framework for peridynamic material models with physical constraints

abstract: As a nonlocal extension of continuum mechanics, peridynamics has been widely and effectively applied in different fields where discontinuities in the field variables arise from an initially continuous body. An important component of the constitutive model in peridynamics is the influence function which weights the contribution of all the interactions over a nonlocal region surrounding a point of interest. Recent work has shown that in solid mechanics the influence function has a strong relationship with the heterogeneity of a material's micro-structure. However, determining an accurate influence function analytically from a given micro-structure typically requires lengthy derivations and complex mathematical models. To avoid these complexities, the goal of this paper is to develop a data-driven regression algorithm to find the optimal bond-based peridynamic model to describe the macro-scale deformation of linear elastic medium with periodic heterogeneity. We generate macro-scale deformation training data by averaging over periodic micro-structure unit cells and add a physical energy constraint representing the homogenized elastic modulus of the micro-structure to the regression algorithm. We demonstrate this scheme for examples of one- and two-dimensional linear elastodynamics and show that the energy constraint improves the accuracy of the resulting peridynamic model.


title: A data-driven convergence criterion for iterative unfolding of smeared spectra

abstract: A data-driven convergence criterion for the D'Agostini (Richardson-Lucy) iterative unfolding is presented. It relies on the unregularized spectrum (infinite number of iterations), and allows a safe estimation of the bias and undercoverage induced by truncating the algorithm. In addition, situations where the response matrix is not perfectly known are also discussed, and show that in most cases the unregularized spectrum is not an unbiased estimator of the true distribution. Whenever a bias is introduced, either by truncation of by poor knowledge of the response, a way to retrieve appropriate coverage properties is proposed.


title: Transformer for Image Quality Assessment

abstract: Transformer has become the new standard method in natural language processing (NLP), and it also attracts research interests in computer vision area. In this paper we investigate the application of Transformer in Image Quality (TRIQ) assessment. Following the original Transformer encoder employed in Vision Transformer (ViT), we propose an architecture of using a shallow Transformer encoder on the top of a feature map extracted by convolution neural networks (CNN). Adaptive positional embedding is employed in the Transformer encoder to handle images with arbitrary resolutions. Different settings of Transformer architectures have been investigated on publicly available image quality databases. We have found that the proposed TRIQ architecture achieves outstanding performance. The implementation of TRIQ is published on Github (https://github.com/junyongyou/triq).