-
Low-speed Impact Simulations into Regolith in Support of Asteroid Sampling Mechanism Design I.: Comparison with 1-g Experiments
Authors:
Stephen R. Schwartz,
Patrick Michel,
Derek C. Richardson,
Hajime Yano
Abstract:
This study is carried out in the framework of sample-return missions to asteroids that use a low-speed projectile as the primary component of its sampling mechanism (e.g., JAXA's Hayabusa and Hayabusa2 missions). We perform numerical simulations of such impacts into granular materials using different projectile shapes under Earth's gravity. We then compare the amounts of ejected mass obtained in o…
▽ More
This study is carried out in the framework of sample-return missions to asteroids that use a low-speed projectile as the primary component of its sampling mechanism (e.g., JAXA's Hayabusa and Hayabusa2 missions). We perform numerical simulations of such impacts into granular materials using different projectile shapes under Earth's gravity. We then compare the amounts of ejected mass obtained in our simulations against what was found in experiments that used similar setups, which allows us to validate our numerical approach. For the targets, we consider 2 different monodisperse grain-diameter sizes: 5 mm and 3 mm. The impact speed of the projectile is 11 m s$^{-1}$ directed downward, perpendicular to the surface of the targets. Using an implementation of the soft-sphere discrete element method (SSDEM) in the $N$-Body gravity tree code PKDGRAV, previously validated in the context of low-speed impacts into sintered glass bead agglomerates, we find a noticeable dependence of the amount of ejected mass on the projectile shape. As found in experiments, in the case of the larger target grain size (5 mm), a conically shaped projectile ejects a greater amount of mass than do projectiles of other shapes, including disks and spheres. We then find that numerically the results are sensitive to the normal coefficient of restitution of the grains, especially for impacts into targets comprised of smaller grains (3 mm). We also find that static friction plays a more important role for impacts into targets comprised of the larger grains. As a preliminary demonstration, one of these considered setups is simulated in a microgravity environment. As expected, a reduction in gravity increases both the amount of ejected mass and the timescale of the impact process. Our methodology is also adaptable to the conditions of sampling mechanisms included in specific mission designs.
△ Less
Submitted 8 August, 2014;
originally announced August 2014.
-
Numerical predictions of surface effects during the 2029 close approach of asteroid 99942 Apophis
Authors:
Yang Yu,
Derek C. Richardson,
Patrick Michel,
Stephen R. Schwartz,
Ronald-Louis Ballouz
Abstract:
Asteroid (99942) Apophis' close approach in 2029 will be one of the most significant small-body encounter events in the near future and offers a good opportunity for in situ exploration to determine the asteroid's surface properties and measure any tidal effects that might alter its regolith configuration. Resurfacing mechanics has become a new focus for asteroid researchers due to its important i…
▽ More
Asteroid (99942) Apophis' close approach in 2029 will be one of the most significant small-body encounter events in the near future and offers a good opportunity for in situ exploration to determine the asteroid's surface properties and measure any tidal effects that might alter its regolith configuration. Resurfacing mechanics has become a new focus for asteroid researchers due to its important implications for interpreting surface observations, including space weathering effects. This paper provides a prediction for the tidal effects during the 2029 encounter, with an emphasis on whether surface refreshing due to regolith movement will occur. The potential shape modification of the object due to the tidal encounter is first confirmed to be negligibly small with systematic simulations, thus only the external perturbations are taken into account for this work (despite this, seismic shaking induced by shifting blocks might still play a weak role and we will look into this mechanism in future work). A two-stage approach is developed to model the responses of asteroid surface particles (the regolith) based on the soft-sphere implementation of the parallel N-body gravity tree code pkdgrav. A full-body model of Apophis is sent past the Earth on the predicted trajectory to generate the data of all forces acting at a target point on the surface. A sandpile constructed in the local frame is then used to approximate the regolith materials; all the forces the sandpile feels during the encounter are imposed as external perturbations to mimic the regolith's behavior in the full scenario. The local mechanical environment on the asteroid surface is represented in detail, leading to an estimation of the change in global surface environment due to the encounter. Typical patterns of perturbation are presented that depend on the asteroid orientation and sense of rotation at perigee.
△ Less
Submitted 1 August, 2014;
originally announced August 2014.
-
A Systematic Approach to the Reconstruction of Saturated SDO/AIA Images
Authors:
Richard A Schwartz,
Gabriele Torre,
Michele Piana
Abstract:
EUV images of solar flares provided by the Atmospheric Imaging Assembly onboard the Solar Dynamics Observatory (SDO/AIA) are often affected by saturation effects in their core, physically most interesting region. We introduce an image reconstruction procedure that allows recovering information in the primary saturation domain using the secondary images produced by the diffraction fringes as input…
▽ More
EUV images of solar flares provided by the Atmospheric Imaging Assembly onboard the Solar Dynamics Observatory (SDO/AIA) are often affected by saturation effects in their core, physically most interesting region. We introduce an image reconstruction procedure that allows recovering information in the primary saturation domain using the secondary images produced by the diffraction fringes as input data. Such a procedure is based on standard image-processing tools like correlation, convolution, and back-projection. Its effectiveness is tested in the case of SDO/AIA observations of the July 8 2013 flaring event.
△ Less
Submitted 28 July, 2014;
originally announced July 2014.
-
Unit Lengthenings of Tetrahedra
Authors:
Richard Evan Schwartz
Abstract:
In this paper we give an affirmative answer to the following question posed by Daryl Cooper: If one lengthens the sides of a tetrahedron by one unit, is the result still a tetrahedron and (if so) does the volume increase? Our proof involves a (presumably) new and sharp inequality involving the Cayley-Menger determinant and one of its directional derivatives. We give a rigorous computer-assisted pr…
▽ More
In this paper we give an affirmative answer to the following question posed by Daryl Cooper: If one lengthens the sides of a tetrahedron by one unit, is the result still a tetrahedron and (if so) does the volume increase? Our proof involves a (presumably) new and sharp inequality involving the Cayley-Menger determinant and one of its directional derivatives. We give a rigorous computer-assisted proof of the inequality. We also sketch an argument which derives the existence portion of the result, in all dimensions, from an old theorem of Von Neumann. Finally, we prove a number of additional results concerning the effect on volume of selectively lengthening some of the sides of a tetrahedron.
△ Less
Submitted 5 August, 2014; v1 submitted 15 July, 2014;
originally announced July 2014.
-
The Brazil-nut effect and its application to asteroids
Authors:
Soko Matsumura,
Derek C. Richardson,
Patrick Michel,
Stephen R. Schwartz,
Ronald-Louis Ballouz
Abstract:
Out of the handful of asteroids that have been imaged, some have distributions of blocks that are not easily explained. In this paper, we investigate the possibility that seismic shaking leads to the size sorting of particles in asteroids. In particular, we focus on the so-called Brazil Nut Effect (BNE) that separates large particles from small ones under vibrations. We study the BNE over a wide r…
▽ More
Out of the handful of asteroids that have been imaged, some have distributions of blocks that are not easily explained. In this paper, we investigate the possibility that seismic shaking leads to the size sorting of particles in asteroids. In particular, we focus on the so-called Brazil Nut Effect (BNE) that separates large particles from small ones under vibrations. We study the BNE over a wide range of parameters by using the N-body code PKDGRAV, and find that the effect is largely insensitive to the coefficients of restitution, but sensitive to friction constants and oscillation speeds. Agreeing with the previous results, we find that convection drives the BNE, where the intruder rises to the top of the particle bed. For the wide-cylinder case, we also observe a "whale" effect, where the intruder follows the convective current and does not stay at the surface. We show that the non-dimensional critical conditions for the BNE agree well with previous studies. We also show that the BNE is scalable for low-gravity environments and that the rise speed of an intruder is proportional to the square root of the gravitational acceleration. Finally, we apply the critical conditions to observed asteroids, and find that the critical oscillation speeds are comparable to the seismic oscillation speeds that are expected from non-destructive impacts.
△ Less
Submitted 10 July, 2014;
originally announced July 2014.
-
Rotation-Dependent Catastrophic Disruption of Gravitational Aggregates
Authors:
Ronald-Louis Ballouz,
Derek C. Richardson,
Patrick Michel,
Stephen R. Schwartz
Abstract:
We carry out a systematic exploration of the effect of pre-impact rotation on the outcomes of low-speed collisions between planetesimals modeled as gravitational aggregates. We use pkdgrav, a cosmology code adapted to collisional problems and recently enhanced with a new soft-sphere collision algorithm that includes more realistic contact forces. A rotating body has lower effective surface gravity…
▽ More
We carry out a systematic exploration of the effect of pre-impact rotation on the outcomes of low-speed collisions between planetesimals modeled as gravitational aggregates. We use pkdgrav, a cosmology code adapted to collisional problems and recently enhanced with a new soft-sphere collision algorithm that includes more realistic contact forces. A rotating body has lower effective surface gravity than a non-rotating one and therefore might suffer more mass loss as the result of a collision. What is less well understood, however, is whether rotation systematically increases mass loss on average regardless of the impact trajectory. This has important implications for the efficiency of planet formation via planetesimal growth, and also more generally for the determination of the impact energy threshold for catastrophic disruption (leading to the largest remnant retaining 50% of the original mass), as this has generally only been evaluated for non-spinning bodies. We find that for most collision scenarios, rotation lowers the threshold energy for catastrophic dispersal. For head-on collisions, we develop a semi-analytic description of the change in the threshold description as a function of the target's pre-impact rotation rate, and find that these results are consistent with the "universal law" of catastrophic disruption developed by Leinhardt & Stewart. Using this approach, we introduce re-scaled catastrophic disruption variables that take into account the interacting mass fraction of the target and the projectile in order to translate oblique impacts into equivalent head-on collisions.
△ Less
Submitted 19 June, 2014;
originally announced June 2014.
-
Topological supersymmetry breaking: Definition and stochastic generalization of chaos and the limit of applicability of statistics
Authors:
Igor V. Ovchinnikov,
Robert N. Schwartz,
Kang L. Wang
Abstract:
The concept of deterministic dynamical chaos has a long history and is well established by now. Nevertheless, its field theoretic essence and its stochastic generalization have been revealed only very recently. Within the newly found supersymmetric theory of stochastics (STS), all stochastic differential equations (SDEs) possess topological or de Rahm supersymmetry and stochastic chaos is the phen…
▽ More
The concept of deterministic dynamical chaos has a long history and is well established by now. Nevertheless, its field theoretic essence and its stochastic generalization have been revealed only very recently. Within the newly found supersymmetric theory of stochastics (STS), all stochastic differential equations (SDEs) possess topological or de Rahm supersymmetry and stochastic chaos is the phenomenon of its spontaneous breakdown. Even though the STS is free of approximations and thus is technically solid, it is still missing a firm interpretational basis in order to be physically sound. Here, we make a few important steps toward the construction of the interpretational foundation for the STS. In particular, we discuss that one way to understand why the ground states of chaotic SDEs are conditional (not total) probability distributions, is that some of the variables have infinite memory of initial conditions and thus are not "thermalized", i.e., cannot be described by the initial-conditions-independent probability distributions. As a result, the definitive assumption of physical statistics that the ground state is a steady-state total probability distribution is not valid for chaotic SDEs.
△ Less
Submitted 8 April, 2016; v1 submitted 15 April, 2014;
originally announced April 2014.
-
Brazilian License Plate Detection Using Histogram of Oriented Gradients and Sliding Windows
Authors:
R. F. Prates,
G. Cámara-Chávez,
William R. Schwartz,
D. Menotti
Abstract:
Due to the increasingly need for automatic traffic monitoring, vehicle license plate detection is of high interest to perform automatic toll collection, traffic law enforcement, parking lot access control, among others. In this paper, a sliding window approach based on Histogram of Oriented Gradients (HOG) features is used for Brazilian license plate detection. This approach consists in scanning t…
▽ More
Due to the increasingly need for automatic traffic monitoring, vehicle license plate detection is of high interest to perform automatic toll collection, traffic law enforcement, parking lot access control, among others. In this paper, a sliding window approach based on Histogram of Oriented Gradients (HOG) features is used for Brazilian license plate detection. This approach consists in scanning the whole image in a multiscale fashion such that the license plate is located precisely. The main contribution of this work consists in a deep study of the best setup for HOG descriptors on the detection of Brazilian license plates, in which HOG have never been applied before. We also demonstrate the reliability of this method ensured by a recall higher than 98% (with a precision higher than 78%) in a publicly available data set.
△ Less
Submitted 9 January, 2014;
originally announced January 2014.
-
Simulation and Analysis of TE Wave Propagation as a Probe for Electron Clouds in Particle Accelerators
Authors:
Kiran G. Sonnad,
Kenneth Hammond,
Robert Schwartz,
Seth Veitzer
Abstract:
The use of transverse electric (TE) waves has proved to be a powerful, noninvasive method for estimating the densities of electron clouds formed in particle accelerators. Results from the plasma simulation program VORPAL have been a useful guide for experimental studies related to this method, which have been performed at various accelerator facilities. This paper provides results of the simulatio…
▽ More
The use of transverse electric (TE) waves has proved to be a powerful, noninvasive method for estimating the densities of electron clouds formed in particle accelerators. Results from the plasma simulation program VORPAL have been a useful guide for experimental studies related to this method, which have been performed at various accelerator facilities. This paper provides results of the simulation and modeling work done in conjunction with experimental efforts carried out at CesrTA. The discussion starts from the phase shift induced by electron clouds in the transmission of the wave, followed by the effect of reflections along the beam-pipe, the simulation of the resonant wave method and the effects of external magnetic fields, namely dipoles and wigglers. A derivation of the dispersion relationship of wave propagation for arbitrary geometries in field free regions with a uniform cloud density is also provided.
△ Less
Submitted 4 January, 2014; v1 submitted 22 November, 2013;
originally announced November 2013.
-
Combinatorial Applications of the Subspace Theorem
Authors:
Ryan Schwartz,
Jozsef Solymosi
Abstract:
The Subspace Theorem is a powerful tool in number theory. It has appeared in various forms and been adapted and improved over time. It's applications include diophantine approximation, results about integral points on algebraic curves and the construction of transcendental numbers. But its usefulness extends beyond the realms of number theory. Other applications of the Subspace Theorem include lin…
▽ More
The Subspace Theorem is a powerful tool in number theory. It has appeared in various forms and been adapted and improved over time. It's applications include diophantine approximation, results about integral points on algebraic curves and the construction of transcendental numbers. But its usefulness extends beyond the realms of number theory. Other applications of the Subspace Theorem include linear recurrence sequences and finite automata. In fact, these structures are closely related to each other and the construction of transcendental numbers.
The Subspace Theorem also has a number of remarkable combinatorial applications. The purpose of this paper is to give a survey of some of these applications including sum-product estimates and bounds on unit distances. The presentation will be from the point of view of a discrete mathematician. We will state a number of variants of the Subspace Theorem below but we will not prove any of them as the proofs are beyond the scope of this work. However we will give a proof of a simplified special case of the Subspace Theorem which is still very useful for many problems in discrete mathematics.
△ Less
Submitted 15 November, 2013;
originally announced November 2013.
-
Linear difference equations, frieze patterns and combinatorial Gale transform
Authors:
Sophie Morier-Genoud,
Valentin Ovsienko,
Richard Evan Schwartz,
Serge Tabachnikov
Abstract:
We study the space of linear difference equations with periodic coefficients and (anti)periodic solutions. We show that this space is isomorphic to the space of tame frieze patterns and closely related to the moduli space of configurations of points in the projective space. We define the notion of combinatorial Gale transform which is a duality between periodic difference equations of different or…
▽ More
We study the space of linear difference equations with periodic coefficients and (anti)periodic solutions. We show that this space is isomorphic to the space of tame frieze patterns and closely related to the moduli space of configurations of points in the projective space. We define the notion of combinatorial Gale transform which is a duality between periodic difference equations of different orders. We describe periodic rational maps generalizing the classical Gauss map.
△ Less
Submitted 16 September, 2013;
originally announced September 2013.
-
TE Wave Measurement and Modeling
Authors:
John P. Sikora,
Robert M. Schwartz,
Kiran G. Sonnad,
David Alesini,
Stefano De Santis
Abstract:
In the TE wave method, microwaves are coupled into the beam-pipe and the effect of the electron cloud on these microwaves is measured. An electron cloud (EC) density can then be calculated from this measurement. There are two analysis methods currently in use. The first treats the microwaves as being transmitted from one point to another in the accelerator. The second more recent method, treats th…
▽ More
In the TE wave method, microwaves are coupled into the beam-pipe and the effect of the electron cloud on these microwaves is measured. An electron cloud (EC) density can then be calculated from this measurement. There are two analysis methods currently in use. The first treats the microwaves as being transmitted from one point to another in the accelerator. The second more recent method, treats the beam-pipe as a resonant cavity. This paper will summarize the reasons for adopting the resonant TE wave analysis as well as give examples from CESRTA and DAΦNE of resonant beam-pipe. The results of bead-pull bench measurements will show some possible standing wave patterns, including a cutoff mode (evanescent) where the field decreases exponentially with distance from the drive point. We will outline other recent developments in the TE wave method including VORPAL simulations of microwave resonances, as well as the simulation of transmission in the presence of both an electron cloud and magnetic fields.
△ Less
Submitted 16 July, 2013;
originally announced July 2013.
-
Square Turning Maps and their Compactifications
Authors:
Richard Evan Schwartz
Abstract:
In this paper we introduce some infinite rectangle exchange transformations which are based on the simultaneous turning of the squares within a sequence of square grids. We will show that such noncompact systems have higher dimensional dynamical compactifications. In good cases, these compactifications are polytope exchange transformations based on pairs of Euclidean lattices. In each dimension…
▽ More
In this paper we introduce some infinite rectangle exchange transformations which are based on the simultaneous turning of the squares within a sequence of square grids. We will show that such noncompact systems have higher dimensional dynamical compactifications. In good cases, these compactifications are polytope exchange transformations based on pairs of Euclidean lattices. In each dimension $8m+4$ there is a $4m+2$ dimensional family of them. Here $m=0,1,2,...$ The case $m=0$, which we studied in depth in an earlier paper, has close connections to the $E_4$ Weyl group and the $(2,4,\infty)$ hyperbolic triangle group.
△ Less
Submitted 4 July, 2013; v1 submitted 2 July, 2013;
originally announced July 2013.
-
A Composite Genome Approach to Identify Phylogenetically Informative Data from Next-Generation Sequencing
Authors:
Rachel S. Schwartz,
Kelly Harkins,
Anne C. Stone,
Reed A. Cartwright
Abstract:
We have developed a novel method to rapidly obtain homologous genomic data for phylogenetics directly from next-generation sequencing reads without the use of a reference genome. This software, called SISRS, avoids the time consuming steps of de novo whole genome assembly, genome-genome alignment, and annotation. For simulations SISRS is able to identify large numbers of loci containing variable s…
▽ More
We have developed a novel method to rapidly obtain homologous genomic data for phylogenetics directly from next-generation sequencing reads without the use of a reference genome. This software, called SISRS, avoids the time consuming steps of de novo whole genome assembly, genome-genome alignment, and annotation. For simulations SISRS is able to identify large numbers of loci containing variable sites with phylogenetic signal. For genomic data from apes, SISRS identified thousands of variable sites, from which we produced an accurate phylogeny. Finally, we used SISRS to identify phylogenetic markers that we used to estimate the phylogeny of placental mammals. We recovered phylogenies from multiple datasets that were consistent with previous conflicting estimates of the relationships among mammals. SISRS is open source and freely available at https://github.com/rachelss/SISRS.
△ Less
Submitted 12 November, 2014; v1 submitted 15 May, 2013;
originally announced May 2013.
-
Estimating the properties of hard X-ray solar flares by constraining model parameters
Authors:
Jack Ireland,
Anne K. Tolbert,
Richard A. Schwartz,
Gordon D. Holman,
Brian R. Dennis
Abstract:
We compare four different methods of calculating uncertainty estimates in fitting parameterized models to RHESSI X-ray spectra, considering only statistical sources of error. Three of the four methods are based on estimating the scale-size of the minimum in a hypersurface formed by the weighted sum of the squares of the differences between the model fit and the data as a function of the fit parame…
▽ More
We compare four different methods of calculating uncertainty estimates in fitting parameterized models to RHESSI X-ray spectra, considering only statistical sources of error. Three of the four methods are based on estimating the scale-size of the minimum in a hypersurface formed by the weighted sum of the squares of the differences between the model fit and the data as a function of the fit parameters, and are implemented as commonly practiced. The fourth method uses Bayesian data analysis and Markov chain Monte Carlo (MCMC) techniques to calculate an uncertainty estimate. Two flare spectra are modeled: one from the GOES X1.3 class flare of 19 January 2005, and the other from the X4.8 flare of 23 July 2002. The four methods give approximately the same uncertainty estimates for the 19 January 2005 spectral fit parameters, but lead to very different uncertainty estimates for the 23 July 2002 spectral fit. This is because each method implements different analyses of the hypersurface, yielding method-dependent results that differ greatly depending on the shape of the hypersurface. For the 23 July 2002 flare data, there is a 95% probability that the low energy cutoff lies below approximately 40 keV, and a 68% probability that it lies in the range 7-36 keV. The low-energy cutoff for the 19 January 2005 flare is more tightly constrained to 107+/-4 keV (68% probability). Using the Bayesian/MCMC approach, we also estimate for the first time probability density functions (PDFs) for the total number of flare accelerated electrons and the energy they carry. For the 23 July 2002 event, these PDFs are asymmetric with long tails orders of magnitude higher than the most probable value, caused by the poorly constrained value of the low-energy cutoff. For the 19 January 2005 flare spectrum, the PDFs for the total number of flare accelerated electrons and their energy are much more symmetric and narrow.
△ Less
Submitted 30 April, 2013;
originally announced April 2013.
-
Pentagram Spirals
Authors:
Richard Evan Schwartz
Abstract:
We introduce a geometric construction which relates to the pentagram map much in the way that a logarithmic spiral relates to a circle. After introducing the construction, we establish some basic geometric facts about it, and speculate on some of the deeper algebraic structure, such as the complete integrability of the associated dynamical system.
We introduce a geometric construction which relates to the pentagram map much in the way that a logarithmic spiral relates to a circle. After introducing the construction, we establish some basic geometric facts about it, and speculate on some of the deeper algebraic structure, such as the complete integrability of the associated dynamical system.
△ Less
Submitted 19 July, 2013; v1 submitted 21 April, 2013;
originally announced April 2013.
-
On the Approximation of Submodular Functions
Authors:
Nikhil R. Devanur,
Shaddin Dughmi,
Roy Schwartz,
Ankit Sharma,
Mohit Singh
Abstract:
Submodular functions are a fundamental object of study in combinatorial optimization, economics, machine learning, etc. and exhibit a rich combinatorial structure. Many subclasses of submodular functions have also been well studied and these subclasses widely vary in their complexity. Our motivation is to understand the relative complexity of these classes of functions. Towards this, we consider t…
▽ More
Submodular functions are a fundamental object of study in combinatorial optimization, economics, machine learning, etc. and exhibit a rich combinatorial structure. Many subclasses of submodular functions have also been well studied and these subclasses widely vary in their complexity. Our motivation is to understand the relative complexity of these classes of functions. Towards this, we consider the question of how well can one class of submodular functions be approximated by another (simpler) class of submodular functions. Such approximations naturally allow algorithms designed for the simpler class to be applied to the bigger class of functions. We prove both upper and lower bounds on such approximations.
Our main results are:
1. General submodular functions can be approximated by cut functions of directed graphs to a factor of $n^2/4$, which is tight.
2. General symmetric submodular functions$^{1}$ can be approximated by cut functions of undirected graphs to a factor of $n-1$, which is tight up to a constant.
3. Budgeted additive functions can be approximated by coverage functions to a factor of $e/(e-1)$, which is tight.
Here $n$ is the size of the ground set on which the submodular function is defined.
We also observe that prior works imply that monotone submodular functions can be approximated by coverage functions with a factor between $O(\sqrt{n} \log n)$ and $Ω(n^{1/3} /\log^2 n) $.
△ Less
Submitted 17 April, 2013;
originally announced April 2013.
-
Expectation Maximization for Hard X-ray Count Modulation Profiles
Authors:
Federico Benvenuto,
Richard Schwartz,
Michele Piana,
Anna Maria Massone
Abstract:
This paper is concerned with the image reconstruction problem when the measured data are solar hard X-ray modulation profiles obtained from the Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI)} instrument. Our goal is to demonstrate that a statistical iterative method classically applied to the image deconvolution problem is very effective when utilized for the analysis of count modul…
▽ More
This paper is concerned with the image reconstruction problem when the measured data are solar hard X-ray modulation profiles obtained from the Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI)} instrument. Our goal is to demonstrate that a statistical iterative method classically applied to the image deconvolution problem is very effective when utilized for the analysis of count modulation profiles in solar hard X-ray imaging based on Rotating Modulation Collimators. The algorithm described in this paper solves the maximum likelihood problem iteratively and encoding a positivity constraint into the iterative optimization scheme. The result is therefore a classical Expectation Maximization method this time applied not to an image deconvolution problem but to image reconstruction from count modulation profiles. The technical reason that makes our implementation particularly effective in this application is the use of a very reliable stop** rule which is able to regularize the solution providing, at the same time, a very satisfactory Cash-statistic (C-statistic). The method is applied to both reproduce synthetic flaring configurations and reconstruct images from experimental data corresponding to three real events. In this second case, the performance of Expectation Maximization, when compared to Pixon image reconstruction, shows a comparable accuracy and a notably reduced computational burden; when compared to CLEAN, shows a better fidelity with respect to the measurements with a comparable computational effectiveness. If optimally stopped, Expectation Maximization represents a very reliable method for image reconstruction in the RHESSI context when count modulation profiles are used as input data.
△ Less
Submitted 20 February, 2013;
originally announced February 2013.
-
Using the subspace theorem to bound unit distances
Authors:
Ryan Schwartz
Abstract:
We prove a special case of Erdős' unit distance problem using a corollary of the subspace theorem bounding the number of solutions of linear equations from a multiplicative group. We restrict our attention to unit distances coming from a multiplicative group of rank $r$ not too large. Specifically, given $\varepsilon>0$ and $n$ points in the plane, we construct the unit distance graph from these p…
▽ More
We prove a special case of Erdős' unit distance problem using a corollary of the subspace theorem bounding the number of solutions of linear equations from a multiplicative group. We restrict our attention to unit distances coming from a multiplicative group of rank $r$ not too large. Specifically, given $\varepsilon>0$ and $n$ points in the plane, we construct the unit distance graph from these points and distances and use the corollary above to bound certain paths of length $k$ in the graph giving at most $n^{1+\varepsilon}$ unit distances from the group above. We require that the rank $r\le c\log n$ for some $c>0$ depending on $\varepsilon$. This extends a result of József Solymosi, Frank de Zeeuw and the author where we only considered unit distances that are roots of unity. Lastly we show that the lower bound configuration for the unit distance problem of Erdős consists of unit distances from a multiplicative subgroup of the form above.
△ Less
Submitted 28 November, 2012; v1 submitted 21 November, 2012;
originally announced November 2012.
-
The Octagonal PET II: The Topology of the Limit Sets
Authors:
Richard Evan Schwartz
Abstract:
This is a sequel to my paper "The Octagonal PET I: Renormalization and Hyperbolic Symmetry". In this paper we use the renormalization scheme found in the first paper to classify the limit sets of the systems according to their topology. The main result is that the limit set is either a finite forest or a Cantor set, with an explicit description of which cases occur for which parameters. In one spe…
▽ More
This is a sequel to my paper "The Octagonal PET I: Renormalization and Hyperbolic Symmetry". In this paper we use the renormalization scheme found in the first paper to classify the limit sets of the systems according to their topology. The main result is that the limit set is either a finite forest or a Cantor set, with an explicit description of which cases occur for which parameters. In one special case, the limit set is a disjoint union of 2 arcs if and only if the continued fraction expansion of the parameter has the form [a0:a1:a2:a3...] with a_k even for every odd k.
△ Less
Submitted 30 September, 2012;
originally announced October 2012.
-
The Octagonal PET I: Renormalization and Hyperbolic Symmetry
Authors:
Richard Evan Schwartz
Abstract:
We introduce a family of polytope exchange transformations (PETs) acting on parallelotopes in $\R^{2n}$ for $n=1,2,3...$. These PETs are constructed using a pair of lattices in $\R^{2n}$. The moduli space of these PETs is $GL_n(\R)$. We study the case n=1 in detail. In this case, we show that the 2-dimensional family is completely renormalizable and that the $(2,4,\infty)$ hyperbolic reflection tr…
▽ More
We introduce a family of polytope exchange transformations (PETs) acting on parallelotopes in $\R^{2n}$ for $n=1,2,3...$. These PETs are constructed using a pair of lattices in $\R^{2n}$. The moduli space of these PETs is $GL_n(\R)$. We study the case n=1 in detail. In this case, we show that the 2-dimensional family is completely renormalizable and that the $(2,4,\infty)$ hyperbolic reflection triangle group acts (by linear fractional transformations) as the renormalization group on the moduli space. These results have a number of geometric corollaries for the system. Most of the paper is traditional mathematics, but some part of the paper relies on a rigorous computer-assisted proof involving integer calculations.
△ Less
Submitted 30 September, 2012; v1 submitted 11 September, 2012;
originally announced September 2012.
-
Variability of the blazar 4C 38.41 (B3 1633+382) from GHz frequencies to GeV energies
Authors:
C. M. Raiteri,
M. Villata,
P. S. Smith,
V. M. Larionov,
J. A. Acosta-Pulido,
M. F. Aller,
F. D'Ammando,
M. A. Gurwell,
S. G. Jorstad,
M. Joshi,
O. M. Kurtanidze,
A. Lähteenmäki,
D. O. Mirzaqulov,
I. Agudo,
H. D. Aller,
M. J. Arévalo,
A. A. Arkharov,
U. Bach,
E. Benítez,
A. Berdyugin,
D. A. Blinov,
K. Blumenthal,
C. S. Buemi,
A. Bueno,
T. M. Carleton
, et al. (52 additional authors not shown)
Abstract:
The quasar-type blazar 4C 38.41 (B3 1633+382) experienced a large outburst in 2011, which was detected throughout the entire electromagnetic spectrum. We present the results of low-energy multifrequency monitoring by the GASP project of the WEBT consortium and collaborators, as well as those of spectropolarimetric/spectrophotometric monitoring at the Steward Observatory. We also analyse high-energ…
▽ More
The quasar-type blazar 4C 38.41 (B3 1633+382) experienced a large outburst in 2011, which was detected throughout the entire electromagnetic spectrum. We present the results of low-energy multifrequency monitoring by the GASP project of the WEBT consortium and collaborators, as well as those of spectropolarimetric/spectrophotometric monitoring at the Steward Observatory. We also analyse high-energy observations of the Swift and Fermi satellites. In the optical-UV band, several results indicate that there is a contribution from a QSO-like emission component, in addition to both variable and polarised jet emission. The unpolarised emission component is likely thermal radiation from the accretion disc that dilutes the jet polarisation. We estimate its brightness to be R(QSO) ~ 17.85 - 18 and derive the intrinsic jet polarisation degree. We find no clear correlation between the optical and radio light curves, while the correlation between the optical and γ-ray flux apparently fades in time, likely because of an increasing optical to γ-ray flux ratio. As suggested for other blazars, the long-term variability of 4C 38.41 can be interpreted in terms of an inhomogeneous bent jet, where different emitting regions can change their alignment with respect to the line of sight, leading to variations in the Doppler factor δ. Under the hypothesis that in the period 2008-2011 all the γ-ray and optical variability on a one-week timescale were due to changes in δ, this would range between ~ 7 and ~ 21. If the variability were caused by changes in the viewing angle θ only, then θ would go from ~ 2.6 degr to ~ 5 degr. Variations in the viewing angle would also account for the dependence of the polarisation degree on the source brightness in the framework of a shock-in-jet model.
△ Less
Submitted 17 July, 2012;
originally announced July 2012.
-
Condensation of Excitons in Cu2O at Ultracold Temperatures: Experiment and Theory
Authors:
Heinrich Stolz,
Rico Schwartz,
Frank Kieseling,
Sunipa Som,
Maria Kaupsch,
Siegfried Sobkowiak,
Dirk Semkat,
Nobuko Naka,
Thomas Koch,
Holger Fehske
Abstract:
We present experiments on the luminescence of excitons confined in a potential trap at milli-Kelvin bath temperatures under cw-excitation. They reveal several distinct features like a kink in the dependence of the total integrated luminescence intensity on excitation laser power and a bimodal distribution of the spatially resolved luminescence. Furthermore, we discuss the present state of the theo…
▽ More
We present experiments on the luminescence of excitons confined in a potential trap at milli-Kelvin bath temperatures under cw-excitation. They reveal several distinct features like a kink in the dependence of the total integrated luminescence intensity on excitation laser power and a bimodal distribution of the spatially resolved luminescence. Furthermore, we discuss the present state of the theoretical description of Bose-Einstein condensation of excitons with respect to signatures of a condensate in the luminescence. The comparison of the experimental data with theoretical results with respect to the spatially resolved as well as the integrated luminescence intensity shows the necessity of taking into account a Bose-Einstein condensed excitonic phase in order to understand the behaviour of the trapped excitons.
△ Less
Submitted 8 November, 2012; v1 submitted 29 June, 2012;
originally announced June 2012.
-
Extensions of a result of Elekes and Rónyai
Authors:
Ryan Schwartz,
József Solymosi,
Frank de Zeeuw
Abstract:
Many problems in combinatorial geometry can be formulated in terms of curves or surfaces containing many points of a cartesian product. In 2000, Elekes and Rónyai proved that if the graph of a polynomial contains $cn^2$ points of an $n\times n\times n$ cartesian product in $\mathbb{R}^3$, then the polynomial has the form $f(x,y)=g(k(x)+l(y))$ or $f(x,y)=g(k(x)l(y))$. They used this to prove a conj…
▽ More
Many problems in combinatorial geometry can be formulated in terms of curves or surfaces containing many points of a cartesian product. In 2000, Elekes and Rónyai proved that if the graph of a polynomial contains $cn^2$ points of an $n\times n\times n$ cartesian product in $\mathbb{R}^3$, then the polynomial has the form $f(x,y)=g(k(x)+l(y))$ or $f(x,y)=g(k(x)l(y))$. They used this to prove a conjecture of Purdy which states that given two lines in $\mathbb{R}^2$ and $n$ points on each line, if the number of distinct distances between pairs of points, one on each line, is at most $cn$, then the lines are parallel or orthogonal. We extend the Elekes-Rónyai Theorem to a less symmetric cartesian product. We also extend the Elekes-Rónyai Theorem to one dimension higher on an $n\times n\times n\times n$ cartesian product and an asymmetric cartesian product. We give a proof of a variation of Purdy's conjecture with fewer points on one of the lines. We finish with a lower bound for our main result in one dimension higher with asymmetric cartesian product, showing that it is near-optimal.
△ Less
Submitted 13 June, 2012;
originally announced June 2012.
-
The Thermal Properties of Solar Flares Over Three Solar Cycles Using GOES X-ray Observations
Authors:
Daniel F. Ryan,
Ryan O. Milligan,
Peter T. Gallagher,
Brian R. Dennis,
A. Kim Tolbert,
Richard A. Schwartz,
C. Alex Young
Abstract:
Solar flare X-ray emission results from rapidly increasing temperatures and emission measures in flaring active region loops. To date, observations from the X-Ray Sensor (XRS) onboard the Geostationary Operational Environmental Satellite (GOES) have been used to derive these properties, but have been limited by a number of factors, including the lack of a consistent background subtraction method c…
▽ More
Solar flare X-ray emission results from rapidly increasing temperatures and emission measures in flaring active region loops. To date, observations from the X-Ray Sensor (XRS) onboard the Geostationary Operational Environmental Satellite (GOES) have been used to derive these properties, but have been limited by a number of factors, including the lack of a consistent background subtraction method capable of being automatically applied to large numbers of flares. In this paper, we describe an automated temperature and emission measure-based background subtraction method (TEBBS), which builds on the methods of Bornmann (1990). Our algorithm ensures that the derived temperature is always greater than the instrumental limit and the pre-flare background temperature, and that the temperature and emission measure are increasing during the flare rise phase. Additionally, TEBBS utilizes the improved estimates of GOES temperatures and emission measures from White et al. (2005). TEBBS was successfully applied to over 50,000 solar flares occurring over nearly three solar cycles (1980-2007), and used to create an extensive catalog of the solar flare thermal properties. We confirm that the peak emission measure and total radiative losses scale with background subtracted GOES X-ray flux as power-laws, while the peak temperature scales logarithmically. As expected, the peak emission measure shows an increasing trend with peak temperature, although the total radiative losses do not. While these results are comparable to previous studies, we find that flares of a given GOES class have lower peak temperatures and higher peak emission measures than previously reported. The resulting TEBBS database of thermal flare plasma properties is publicly available on Solar Monitor (www.solarmonitor.org/TEBBS/) and will be available on Heliophysics Integrated Observatory (www.helio-vo.eu).
△ Less
Submitted 6 March, 2013; v1 submitted 5 June, 2012;
originally announced June 2012.
-
Optical photometric and spectral study of the new FU Orionis object V2493 Cyg (HBC 722)
Authors:
E. H. Semkov,
S. P. Peneva,
U. Munari,
M. K. Tsvetkov,
R. Jurdana-Sepic,
E. de Miguel,
R. D. Schwartz,
D. P. Dimitrov,
D. P. Kjurkchieva,
V. S. Radeva
Abstract:
We present new results from optical photometric and spectroscopic observations of the eruptive pre-main sequence star V2493 Cyg (HBC 722). The object has continued to undergo significant brightness variations over the past few months and is an ideal target for follow-up observations. We carried out CCD BVRI photometric observations in the field of V2493 Cyg ("Gulf of Mexico") from August 1994 to A…
▽ More
We present new results from optical photometric and spectroscopic observations of the eruptive pre-main sequence star V2493 Cyg (HBC 722). The object has continued to undergo significant brightness variations over the past few months and is an ideal target for follow-up observations. We carried out CCD BVRI photometric observations in the field of V2493 Cyg ("Gulf of Mexico") from August 1994 to April 2012, i.e. at the pre-outburst states and during the phases of the outburst. We acquired high, medium, and low resolution spectroscopy of V2493 Cyg during the outburst. To study the pre-outburst variability of the target and construct its historical light curve, we searched for archival observations in photographic plate collections. Both CCD and photographic observations were analyzed using 15 comparison stars in the field of V2493 Cyg. The pre-outburst photographic and CCD photometric observations of V2493 Cyg show low-amplitude light variations typical of T Tauri stars. The recent photometric data show a slow light decrease from October 2010 to June 2011 followed by an increase in brightness that continued until early 2012. The spectral observations of V2493 Cyg are typical of FU Orionis stars absorption spectra with strong P Cyg profiles of H alpha and Na I D lines. On the basis of photometric monitoring performed over the past two years, the spectral properties at the maximal light, as well as the shape of long-term light curves, we confirm that the observed outburst of V2493 Cyg is of FU Orionis type.
△ Less
Submitted 11 May, 2012;
originally announced May 2012.
-
Infrastructure for Detector Research and Development towards the International Linear Collider
Authors:
J. Aguilar,
P. Ambalathankandy,
T. Fiutowski,
M. Idzik,
Sz. Kulis,
D. Przyborowski,
K. Swientek,
A. Bamberger,
M. Köhli,
M. Lupberger,
U. Renz,
M. Schumacher,
Andreas Zwerger,
A. Calderone,
D. G. Cussans,
H. F. Heath,
S. Mandry,
R. F. Page,
J. J. Velthuis,
D. Attié,
D. Calvet,
P. Colas,
X. Coppolani,
Y. Degerli,
E. Delagnes
, et al. (252 additional authors not shown)
Abstract:
The EUDET-project was launched to create an infrastructure for develo** and testing new and advanced detector technologies to be used at a future linear collider. The aim was to make possible experimentation and analysis of data for institutes, which otherwise could not be realized due to lack of resources. The infrastructure comprised an analysis and software network, and instrumentation infras…
▽ More
The EUDET-project was launched to create an infrastructure for develo** and testing new and advanced detector technologies to be used at a future linear collider. The aim was to make possible experimentation and analysis of data for institutes, which otherwise could not be realized due to lack of resources. The infrastructure comprised an analysis and software network, and instrumentation infrastructures for tracking detectors as well as for calorimetry.
△ Less
Submitted 23 January, 2012;
originally announced January 2012.
-
Fermi Detection of γ-ray emission from the M2 Soft X-ray Flare on 2010 June 12
Authors:
Fermi GBM Collaboration,
Fermi LAT Collaboration,
B. R. Dennis,
R. A. Schwartz,
A. K. Tolbert
Abstract:
The GOES M2-class solar flare, SOL2010-06-12T00:57, was modest in many respects yet exhibited remarkable acceleration of energetic particles. The flare produced an ~50 s impulsive burst of hard X- and γ-ray emission up to at least 400 MeV observed by the Fermi GBM and LAT experiments. The remarkably similar hard X-ray and high-energy γ-ray time profiles suggest that most of the particles were acce…
▽ More
The GOES M2-class solar flare, SOL2010-06-12T00:57, was modest in many respects yet exhibited remarkable acceleration of energetic particles. The flare produced an ~50 s impulsive burst of hard X- and γ-ray emission up to at least 400 MeV observed by the Fermi GBM and LAT experiments. The remarkably similar hard X-ray and high-energy γ-ray time profiles suggest that most of the particles were accelerated to energies >300 MeV with a delay of ~10 s from mildly relativistic electrons, but some reached these energies in as little as ~3 s. The γ-ray line fluence from this flare was about ten times higher than that typically observed from this modest GOES class of X-ray flare. There is no evidence for time-extended >100 MeV emission as has been found for other flares with high-energy γrays.
△ Less
Submitted 28 December, 2011; v1 submitted 29 November, 2011;
originally announced November 2011.
-
Min-Max Graph Partitioning and Small Set Expansion
Authors:
Nikhil Bansal,
Uriel Feige,
Robert Krauthgamer,
Konstantin Makarychev,
Viswanath Nagarajan,
Joseph,
Naor,
Roy Schwartz
Abstract:
We study graph partitioning problems from a min-max perspective, in which an input graph on n vertices should be partitioned into k parts, and the objective is to minimize the maximum number of edges leaving a single part. The two main versions we consider are where the k parts need to be of equal-size, and where they must separate a set of k given terminals. We consider a common generalization of…
▽ More
We study graph partitioning problems from a min-max perspective, in which an input graph on n vertices should be partitioned into k parts, and the objective is to minimize the maximum number of edges leaving a single part. The two main versions we consider are where the k parts need to be of equal-size, and where they must separate a set of k given terminals. We consider a common generalization of these two problems, and design for it an $O(\sqrt{\log n\log k})$-approximation algorithm. This improves over an $O(\log^2 n)$ approximation for the second version, and roughly $O(k\log n)$ approximation for the first version that follows from other previous work. We also give an improved O(1)-approximation algorithm for graphs that exclude any fixed minor.
Our algorithm uses a new procedure for solving the Small-Set Expansion problem. In this problem, we are given a graph G and the goal is to find a non-empty set $S\subseteq V$ of size $|S| \leq ρn$ with minimum edge-expansion. We give an $O(\sqrt{\log{n}\log{(1/ρ)}})$ bicriteria approximation algorithm for the general case of Small-Set Expansion, and O(1) approximation algorithm for graphs that exclude any fixed minor.
△ Less
Submitted 20 October, 2011; v1 submitted 19 October, 2011;
originally announced October 2011.
-
Near-field scanning microwave microscope for interline capacitance characterization of nanoelectronics interconnect
Authors:
Vladimir V. Talanov,
Andrew R. Schwartz
Abstract:
We have developed a noncontact method for measurement of the interline capacitance in Cu/low-k interconnect. It is based on a miniature test vehicle with net capacitance of a few femto-Farads formed by two 20-μm-long parallel wires (lines) with widths and spacings the same as those of the interconnect wires of interest. Each line is connected to a small test pad. The vehicle impedance is measured…
▽ More
We have developed a noncontact method for measurement of the interline capacitance in Cu/low-k interconnect. It is based on a miniature test vehicle with net capacitance of a few femto-Farads formed by two 20-μm-long parallel wires (lines) with widths and spacings the same as those of the interconnect wires of interest. Each line is connected to a small test pad. The vehicle impedance is measured at 4 GHz by a near-field microwave probe with 10 μm probe size via capacitive coupling of the probe to the vehicle's test pads. Full 3D finite element modeling at 4 GHz confirms that the microwave radiation is concentrated between the two wires forming the vehicle. An analytical lumped element model and a short/open calibration approach have been proposed to extract the interline capacitance value from the measured data. We have validated the technique on several test vehicles made with copper and low-k dielectric on a 300 mm wafer. The vehicles interline spacing ranges from 0.09 to 1 μm and a copper line width is 0.15 μm. This is the first time a near-field scanning microwave microscope has been applied to measure the lumped element impedance of a test vehicle.
△ Less
Submitted 10 August, 2011;
originally announced August 2011.
-
Noncontact electrical metrology of Cu/low-k interconnect for semiconductor production wafers
Authors:
V. V. Talanov,
A. Scherz,
A. R. Schwartz
Abstract:
We have demonstrated a technique capable of in-line measurement of dielectric constant of low-k interconnect films on patterned wafers utilizing a test key of ~50x50 μm in size. The test key consists of a low-k film backed by a Cu grid with >50% metal pattern density and <250 nm pitch, which is fully compatible with the existing dual-damascene interconnect manufacturing processes. The technique is…
▽ More
We have demonstrated a technique capable of in-line measurement of dielectric constant of low-k interconnect films on patterned wafers utilizing a test key of ~50x50 μm in size. The test key consists of a low-k film backed by a Cu grid with >50% metal pattern density and <250 nm pitch, which is fully compatible with the existing dual-damascene interconnect manufacturing processes. The technique is based on a near-field scanned microwave probe and is noncontact, noninvasive, and requires no electrical contact to or grounding of the wafer under test. It yields <0.3% precision and 2% accuracy for the film dielectric constant.
△ Less
Submitted 10 August, 2011;
originally announced August 2011.
-
Noncontact dielectric constant metrology of low-k interconnect films using a near-field scanned microwave probe
Authors:
Vladimir V. Talanov,
André Scherz,
Robert L. Moreland,
Andrew R. Schwartz
Abstract:
We present a method for noncontact, noninvasive measurements of dielectric constant, k, of 100-nm- to 1.5-μm-thick blanket low-k interconnect films on up to 300 mm in diameter wafers. The method has about 10 micron sampling spot size, and provides <0.3% precision and <2% accuracy for k-value. It is based on a microfabricated near-field scanned microwave probe formed by a 4 GHz parallel strip trans…
▽ More
We present a method for noncontact, noninvasive measurements of dielectric constant, k, of 100-nm- to 1.5-μm-thick blanket low-k interconnect films on up to 300 mm in diameter wafers. The method has about 10 micron sampling spot size, and provides <0.3% precision and <2% accuracy for k-value. It is based on a microfabricated near-field scanned microwave probe formed by a 4 GHz parallel strip transmission line resonator tapered down to a few-micron tip size.
△ Less
Submitted 10 August, 2011;
originally announced August 2011.
-
Liouville-Arnold integrability of the pentagram map on closed polygons
Authors:
Valentin Ovsienko,
Richard Evan Schwartz,
Serge Tabachnikov
Abstract:
The pentagram map is a discrete dynamical system defined on the moduli space of polygons in the projective plane. This map has recently attracted a considerable interest, mostly because its connection to a number of different domains, such as: classical projective geometry, algebraic combinatorics, moduli spaces, cluster algebras and integrable systems. Integrability of the pentagram map was conje…
▽ More
The pentagram map is a discrete dynamical system defined on the moduli space of polygons in the projective plane. This map has recently attracted a considerable interest, mostly because its connection to a number of different domains, such as: classical projective geometry, algebraic combinatorics, moduli spaces, cluster algebras and integrable systems. Integrability of the pentagram map was conjectured by R. Schwartz and later proved by V. Ovsienko, R. Schwartz and S. Tabachnikov for a larger space of twisted polygons. In this paper, we prove the initial conjecture that the pentagram map is completely integrable on the moduli space of closed polygons. In the case of convex polygons in the real projective plane, this result implies the existence of a toric foliation on the moduli space. The leaves of the foliation carry affine structure and the dynamics of the pentagram map is quasi-periodic. Our proof is based on an invariant Poisson structure on the space of twisted polygons. We prove that the Hamiltonian vector fields corresponding to the monodoromy invariants preserve the space of closed polygons and define an invariant affine structure on the level surfaces of the monodromy invariants.
△ Less
Submitted 27 July, 2011; v1 submitted 19 July, 2011;
originally announced July 2011.
-
On the Furthest Hyperplane Problem and Maximal Margin Clustering
Authors:
Zohar Karnin,
Edo Liberty,
Shachar Lovett,
Roy Schwartz,
Omri Weinstein
Abstract:
This paper introduces the Furthest Hyperplane Problem (FHP), which is an unsupervised counterpart of Support Vector Machines. Given a set of n points in Rd, the objective is to produce the hyperplane (passing through the origin) which maximizes the separation margin, that is, the minimal distance between the hyperplane and any input point. To the best of our knowledge, this is the first paper achi…
▽ More
This paper introduces the Furthest Hyperplane Problem (FHP), which is an unsupervised counterpart of Support Vector Machines. Given a set of n points in Rd, the objective is to produce the hyperplane (passing through the origin) which maximizes the separation margin, that is, the minimal distance between the hyperplane and any input point. To the best of our knowledge, this is the first paper achieving provable results regarding FHP. We provide both lower and upper bounds to this NP-hard problem. First, we give a simple randomized algorithm whose running time is n^O(1/θ^2) where θ is the optimal separation margin. We show that its exponential dependency on 1/θ^2 is tight, up to sub-polynomial factors, assuming SAT cannot be solved in sub-exponential time. Next, we give an efficient approxima- tion algorithm. For any α \in [0, 1], the algorithm produces a hyperplane whose distance from at least 1 - 5α fraction of the points is at least α times the optimal separation margin. Finally, we show that FHP does not admit a PTAS by presenting a gap preserving reduction from a particular version of the PCP theorem.
△ Less
Submitted 2 February, 2012; v1 submitted 7 July, 2011;
originally announced July 2011.
-
The brightest gamma-ray flaring blazar in the sky: AGILE and multi-wavelength observations of 3C 454.3 during November 2010
Authors:
S. Vercellone,
E. Striani,
V. Vittorini,
I. Donnarumma,
L. Pacciani,
G. Pucella,
M. Tavani,
C. M. Raiteri,
M. Villata,
P. Romano,
M. Fiocchi,
A. Bazzano,
V. Bianchin,
C. Ferrigno,
L. Maraschi,
E. Pian,
M. Türler,
P. Ubertini,
A. Bulgarelli,
A. W. Chen,
A. Giuliani,
F. Longo,
G. Barbiellini,
M. Cardillo,
P. W. Cattaneo
, et al. (62 additional authors not shown)
Abstract:
Since 2005, the blazar 3C 454.3 has shown remarkable flaring activity at all frequencies, and during the last four years it has exhibited more than one gamma-ray flare per year, becoming the most active gamma-ray blazar in the sky. We present for the first time the multi-wavelength AGILE, SWIFT, INTEGRAL, and GASP-WEBT data collected in order to explain the extraordinary gamma-ray flare of 3C 454.…
▽ More
Since 2005, the blazar 3C 454.3 has shown remarkable flaring activity at all frequencies, and during the last four years it has exhibited more than one gamma-ray flare per year, becoming the most active gamma-ray blazar in the sky. We present for the first time the multi-wavelength AGILE, SWIFT, INTEGRAL, and GASP-WEBT data collected in order to explain the extraordinary gamma-ray flare of 3C 454.3 which occurred in November 2010. On 2010 November 20 (MJD 55520), 3C 454.3 reached a peak flux (E>100 MeV) of F_gamma(p) = (6.8+-1.0)E-5 ph/cm2/s on a time scale of about 12 hours, more than a factor of 6 higher than the flux of the brightest steady gamma-ray source, the Vela pulsar, and more than a factor of 3 brighter than its previous super-flare on 2009 December 2-3. The multi-wavelength data make a thorough study of the present event possible: the comparison with the previous outbursts indicates a close similarity to the one that occurred in 2009. By comparing the broadband emission before, during, and after the gamma-ray flare, we find that the radio, optical and X-ray emission varies within a factor 2-3, whereas the gamma-ray flux by a factor of 10. This remarkable behavior is modeled by an external Compton component driven by a substantial local enhancement of soft seed photons.
△ Less
Submitted 25 June, 2011;
originally announced June 2011.
-
Outer Billiards on the Penrose Kite: Compactification and Renormalizaiton
Authors:
Richard Evan Schwartz
Abstract:
In this long paper we give a fairly complete analysis of outer billiards on the Penrose kite. Our analysis reveals that this 2-dimensional non-compact system has a 3-dimensional compactification, a certain polyhedron exchange map, and that this compactification has a renormalization scheme. These two features allow us to make some sharp statements concerning the distribution, large-scale geometry,…
▽ More
In this long paper we give a fairly complete analysis of outer billiards on the Penrose kite. Our analysis reveals that this 2-dimensional non-compact system has a 3-dimensional compactification, a certain polyhedron exchange map, and that this compactification has a renormalization scheme. These two features allow us to make some sharp statements concerning the distribution, large-scale geometry, fine-scale geometry, and hidden algebraic symmetries of the orbits. For instance, one of our results is that the union of the unbounded orbits has Hausdorff dimension 1. We give a computer-aided proof of the results concerning the compactification and the renormalization. This proof involves finitely many calculations done with exact integer arithmetic.
△ Less
Submitted 22 February, 2011;
originally announced February 2011.
-
Rational Distances with Rational Angles
Authors:
Ryan Schwartz,
József Solymosi,
Frank de Zeeuw
Abstract:
In 1946 Erd\H os asked for the maximum number of unit distances, $u(n)$, among $n$ points in the plane. He showed that $u(n)> n^{1+c/\log\log n}$ and conjectured that this was the true magnitude. The best known upper bound is $u(n)<cn^{4/3}$, due to Spencer, Szemerédi and Trotter. We show that the upper bound $n^{1+6/\sqrt{\log n}}$ holds if we only consider unit distances with rational angle, by…
▽ More
In 1946 Erd\H os asked for the maximum number of unit distances, $u(n)$, among $n$ points in the plane. He showed that $u(n)> n^{1+c/\log\log n}$ and conjectured that this was the true magnitude. The best known upper bound is $u(n)<cn^{4/3}$, due to Spencer, Szemerédi and Trotter. We show that the upper bound $n^{1+6/\sqrt{\log n}}$ holds if we only consider unit distances with rational angle, by which we mean that the line through the pair of points makes a rational angle in degrees with the x-axis. Using an algebraic theorem of Mann we get a uniform bound on the number of paths between two fixed vertices in the unit distance graph, giving a contradiction if there are too many unit distances with rational angle. This bound holds if we consider rational distances instead of unit distances as long as there are no three points on a line. A superlinear lower bound is given, due to Erd\H os and Purdy. If we have at most $n^α$ points on a line then we get the bound $O(n^{1+α})$ or $n^{1+α+6/\sqrt{\log n}}$ for the number of rational distances with rational angle depending on whether $α\ge 1/2$ or $α< 1/2$ respectively.
△ Less
Submitted 9 May, 2011; v1 submitted 21 August, 2010;
originally announced August 2010.
-
Outer Billiards, Arithmetic Graphs, and the Octagon
Authors:
Richard Evan Schwartz
Abstract:
Outer Billiards is a geometrically inspired dynamical system based on a convex shape in the plane.
When the shape is a polygon, the system has a combinatorial flavor. In the polygonal case, there is a natural acceleration of the map, a first return map to a certain strip in the plane. The arithmetic graph is a geometric encoding of the symbolic dynamics of this first return map.
In the case of…
▽ More
Outer Billiards is a geometrically inspired dynamical system based on a convex shape in the plane.
When the shape is a polygon, the system has a combinatorial flavor. In the polygonal case, there is a natural acceleration of the map, a first return map to a certain strip in the plane. The arithmetic graph is a geometric encoding of the symbolic dynamics of this first return map.
In the case of the regular octagon, the case we study, the arithmetic graphs associated to periodic orbits are polygonal paths in R^8. We are interested in the asymptotic shapes of these polygonal paths, as the period tends to infinity. We show that the rescaled limit of essentially any sequence of these graphs converges to a fractal curve that simultaneously projects one way onto a variant of the Koch snowflake and another way onto a variant of the Sierpinski carpet. In a sense, this gives a complete description of the asymptotic behavior of the symbolic dynamics of the first return map.
What makes all our proofs work is an efficient (and basically well known) renormalization scheme for the dynamics.
△ Less
Submitted 19 July, 2010; v1 submitted 14 June, 2010;
originally announced June 2010.
-
On the Dynamic Interplay between Positive and Negative Affects
Authors:
Jonathan Touboul,
Alberto Romagnoni,
Robert Schwartz
Abstract:
Emotional disorders and psychological flourishing are the result of complex interactions between positive and negative affects that depend on external events and the subject's internal representations. Based on psychological data, we mathematically model the dynamical balance between positive and negative affects as a function of the response to external positive and negative events. This modeling…
▽ More
Emotional disorders and psychological flourishing are the result of complex interactions between positive and negative affects that depend on external events and the subject's internal representations. Based on psychological data, we mathematically model the dynamical balance between positive and negative affects as a function of the response to external positive and negative events. This modeling allows the investigation of the relative impact of two leading forms of therapy on affect balance. The model uses a delay differential equation to analytically study the complete bifurcation diagram of the system. We compare the results of the model to psychological data on a single, recurrently depressed patient that was administered the two types of therapies considered (viz., co**-focused vs. affect-focused). The model leads to the prediction that stabilization at a normal state may rely on evaluating one's emotional state through an historical ongoing emotional state rather than in a narrow present window. The simple mathematical model proposed here offers a theoretically grounded quantitative framework for investigating the temporal process of change and parameters of resilience to relapse.
△ Less
Submitted 18 May, 2015; v1 submitted 27 April, 2010;
originally announced April 2010.
-
The Pentagram Integrals on Inscribed Polygons
Authors:
Richard Evan Schwartz,
Serge Tabachnikov
Abstract:
The pentagram map is a natural iteration on projective equivalence classes of (twisted) n-gons in the projective plane. It was recently proved ([OST]) that the pentagram map is completely integrable, with the complete set of Poisson commuting integrals given by the polynomials O1,...,O[n/2],On and E1,...,E[n/2],En, previously constructed in [S3]. These polynomials are somewhat reminiscent of the s…
▽ More
The pentagram map is a natural iteration on projective equivalence classes of (twisted) n-gons in the projective plane. It was recently proved ([OST]) that the pentagram map is completely integrable, with the complete set of Poisson commuting integrals given by the polynomials O1,...,O[n/2],On and E1,...,E[n/2],En, previously constructed in [S3]. These polynomials are somewhat reminiscent of the symmetric polynomials. It was observed in computer experiments that if a polygon is inscribed into a conic then Oi=Ei for all i. The goal of the paper is to prove this theorem. The proof is combinatorial, and it was also suggested by computer experimentation.
△ Less
Submitted 24 April, 2010;
originally announced April 2010.
-
Outer Billiards and the Pinwheel Map
Authors:
Richard Evan Schwartz
Abstract:
In this paper we establish a kind of bijection between the orbits of a polygonal outer billiards system and the orbits of a related (and simpler to analyze) system called the pinwheel map. One consequence of the result is that the outer billiards system has unbounded orbits if and only if the pinwheel map has unbounded orbits. As the pinwheel map is much easier to analyze directly, we think that…
▽ More
In this paper we establish a kind of bijection between the orbits of a polygonal outer billiards system and the orbits of a related (and simpler to analyze) system called the pinwheel map. One consequence of the result is that the outer billiards system has unbounded orbits if and only if the pinwheel map has unbounded orbits. As the pinwheel map is much easier to analyze directly, we think that this bijection will be helpful in attacking some of the main questions about polyonal outer billiards.
△ Less
Submitted 23 April, 2010; v1 submitted 18 April, 2010;
originally announced April 2010.
-
Approximate Dynamic Programming using Halfspace Queries and Multiscale Monge decomposition
Authors:
Gary L. Miller,
Richard Peng,
Russell Schwartz,
Charalampos E. Tsourakakis
Abstract:
Let $P=(P_1, P_2, \ldots, P_n)$, $P_i \in \field{R}$ for all $i$, be a signal and let $C$ be a constant. In this work our goal is to find a function $F:[n]\rightarrow \field{R}$ which optimizes the following objective function:
$$ \min_{F} \sum_{i=1}^n (P_i-F_i)^2 + C\times |\{i:F_i \neq F_{i+1} \} | $$
The above optimization problem reduces to solving the following recurrence, which can be do…
▽ More
Let $P=(P_1, P_2, \ldots, P_n)$, $P_i \in \field{R}$ for all $i$, be a signal and let $C$ be a constant. In this work our goal is to find a function $F:[n]\rightarrow \field{R}$ which optimizes the following objective function:
$$ \min_{F} \sum_{i=1}^n (P_i-F_i)^2 + C\times |\{i:F_i \neq F_{i+1} \} | $$
The above optimization problem reduces to solving the following recurrence, which can be done efficiently using dynamic programming in $O(n^2)$ time:
$$ OPT_i = \min_{0 \leq j \leq i-1} [ OPT_j + \sum_{k=j+1}^i (P_k - (\sum_{m=j+1}^i P_m)/(i-j) )^2 ]+ C $$
The above recurrence arises naturally in applications where we wish to approximate the original signal $P$ with another signal $F$ which consists ideally of few piecewise constant segments. Such applications include database (e.g., histogram construction), speech recognition, biology (e.g., denoising aCGH data) applications and many more.
In this work we present two new techniques for optimizing dynamic programming that can handle cost functions not treated by other standard methods. The basis of our first algorithm is the definition of a constant-shifted variant of the objective function that can be efficiently approximated using state of the art methods for range searching. Our technique approximates the optimal value of our objective function within additive $ε$ error and runs in $\tilde{O}(n^{1.5} \log{(\frac{U}ε))}$ time, where $U = \max_i f_i$. The second algorithm we provide solves a similar recurrence within a factor of $ε$ and runs in $O(n \log^2n / ε)$. The new technique introduced by our algorithm is the decomposition of the initial problem into a small (logarithmic) number of Monge optimization subproblems which we can speed up using existing techniques.
△ Less
Submitted 3 July, 2010; v1 submitted 25 March, 2010;
originally announced March 2010.
-
CGHTRIMMER: Discretizing noisy Array CGH Data
Authors:
Charalampos E. Tsourakakis,
David Tolliver,
Maria A. Tsiarli,
Stanley Shackney,
Russell Schwartz
Abstract:
The development of cancer is largely driven by the gain or loss of subsets of the genome, promoting uncontrolled growth or disabling defenses against it. Identifying genomic regions whose DNA copy number deviates from the normal is therefore central to understanding cancer evolution. Array-based comparative genomic hybridization (aCGH) is a high-throughput technique for identifying DNA gain or l…
▽ More
The development of cancer is largely driven by the gain or loss of subsets of the genome, promoting uncontrolled growth or disabling defenses against it. Identifying genomic regions whose DNA copy number deviates from the normal is therefore central to understanding cancer evolution. Array-based comparative genomic hybridization (aCGH) is a high-throughput technique for identifying DNA gain or loss by quantifying total amounts of DNA matching defined probes relative to healthy diploid control samples. Due to the high level of noise in microarray data, however, interpretation of aCGH output is a difficult and error-prone task.
In this work, we tackle the computational task of inferring the DNA copy number per genomic position from noisy aCGH data. We propose CGHTRIMMER, a novel segmentation method that uses a fast dynamic programming algorithm to solve for a least-squares objective function for copy number assignment. CGHTRIMMER consistently achieves superior precision and recall to leading competitors on benchmarks of synthetic data and real data from the Coriell cell lines. In addition, it finds several novel markers not recorded in the benchmarks but plausibly supported in the oncology literature. Furthermore, CGHTRIMMER achieves superior results with run-times from 1 to 3 orders of magnitude faster than its state-of-art competitors.
CGHTRIMMER provides a new alternative for the problem of aCGH discretization that provides superior detection of fine-scale regions of gain or loss yet is fast enough to process very large data sets in seconds. It thus meets an important need for methods capable of handling the vast amounts of data being accumulated in high-throughput studies of tumor genetics.
△ Less
Submitted 23 February, 2010;
originally announced February 2010.
-
The 5 Electron Case of Thomson's Problem
Authors:
Richard Evan Schwartz
Abstract:
We give a rigorous computer-assisted proof that the triangular bi-pyramid is the unique configuration of 5 points on the 2-sphere that globally minimizes the Coulomb (1/r) potential. We also prove the same result for the (1/r^2) potential. The main mathematical contribution of the paper is a fairly efficient energy estimate that works for any number of points and any power-law potential.
We give a rigorous computer-assisted proof that the triangular bi-pyramid is the unique configuration of 5 points on the 2-sphere that globally minimizes the Coulomb (1/r) potential. We also prove the same result for the (1/r^2) potential. The main mathematical contribution of the paper is a fairly efficient energy estimate that works for any number of points and any power-law potential.
△ Less
Submitted 8 February, 2010; v1 submitted 21 January, 2010;
originally announced January 2010.
-
Finding the Instability Strip for Accreting Pulsating White Dwarfs from HST and Optical Observations
Authors:
Paula Szkody,
Anjum Mukadam,
Boris T. Gansicke,
Arne Henden,
Matthew Templeton,
Jon Holtzman,
Michael H. Montgomery,
Steve B. Howell,
Atsuko Nitta,
Edward M. Sion,
Richard D. Schwartz,
William Dillon
Abstract:
Time-resolved low resolution Hubble Space Telescope ultraviolet spectra together with ground-based optical photometry and spectra are used to constrain the temperatures and pulsation properties of six cataclysmic variables containing pulsating white dwarfs. Combining our temperature determinations for the five pulsating white dwarfs that are several years past outburst with past results on six o…
▽ More
Time-resolved low resolution Hubble Space Telescope ultraviolet spectra together with ground-based optical photometry and spectra are used to constrain the temperatures and pulsation properties of six cataclysmic variables containing pulsating white dwarfs. Combining our temperature determinations for the five pulsating white dwarfs that are several years past outburst with past results on six other systems shows that the instability strip for accreting pulsating white dwarfs ranges from 10,500-15,000K, a wider range than evident for ZZ Ceti pulsators. Analysis of the UV/optical pulsation properties reveals some puzzling aspects. While half the systems show high pulsation amplitudes in the UV compared to their optical counterparts, others show UV/optical amplitude ratios that are less than one or no pulsations at either wavelength region.
△ Less
Submitted 31 December, 2009;
originally announced January 2010.
-
Elementary Surprises in Projective Geometry
Authors:
Richard Evan Schwartz,
Serge Tabachnikov
Abstract:
We discuss eight new(?) configuration theorems of classical projective geometry in the spirit of the Pappus and Pascal theorems.
We discuss eight new(?) configuration theorems of classical projective geometry in the spirit of the Pappus and Pascal theorems.
△ Less
Submitted 4 November, 2009; v1 submitted 10 October, 2009;
originally announced October 2009.
-
Generalized Buneman pruning for inferring the most parsimonious multi-state phylogeny
Authors:
Navodit Misra,
Guy Blelloch,
R. Ravi,
Russell Schwartz
Abstract:
Accurate reconstruction of phylogenies remains a key challenge in evolutionary biology. Most biologically plausible formulations of the problem are formally NP-hard, with no known efficient solution. The standard in practice are fast heuristic methods that are empirically known to work very well in general, but can yield results arbitrarily far from optimal. Practical exact methods, which yield e…
▽ More
Accurate reconstruction of phylogenies remains a key challenge in evolutionary biology. Most biologically plausible formulations of the problem are formally NP-hard, with no known efficient solution. The standard in practice are fast heuristic methods that are empirically known to work very well in general, but can yield results arbitrarily far from optimal. Practical exact methods, which yield exponential worst-case running times but generally much better times in practice, provide an important alternative. We report progress in this direction by introducing a provably optimal method for the weighted multi-state maximum parsimony phylogeny problem. The method is based on generalizing the notion of the Buneman graph, a construction key to efficient exact methods for binary sequences, so as to apply to sequences with arbitrary finite numbers of states with arbitrary state transition weights. We implement an integer linear programming (ILP) method for the multi-state problem using this generalized Buneman graph and demonstrate that the resulting method is able to solve data sets that are intractable by prior exact methods in run times comparable with popular heuristics. Our work provides the first method for provably optimal maximum parsimony phylogeny inference that is practical for multi-state data sets of more than a few characters.
△ Less
Submitted 14 April, 2010; v1 submitted 9 October, 2009;
originally announced October 2009.
-
Simultaneous Arithmetic Progressions on Algebraic Curves
Authors:
Ryan Schwartz,
József Solymosi,
Frank de Zeeuw
Abstract:
A simultaneous arithmetic progression (s.a.p.) of length k consists of k points (x_i, y_σ(i)), where x_i and y_i are arithmetic progressions and σis a permutation. Garcia-Selfa and Tornero asked whether there is a bound on the length of an s.a.p. on an elliptic curve in Weierstrass form over Q. We show that 4319 is such a bound for curves over R. This is done by considering translates of the cur…
▽ More
A simultaneous arithmetic progression (s.a.p.) of length k consists of k points (x_i, y_σ(i)), where x_i and y_i are arithmetic progressions and σis a permutation. Garcia-Selfa and Tornero asked whether there is a bound on the length of an s.a.p. on an elliptic curve in Weierstrass form over Q. We show that 4319 is such a bound for curves over R. This is done by considering translates of the curve in a grid as a graph. A simple upper bound is found for the number of crossings and the 'crossing inequality' gives a lower bound. Together these bound the length of an s.a.p. on the curve. We then use a similar method to extend the result to arbitrary real algebraic curves. Instead of considering s.a.p.'s we consider k^2/3 points in a grid. The number of crossings is bounded by Bezout's Theorem. We then give another proof using a result of Jarnik bounding the number of grid points on a convex curve. This result applies as any real algebraic curve can be broken up into convex and concave parts, the number of which depend on the degree. Lastly, these results are extended to complex algebraic curves.
△ Less
Submitted 13 October, 2009; v1 submitted 5 October, 2009;
originally announced October 2009.
-
Quasiperiodic Motion for the Pentagram Map
Authors:
Valentin Ovsienko,
Richard Schwartz,
Serge Tabachnikov
Abstract:
The pentagram map is a projectively natural iteration defined on polygons, and also on a generalized notion of a polygon which we call {\it twisted polygons}. In this note we describe our recent work on the pentagram map, in which we find a Poisson structure on the space of twisted polygons and show that the pentagram map relative to this Poisson structure is completely integrable in the sense o…
▽ More
The pentagram map is a projectively natural iteration defined on polygons, and also on a generalized notion of a polygon which we call {\it twisted polygons}. In this note we describe our recent work on the pentagram map, in which we find a Poisson structure on the space of twisted polygons and show that the pentagram map relative to this Poisson structure is completely integrable in the sense of Arnold-Liouville. For certain families of twisted polygons, such as those we call {\it universally convex}, we translate the integrability into a statement about the quasi-periodic notion of the pentagram-map orbits. We also explain how the continuous limit of the Pentagram map is the classical Boissinesq equation, a completely integrable PDE.
△ Less
Submitted 12 January, 2009;
originally announced January 2009.
-
New Permutation Representations of the Braid Group
Authors:
Amiel Ferman,
Tahl Nowik,
Robert Schwartz,
Mina Teicher
Abstract:
We give a new infinite family of group homomorphisms from the braid group B_k to the symmetric group S_{mk} for all k and m \geq 2. Most known permutation representations of braids are included in this family. We prove that the homomorphisms in this family are non-cyclic and transitive. For any divisor l of m, 1\leq l < m, we prove in particular that if \frac{m}{l} is odd then there are 1 + \fra…
▽ More
We give a new infinite family of group homomorphisms from the braid group B_k to the symmetric group S_{mk} for all k and m \geq 2. Most known permutation representations of braids are included in this family. We prove that the homomorphisms in this family are non-cyclic and transitive. For any divisor l of m, 1\leq l < m, we prove in particular that if \frac{m}{l} is odd then there are 1 + \frac{m}{l} non-conjugate homomorphisms included in our family.
We define a certain natural restriction on homomorphisms B_k to S_n, common to all homomorphisms in our family, which we term 'good', and of which there are two types.
We prove that all good homomorphisms B_k to S_{mk} of type 1 are included in the infinite family of homomorphisms we gave. For m=3, we prove that all good homomorphisms B_k to S_{3k} of type 2 are also included in this family.
Finally, we refute a conjecture made by Matei and Suciu regarding permutation representations of braids and give an updated conjecture.
△ Less
Submitted 25 November, 2008;
originally announced November 2008.