title: Accelerating Training of Deep Neural Networks with a Standardization Loss

abstract: A significant advance in accelerating neural network training has been the development of normalization methods, permitting the training of deep models both faster and with better accuracy. These advances come with practical challenges: for instance, batch normalization ties the prediction of individual examples with other examples within a batch, resulting in a network that is heavily dependent on batch size. Layer normalization and group normalization are data-dependent and thus must be continually used, even at test-time. To address the issues that arise from using explicit normalization techniques, we propose to replace existing normalization methods with a simple, secondary objective loss that we term a standardization loss. This formulation is flexible and robust across different batch sizes and surprisingly, this secondary objective accelerates learning on the primary training objective. Because it is a training loss, it is simply removed at test-time, and no further effort is needed to maintain normalized activations. We find that a standardization loss accelerates training on both small- and large-scale image classification experiments, works with a variety of architectures, and is largely robust to training across different batch sizes.


title: Geometric control of bacterial surface accumulation

abstract: Controlling and suppressing bacterial accumulation at solid surfaces is essential for preventing biofilm formation and biofouling. Whereas various chemical surface treatments are known to reduce cell accumulation and attachment, the role of complex surface geometries remains less well understood. Here, we report experiments and simulations that explore the effects of locally varying boundary curvature on the scattering and accumulation dynamics of swimming Escherichia coli bacteria in quasi-two-dimensional microfluidic channels. Our experimental and numerical results show that a concave periodic boundary geometry can decrease the average cell concentration at the boundary by more than 50% relative to a flat surface.


title: Topological Information-Theoretic Belief Space Planning with Optimality Guarantees

abstract: Determining a globally optimal solution of belief space planning (BSP) in high-dimensional state spaces is computationally expensive, as it involves belief propagation and objective function evaluation for each candidate action. Our recently introduced topological belief space planning t-bsp instead performs decision making considering only topologies of factor graphs that correspond to posterior future beliefs. In this paper we contribute to this body of work a novel method for efficiently determining error bounds of t-bsp, thereby providing global optimality guarantees or uncertainty margin of its solution. The bounds are given with respect to an optimal solution of information theoretic BSP considering the previously introduced topological metric which is based on the number of spanning trees. In realistic and synthetic simulations, we analyze tightness of these bounds and show empirically how this metric is closely related to another computationally more efficient t-bsp metric, an approximation of the von Neumann entropy of a graph, which can achieve online performance.


title: Heavy Tailed Horseshoe Priors

abstract: Locally adaptive shrinkage in the Bayesian framework is achieved through the use of local-global prior distributions that model both the global level of sparsity as well as individual shrinkage parameters for mean structure parameters. The most popular of these models is the Horseshoe prior and its variants due to their spike and slab behavior involving an asymptote at the origin and heavy tails. In this article, we present an alternative Horseshoe prior that exhibits both a sharper asymptote at the origin as well as heavier tails, which we call the Heavy-tailed Horseshoe prior. We prove that mixing on the shape parameters provides improved spike and slab behavior as well as better reconstruction properties than other Horseshoe variants. A simulation study is provided to show the advantage of the heavy-tailed Horseshoe in terms of absolute error to both the truth mean structure as well as the oracle.


title: Locally small spaces with an application

abstract: We develop the theory of locally small spaces in a new simple language and apply this simplification to re-build the theory of locally definable spaces over structures with topologies.


title: Preinflationary Perturbations in The Thermal Background

abstract: The solution to large-scale power deficit in the cosmic microwave background fluctuations may be relevant with the physics in the preinflationry period, and significantly depends on whether the initial conditions are set as Bunch-Davies vacuum or thermal ground state. We show the primordial cosmological perturbations based on the preinflationary model with three phases at different thermal initial conditions. The influences of different thermal initial states are studied by the detailed discussions of the adjusting role of model parameters on the power spectrum. Finally, this paper gives the solution to large-scale power deficit in the cosmic microwave background fluctuations.


title: Multi-surface catadioptric freeform lens design for ultra-efficient off-axis road illumination

abstract: We propose a novel design methodology to tackle the multi-surface catadioptric freeform lens design for off-axis road illumination applications based on an ideal source. The lens configuration contains an analytic refractive entrance surface, an analytic total internal reflective (TIR) surface and two freeform exit surfaces. A curl-free energy equipartition is established between the source and target plane and divided to implement the composite ray mapping mechanism. Furthermore, the analytic TIR surface and refractive entrance surface are optimized for the minimal Fresnel losses and surface error based on genetic algorithm (GA). The results show a significant improvement on illuminance uniformity and ultra-high transfer efficiency compared to our proposed result in [Zhu et al., Opt. Exp. 26, A54-A65 (2018)].


title: Dynamic Inspection Planning for Systems with Individually Repairable Components

abstract: In this paper a multi-component system is studied where each component can be repaired within the system. We consider that each component is subject to two dependent competing failure processes due to degradation and random shocks and each shock increases the total degradation of each component. For systems with individual repairable components, each failed component can be replaced at any inspection time and other components continue functioning, so the age of each component at any inspection time is different from other components. Different initial ages have an effect on the optimal time that the whole system should be inspected, therefore the optimal inspection time should be calculated dynamically considering the age of each component at the beginning of the interval. In this paper, the system reliability and cost rate function is calculated for a system with individually repairable components considering random age for each component. Two numerical examples demonstrate the proposed reliability and maintenance model.


title: Detecting dementia in Mandarin Chinese using transfer learning from a parallel corpus

abstract: Machine learning has shown promise for automatic detection of Alzheimer's disease (AD) through speech; however, efforts are hampered by a scarcity of data, especially in languages other than English. We propose a method to learn a correspondence between independently engineered lexicosyntactic features in two languages, using a large parallel corpus of out-of-domain movie dialogue data. We apply it to dementia detection in Mandarin Chinese, and demonstrate that our method outperforms both unilingual and machine translation-based baselines. This appears to be the first study that transfers feature domains in detecting cognitive decline.


title: The Role of Artificial Intelligence (AI) in Adaptive eLearning System (AES) Content Formation: Risks and Opportunities involved

abstract: Artificial Intelligence (AI) plays varying roles in supporting both existing and emerging technologies. In the area of Learning and Tutoring, it plays key role in Intelligent Tutoring Systems (ITS). The fusion of ITS with Adaptive Hypermedia and Multimedia (AHAM) form the backbone of Adaptive eLearning Systems (AES) which provides personalized experiences to learners. This experience is important because it facilitates the accurate delivery of the learning modules in specific to the learner capacity and readiness. AES types vary, with Adaptive Web Based eLearning Systems (AWBES) being the popular type because of wider access offered by the web technology.The retrieval and aggregation of contents for any eLearning system is critical whichis determined by the relevance of learning material to the needs of the learner.In this paper, we discuss components of AES, role of AI in AES content aggregation, possible risks and available opportunities.


title: Solving Power System Differential Algebraic Equations Using Differential Transformation

abstract: This paper proposes a novel non-iterative method to solve power system differential algebraic equations (DAEs) using the differential transformation, a mathematical tool that can obtain power series coefficients by transformation rules instead of calculating high order derivatives and has proved to be effective in solving state variables of nonlinear differential equations in our previous study. This paper further solves non-state variables, e.g. current injections and bus voltages, directly with a realistic DAE model of power grids. These non-state variables, nonlinearly coupled in network equations, are conventionally solved by numerical methods with time-consuming iterations, but their differential transformations are proved to satisfy formally linear equations in this paper. Thus, a non-iterative algorithm is designed to analytically solve all variables of a power system DAE model with ZIP loads. From test results on a Polish 2383-bus system, the proposed method demonstrates fast and reliable time performance compared to traditional numerical methods.


title: Ordered structures and large conjugacy classes

abstract: This article is a contribution to the following problem: does there exist a Polish non-archimedean group (equivalently: automorphism group of a Fraisse limit) that is extremely amenable, and has ample generics. As Fraisse limits whose automorphism groups are extremely amenable must be ordered, i.e., equipped with a linear ordering, we focus on ordered Fraisse limits. We prove that automorphism groups of the universal ordered boron tree, and the universal ordered poset have a comeager conjugacy class but no comeager $2$-dimensional diagonal conjugacy class. We also provide general conditions implying that there is no comeager conjugacy class, comeager $2$-dimensional diagonal conjugacy class or non-meager $2$-dimensional topological similarity class in the automorphism group of an ordered Fraisse limit. We provide a number of applications of these results.


title: Pricing foreign exchange options under stochastic volatility and interest rates using an RBF--FD method

abstract: This paper proposes a numerical method for pricing foreign exchange (FX) options in a model which deals with stochastic interest rates and stochastic volatility of the FX rate. The model considers four stochastic drivers, each represented by an It\^{o}'s diffusion with time--dependent drift, and with a full matrix of correlations. It is known that prices of FX options in this model can be found by solving an associated backward partial differential equation (PDE). However, it contains non--affine terms, which makes its difficult to solve it analytically. Also, a standard approach of solving it numerically by using traditional finite--difference (FD) or finite elements (FE) methods suffers from the high computational burden. Therefore, in this paper a flavor of a localized radial basis functions (RBFs) method, RBF--FD, is developed which allows for a good accuracy at a relatively low computational cost. Results of numerical simulations are presented which demonstrate efficiency of such an approach in terms of both performance and accuracy for pricing FX options and computation of the associated Greeks.


title: Optimal quadratic element on rectangular grids for $H^1$ problems

abstract: In this paper, a piecewise quadratic finite element method on rectangular grids for the $H^1$ problems is presented. The proposed method can be viewed as a reduced rectangular Morley element. For the source problem, the convergence rate of this scheme is $O(h^2)$ in the energy norm on uniform grids. Besides, a lower bound of the $L^2$-norm error is also proved, which makes the capacity analysis of this scheme more clear. On the other hand, for the eigenvalue problem, the numerical eigenvalues by this element are shown to be the lower bounds of the exact ones. Some numerical results are presented, which show the potential of the proposed finite element.


title: Bernoulli Race Particle Filters

abstract: When the weights in a particle filter are not available analytically, standard resampling methods cannot be employed. To circumvent this problem state-of-the-art algorithms replace the true weights with non-negative unbiased estimates. This algorithm is still valid but at the cost of higher variance of the resulting filtering estimates in comparison to a particle filter using the true weights. We propose here a novel algorithm that allows for resampling according to the true intractable weights when only an unbiased estimator of the weights is available. We demonstrate our algorithm on several examples.


title: Fast crystallization of rotating membrane proteins

abstract: We examine the interactions between actively rotating proteins moving in a membrane. Experimental evidence suggests that such rotor proteins, like the ATP synthases of the inner mitochondrial membrane, can arrange themselves into lattices. We show that crystallization is possible through a combination of hydrodynamic and repulsive interactions between the rotor proteins. In particular, hydrodynamic interactions induce rotational motion of the rotor protein assembly that, in the presence of repulsion, drives the system into a hexagonal lattice. The entire crystal rotates with an angular velocity which increases with motor density and decreases with lattice diameter - larger and sparser arrays rotate at a slower pace. The rotational interactions allow ensembles of proteins to sample configurations and reach an ordered steady state, which are inaccessible to the quenched nonrotational system. Rotational interactions thus act as a sort of temperature that removes disorder, except that actual thermal diffusion leads to expansion and loss of order. In contrast, the rotational interactions are bounded in space. Hence, once an ordered state is reached, it is maintained at all times.


title: Search for a heavy pseudoscalar boson decaying to a Z and a Higgs boson at $\sqrt{s} =$ 13 TeV

abstract: A search is presented for a heavy pseudoscalar boson A decaying to a Z boson and a Higgs boson with mass of 125 GeV. In the final state considered, the Higgs boson decays to a bottom quark and antiquark, and the Z boson decays either into a pair of electrons, muons, or neutrinos. The analysis is performed using a data sample corresponding to an integrated luminosity of 35.9 fb$^{-1}$ collected in 2016 by the CMS experiment at the LHC from proton-proton collisions at a center-of-mass energy of 13 TeV. The data are found to be consistent with the background expectations. Exclusion limits are set in the context of two-Higgs-doublet models in the A boson mass range between 225 and 1000 GeV.


title: R\'eduction en famille d'espaces affino\"ides

abstract: Let $k$ be a non-archimedean complete field. We prove a substitute for the reduced fiber theorem (of Bosch, L\"utkebohmert and Raynaud) that holds for every morphism $Y\to X$ flat and with geometrically reduced fibers between $k$-affinoid spaces in the sense of Berkovich, without assuming that $X$ and $Y$ are strict, nor that the relative dimension of $Y$ over $X$ is constant. We do not use the original reduced fiber theorem, nor the language or the techniques of formal geometry. Our statement is formulated in terms of Temkin's graded reduction; our proof rests on a finiteness result of Grauert and Remmert and on Temkin's theory of (graded) reduction of germs of analytic spaces. It will be used for describing the variation of the connected components of the fiber of a quasi-smooth map in a forthcoming work on flattening in the Berkovich setting.


title: Structural Supervision Improves Learning of Non-Local Grammatical Dependencies

abstract: State-of-the-art LSTM language models trained on large corpora learn sequential contingencies in impressive detail and have been shown to acquire a number of non-local grammatical dependencies with some success. Here we investigate whether supervision with hierarchical structure enhances learning of a range of grammatical dependencies, a question that has previously been addressed only for subject-verb agreement. Using controlled experimental methods from psycholinguistics, we compare the performance of word-based LSTM models versus two models that represent hierarchical structure and deploy it in left-to-right processing: Recurrent Neural Network Grammars (RNNGs) (Dyer et al., 2016) and a incrementalized version of the Parsing-as-Language-Modeling configuration from Chariak et al., (2016). Models are tested on a diverse range of configurations for two classes of non-local grammatical dependencies in English---Negative Polarity licensing and Filler--Gap Dependencies. Using the same training data across models, we find that structurally-supervised models outperform the LSTM, with the RNNG demonstrating best results on both types of grammatical dependencies and even learning many of the Island Constraints on the filler--gap dependency. Structural supervision thus provides data efficiency advantages over purely string-based training of neural language models in acquiring human-like generalizations about non-local grammatical dependencies.


title: Automorphic equivalence preserves the split property

abstract: We prove that the split property is a stable feature for spin chain states which are related by composition with *-automorphisms generated by power-law decaying interactions. We apply this to the theory of the $\mathbb{Z}_2$-index for gapped ground states of symmetry protected topological phases to show that the $\mathbb{Z}_2$-index is an invariant of gapped classification of phases containing fast-decaying interactions.


title: Energy Efficiency Analysis of Collaborative Compressive Sensing Scheme in Cognitive Radio Networks

abstract: In this paper, we investigate the energy efficiency of conventional collaborative compressive sensing (CCCS) scheme, focusing on balancing the tradeoff between energy efficiency and detection accuracy in cognitive radio environment. In particular, we derive the achievable throughput, energy consumption and energy efficiency of the CCCS scheme, and formulate an optimization problem to determine the optimal values of parameters which maximize the energy efficiency of the CCCS scheme. The maximization of energy efficiency is proposed as a multi-variable, non-convex optimization problem, and we provide approximations to reduce it to a convex optimization problem. We highlight that errors due to these approximations are negligible. Later, we analytically characterize the tradeoff between dimensionality reduction and collaborative sensing performance of the CCCS scheme -- the implicit tradeoff between energy saving and detection accuracy, and show that the loss due to compression can be recovered through collaboration which improves the overall energy efficiency.


title: Origins Space Telescope: predictions for far-IR spectroscopic surveys

abstract: We illustrate the extraordinary potential of the (far-IR) Origins Survey Spectrometer (OSS) on board the Origins Space Telescope (OST) to address a variety of open issues on the co-evolution of galaxies and AGNs. We present predictions for blind surveys, each of 1000 h, with different mapped areas (a shallow survey covering an area of 10 deg$^{2}$ and a deep survey of 1 deg$^{2}$) and two different concepts of the OST/OSS: with a 5.9 m telescope (Concept 2, our reference configuration) and with a 9.1 m telescope (Concept 1, previous configuration). In 1000 h, surveys with the reference concept will detect from $\sim 1.9 \times 10^{6}$ to $\sim 8.7 \times 10^{6}$ lines from $\sim 4.8 \times 10^{5}$-$2.7 \times 10^{6}$ star-forming galaxies and from $\sim 1.4 \times 10^{4}$ to $\sim 3.8 \times 10^{4}$ lines from $\sim 1.3 \times 10^{4}$-$3.5 \times 10^{4}$ AGNs. The shallow survey will detect substantially more sources than the deep one; the advantage of the latter in pushing detections to lower luminosities/higher redshifts turns out to be quite limited. The OST/OSS will reach, in the same observing time, line fluxes more than one order of magnitude fainter than the SPICA/SMI and will cover a much broader redshift range. In particular it will detect tens of thousands of galaxies at $z \geq 5$, beyond the reach of that instrument. The polycyclic aromatic hydrocarbons lines are potentially bright enough to allow the detection of hundreds of thousands of star-forming galaxies up to $z \sim 8.5$, i.e. all the way through the re-ionization epoch. The proposed surveys will allow us to explore the galaxy-AGN co-evolution up to $z\sim 5.5-6$ with very good statistics. OST Concept 1 does not offer significant advantages for the scientific goals presented here.


title: Modelling the Incomplete Intermodal Terminal Location Problem

abstract: In this paper, we introduce and study the incomplete version of the intermodal terminal location problem. It's a generalization of the classical version by relaxing the assumption that the induced graph by located terminals is complete. We propose a mixed integer program to model the problem and we provide several extensions. All models are tested through validation in CPLEX solver. Numerical results are reported using well-known data set from the literature.


title: State-Continuity Approximation of Markov Decision Processes via Finite Element Methods for Autonomous System Planning

abstract: Motion planning under uncertainty for an autonomous system can be formulated as a Markov Decision Process with a continuous state space. In this paper, we propose a novel solution to this decision-theoretic planning problem that directly obtains the continuous value function with only the first and second moments of the transition probabilities, alleviating the requirement for an explicit transition model in the literature. We achieve this by expressing the value function as a linear combination of basis functions and approximating the Bellman equation by a partial differential equation, where the value function can be naturally constructed using a finite element method. We have validated our approach via extensive simulations, and the evaluations reveal that to baseline methods, our solution leads to in terms of path smoothness, travel distance, and time costs.


title: Optimal perturbations of gravitationally unstable, transient, boundary layers in porous media

abstract: We study gravitationally unstable, transient, diffusive boundary layers in porous media using modal and nonmodal stability methods. Using nonmodal stability theory, we demonstrate that both the onset of linear instabilities and the shape of optimal perturbations are highly sensitive to perturbation amplification measures and also the time at which the boundary layer is perturbed. This behavior is in contrast to traditional studies of steady or non-transient diffusive boundary layers where perturbation dynamics are independent of perturbation measure or time. We demonstrate that any analysis of transient layers produced through classical methods can result in physically unrealizable perturbation structures. To resolve the issue, we propose a nonmodal stability procedure which additionally constrains the perturbation dynamics to physically admissible fields. The proposed procedure predicts that instabilities grow primarily due to unstable perturbations featuring much larger spanwise wavenumbers (modes) and smaller amplifications compared to perturbations predicted using classical methods. We validate our predictions using direct numerical simulations that emulate the onset of convection in physical systems.


title: Bounding Inefficiency of Equilibria in Continuous Actions Games using Submodularity and Curvature

abstract: Games with continuous strategy sets arise in several machine learning problems (e.g. adversarial learning). For such games, simple no-regret learning algorithms exist in several cases and ensure convergence to coarse correlated equilibria (CCE). The efficiency of such equilibria with respect to a social function, however, is not well understood. In this paper, we define the class of valid utility games with continuous strategies and provide efficiency bounds for their CCEs. Our bounds rely on the social function being a monotone DR-submodular function. We further refine our bounds based on the curvature of the social function. Furthermore, we extend our efficiency bounds to a class of non-submodular functions that satisfy approximate submodularity properties. Finally, we show that valid utility games with continuous strategies can be designed to maximize monotone DR-submodular functions subject to disjoint constraints with approximation guarantees. The approximation guarantees we derive are based on the efficiency of the equilibria of such games and can improve the existing ones in the literature. We illustrate and validate our results on a budget allocation game and a sensor coverage problem.


title: Practical Prediction of Human Movements Across Device Types and Spatiotemporal Granularities

abstract: Understanding and predicting mobility are essential for the design and evaluation of future mobile edge caching and networking. Consequently, research on prediction of human mobility has drawn significant attention in the last decade. Employing information-theoretic concepts and machine learning methods, earlier research has shown evidence that human behavior can be highly predictable. Despite existing studies, more investigations are needed to capture intrinsic mobility characteristics constraining predictability, and to explore more dimensions (e.g. device types) and spatio-temporal granularities, especially with the change in human behavior and technology. We analyze extensive longitudinal datasets with fine spatial granularity (AP level) covering 16 months. The study reveals device type as an important factor affecting predictability. Ultra-portable devices such as smartphones have "on-the-go" mode of usage (and hence dubbed "Flutes"), whereas laptops are "sit-to-use" (dubbed "Cellos"). The goal of this study is to investigate practical prediction mechanisms to quantify predictability as an aspect of human mobility modeling, across time, space and device types. We apply our systematic analysis to wireless traces from a large university campus. We compare several algorithms using varying degrees of temporal and spatial granularity for the two modes of devices; Flutes vs. Cellos. Through our analysis, we quantify how the mobility of Flutes is less predictable than the mobility of Cellos. In addition, this pattern is consistent across various spatio-temporal granularities, and for different methods (Markov chains, neural networks/deep learning, entropy-based estimators). This work substantiates the importance of predictability as an essential aspect of human mobility, with direct application in predictive caching, user behavior modeling and mobility simulations.


title: Piketty's second fundamental law of capitalism as an emergent property in a kinetic wealth-exchange model of economic growth

abstract: We propose in this work a kinetic wealth-exchange model of economic growth by introducing saving as a non consumed fraction of production. In this new model, which starts also from microeconomic arguments, it is found that economic transactions between pairs of agents leads the system to a macroscopic behavior where total wealth is not conserved and it is possible to have an economic growth which is assumed as the increasing of total production in time. This last macroeconomic result, that we find both numerically through a Monte Carlo based simulation method and analytically in the framework of a mean field approximation, corresponds to the economic growth scenario described by the well known Solow model developed in the economic neoclassical theory. If additionally to the income related with production due to return on individual capital, it is also included the individual labor income in the model, then the Thomas Piketty's second fundamental law of capitalism is found as a emergent property of the system. We consider that the results obtained in this paper shows how Econophysics can help to understand the connection between macroeconomics and microeconomics.


title: A rigorous lower bound on the scattering amplitude at large angle

abstract: We prove a lower bound for the modulus of the amplitude for a two-body process at large scattering angle. This is based on the interplay of the analyticity of the amplitude and the positivity properties of its absorptive part. The assumptions are minimal, namely those of local quantum field theory (in the case when dispersion relations hold). In Appendix A, lower bounds for the forward particle-particle and particle-antiparticle amplitudes are obtained. This is of independent interest.


title: Conditional Density Estimation with Neural Networks: Best Practices and Benchmarks

abstract: Given a set of empirical observations, conditional density estimation aims to capture the statistical relationship between a conditional variable $\mathbf{x}$ and a dependent variable $\mathbf{y}$ by modeling their conditional probability $p(\mathbf{y}|\mathbf{x})$. The paper develops best practices for conditional density estimation for finance applications with neural networks, grounded on mathematical insights and empirical evaluations. In particular, we introduce a noise regularization and data normalization scheme, alleviating problems with over-fitting, initialization and hyper-parameter sensitivity of such estimators. We compare our proposed methodology with popular semi- and non-parametric density estimators, underpin its effectiveness in various benchmarks on simulated and Euro Stoxx 50 data and show its superior performance. Our methodology allows to obtain high-quality estimators for statistical expectations of higher moments, quantiles and non-linear return transformations, with very little assumptions about the return dynamic.


title: Artificial Counselor System for Stock Investment

abstract: This paper proposes a novel trading system which plays the role of an artificial counselor for stock investment. In this paper, the stock future prices (technical features) are predicted using Support Vector Regression. Thereafter, the predicted prices are used to recommend which portions of the budget an investor should invest in different existing stocks to have an optimum expected profit considering their level of risk tolerance. Two different methods are used for suggesting best portions, which are Markowitz portfolio theory and fuzzy investment counselor. The first approach is an optimization-based method which considers merely technical features, while the second approach is based on Fuzzy Logic taking into account both technical and fundamental features of the stock market. The experimental results on New York Stock Exchange (NYSE) show the effectiveness of the proposed system.


title: Einstein Metrics, Harmonic Forms, and Conformally Kaehler Geometry

abstract: The author has elsewhere given a complete classification of those compact oriented Einstein 4-manifolds on which the self-dual Weyl curvature is everywhere positive in the direction of some self-dual harmonic 2-form. In this article, similar results are obtained when the self-dual Weyl curvature is everywhere non-negative in the direction of a self-dual harmonic 2-form that is transverse to the zero section of the bundle of self-dual 2-forms. However, this transversality condition plays an essential role in the story; dropping it leads one into wildly different territory where entirely different phenomena predominate.


title: Lithium Niobate Piezo-optomechanical Crystals

abstract: Demonstrating a device that efficiently connects light, motion, and microwaves is an outstanding challenge in classical and quantum photonics. We make significant progress in this direction by demonstrating a photonic crystal resonator on thin-film lithium niobate (LN) that simultaneously supports high-$Q$ optical and mechanical modes, and where the mechanical modes are coupled piezoelectrically to microwaves. For optomechanical coupling, we leverage the photoelastic effect in LN by optimizing the device parameters to realize coupling rates $g_0/2\pi\approx 120~\textrm{kHz}$. An optomechanical cooperativity $C>1$ is achieved leading to phonon lasing. Electrodes on the nanoresonator piezoelectrically drive mechanical waves on the beam that are then read out optically allowing direct observation of the phononic bandgap. Quantum coupling efficiency of $\eta\approx10^{-8}$ from the input microwave port to the localized mechanical resonance is measured. Improvements of the microwave circuit and electrode geometry can increase this efficiency and bring integrated ultra-low-power modulators and quantum microwave-to-optical converters closer to reality.


title: End-to-End Game-Focused Learning of Adversary Behavior in Security Games

abstract: Stackelberg security games are a critical tool for maximizing the utility of limited defense resources to protect important targets from an intelligent adversary. Motivated by green security, where the defender may only observe an adversary's response to defense on a limited set of targets, we study the problem of learning a defense that generalizes well to a new set of targets with novel feature values and combinations. Traditionally, this problem has been addressed via a two-stage approach where an adversary model is trained to maximize predictive accuracy without considering the defender's optimization problem. We develop an end-to-end game-focused approach, where the adversary model is trained to maximize a surrogate for the defender's expected utility. We show both in theory and experimental results that our game-focused approach achieves higher defender expected utility than the two-stage alternative when there is limited data.


title: DESK: A Robotic Activity Dataset for Dexterous Surgical Skills Transfer to Medical Robots

abstract: Datasets are an essential component for training effective machine learning models. In particular, surgical robotic datasets have been key to many advances in semi-autonomous surgeries, skill assessment, and training. Simulated surgical environments can enhance the data collection process by making it faster, simpler and cheaper than real systems. In addition, combining data from multiple robotic domains can provide rich and diverse training data for transfer learning algorithms. In this paper, we present the DESK (Dexterous Surgical Skill) dataset. It comprises a set of surgical robotic skills collected during a surgical training task using three robotic platforms: the Taurus II robot, Taurus II simulated robot, and the YuMi robot. This dataset was used to test the idea of transferring knowledge across different domains (e.g. from Taurus to YuMi robot) for a surgical gesture classification task with seven gestures. We explored three different scenarios: 1) No transfer, 2) Transfer from simulated Taurus to real Taurus and 3) Transfer from Simulated Taurus to the YuMi robot. We conducted extensive experiments with three supervised learning models and provided baselines in each of these scenarios. Results show that using simulation data during training enhances the performance on the real robot where limited real data is available. In particular, we obtained an accuracy of 55% on the real Taurus data using a model that is trained only on the simulator data. Furthermore, we achieved an accuracy improvement of 34% when 3% of the real data is added into the training process.


title: Supercritical Regime for the Kissing Polynomials

abstract: We study a family of polynomials which are orthogonal with respect to the varying, highly oscillatory complex weight function $e^{ni\lambda z}$ on $[-1,1]$, where $\lambda$ is a positive parameter. This family of polynomials has appeared in the literature recently in connection with complex quadrature rules, and their asymptotics have been previously studied when $\lambda$ is smaller than a certain critical value, $\lambda_c$. Our main goal is to compute their asymptotics when $\lambda>\lambda_c$. We first provide a geometric description, based on the theory of quadratic differentials, of the curves in the complex plane which will eventually support the asymptotic zero distribution of these polynomials. Next, using the powerful Riemann-Hilbert formulation of the orthogonal polynomials due to Fokas, Its, and Kitaev, along with its method of asymptotic solution via Deift-Zhou nonlinear steepest descent, we provide uniform asymptotics of the polynomials throughout the complex plane. Although much of this asymptotic analysis follows along the lines of previous works in the literature, the main obstacle appears in the construction of the so-called global parametrix. This construction is carried out in an explicit way with the help of certain integrals of elliptic type. In stark contrast to the situation one typically encounters in the presence of real orthogonality, an interesting byproduct of this construction is that there is a discrete set of values of $\lambda$ for which one cannot solve the model Riemann-Hilbert problem, and as such the corresponding polynomials fail to exist.


title: Empirical priors for prediction in sparse high-dimensional linear regression

abstract: In this paper we adopt the familiar sparse, high-dimensional linear regression model and focus on the important but often overlooked task of prediction. In particular, we consider a new empirical Bayes framework that incorporates data in the prior in two ways: one is to center the prior for the non-zero regression coefficients and the other is to provide some additional regularization. We show that, in certain settings, the asymptotic concentration of the proposed empirical Bayes posterior predictive distribution is very fast, and we establish a Bernstein--von Mises theorem which ensures that the derived empirical Bayes prediction intervals achieve the targeted frequentist coverage probability. The empirical prior has a convenient conjugate form, so posterior computations are relatively simple and fast. Finally, our numerical results demonstrate the proposed method's strong finite-sample performance in terms of prediction accuracy, uncertainty quantification, and computation time compared to existing Bayesian methods.


title: The Global Star-Formation Law by Supernova Feedback

abstract: We address a simple model where the Kennicutt-Schmidt (KS) relation between the macroscopic densities of star-formation rate (SFR, $\rho_{\rm sfr}$) and gas ($n$) in galactic discs emerges from self-regulation of the SFR via supernova feedback. It arises from the physics of supernova bubbles, insensitive to the microscopic SFR recipe and not explicitly dependent on gravity. The key is that the filling factor of SFR-suppressed supernova bubbles self-regulates to a constant, $f\sim 0.5$. Expressing the bubble fading radius and time in terms of $n$, the filling factor is $f \propto S\,n^{-s}$ with $s\sim 1.5$, where $S$ is the supernova rate density. A constant $f$ thus refers to $\rho_{\rm sfr} \propto n^{1.5}$, with a density-independent SFR efficiency per free-fall time $\sim 0.01$. The self-regulation to $f \sim 0.5$ and the convergence to a KS relation independent of the local SFR recipe are demonstrated in cosmological and isolated-galaxy simulations using different codes and recipes. In parallel, the spherical analysis of bubble evolution is generalized to clustered supernovae, analytically and via simulations, yielding $s \simeq 1.5 \pm 0.5$. An analysis of photo-ionized bubbles about pre-supernova stars yields a range of KS slopes but the KS relation is dominated by the supernova bubbles. Superbubble blowouts may lead to an alternative self-regulation by outflows and recycling. While the model is over-simplified, its simplicity and validity in the simulations may argue that it captures the origin of the KS relation.


title: Matching Thermal to Visible Face Images Using a Semantic-Guided Generative Adversarial Network

abstract: Designing face recognition systems that are capable of matching face images obtained in the thermal spectrum with those obtained in the visible spectrum is a challenging problem. In this work, we propose the use of semantic-guided generative adversarial network (SG-GAN) to automatically synthesize visible face images from their thermal counterparts. Specifically, semantic labels, extracted by a face parsing network, are used to compute a semantic loss function to regularize the adversarial network during training. These semantic cues denote high-level facial component information associated with each pixel. Further, an identity extraction network is leveraged to generate multi-scale features to compute an identity loss function. To achieve photo-realistic results, a perceptual loss function is introduced during network training to ensure that the synthesized visible face is perceptually similar to the target visible face image. We extensively evaluate the benefits of individual loss functions, and combine them effectively to learn the mapping from thermal to visible face images. Experiments involving two multispectral face datasets show that the proposed method achieves promising results in both face synthesis and cross-spectral face matching.


title: The politics of physicists social models

abstract: I give an overview of the topic of this special issue, the applications of (statistical) physics to social sciences at large. I discuss several examples of simple social models put forward by physicists and discuss their interest. I argue that while they may be conceptually useful to correct our intuitive models of social mechanisms, their relevance for real social systems is moot. What is more, since physicists have always needed to tame the world inside laboratories to make their models relevant, I suggest that social modeling might be linked to human taming, a smashing political project.


title: Sampling of surfaces and functions in high dimensional spaces

abstract: We introduce a sampling theoretic framework for the recovery of smooth surfaces and functions living on smooth surfaces from few samples. The proposed approach can be thought of as a nonlinear generalization of union of subspace models widely used in signal processing. This scheme relies on an exponential lifting of the original data points to feature space, where the features live on union of subspaces. The low-rank property of the features are used to recover the surfaces as well as to determine the number of measurements needed to recover the surface. The low-rank property of the features also provides an efficient approach which resembles a neural network for the local representation of multidimensional functions on the surface; the significantly reduced number of parameters make the computational structure attractive for learning inference from limited labeled training data.


title: Moment theories for a d-dimensional dilute granular gas of Maxwell molecules

abstract: Various systems of moment equations---consisting of up to (d+3)(d^2+6d+2)/6 moments---in a general dimension d for a dilute granular gas composed of Maxwell molecules are derived from the inelastic Boltzmann equation by employing the Grad moment method. The Navier--Stokes-level constitutive relations for the stress and heat flux appearing in the system of mass, momentum and energy balance equations are determined from the derived moment equations. It has been shown that the moment equations only for the hydrodynamic field variables (density, velocity and granular temperature), stress and heat flux---along with the time-independent value of the fourth cumulant---are sufficient for determining the Navier--Stokes-level constitutive relations in the case of inelastic Maxwell molecules, and that the other higher-order moment equations do not play any role in this case. The homogeneous cooling state of a freely cooling granular gas is investigated with the system of the Grad (d+3)(d^2+6d+2)/6-moment equations and its various subsystems. By performing a linear stability analysis in the vicinity of the homogeneous cooling state, the critical system size for the onset of instability is estimated through the considered Grad moment systems. The results on critical system size from the presented moment theories are found to be in reasonably good agreement with those from simulations.


title: Group-Fairness in Influence Maximization

abstract: Influence maximization is a widely used model for information dissemination in social networks. Recent work has employed such interventions across a wide range of social problems, spanning public health, substance abuse, and international development (to name a few examples). A critical but understudied question is whether the benefits of such interventions are fairly distributed across different groups in the population; e.g., avoiding discrimination with respect to sensitive attributes such as race or gender. Drawing on legal and game-theoretic concepts, we introduce formal definitions of fairness in influence maximization. We provide an algorithmic framework to find solutions which satisfy fairness constraints, and in the process improve the state of the art for general multi-objective submodular maximization problems. Experimental results on real data from an HIV prevention intervention for homeless youth show that standard influence maximization techniques oftentimes neglect smaller groups which contribute less to overall utility, resulting in a disparity which our proposed algorithms substantially reduce.


title: Dynamics of poles of elliptic solutions to the BKP equation

abstract: We derive equations of motion for poles of elliptic solutions to the B-version of the Kadomtsev-Petviashvili equation (BKP). The basic tool is the auxiliary linear problem for the Baker-Akhiezer function. We also discuss integrals of motion for the pole dynamics which follow from the equation of the spectral curve.


title: Microwave-based Arbitrary CPHASE Gates for Transmon Qubits

abstract: Superconducting transmon qubits are of great interest for quantum computing and quantum simulation. A key component of quantum chemistry simulation algorithms is breaking up the evolution into small steps, which naturally leads to the need for non-maximally entangling, arbitrary CPHASE gates. Here we design such microwave-based gates using an analytically solvable approach leading to smooth, simple pulses. We use the local invariants of the evolution operator in $SU(4)$ to develop a method of constructing pulse protocols, which allows for the continuous tuning of the phase. We find CPHASE fidelities of more than $0.999$ and gate times as low as $100\text{ ns}$.


title: Manifolds with infinite dimensional group of holomorphic automorphisms and the Linearization Problem

abstract: We overview a number of precise notions for a holomorphic automorphism group to be big together with their implications, in particular we give an exposition of the notions of flexibility and of density property. These studies have their origin in the famous result of Anders\'en and Lempert from 1992 proving that the overshears generate a dense subgroup in the holomorphic automorphism group of $\C^n, n\ge 2$. There are many applications to natural geometric questions in complex geometry, several of which we mention here. Also the Linearization Problem, well known since the 1950 s and considered by many authors, has had a strong influence on those studies. It asks whether a compact subgroup in the holomorphic automorphism group of $\C^n$ is necessarily conjugate to a group of linear automorphisms. Despite many positive results, the answer in this generality is negative as shown by Derksen and the author. We describe various developments around that problem.


title: AQuRate: MRAM-based Stochastic Oscillator for Adaptive Quantization Rate Sampling of Sparse Signals

abstract: Recently, the promising aspects of compressive sensing have inspired new circuit-level approaches for their efficient realization within the literature. However, most of these recent advances involving novel sampling techniques have been proposed without considering hardware and signal constraints. Additionally, traditional hardware designs for generating non-uniform sampling clock incur large area overhead and power dissipation. Herein, we propose a novel non-uniform clock generator called Adaptive Quantization Rate (AQR) generator using Magnetic Random Access Memory (MRAM)-based stochastic oscillator devices. Our proposed AQR generator provides ~25-fold reduction in area, on average, while offering ~6-fold reduced power dissipation, on average, compared to the state-of-the-art non-uniform clock generators.


title: Holographic CFT states for localized perturbations to AdS black holes

abstract: In this note, we describe a holographic CFT construction of states dual to scalar perturbations of the maximally extended three-dimensional AdS-Schwarzschild black hole. The states are constructed by adding sources for a scalar operator to the path integral that constructs the thermofield double state. For a scalar field of arbitrary mass, we provide the general map between sources and scalar field perturbations at linear order. With this, we investigate to what extent it is possible using this construction to produce perturbations localized to one side of the black hole horizon. Our results suggest that it is possible to produce arbitrarily localized perturbations (and thus, plausibly, general linear perturbations to the black hole initial data slice), but that the amplitude of the perturbation must be taken small as the perturbation becomes more localized in order that the sources do not diverge, as found for the pure AdS case considered in arXiv:1709.10101.


title: Singularities of Rees-like Algebras

abstract: Recently, Peeva and the second author constructed irreducible projective varieties with regularity much larger than their degree, yielding counterexamples to the Eisenbud-Goto Conjecture. Their construction involved two new ideas: Rees-like algebras and step-by-step homogenization. Yet, all of these varieties are singular and the nature of the geometry of these projective varieties was left open. The purpose of this paper is to study the singularities inherent in this process. We compute the codimension of the singular locus of an arbitrary Rees-like algebra over a polynomial ring. We then show that the relative size of the singular locus can increase under step-by-step homogenization. To address this defect, we construct a new process, we call prime standardization, which plays a similar role as step-by-step homogenization but also preserves the codimension of the singular locus. This is derived from ideas of Ananyan and Hochster and we use this to study the regularity of certain smooth hyperplane sections of Rees-like algebras, showing that they all satisfy the Eisenbud-Goto Conjecture, as expected. On a more qualitative note, while Rees-like algebras are almost never Cohen-Macaulay and never normal, we characterize when they are seminormal, weakly normal, and, in positive characteristic, F-split. Finally, we construct a finite free resolution of the canonical module of a Rees-like Algebra over the presenting polynomial ring showing that it is always Cohen-Macaulay and has a surprising self-dual structure.


title: Anytime Online-to-Batch Conversions, Optimism, and Acceleration

abstract: A standard way to obtain convergence guarantees in stochastic convex optimization is to run an online learning algorithm and then output the average of its iterates: the actual iterates of the online learning algorithm do not come with individual guarantees. We close this gap by introducing a black-box modification to any online learning algorithm whose iterates converge to the optimum in stochastic scenarios. We then consider the case of smooth losses, and show that combining our approach with optimistic online learning algorithms immediately yields a fast convergence rate of $O(L/T^{3/2}+\sigma/\sqrt{T})$ on $L$-smooth problems with $\sigma^2$ variance in the gradients. Finally, we provide a reduction that converts any adaptive online algorithm into one that obtains the optimal accelerated rate of $\tilde O(L/T^2 + \sigma/\sqrt{T})$, while still maintaining $\tilde O(1/\sqrt{T})$ convergence in the non-smooth setting. Importantly, our algorithms adapt to $L$ and $\sigma$ automatically: they do not need to know either to obtain these rates.


title: A priori error estimates of fully discrete finite element Galerkin method for Kelvin-Voigt viscoelastic fluid flow model

abstract: In this article, a finite element Galerkin method is applied to the Kelvin-Voigt viscoelastic fluid model, when its forcing function is in $L^{\infty}(\bL^2)$. Some new {\it a priori} bounds for the velocity as well as for the pressure are derived which are independent of inverse powers of the retardation time $\kappa$. Optimal error estimates for the velocity in $L^{\infty} (\bL^2)$ as well as in $L^{\infty}(\bH^1_0)$-norms and for the pressure in $L^{\infty}(L^2)$-norm of the semidiscrete method are discussed which hold uniformly with respect to $\kappa$ as $\kappa\rightarrow 0$ with the initial condition only in $\bH^2\cap\bH_0^1$. Further, under uniqueness condition, these estimates are shown to be uniformly in time as $t \mapsto \infty$. For the complete discretization of the semidiscrete system, a first-order accurate backward Euler method is applied and fully discrete optimal error estimates are established. Finally, numerical experiments are conducted to verify the theoretical results. The results derived in this article are sharper than those derived earlier for finite element analysis of the Kelvin-Voigt fluid model in the sense that the error estimates in this article hold true uniformly even as $\kappa\rightarrow 0$.


title: Improving Constraints on Fundamental Physics Parameters with the Clustering of Sunyaev-Zeldovich Selected Galaxy Clusters

abstract: Upcoming millimeter experiments that probe the cosmic microwave background (CMB) will observe tens of thousands of galaxy clusters through the thermal Sunyaev-Zeldovich (tSZ) effect. tSZ selected clusters are powerful probes of cosmological models, as they trace the late-time growth of structure. Late-time structure growth is highly sensitive to extensions to the standard cosmological model ($\Lambda$CDM), such as the sum of the neutrino masses, the dark energy equation of state, and modifications to general relativity. The nominal statistic used for cluster observations is their abundances as a function of redshift. We investigate what additional cosmological information is gained after including the clustering signal of clusters, the cluster power spectrum. We forecast the cluster power spectra for the upcoming Simons Observatory and a CMB Stage-4-like experiment and find that the cluster power spectrum reduces marginalized constraints on the dark energy equation of state by $3$--$12\%$ and the growth index by $5$--$8\%$, for example. We present the constraints using a generalized figure of merit and find improvements ranging from $12$--$18\%$ for extensions, $12$--$19\%$ for the astrophysical nuisance parameters, and $14$--$25\%$ for $\Lambda$CDM parameters. We also find that if the bias of clusters as a tracer of the matter density can be measured to within $3\%$ or better, these improvements can be increased by up to a factor of $6$. We discuss the possibility of utilizing the clustering signal to address specific systematic uncertainties present in cluster abundance measurements.


title: A robust implementation for solving the $S$-unit equation and several applications

abstract: Let $K$ be a number field, and $S$ a finite set of places in $K$ containing all infinite places. We present an implementation for solving the $S$-unit equation $x + y = 1$, $x,y \in\mathscr{O}_{K,S}^\times$ in the computer algebra package SageMath. This paper outlines the mathematical basis for the implementation. We discuss and reference the results of extensive computations, including exponent bounds for solutions in many fields of small degree for small sets $S$. As an application, we prove an asymptotic version of Fermat's Last Theorem for totally real cubic number fields with bounded discriminant where 2 is totally ramified. In addition, we use the implementation to find all solutions to some cubic Ramanujan-Nagell equations.


title: Clockless Spin-based Look-Up Tables with Wide Read Margin

abstract: In this paper, we develop a 6-input fracturable non-volatile Clockless LUT (C-LUT) using spin Hall effect (SHE)-based Magnetic Tunnel Junctions (MTJs) and provide a detailed comparison between the SHE-MTJ-based C-LUT and Spin Transfer Torque (STT)-MTJ-based C-LUT. The proposed C-LUT offers an attractive alternative for implementing combinational logic as well as sequential logic versus previous spin-based LUT designs in the literature. Foremost, C-LUT eliminates the sense amplifier typically employed by using a differential polarity dual MTJ design, as opposed to a static reference resistance MTJ. This realizes a much wider read margin and the Monte Carlo simulation of the proposed fracturable C-LUT indicates no read and write errors in the presence of a variety of process variations scenarios involving MOS transistors as well as MTJs. Additionally, simulation results indicate that the proposed C-LUT reduces the standby power dissipation by 5.4-fold compared to the SRAM-based LUT. Furthermore, the proposed SHE-MTJ-based C-LUT reduces the area by 1.3-fold and 2-fold compared to the SRAM-based LUT and the STT-MTJ-based C-LUT, respectively.


title: Analysis of a Generalized Expectation-Maximization Algorithm for Gaussian Mixture Models: A Control Systems Perspective

abstract: The Expectation-Maximization (EM) algorithm is one of the most popular methods used to solve the problem of parametric distribution-based clustering in unsupervised learning. In this paper, we propose to analyze a generalized EM (GEM) algorithm in the context of Gaussian mixture models, where the maximization step in the EM is replaced by an increasing step. We show that this GEM algorithm can be understood as a linear time-invariant (LTI) system with a feedback nonlinearity. Therefore, we explore some of its convergence properties by leveraging tools from robust control theory. Lastly, we explain how the proposed GEM can be designed, and present a pedagogical example to understand the advantages of the proposed approach.


title: RKKY Interactions in Graphene Landau Levels

abstract: We study RKKY interactions for magnetic impurities on graphene in situations where the electronic spectrum is in the form of Landau levels. Two such situations are considered: non-uniformly strained graphene, and graphene in a real magnetic field. RKKY interactions are enhanced by the lowest Landau level, which is shown to form electron states binding with the spin impurities and add a strong non-perturbative contribution to pairwise impurity spin interactions when their separation $R$ no more than the magnetic length. Beyond this interactions are found to fall off as $1/R^3$ due to perturbative effects of the negative energy Landau levels. Based on these results, we develop simple mean-field theories for both systems, taking into account the fact that typically the density of states in the lowest Landau level is much smaller than the density of spin impurities. For the strain field case, we find that the system is formally ferrimagnetic, but with very small net moment due to the relatively low density of impurities binding electrons. The transition temperature is nevertheless enhanced by them. For real fields, the system forms a canted antiferromagnet if the field is not so strong as to pin the impurity spins along the field. The possibility that the system in this latter case supports a Kosterlitz-Thouless transition is discussed.


title: A Separation Principle for Discrete-Time Fractional-Order Dynamical Systems and its Implications to Closed-loop Neurotechnology

abstract: Closed-loop neurotechnology requires the capability to predict the state evolution and its regulation under (possibly) partial measurements. There is evidence that neurophysiological dynamics can be modeled by fractional-order dynamical systems. Therefore, we propose to establish a separation principle for discrete-time fractional-order dynamical systems, which are inherently nonlinear and are able to capture spatiotemporal relations that exhibit non-Markovian properties. The separation principle states that the problems of controller and state estimator design can be done independently of each other while ensuring proper estimation and control in closed-loop setups. Lastly, we illustrate, as proof-of-concept, the application of the separation principle when designing controllers and estimators for these classes of systems in the context of neurophysiological data. In particular, we rely on real data to derive the models used to assess and regulate the evolution of closed-loop neurotechnologies based on electroencephalographic data.


title: Oxide: The Essence of Rust

abstract: Rust claims to advance industrial programming by bridging the gap between low-level systems programming and high-level application programming. At the heart of the argument that this enables programmers to build more reliable and efficient software is the borrow checker - a novel approach to ownership that aims to balance type system expressivity with usability. And yet, to date there is no core type system that captures Rust's notion of ownership and borrowing, and hence no foundation for research on Rust to build upon. In this work, we set out to capture the essence of this model of ownership by developing a type systems account of Rust's borrow checker. We present Oxide, a formalized programming language close to source-level Rust (but with fully-annotated types). This presentation takes a new view of lifetimes as an approximation of the provenances of references, and our type system is able to automatically compute this information through a substructural typing judgment. We provide the first syntactic proof of type safety for borrow checking using progress and preservation. Oxide is a simpler formulation of borrow checking - including recent features such as non-lexical lifetimes - that we hope researchers will be able to use as the basis for work on Rust.


title: Multi-Higgs-Doublet Models and Singular Alignment

abstract: We consider a 4-Higgs-doublet model in which each Higgs doublet gives mass to one of the fermion sets $\{ m_t\}$, $\{ m_b,m_\tau,m_c \}$, $\{ m_\mu,m_s \}$, and $\{ m_d,m_u,m_e \}$. The sets have the feature that within each of them the masses are similar. Our model explains the mass hierarchies of the sets by hierarchies of the vacuum expectation values of the Higgs doublets associated to them. All Yukawa couplings are therefore of order one. Neutrino masses are generated by a type-I seesaw mechanism with PeV-scale singlet neutrinos. To avoid the appearance of tree-level flavor changing neutral currents, we assume that all Yukawa matrices are singularly aligned in flavor space. We mean by this that the Yukawa matrices are given as linear combinations of the rank $1$ matrices that appear in the singular value decomposition of the mass matrix. In general, singular alignment allows to avoid flavor changing neutral currents in models with multiple Higgs doublets.


title: Tight Robot Packing in the Real World: A Complete Manipulation Pipeline with Robust Primitives

abstract: Many order fulfillment applications in logistics, such as packing, involve picking objects from unstructured piles before tightly arranging them in bins or shipping containers. Desirable robotic solutions in this space need to be low-cost, robust, easily deployable and simple to control. The current work proposes a complete pipeline for solving packing tasks for cuboid objects, given access only to RGB-D data and a single robot arm with a vacuum-based end-effector, which is also used as a pushing or dragging finger. The pipeline integrates perception for detecting the objects and planning so as to properly pick and place objects. The key challenges correspond to sensing noise and failures in execution, which appear at multiple steps of the process. To achieve robustness, three uncertainty-reducing manipulation primitives are proposed, which take advantage of the end-effector's and the workspace's compliance, to successfully and tightly pack multiple cuboid objects. The overall solution is demonstrated to be robust to execution and perception errors. The impact of each manipulation primitive is evaluated in extensive real-world experiments by considering different versions of the pipeline. Furthermore, an open-source simulation framework is provided for modeling such packing operations. Ablation studies are performed within this simulation environment to evaluate features of the proposed primitives.


title: Classification via local manifold approximation

abstract: Classifiers label data as belonging to one of a set of groups based on input features. It is challenging to obtain accurate classification performance when the feature distributions in the different classes are complex, with nonlinear, overlapping and intersecting supports. This is particularly true when training data are limited. To address this problem, this article proposes a new type of classifier based on obtaining a local approximation to the support of the data within each class in a neighborhood of the feature to be classified, and assigning the feature to the class having the closest support. This general algorithm is referred to as LOcal Manifold Approximation (LOMA) classification. As a simple and theoretically supported special case having excellent performance in a broad variety of examples, we use spheres for local approximation, obtaining a SPherical Approximation (SPA) classifier. We illustrate substantial gains for SPA over competitors on a variety of challenging simulated and real data examples.


title: Sixfold enhancement of superconductivity in a tunable electronic nematic system

abstract: The electronic nematic phase, wherein electronic degrees of freedom lower the crystal rotational symmetry, is a common motif across a number of high-temperature superconductors. However, understanding the role and influence of nematicity and nematic fluctuations in Cooper pairing is often complicated by the coexistence of other orders, particularly long-range magnetic order. Here we report the enhancement of superconductivity in a model electronic nematic system absent of magnetism, and show that the enhancement is directly born out of strong nematic fluctuations emanating from a tuned quantum phase transition. We use elastoresistance measurements of the Ba$_{1-x}$Sr$_{x}$Ni$_2$As$_2$ substitution series to show that strontium substitution promotes an electronically driven $B_{1g}$ nematic order in this system, and that the complete suppression of that order to absolute zero temperature evokes a dramatic enhancement of the pairing strength, as evidenced by a sixfold increase in the superconducting transition temperature. The direct relation between enhanced pairing and nematic fluctuations in this model system, as well as the interplay with a unidirectional charge density wave order comparable to that found in the cuprates, offers a means to elucidate the role of nematicity in boosting superconductivity.


title: X-Section: Cross-Section Prediction for Enhanced RGBD Fusion

abstract: Detailed 3D reconstruction is an important challenge with application to robotics, augmented and virtual reality, which has seen impressive progress throughout the past years. Advancements were driven by the availability of depth cameras (RGB-D), as well as increased compute power, e.g.\ in the form of GPUs -- but also thanks to inclusion of machine learning in the process. Here, we propose X-Section, an RGB-D 3D reconstruction approach that leverages deep learning to make object-level predictions about thicknesses that can be readily integrated into a volumetric multi-view fusion process, where we propose an extension to the popular KinectFusion approach. In essence, our method allows to complete shape in general indoor scenes behind what is sensed by the RGB-D camera, which may be crucial e.g.\ for robotic manipulation tasks or efficient scene exploration. Predicting object thicknesses rather than volumes allows us to work with comparably high spatial resolution without exploding memory and training data requirements on the employed Convolutional Neural Networks. In a series of qualitative and quantitative evaluations, we demonstrate how we accurately predict object thickness and reconstruct general 3D scenes containing multiple objects.


title: Optimal Control of Thermostatic Loads for Planning Aggregate Consumption: Characterization of Solution and Explicit Strategies

abstract: We consider the problem of planning the aggregate energy consumption for a set of thermostatically controlled loads for demand response, accounting price forecast trajectory and thermal comfort constraints. We address this as a continuous-time optimal control problem, and analytically characterize the structure of its solution in the general case. In the special case when the price forecast is monotone and the loads have equal dynamics, we show that it is possible to determine the solution in an explicit form. Taking this fact into account, we handle the non-monotone price case by considering several subproblems, each corresponding to a time subinterval where the price function is monotone, and then allocating to each subinterval a fraction of the total energy budget. This way, for each time subinterval, the problem reduces to a simple convex optimization problem with a scalar decision variable, for which a descent direction is also known. The price forecasts for the day-ahead energy market typically have no more than four monotone segments, so the resulting optimization problem can be solved efficiently with modest computational resources.


title: Hot electrons modulation of third harmonic generation in graphene

abstract: Hot electrons dominate the ultrafast ($\sim$fs-ps) optical and electronic properties of metals and semiconductors and they are exploited in a variety of applications including photovoltaics and photodetection. We perform power-dependent third harmonic generation measurements on gated single-layer graphene and detect a significant deviation from the cubic power-law expected for a third harmonic generation process. We assign this to the presence of hot electrons. Our results indicate that the performance of nonlinear photonics devices based on graphene, such as optical modulators and frequency converters, can be affected by changes in the electronic temperature, which might occur due to increase of absorbed optical power or Joule heating.


title: Examining the Kerr Metric through Wave Fronts of Null Geodesics

abstract: We examine the singularities of the wave fronts of null geodesics from point sources in the Kerr Metric. We find that the wave fronts develop a tube like structure that collapses non-symmetrically, leading to cusp features in the wave front singularities. As the wave front advances, the cusps trace out an astroidal shaped caustic tube, which had been discovered previously using lens mapping and geodesic deviation methods. Thus, the wave front approach in this study helps to complete a picture of caustics and gravitational lensing in the Kerr geometry.


title: Slow coarsening in jammed athermal soft particle suspensions

abstract: We simulate a densely jammed, athermal assembly of repulsive soft particles immersed in a solvent. Starting from an initial condition corresponding to a quench from a high temperature, we find non-trivial slow dynamics driven by a gradual release of stored elastic energy, with the root mean squared particle speed decaying as a power law in time with a fractional exponent. This decay is accompanied by the presence within the assembly of spatially localised and temporally intermittent `hot-spots' of non-affine deformation, connected by long-ranged swirls in the velocity field, reminiscent of the local plastic events and long-ranged elastic propagation that have been intensively studied in sheared amorphous materials. The pattern of hot-spots progressively coarsens, with the hot-spot size and separation slowly growing over time, and the associated velocity correlation length increasing as a sublinear power law. Each individual spot however exists only transiently, within an overall picture of strongly intermittent dynamics.


title: Sub-Band-Gap Absorption Mechanisms Involving Oxygen Vacancies in Hydroxyapatite

abstract: Hydroxyapatite (HAp) is a widely used biomaterial for the preparation of bone and dental implants. Despite the relevance of HAp in medicine, exciting applications involving this material as a bio-compatible photocatalyst, depend on how well we understand its fundamental properties. Experimental evidence suggests that oxygen vacancies play a critical role in the production of surface radicals upon exposure of HAp to ultra-violet (UV) light. However, very little is known about the underlying physical and chemical details. We present a hybrid density-functional study of the structural and electronic properties of oxygen vacancies in large HAp supercells within the plane-wave formalism. We find that under equilibrium conditions, vacancies occur either as a simple vacant oxygen site (in the neutral charge state), or as extended structures replacing several crystalline moieties (in the double plus charge state). Large atomic relaxations upon ionization make the oxygen vacancy a negative-$U$ defect, where the single plus charge state is metastable, being only accessible under UV excitation. From inspection of the transition levels, we find that electron promotion from the valence band top to the donor state of the vacancy, involves a zero-phonon transition of 3.6-3.9 eV. This mechanism is the most likely explanation to the 3.4-4.0 eV absorption onset for the observation of photocatalysis using HAp under persistent UV illumination.


title: Magnetotactic bacteria in a droplet self-assemble into a rotary motor

abstract: From intracellular protein trafficking to large scale motion of animal groups, the physical concepts driving the self-organization of living systems are still largely unraveled. Selforganization of active entities, leading to novel phases and emergent macroscopic properties, recently shed new lights on these complex dynamical processes. Here we show that, under the application of a constant magnetic field, motile magnetotactic bacteria confined in water-in-oil droplets self-assemble into a rotary motor exerting a torque on the external oil phase. A collective motion in the form of a large-scale vortex, reversable by inverting the field direction, builds-up in the droplet with a vorticity perpendicular to the magnetic field. We study this collective organization at different concentrations, magnetic fields and droplets radii and reveal the formation of two torque-generating areas close to the droplet interface. We characterize quantitatively the mechanical energy extractable from this new biological and self-assembled motor.


title: dRRT*: Scalable and Informed Asymptotically-Optimal Multi-Robot Motion Planning

abstract: Many exciting robotic applications require multiple robots with many degrees of freedom, such as manipulators, to coordinate their motion in a shared workspace. Discovering high-quality paths in such scenarios can be achieved, in principle, by exploring the composite space of all robots. Sampling-based planners do so by building a roadmap or a tree data structure in the corresponding configuration space and can achieve asymptotic optimality. The hardness of motion planning, however, renders the explicit construction of such structures in the composite space of multiple robots impractical. This work proposes a scalable solution for such coupled multi-robot problems, which provides desirable path-quality guarantees and is also computationally efficient. In particular, the proposed \drrtstar\ is an informed, asymptotically-optimal extension of a prior sampling-based multi-robot motion planner, \drrt. The prior approach introduced the idea of building roadmaps for each robot and implicitly searching the tensor product of these structures in the composite space. This work identifies the conditions for convergence to optimal paths in multi-robot problems, which the prior method was not achieving. Building on this analysis, \drrt\ is first properly adapted so as to achieve the theoretical guarantees and then further extended so as to make use of effective heuristics when searching the composite space of all robots. The case where the various robots share some degrees of freedom is also studied. Evaluation in simulation indicates that the new algorithm, \drrtstar\, converges to high-quality paths quickly and scales to a higher number of robots where various alternatives fail. This work also demonstrates the planner's capability to solve problems involving multiple real-world robotic arms.


title: Deterministic Sparse Fourier Transform with an ell_infty Guarantee

abstract: In this paper we revisit the deterministic version of the Sparse Fourier Transform problem, which asks to read only a few entries of $x \in \mathbb{C}^n$ and design a recovery algorithm such that the output of the algorithm approximates $\hat x$, the Discrete Fourier Transform (DFT) of $x$. The randomized case has been well-understood, while the main work in the deterministic case is that of Merhi et al.\@ (J Fourier Anal Appl 2018), which obtains $O(k^2 \log^{-1}k \cdot \log^{5.5}n)$ samples and a similar runtime with the $\ell_2/\ell_1$ guarantee. We focus on the stronger $\ell_{\infty}/\ell_1$ guarantee and the closely related problem of incoherent matrices. We list our contributions as follows. 1. We find a deterministic collection of $O(k^2 \log n)$ samples for the $\ell_\infty/\ell_1$ recovery in time $O(nk \log^2 n)$, and a deterministic collection of $O(k^2 \log^2 n)$ samples for the $\ell_\infty/\ell_1$ sparse recovery in time $O(k^2 \log^3n)$. 2. We give new deterministic constructions of incoherent matrices that are row-sampled submatrices of the DFT matrix, via a derandomization of Bernstein's inequality and bounds on exponential sums considered in analytic number theory. Our first construction matches a previous randomized construction of Nelson, Nguyen and Woodruff (RANDOM'12), where there was no constraint on the form of the incoherent matrix. Our algorithms are nearly sample-optimal, since a lower bound of $\Omega(k^2 + k \log n)$ is known, even for the case where the sensing matrix can be arbitrarily designed. A similar lower bound of $\Omega(k^2 \log n/ \log k)$ is known for incoherent matrices.


title: Stochastic Electrodynamics: The Closest Classical Approximation to Quantum Theory

abstract: Stochastic electrodynamics is the classical electrodynamic theory of interacting point charges which includes random classical radiation with a Lorentz-invariant spectrum whose scale is set by Planck's constant. Here we give a cursory overview of the basic ideas of stochastic electrodynamics, of the successes of the theory, and of its connections to quantum theory.


title: Gaussian fluctuations for the directed polymer partition function for $d\geq 3$ and in the whole $L^2$-region

abstract: We consider the discrete directed polymer model with i.i.d. environment and we study the fluctuations of the tail $n^{(d-2)/4}(W_\infty - W_n)$ of the normalized partition function. It was proven by Comets and Liu, that for sufficiently high temperature, the fluctuations converge in distribution towards the product of the limiting partition function and an independent Gaussian random variable. We extend the result to the whole $L^2$-region, which is predicted to be the maximal high-temperature region where the Gaussian fluctuations should occur under the considered scaling. To do so, we manage to avoid the heavy 4th-moment computation and instead rely on the local limit theorem for polymers and homogenization.


title: Spike-Phase Coupling As an Order Parameter in a Leaky Integrate-and-Fire Model

abstract: While criticality is widely observed in neural networks, its underlying neural mechanism is not known well. We consider a network of $N$ excitatory leaky integrated and fire (LIF) neurons that reside on a regular lattice with periodic boundary conditions. The cooperation between neurons, $K$, plays the role of the control parameter that is expected to generate criticality when the critical cooperation strength, $K_c$, is adopted. We show that the coupling between spike timing and the phase of temporal fluctuations of a cooperative activity of the network, i.e. population-averaged voltage (PAV), resorts to identifying an order parameter. By increasing $K$, we find a continuous transition from irregular spiking to a phase-locked state at the critical point, $K_c$. Moreover, we deploy the finite-size scaling analysis to obtain the critical exponents of this transition. We also show that the neuronal avalanches created at this critical point, display a remarkable scaling behavior with the exponents in a fair agreement with the experimental values.


title: RT-Gang: Real-Time Gang Scheduling Framework for Safety-Critical Systems

abstract: In this paper, we present RT-Gang: a novel real-time gang scheduling framework that enforces a one-gang-at-a-time policy. We find that, in a multicore platform, co-scheduling multiple parallel real-time tasks would require highly pessimistic worst-case execution time (WCET) and schedulability analysis - even when there are enough cores - due to contention in shared hardware resources such as cache and DRAM controller. In RT-Gang, all threads of a parallel real-time task form a real-time gang and the scheduler globally enforces the one-gang-at-a-time scheduling policy to guarantee tight and accurate task WCET. To minimize under-utilization, we integrate a state-of-the-art memory bandwidth throttling framework to allow safe execution of best-effort tasks. Specifically, any idle cores, if exist, are used to schedule best-effort tasks but their maximum memory bandwidth usages are strictly throttled to tightly bound interference to real-time gang tasks. We implement RT-Gang in the Linux kernel and evaluate it on two representative embedded multicore platforms using both synthetic and real-world DNN workloads. The results show that RT-Gang dramatically improves system predictability and the overhead is negligible.


title: Self-Supervised Learning of Face Representations for Video Face Clustering

abstract: Analyzing the story behind TV series and movies often requires understanding who the characters are and what they are doing. With improving deep face models, this may seem like a solved problem. However, as face detectors get better, clustering/identification needs to be revisited to address increasing diversity in facial appearance. In this paper, we address video face clustering using unsupervised methods. Our emphasis is on distilling the essential information, identity, from the representations obtained using deep pre-trained face networks. We propose a self-supervised Siamese network that can be trained without the need for video/track based supervision, and thus can also be applied to image collections. We evaluate our proposed method on three video face clustering datasets. The experiments show that our methods outperform current state-of-the-art methods on all datasets. Video face clustering is lacking a common benchmark as current works are often evaluated with different metrics and/or different sets of face tracks.


title: Improving Computational Efficiency of Communication for Omniscience and Successive Omniscience

abstract: For a group of users in $V$ where everyone observes a component of a discrete multiple random source, the process that users exchange data so as to reach omniscience, the state where everyone recovers the entire source, is called communication for omniscience (CO). We first consider how to improve the existing complexity $O(|V|^2 \cdot \text{SFM}(|V|)$ of minimizing the sum of communication rates in CO, where $\text{SFM}(|V|)$ denotes the complexity of minimizing a submodular function. We reveal some structured property in an existing coordinate saturation algorithm: the resulting rate vector and the corresponding partition of $V$ are segmented in $\alpha$, the estimation of the minimum sum-rate. A parametric (PAR) algorithm is then proposed where, instead of a particular $\alpha$, we search the critical points that fully determine the segmented variables for all $\alpha$ so that they converge to the solution to the minimum sum-rate problem and the overall complexity reduces to $O(|V| \cdot \text{SFM}(|V|))$. For the successive omniscience (SO), we consider how to attain local omniscience in some complimentary user subset so that the overall sum-rate for the global omniscience still remains minimum. While the existing algorithm only determines a complimentary user subset in $O(|V| \cdot \text{SFM}(|V|))$ time, we show that, if a lower bound on the minimum sum-rate is applied to the segmented variables in the PAR algorithm, not only a complimentary subset, but also an optimal rate vector for attaining the local omniscience in it are returned in $O(|V| \cdot \text{SFM}(|V|))$ time.


title: A note on the Tur\'an number of a Berge odd cycle

abstract: In this note we obtain upper bounds on the number of hyperedges in 3-uniform hypergraphs not containing a Berge cycle of given odd length. We improve the bound given by F\"uredi and \"Ozkahya in 2017. The result follows from a more general theorem. We also obtain some new results for Berge cliques.


title: Hacking Google reCAPTCHA v3 using Reinforcement Learning

abstract: We present a Reinforcement Learning (RL) methodology to bypass Google reCAPTCHA v3. We formulate the problem as a grid world where the agent learns how to move the mouse and click on the reCAPTCHA button to receive a high score. We study the performance of the agent when we vary the cell size of the grid world and show that the performance drops when the agent takes big steps toward the goal. Finally, we used a divide and conquer strategy to defeat the reCAPTCHA system for any grid resolution. Our proposed method achieves a success rate of 97.4% on a 100x100 grid and 96.7% on a 1000x1000 screen resolution.


title: Budgeted Reinforcement Learning in Continuous State Space

abstract: A Budgeted Markov Decision Process (BMDP) is an extension of a Markov Decision Process to critical applications requiring safety constraints. It relies on a notion of risk implemented in the shape of a cost signal constrained to lie below an - adjustable - threshold. So far, BMDPs could only be solved in the case of finite state spaces with known dynamics. This work extends the state-of-the-art to continuous spaces environments and unknown dynamics. We show that the solution to a BMDP is a fixed point of a novel Budgeted Bellman Optimality operator. This observation allows us to introduce natural extensions of Deep Reinforcement Learning algorithms to address large-scale BMDPs. We validate our approach on two simulated applications: spoken dialogue and autonomous driving.


title: Convergence of solutions in a mean-field model of go-or-grow type with reservation of sites for proliferation and cell cycle delay

abstract: We consider the mean-field approximation of an individual-based model describing cell motility and proliferation, which incorporates the volume exclusion principle, the go-or-grow hypothesis and an explicit cell cycle delay. To utilise the framework of on-lattice agent-based models, we make the assumption that cells enter mitosis only if they can secure an additional site for the daughter cell, in which case they occupy two lattice sites until the completion of mitosis. The mean-field model is expressed by a system of delay differential equations and includes variables such as the number of motile cells, proliferating cells, reserved sites and empty sites. We prove the convergence of biologically feasible solutions: eventually all available space will be filled by mobile cells, after an initial phase when the proliferating cell population is increasing then diminishing. By comparing the behaviour of the mean-field model for different parameter values and initial cell distributions, we illustrate that the total cell population may follow a logistic-type growth curve, or may grow in a step-function-like fashion.


title: Pushing the Boundaries of Asymptotic Optimality in Integrated Task and Motion Planning

abstract: Integrated task and motion planning problems describe a multi-modal state space, which is often abstracted as a set of smooth manifolds that are connected via sets of transitions states. One approach to solving such problems is to sample reachable states in each of the manifolds, while simultaneously sampling transition states. Prior work has shown that in order to achieve asymptotically optimal (AO) solutions for such piecewise-smooth task planning problems, it is sufficient to double the connection radius required for AO sampling-based motion planning. This was shown under the assumption that the transition sets themselves are smooth. The current work builds upon this result and demonstrates that it is sufficient to use the same connection radius as for standard AO motion planning. Furthermore, the current work studies the case that the transition sets are non-smooth boundary points of the valid state space, which is frequently the case in practice, such as when a gripper grasps an object. This paper generalizes the notion of clearance that is typically assumed in motion and task planning to include such individual, potentially non-smooth transition states. It is shown that asymptotic optimality is retained under this generalized regime.


title: Regularized SCAN functional

abstract: We propose modifications to the functional form of the SCAN density functional to eliminate numerical instabilities. This is necessary to allow reliable, automatic generation of pseudopotentials (including PAW potentials). The regularized SCAN is designed to match the original form very closely, and we show that its performance remains comparable.


title: Super regularity for Beltrami systems

abstract: We prove a surprising higher regularity for solutions to the nonlinear elliptic autonomous Beltrami equation in a planar domain $\Omega$, \[ f_\zbar = {\cal A}(f_z) \hskip15pt a.e.\;\; z\in \Omega, \] when ${\cal A}$ is linear at $\infty$. Namely $W^{1,1}_{loc}(\Omega)$ solutions are $W^{2,2+\epsilon}_{loc}(\Omega)$. Here $\epsilon>0$ depends explicitly on the ellipticity bounds of ${\cal A}$. The condition ``is linear at $\infty$'' is necessary - the result is false for the equation $f_\zbar = k|f_z|$, for any $0<k<1$, ($k=0$ is Weyl's lemma). We discuss the subsequent higher regularity implications for fully non-linear Beltrami systems.


title: Crossover from compact to branched films in electrodeposition with surface diffusion

abstract: We study a model for thin film electrodeposition in which instability development by preferential adsorption and reduction of cations at surface peaks competes with surface relaxation by diffusion of the adsorbates. The model considers cations moving in a supported electrolyte, adsorption and reduction when they reach the film surface, and consequent production of mobile particles that execute activated surface diffusion, which is represented by a sequence of random hops to neighboring lattice sites with a maximum of G hop attempts (G>>1), a detachment probability epsilon<1 per neighboring particle, and a no-desorption condition. Computer simulations show the formation of a compact wetting layer followed by the growth of branched deposits. The maximal thickness z_c of that layer increases with G, but is weakly affected by epsilon. A scaling approach describes the crossover from smooth film growth to unstable growth and predicts z_c ~ G^gamma, with gamma = 1/[2(1-nu)] = 0.43, where nu=0.30 is the inverse of the dynamical exponent of the Villain-Lai-Das Sarma equation that describes the initial roughening. Using previous results for related deposition models, the thickness z_c can be predicted as a function of an activation energy for terrace surface diffusion and the temperature, and the small effects of the parameter epsilon are justified. These predictions are confirmed by the numerical results with good accuracy. We discuss possible applications, with a particular focus on the growth of multifuncional structures with stacking layers of different porosity.


title: Pollicott-Ruelle resonant states and Betti numbers

abstract: Given a closed orientable hyperbolic manifold of dimension $\neq 3$ we prove that the multiplicity of the Pollicott-Ruelle resonance of the geodesic flow on perpendicular one-forms at zero agrees with the first Betti number of the manifold. Additionally, we prove that this equality is stable under small perturbations of the Riemannian metric and simultaneous small perturbations of the geodesic vector field within the class of contact vector fields. For more general perturbations we get bounds on the multiplicity of the resonance zero on all one-forms in terms of the first and zeroth Betti numbers. Furthermore, we identify for hyperbolic manifolds further resonance spaces whose multiplicities are given by higher Betti numbers.


title: Two series of polyhedral fundamental domains for Lorentz bi-quotients

abstract: The main aim of this paper is to give two infinite series of examples of Lorentz space forms that can be obtained from Lorentz polyhedra by identification of faces. These Lorentz space forms are bi-quotients of the form $\Gamma_1\backslash G/\Gamma_2$, where $G=\widetilde{\operatorname{SU}(1,1)}\cong\widetilde{\operatorname{SL}(2,{\mathbb R})}$ is a simply connected Lie group with the Lorentz metric given by the Killing form, $\Gamma_1$ and $\Gamma_2$ are discrete subgroups of $G$ and $\Gamma_2$ is cyclic. A construction of polyhedral fundamental domains for the action of $\Gamma_1\times\Gamma_2$ on $G$ via $(g,h)\cdot x=gxh^{-1}$ was given in the earlier work of the second author. In this paper we give an explicit description of the fundamental domains obtained by this construction for two infinite series of groups. These results are connected to singularity theory as the bi-quotients $\Gamma_1\backslash G/\Gamma_2$ appear as links of certain quasi-homogeneous $\mathbb Q$-Gorenstein surface singularities, i.e.\ the intersections of the singular variety with sufficiently small spheres around the isolated singular point.


title: Augmentations and link group representations

abstract: We construct the augmentation representation. It is a representation of the fundamental group of the link complement associated to an augmentation of the framed cord algebra. This construction connects representations of two link invariants of different types. We also study properties of the augmentation representation.


title: Hand Pose Estimation: A Survey

abstract: The success of Deep Convolutional Neural Networks (CNNs) in recent years in almost all the Computer Vision tasks on one hand, and the popularity of low-cost consumer depth cameras on the other, has made Hand Pose Estimation a hot topic in computer vision field. In this report, we will first explain the hand pose estimation problem and will review major approaches solving this problem, especially the two different problems of using depth maps or RGB images. We will survey the most important papers in each field and will discuss the strengths and weaknesses of each. Finally, we will explain the biggest datasets in this field in detail and list 22 datasets with all their properties. To the best of our knowledge this is the most complete list of all the datasets in the hand pose estimation field.


title: Lipschitz Certificates for Layered Network Structures Driven by Averaged Activation Operators

abstract: Obtaining sharp Lipschitz constants for feed-forward neural networks is essential to assess their robustness in the face of perturbations of their inputs. We derive such constants in the context of a general layered network model involving compositions of nonexpansive averaged operators and affine operators. By exploiting this architecture, our analysis finely captures the interactions between the layers, yielding tighter Lipschitz constants than those resulting from the product of individual bounds for groups of layers. The proposed framework is shown to cover in particular many practical instances encountered in feed-forward neural networks. Our Lipschitz constant estimates are further improved in the case of structures employing scalar nonlinear functions, which include standard convolutional networks as special cases.